This is LaTeX code:
[latex]
\forall x(x\notin x)
[/latex]