This is LaTeX code:

[latex]
 
x \in \emptyset \rightarrow \dots
 
[/latex]