X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2Futf8Macro.mli;h=d92f60b373ac3f8053e7419708a3cb9b53840b52;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;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
+