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