This is LaTeX code:
[latex]
\forall x\big(x\neq\emptyset\rightarrow\exists y(y\in x\land y\cap x=\emptyset)\big)
[/latex]