This is LaTeX code:
[latex]
(\exists x) P \wedge \neg Q
[/latex]