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"
    "risingdoteq" "fallingdoteq" "succcurlyeq" "geqq"
    "geqslant" "gtrless" "sqsubset" "sqsupset"
    "vartriangleright" "vartriangleleft" "trianglerighteq"
    "trianglelefteq" "blackstar" "between"
    "blacktriangledown" "blacktriangleright" "blacktriangleleft"
    "shortrightarrow" "shortleftarrow" "triangle"
    "blacktriangleup" "triangledown" "eqcirc"
    "lesseqgtr" "gtreqless" "lesseqqgtr" "gtreqqless"
    "yen" "Rrightarrow" "Lleftarrow" "checkmark"
    "veebar" "barwedge" "doublebarwedge" "angle" "measuredangle"
    "sphericalangle" "propto" "smile" "frown" "Subset"
    "Supset" "Cup" "Cap" "curlywedge" "curlyvee"
    "leftthreetimes" "rightthreetimes" "subseteqq" "supseteqq"
    "bumpeq" "Bumpeq" "lll" "ggg" "ulcorner" "urcorner"
    "circledR" "circledS" "pitchfork" "dotplus" "backsim"
    "backsimeq" "llcorner" "lrcorner" "maltese"
    "complement" "intercal" "circledcirc" "circledast"
    "circledminus"
3   "Box"
6   "Diamond"
15  "models"
56  "backprime"
66  "rhd" "lhd" "unrhd" "unlhd"
