This is LaTeX code:
[latex]
(x,y) \in R \Rightarrow x \not= y \Rightarrow y \not= x \Rightarrow (y,x) \in R
[/latex]