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