if s = " " then [""]
else
try
- let alt = Hashtbl.find_all Utf8MacroTable.utf82macro s in
+ let alt =
+ List.map (fun x -> "\\"^x)
+ (Hashtbl.find_all Utf8MacroTable.utf82macro s)
+ in
List.sort
(fun x y -> Pervasives.compare (String.length x) (String.length y))
alt