0  "shortleftarrow" "shortrightarrow" "shortuparrow" "shortdownarrow"
   "Yup" "Ydown" "Yleft" "Yright" "varcurlyvee" "varcurlywedge"
   "minuso" "baro" "sslash" "bbslash" "moo" "varotimes" "varoast"
   "varobar" "varodot" "varoslash" "varobslash" "varocircle"
   "varoplus" "varominus" "boxast" "boxbar" "boxdot" "boxslash"
   "boxbslash" "boxcircle" "boxbox" "boxempty" "lightning" "merge"
   "vartimes" "fatsemi" "sswarrow" "ssearrow" "curlywedgeuparrow"
   "curlywedgedownarrow" "fatslash" "fatbslash" "lbag" "rbag" "varbigcirc"
   "leftrightarroweq" "curlyveedownarrow" "curlyveeuparrow" "nnwarrow"
   "nnearrow" "leftslice" "rightslice" "varolessthan" "varogreaterthan"
   "varovee" "varowedge" "talloblong" "interleave" "obar" "obslash"
   "olessthan" "ogreaterthan" "ovee" "owedge" "oblong" "inplus"
   "niplus" "nplus" "subsetplus" "supsetplus" "subsetpluseq"
   "supsetpluseq" "Lbag" "Rbag" "llbracket" "rrbracket"
   "llparenthesis" "rrparenthesis"
   "binampersand" "bindnasrepma" "trianglelefteqslant"
   "trianglerighteqslant" "ntrianglelefteqslant" "ntrianglerighteqslant"
   "llfloor" "rrfloor" "llceil" "rrceil" "arrownot" "Arrownot" "Mapstochar"
   "mapsfromchar" "Mapsfromchar" "leftrightarrowtriangle"
   "leftarrowtriangle" "rightarrowtriangle"
74 "large-llbracket-0" "large-rrbracket-0"

