From 5f1ec8306a896b336d62786b96e16165fba51f9b Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hans-peter.deifel@fau.de>
Date: Tue, 21 Mar 2017 01:11:05 +0100
Subject: [PATCH] Add UTF-8 "Micro Sign" as syntax for 'mu'

This is easier to type with a standard compose key as opposed as the
arguably more correct "Greek Small Letter Mu".
---
 src/lib/CoAlgFormula.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lib/CoAlgFormula.ml b/src/lib/CoAlgFormula.ml
index 39e7fd0..6472add 100644
--- a/src/lib/CoAlgFormula.ml
+++ b/src/lib/CoAlgFormula.ml
@@ -652,7 +652,7 @@ let exportQueryParsable tbox (_,f) =
 let lexer = A.make_lexer
     [":";";";"|-";"(";")";"=>";"<=>";"|";"&";"~";"@";"True";"False";"true";"false";"<";">";"[";"]";"{<=";"{>=";"}";"+";"[pi1]";"[pi2]"
      ;"[{";"}]";"<{";"}>";",";"/";"{<";"=";"=o";"O"
-     ;"μ";"ν";"."
+     ;"μ";"µ";"ν";"."
      ;"AX";"EX";"AF";"EF";"AG";"EG";"A";"E";"U";"R";"B"
     ]
 
@@ -1015,7 +1015,7 @@ and parse_rest symtab ts =
   | A.Kwd "[pi2]" ->
       let f = parse_rest symtab ts in
       FUS (false, f)
-  | A.Kwd "μ" ->
+  | A.Kwd "μ" | A.Kwd "µ" ->
       let (_, _, s) = boxinternals true "." in
       let symbol = Stream.next gensym in
       let newtab = (s, symbol) :: symtab in
-- 
GitLab