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