This is LaTeX code:
[latex]
A \subseteq B \ : \Leftrightarrow \ (\forall \, x) \, x \in A \ \Rightarrow \ x \in B
[/latex]