This is LaTeX code:
[latex]
(\exists x\in R)(\exists y\in R)(x^2=y^2 \land x\neq y)
[/latex]