- (** @return rows list of rows *)
-val render_to_strings: int -> CicNotationPres.markup -> string list
+ (**
+ * @param map_unicode_to_tex if true converts multibye unicode sequences to
+ * TeX-like macros (when possible). Default: true
+ * @return rows list of rows *)
+val render_to_strings:
+ map_unicode_to_tex:bool ->
+ (CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) ->
+ int -> CicNotationPres.markup -> string list