X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2Futf8Macro.mli;h=d92f60b373ac3f8053e7419708a3cb9b53840b52;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=9220365d1aba9fc06887e6a19894fc2381730583;hpb=7b7e9b07ee3bb4d12d522b2deae3aa5b62df4793;p=helm.git

diff --git a/helm/ocaml/utf8_macros/utf8Macro.mli b/helm/ocaml/utf8_macros/utf8Macro.mli
index 9220365d1..d92f60b37 100644
--- a/helm/ocaml/utf8_macros/utf8Macro.mli
+++ b/helm/ocaml/utf8_macros/utf8Macro.mli
@@ -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
+