This is LaTeX code:
[latex]
(\emptyset\in{x})\land (y\cup{\{y\}}\in{x})
[/latex]