path: root/test/phase5/exact-relation-expression-missing-pair.tex

\begin{proposition}\label{exact_relation_expression_missing_pair}
    Then $a\mathrel{R}b$.
\end{proposition}