+
+let txt_of_inline_macro ~map_unicode_to_tex style name prefix =
+ let suri =
+ if Librarian.is_uri name then name else
+ let include_paths =
+ Helm_registry.get_list Helm_registry.string "matita.includes"
+ in
+ let _, baseuri, _, _ =
+ Librarian.baseuri_of_script ~include_paths name
+ in
+ baseuri
+ in
+ txt_of_inline_uri ~map_unicode_to_tex style suri prefix
+
+