This is LaTeX code:
[latex]
\forall x (x \in \emptyset \leftrightarrow x \in \emptyset')
[/latex]