]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/utf8_macros/utf8Macro.mli
ocaml 3.09 transition
[helm.git] / helm / ocaml / utf8_macros / utf8Macro.mli
index 9220365d1aba9fc06887e6a19894fc2381730583..d92f60b373ac3f8053e7419708a3cb9b53840b52 100644 (file)
@@ -35,3 +35,6 @@ val expand: string -> string
    * unchanged command if not *)
 val unicode_of_tex: string -> string
 
+  (** ... the other way round *)
+val tex_of_unicode: string -> string
+