path: root/test/phase3/typed-unsupported.tex

\begin{signature}\label{phase3_unsupported}
    Suppose $X = X$.
    Then $\phaseunsupported{X}$ is a set.
\end{signature}