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