]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/utf8_macros/utf8MacroTable.ml
- addded unicode_of_tex
[helm.git] / helm / ocaml / utf8_macros / utf8MacroTable.ml
index d33361f3d51b863c73e58ac8d3d53d1e3f87d658..a97e8faf1103bde84d24d9cdc0b903c0be45b096 100644 (file)
@@ -2012,6 +2012,7 @@ let _ = Hashtbl.add macro2utf8 "rarrpl" "\226\165\133"
 let _ = Hashtbl.add macro2utf8 "auml" "\195\164"
 let _ = Hashtbl.add macro2utf8 "bmod" "mod"
 let _ = Hashtbl.add macro2utf8 "SquareSuperset" "\226\138\144"
+let _ = Hashtbl.add macro2utf8 "neq" "\226\137\160"
 let _ = Hashtbl.add macro2utf8 "circleddash" "\226\138\157"
 let _ = Hashtbl.add macro2utf8 "xrarr" "\239\149\183"
 let _ = Hashtbl.add macro2utf8 "barwed" "\226\138\188"