* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
exception Macro_not_found of string
exception Utf8_not_found of string
else s
with Macro_not_found _ -> s
+let tex_of_unicode s =
+ try
+ "\\" ^ Hashtbl.find Utf8MacroTable.utf82macro s
+ with Not_found -> s
+