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