]> 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 bf3fc16b44383bcb6c27c083fa67cba6b19e194a..d92f60b373ac3f8053e7419708a3cb9b53840b52 100644 (file)
 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
+