This is LaTeX code:

[latex]

\phi\lor\sim\phi

[/latex]