This is LaTeX code:
[latex]
(\exists x)(\forall y)(\neg (y \in x))
[/latex]