TeX source:
B \subseteq A