Symbols:Set Theory/Proper Superset
- $\supsetneq$ or $\supsetneqq$
$S \supsetneq T$ and $S \subsetneqq T$ both mean:
- $S$ is a proper superset of $T$
In other words, $S \supseteq T$ and $S \ne T$.
The $\LaTeX$ code for \(\supsetneq\) is
The $\LaTeX$ code for \(\supsetneqq\) is
$\supset$ is sometimes used to mean:
- $S$ is a superset of $T$
in the sense that $S$ is permitted to equal $T$.
That is, for which we have specified as $S \supseteq T$.
Although many sources use this interpretation, it is emphatically not recommended, as it can be the cause of considerable confusion.