This is LaTeX code:

[latex]

(\forall x)(Q>P)

[/latex]