Source TeX:

y\mathcal{R}z)\Rightarrow x\mathcal{R}z