1 files changed, 16 insertions, 0 deletions
diff --git a/test/examples/proofassume.tex b/test/examples/proofassume.tex
new file mode 100644
index 0000000..ab37198
--- /dev/null
+++ b/test/examples/proofassume.tex
@@ -0,0 +1,16 @@
+\begin{proposition}\label{assumetest}
+    If $x\in y$, then $x\in y$.
+\end{proposition}
+\begin{proof}
+    Assume $x\in y$.
+    Then $x\in y$.
+\end{proof}
+
+\begin{proposition}\label{assumetesttwo}
+    If $x\in y$ and $a\in b$, then $x\in y$.
+\end{proposition}
+\begin{proof}
+    Assume $a\in b$.
+    Assume $x\in y$.
+    Then $x\in y$.
+\end{proof}