This is LaTeX code:
[latex]
\exists x,y: (x,y) \in R \Rightarrow (x,x) \in R^2
[/latex]