+external get_default_dictionary_path : unit -> string
+ = "ml_mathml_editor_get_default_dictionary_path"
+
+external get_default_mathml_stylesheet_path : unit -> string
+ = "ml_mathml_editor_get_default_mathml_stylesheet_path"
+
+external get_default_tex_stylesheet_path : unit -> string
+ = "ml_mathml_editor_get_default_tex_stylesheet_path"
+