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