% Dummy abbreviation to test relation symbols with parameters.
\begin{abbreviation}\label{equalparam}
    $x\EQUAL{y} z$ iff $x = z$.
\end{abbreviation}

\begin{proposition}\label{dummy_abbr_test_noun}
    For all $x$ we have $x\EQUAL{y}x$.
 \end{proposition}
