Source TeX:
A \subseteq B