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