TeX source:
y\mathcal{R}z)\Rightarrow x\mathcal{R}z