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