Symbols:Set Theory/Proper Subset

Proper Subset

 * $\subsetneq$ or $\subsetneqq$

$S \subsetneq T$ and $S \subsetneqq T$ both mean:
 * $S$ is a proper subset of $T$

In other words, $S \subseteq T$ and $S \ne T$.