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

---
 library/lexicon.csv | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'library')

diff --git a/library/lexicon.csv b/library/lexicon.csv
index 735c862..b9f8a09 100644
--- a/library/lexicon.csv
+++ b/library/lexicon.csv
@@ -1,5 +1,6 @@
 reals,const,\reals
-rplus,infix.\rplus
-rmul,infix.\rmul
+rplus,infix,\rplus
+rminus,infix,\rminus
+rmul,infix,\rmul
+rfrac,infix,\rfrac
 rless,rel,\rless
-even,adj,even
-- 
cgit v1.2.3