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/lexicon.csv      | 5 +++++
 library/test-lexicon.tex | 3 +++
 2 files changed, 8 insertions(+)
 create mode 100644 library/lexicon.csv
 create mode 100644 library/test-lexicon.tex

(limited to 'library')

diff --git a/library/lexicon.csv b/library/lexicon.csv
new file mode 100644
index 0000000..735c862
--- /dev/null
+++ b/library/lexicon.csv
@@ -0,0 +1,5 @@
+reals,const,\reals
+rplus,infix.\rplus
+rmul,infix.\rmul
+rless,rel,\rless
+even,adj,even
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