This is LaTeX code:
[latex]
\forall x \exists y (\forall z (z \in y \leftrightarrow (z \in x \land \varphi(z))))
[/latex]