open Gramext
let tex_of_unicode s =
+(*CSC: ??????? What's the meaning of this function?
let contractions = ("\\Longrightarrow","=>") :: [] in
if String.length s <= 1 then s
else (* probably an extended unicode symbol *)
let s = Utf8Macro.tex_of_unicode s in
try List.assoc s contractions with Not_found -> s
+*) match Utf8Macro.tex_of_unicode s with
+ Some s -> s
+ | None -> s
let needs_brackets t =
let rec count_brothers = function