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
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