let _ = Hashtbl.replace macro2utf8 "lharul" "\226\165\170"
let _ = Hashtbl.replace macro2utf8 "Jukcy" "\208\132"
let _ = Hashtbl.replace macro2utf8 "permil" "\226\128\176"
+let _ = Hashtbl.replace macro2utf8 "ndivides" "\226\136\164"
let _ = Hashtbl.replace macro2utf8 "Aring" "\195\133"
let _ = Hashtbl.replace macro2utf8 "longmapsto" "????"
let _ = Hashtbl.replace macro2utf8 "Esim" "\226\169\179"
let _ = Hashtbl.replace macro2utf8 "gel" "\226\139\155"
let _ = Hashtbl.replace macro2utf8 "ang" "\226\136\160"
let _ = Hashtbl.replace macro2utf8 "lor" "\226\136\168"
-let _ = Hashtbl.replace macro2utf8 "circ" "^"
+let _ = Hashtbl.replace macro2utf8 "circ" "\226\136\152"
let _ = Hashtbl.replace macro2utf8 "upharpoonright" "\226\134\190"
let _ = Hashtbl.replace macro2utf8 "dblac" "\203\157"
let _ = Hashtbl.replace macro2utf8 "subsetneqq" "\226\138\138"
let _ = Hashtbl.replace macro2utf8 "Poincareplane" "\226\132\140"
let _ = Hashtbl.replace macro2utf8 "curlyeqsucc" "\226\139\159"
let _ = Hashtbl.replace macro2utf8 "Equal" "\226\169\181"
+let _ = Hashtbl.replace macro2utf8 "divides" "\226\136\163"
let _ = Hashtbl.replace macro2utf8 "scpolint" "\226\168\147"
let _ = Hashtbl.replace macro2utf8 "ngsim" "\226\137\181"
let _ = Hashtbl.replace macro2utf8 "larrbfs" "\226\164\159"
let _ = Hashtbl.replace macro2utf8 "boxVH" "\226\149\172"
let _ = Hashtbl.replace macro2utf8 "bbrk" "\226\142\181"
let _ = Hashtbl.replace macro2utf8 "tau" "\207\132"
-let _ = Hashtbl.replace macro2utf8 "sub" "\226\138\130"
let _ = Hashtbl.replace macro2utf8 "UpTee" "\226\138\165"
let _ = Hashtbl.replace macro2utf8 "NotLeftTriangleBar" "\226\167\143\204\184"
let _ = Hashtbl.replace macro2utf8 "boxVL" "\226\149\163"
let _ = Hashtbl.replace macro2utf8 "telrec" "\226\140\149"
let _ = Hashtbl.replace macro2utf8 "Mfr" "\240\157\148\144"
let _ = Hashtbl.replace macro2utf8 "dHar" "\226\165\165"
-let _ = Hashtbl.replace macro2utf8 "sup" "\226\138\131"
let _ = Hashtbl.replace macro2utf8 "boxUl" "\226\149\156"
let _ = Hashtbl.replace macro2utf8 "apid" "\226\137\139"
let _ = Hashtbl.replace macro2utf8 "nleftarrow" "\226\134\154"
let _ = Hashtbl.replace utf82macro "\226\134\189" "lhard"
let _ = Hashtbl.replace utf82macro "\226\134\190" "upharpoonright"
let _ = Hashtbl.replace utf82macro "\226\137\133" "cong"
-let _ = Hashtbl.replace utf82macro "\226\136\152" "SmallCircle"
+let _ = Hashtbl.replace utf82macro "\226\136\152" "circ"
let _ = Hashtbl.replace utf82macro "\226\137\134" "simne"
let _ = Hashtbl.replace utf82macro "\226\134\191" "upharpoonleft"
let _ = Hashtbl.replace utf82macro "\226\136\154" "Sqrt"
let _ = Hashtbl.replace utf82macro "\226\135\181" "duarr"
let _ = Hashtbl.replace utf82macro "\226\137\143" "HumpEqual"
let _ = Hashtbl.replace utf82macro "\226\136\162" "angsph"
-let _ = Hashtbl.replace utf82macro "\226\136\163" "mid"
+let _ = Hashtbl.replace utf82macro "\226\136\163" "divides"
let _ = Hashtbl.replace utf82macro "\226\137\144" "doteq"
-let _ = Hashtbl.replace utf82macro "\226\136\164" "NotVerticalBar"
+let _ = Hashtbl.replace utf82macro "\226\136\164" "ndivides"
let _ = Hashtbl.replace utf82macro "\226\137\145" "eDot"
let _ = Hashtbl.replace utf82macro "\226\137\146" "fallingdotseq"
let _ = Hashtbl.replace utf82macro "\226\136\165" "parallel"