This is LaTeX code:

[latex]
 
(\forall x) P \Rightarrow Q
 
[/latex]