TeX source:
\emptyset \subseteq A