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

\begin{signature}\label{example_pair}
    $(x,y)$ is a set.
\end{signature}

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