This is LaTeX code:
[latex]
\forall x, \; \neg P(x)
[/latex]