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

diff --git a/helm/ocaml/utf8_macros/utf8Macro.mli b/helm/ocaml/utf8_macros/utf8Macro.mli
index bf3fc16b4..d92f60b37 100644
--- a/helm/ocaml/utf8_macros/utf8Macro.mli
+++ b/helm/ocaml/utf8_macros/utf8Macro.mli
@@ -26,7 +26,15 @@
 exception Macro_not_found of string
 exception Utf8_not_found of string
 
-  (* @param macro name
+  (** @param macro name
      @return utf8 string *)
 val expand: string -> string
 
+  (** @param tex TeX like command (e.g. \forall, \lnot, ...)
+   * @return unicode character corresponding to the command if it exists, or the
+   * unchanged command if not *)
+val unicode_of_tex: string -> string
+
+  (** ... the other way round *)
+val tex_of_unicode: string -> string
+