TeX source:
A \subseteq B