Fuente TeX:

(y,y) \in R^{-1} \Rightarrow (x,y) \in R o R^{-1}