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 "UpTee" "\226\138\165"
let _ = Hashtbl.replace macro2utf8 "NotLeftTriangleBar" "\226\167\143\204\184"
let _ = Hashtbl.replace macro2utf8 "boxVL" "\226\149\163"