A proper superset is denoted by the superset symbol ⊃ which looks like a U rotated ninety degrees to the left. Typically, this is used in an expression like this:
In plain language, this means that the set is a proper superset of the set .