This is LaTeX code:

[latex]

(\forall x)(P>Q)

[/latex]