1 files changed, 7 insertions, 0 deletions
diff --git a/test/examples/indefinite-terms.tex b/test/examples/indefinite-terms.tex
new file mode 100644
index 0000000..25d4fcd
--- /dev/null
+++ b/test/examples/indefinite-terms.tex
@@ -0,0 +1,7 @@
+\begin{theorem}\label{indefinite_test_forall}
+    Every set is a set.
+\end{theorem}
+
+\begin{theorem}\label{indefinite_test_exists}
+    Some set is a set.
+\end{theorem}