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/formula.tex | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'test/examples/formula.tex')

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}
-- 
cgit v1.2.3