path: root/test/examples/relation-notation.tex

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