path: root/test/phase5/exact-definition-annotation-failure.tex

\begin{definition}\label{phase5_restricted_annotation}
    A set equal to $A$ $X$ is parity restricted iff $X = X$.
\end{definition}