From bc2ea0a384548aab50991c4de365f1afbad9a284 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Tue, 7 May 2024 16:01:51 +0200
Subject: Sketch lexicon mechanism

---
 library/test-lexicon.tex | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 library/test-lexicon.tex

(limited to 'library/test-lexicon.tex')

diff --git a/library/test-lexicon.tex b/library/test-lexicon.tex
new file mode 100644
index 0000000..ced585e
--- /dev/null
+++ b/library/test-lexicon.tex
@@ -0,0 +1,3 @@
+\begin{axiom}\label{ax1}
+    If $x$ is even, then $x$ is even.
+\end{axiom}
-- 
cgit v1.2.3

