This is LaTeX code:
[latex]
\rightarrow D\cap X=\emptyset \rightarrow
[/latex]