\begin{proposition}\label{mathrel_notation_test}
    If $x\mathrel{R} y$, then $x\mathrel{R} y$.
\end{proposition}
