type markup = mathml_markup
-(** @param ids_to_uris mapping id -> uri for hyperlinking *)
+(** level 1 -> level 0
+ * @param ids_to_uris mapping id -> uri for hyperlinking *)
val render: (Cic.id, string) Hashtbl.t -> CicNotationPt.term -> markup
val render_to_boxml: