From b2f9f7900ccb4a569ed23e9ecf327564dbba2b7d Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Tue, 7 May 2024 18:07:23 +0200
Subject: Sketch noun coord, symbols for reals

---
 test/examples/coord.tex     |  5 +++++
 test/examples/formula.tex   |  4 ++++
 test/examples/signature.tex | 19 -------------------
 3 files changed, 9 insertions(+), 19 deletions(-)
 delete mode 100644 test/examples/signature.tex

(limited to 'test/examples')

diff --git a/test/examples/coord.tex b/test/examples/coord.tex
index 6dc8d5a..9987506 100644
--- a/test/examples/coord.tex
+++ b/test/examples/coord.tex
@@ -35,3 +35,8 @@
 \begin{proposition}\label{adjs}
     $x$ is foo and baz.
 \end{proposition}
+
+\begin{proposition}\label{are_nouns}
+    Let $x, y$ be foo bars.
+    Then $x$ and $y$ are foo bars.
+\end{proposition}
diff --git a/test/examples/formula.tex b/test/examples/formula.tex
index c029402..e3b1e29 100644
--- a/test/examples/formula.tex
+++ b/test/examples/formula.tex
@@ -5,3 +5,7 @@
 \begin{proposition}\label{formula_test_exists}
     $\exists x, y. x = y$.
 \end{proposition}
+
+\begin{proposition}\label{formula_test_not_exists}
+    $\exists x, y. x = y$ if and only if not $\exists x. x \neq x$.
+\end{proposition}
diff --git a/test/examples/signature.tex b/test/examples/signature.tex
deleted file mode 100644
index 4d794a9..0000000
--- a/test/examples/signature.tex
+++ /dev/null
@@ -1,19 +0,0 @@
-\begin{signature}\label{triangle}
-    $x$ can be a number.
-\end{signature}
-
-\begin{signature}\label{even}
-    $x$ can be even.
-\end{signature}
-
-\begin{signature}\label{div}
-    $x$ can divide $y$.
-\end{signature}
-
-\begin{signature}\label{square}
-    The square of $x$ is a number.
-\end{signature}
-
-\begin{signature}\label{nless}
-    $x \nless y$ is a proposition.
-\end{signature}
-- 
cgit v1.2.3