Symbols:Set Theory/Proper Superset

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$.