Source TeX:
A \nsubseteq B