This is LaTeX code:
[latex]
(\forall x \in \mathbb{R}) (\exists z \in \mathbb{C}) ( |z| =\sqrt{x^2+1} ) \Rightarrow (x=Re(z))
[/latex]