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