- addded unicode_of_tex

[helm.git] / helm / ocaml / utf8_macros / utf8Macro.mli

diff --git a/helm/ocaml/utf8_macros/utf8Macro.mli b/helm/ocaml/utf8_macros/utf8Macro.mli
index bf3fc16b44383bcb6c27c083fa67cba6b19e194a..9220365d1aba9fc06887e6a19894fc2381730583 100644 (file)
--- a/helm/ocaml/utf8_macros/utf8Macro.mli
+++ b/helm/ocaml/utf8_macros/utf8Macro.mli
@@ -26,7 +26,12 @@
 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
+