"(" ^ String.concat " " (List.map (pp_ntactic status ~map_unicode_to_tex) l)^ ")"
| NRepeat (_,t) -> "nrepeat " ^ pp_ntactic status ~map_unicode_to_tex t
| Assume (_, ident, term) -> "assume" ^ ident ^ ":" ^ NotationPp.pp_term status term
"(" ^ String.concat " " (List.map (pp_ntactic status ~map_unicode_to_tex) l)^ ")"
| NRepeat (_,t) -> "nrepeat " ^ pp_ntactic status ~map_unicode_to_tex t
| Assume (_, ident, term) -> "assume" ^ ident ^ ":" ^ NotationPp.pp_term status term