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