This is LaTeX code:

[latex]

\exists x, \; P(x)

[/latex]