This is LaTeX code:
[latex]
\exists x_0,~P(x_0)=0
[/latex]