Symbol preference edit

I would prefer the symbol ⊇ because ⊃ is also sometimes used for proper subset. JanHidders 17-Dec-2001


Not seeing the symbol, unfortunately. --KA