TeX source:
A \subseteq A