TeX source:
S \subseteq T