diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2024-05-07 18:07:23 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2024-05-07 18:07:23 +0200 |
| commit | b2f9f7900ccb4a569ed23e9ecf327564dbba2b7d (patch) | |
| tree | ac781463be5cf38ed785cd22339a291ccf7cdec8 /library/lexicon.csv | |
| parent | bc2ea0a384548aab50991c4de365f1afbad9a284 (diff) | |
Sketch noun coord, symbols for reals
Diffstat (limited to 'library/lexicon.csv')
| -rw-r--r-- | library/lexicon.csv | 7 |
1 files changed, 4 insertions, 3 deletions
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 |