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 "upharpoonright" "\226\134\190"
let _ = Hashtbl.replace macro2utf8 "dblac" "\203\157"
let _ = Hashtbl.replace macro2utf8 "subsetneqq" "\226\138\138"