0   "boxdot" "boxplus" "boxtimes" "box" "blacksquare" "centerdot" "lozenge" "blacklozenge"
    "circlearrowright" "circlearrowleft" "rightleftharpoons" "leftrightharpoons" "boxminus" "Vdash" "Vvdash" "vDash"
    "twoheadrightarrow" "twoheadleftarrow" "leftleftarrows" "rightrightarrows" "upuparrows" "downdownarrows" "upharpoonright" "downharpoonright"
    "upharpoonleft" "downharpoonleft" "rightarrowtail" "leftarrowtail" "leftrightarrows" "rightleftarrows" "Lsh" "Rsh"
    "rightsquigarrow" "leftrightsquigarrow" "looparrowleft" "looparrowright" "circeq" "succsim" "gtrsim" "gtrapprox"
    "multimap" "therefore" "because" "doteqdot" "triangleq" "precsim" "lesssim" "lessapprox"
    "eqslantless" "eqslantgtr" "curlyeqprec" "curlyeqsucc" "preccurlyeq" "leqq" "leqslant" "lessgtr"
    "`" "smalldash" "risingdotseq" "fallingdotseq" "succcurlyeq" "geqq" "geqslant" "gtrless"
    "sqsubset" "sqsupset" "vartriangleright" "vartriangleleft" "trianglerighteq" "trianglelefteq" "bigstar" "between"
    "blacktriangledown" "blacktriangleright" "blacktriangleleft" "shortrightarrow" "shortleftarrow" "vartriangle" "blacktriangle" "triangledown"
    "eqcirc" "lesseqgtr" "gtreqless" "lesseqqgtr" "gtreqqless" "yen" "Rrightarrow" "Lleftarrow"
    "checkmark" "veebar" "barwedge" "doublebarwedge" "angle" "measuredangle" "sphericalangle" "varpropto"
    "smallsmile" "smallfrown" "Subset" "Supset" "Cup" "Cap" "curlyvee" "curlywedge"
    "leftthreetimes" "rightthreetimes" "subseteqq" "supseteqq" "bumpeq" "Bumpeq" "lll" "ggg"
    "ulcorner" "urcorner" "circledR" "circledS" "pitchfork" "dotplus" "backsim" "backsimeq"
    "llcorner" "lrcorner" "maltese" "complement" "intercal" "circledcirc" "circledast" "circleddash"
3   "Box"
56  "backprime"
66  "rhd" "lhd" "unrhd" "unlhd"