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