1 files changed, 15 insertions, 0 deletions
diff --git a/test/phase5/exact-definition-boundary.tex b/test/phase5/exact-definition-boundary.tex
new file mode 100644
index 0000000..d0c756c
--- /dev/null
+++ b/test/phase5/exact-definition-boundary.tex
@@ -0,0 +1,15 @@
+\begin{definition}\label{phase5_annotated_adjective}
+    A set $X$ is parity canonical iff $X = X$.
+\end{definition}
+
+\begin{definition}\label{phase5_annotated_verb}
+    A set $X$ parity contains $Y$ iff $Y \in X$.
+\end{definition}
+
+\begin{definition}\label{phase5_symbolic_primary}
+    $\phasefivesymbolic{X} = X$.
+\end{definition}
+
+\begin{abbreviation}\label{phase5_functional_wrapper}
+    The parity symbolic value of $X$ is $\phasefivesymbolic{X}$.
+\end{abbreviation}