This is LaTeX code:
[latex]
\neg\forall xP(x) = \exists x\neg P(x)
[/latex]