[uiberto]

Something like this?

http://us.metamath.org/mpegif/mmset.html

[mraison]

Great link, thanks!