Fuente TeX:

((\exists a \in B) a \not\in A) \Longleftrightarrow A \subset B