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"