* TeX-like macros (when possible). Default: true
* @return rows list of rows *)
val render_to_strings:
- ?map_unicode_to_tex:bool ->
+ map_unicode_to_tex:bool ->
(CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) ->
int -> CicNotationPres.markup -> string list
* @return s, concatenation of the return value of render_to_strings above
* with newlines as separators *)
val render_to_string:
- ?map_unicode_to_tex:bool ->
+ map_unicode_to_tex:bool ->
(CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) ->
int -> CicNotationPres.markup -> string