This is LaTeX code:
[latex]
\phi\lor\mathord{\sim}\phi
[/latex]