diff --git a/src/lib/CoAlgFormula.ml b/src/lib/CoAlgFormula.ml
index 39e7fd0673203256b38db7aa7a10a1d63860f091..6472add496dd83380077f8893889a256752f1e82 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