This is LaTeX code:
[latex]
\emptyset \vee S = S
[/latex]