X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fsyntax_extensions%2Futf8Macro.ml;h=c95282d58a061d1569a199a59a5ce582e46350d4;hb=ba8d987dab88c8a834c4e23508f13a397070d537;hp=00e10f18335747f9dd50ff23a43632c923ae29d8;hpb=68f3812e06c04ddd664e86dbfd3a1c32f96a22d1;p=helm.git

diff --git a/helm/software/components/syntax_extensions/utf8Macro.ml b/helm/software/components/syntax_extensions/utf8Macro.ml
index 00e10f183..c95282d58 100644
--- a/helm/software/components/syntax_extensions/utf8Macro.ml
+++ b/helm/software/components/syntax_extensions/utf8Macro.ml
@@ -45,7 +45,10 @@ let tex_of_unicode s =
  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