(* no idea why ocaml wants this *)
let parsed_text_length = String.length parsed_text in
let dbd = LibraryDb.instance () in
- let pp_macro = ApplyTransformation.txt_of_macro ~map_unicode_to_tex:true in
+ let pp_macro = ApplyTransformation.txt_of_macro ~map_unicode_to_tex:false in
match mac with
(* WHELP's stuff *)
| TA.WMatch (loc, term) ->