Initial commit

1 files changed, 37 insertions, 0 deletions

diff --git a/test/examples/coord.tex b/test/examples/coord.tex
new file mode 100644
index 0000000..6dc8d5a
--- /dev/null
+++ b/test/examples/coord.tex
@@ -0,0 +1,37 @@
+\begin{definition}\label{bar}
+    $x$ is a bar iff $x = x$.
+\end{definition}
+
+\begin{definition}\label{foo}
+    $x$ is foo iff $x = x$.
+\end{definition}
+
+\begin{definition}\label{baz}
+    $x$ is baz iff $x = x$.
+\end{definition}
+
+\begin{proposition}\label{nouns}
+    Let $x, y$ be bars.
+    Then $x = x$.
+\end{proposition}
+
+\begin{proposition}\label{adj_nouns}
+    Let $x, y$ be foo bars.
+    Then $x = x$.
+\end{proposition}
+
+
+\begin{proposition}\label{nouns_suchthat}
+    Let $x, y$ be bars such that $x$ is foo and $y$ is baz.
+    Then $x = x$.
+\end{proposition}
+
+
+\begin{proposition}\label{noun_verb}
+    $x = y$ iff $x$ is a bar equal to $y$.
+\end{proposition}
+
+
+\begin{proposition}\label{adjs}
+    $x$ is foo and baz.
+\end{proposition}