This is LaTeX code:
[latex]
(\neg G \vee H)
[/latex]