1 files changed, 8 insertions, 0 deletions
diff --git a/test/phase5/exact-structure-child.tex b/test/phase5/exact-structure-child.tex
new file mode 100644
index 0000000..b9f1e36
--- /dev/null
+++ b/test/phase5/exact-structure-child.tex
@@ -0,0 +1,8 @@
+\import{test/phase5/exact-structure.tex}
+
+\begin{struct}\label{marked_pointed_set}
+    A marked pointed set $X$ is a pointed set such that
+    \begin{enumerate}
+        \item\label{marked_pointed_refl} $\pick[X] = \pick$.
+    \end{enumerate}
+\end{struct}