* @param map_unicode_to_tex if true converts multibye unicode sequences to
* TeX-like macros (when possible). Default: true
* @param size
- * @returns hyperlinks and text
+ * @returns text
*)
+
val render_to_string:
map_unicode_to_tex:bool ->
- (CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) ->
- int -> CicNotationPres.markup ->
- (int * int * string) list * string
+ (CicNotationPres.markup list -> CicNotationPres.markup) ->
+ int -> CicNotationPres.markup -> string