(** Usage
     ocamlc default_bindings_src.ml -o generator.out
     ./generator.out output_filename
*)

(** **************************************************************************)
(** * Classifiers *)

(** Note: for future use *)

let logic = "logic"
let symbol = "symbols"
let fraction = "fractions"
let letter = "letters"
let greek_letter = "greek letter"
let asciiart = "ASCII art"
let equivalence = "equivalence relations"
let order = "order relations"
let circle = "circles"
let square = "squares"
let triangle = "triangles"
let arrow = "arrows"
let set = "set theory"
let math = "mathematics"
let space = "spaces"
let delimiter = "parentheses and delimiters"
let miscellanea = "miscellanea"


(** **************************************************************************)
(** * Bindings set 1 *)

let bindings_set_1 = [

(* {{{ logics *)
 ["\\not"; "\\neg"; "\\lnot"                           ], "Â¬", [logic];
 ["\\ForAll"; "\\forall"                              ], "âˆ€", [logic];
 ["\\exist"; "\\Exists"; "\\exists"                    ], "âˆƒ", [logic];
 ["\\nexist"; "\\nexists"; "\\NotExists"               ], "âˆ„", [logic];
 ["\\and"; "\\land"; "\\wedge"                         ], "âˆ§", [logic];
 ["\\or"; "\\vee"; "\\lor"                             ], "âˆ¨", [logic];
 ["\\vdash"; "\\RightTee"                             ], "âŠ¢", [logic];
 ["\\dashv"; "\\LeftTee"                              ], "âŠ£", [logic];
 ["\\top"; "\\DownTee"                                ], "âŠ¤", [logic];
 ["\\bot"; "\\perp"; "\\UpTee"; "\\bottom"              ], "âŠ¥", [logic];
 ["\\models"                                         ], "âŠ§", [logic];
 ["\\vDash"; "\\DoubleRightTee"                       ], "âŠ¨", [logic];
 ["\\Vdash"                                          ], "âŠ©", [logic];
 ["\\Vvdash"                                         ], "âŠª", [logic];
 ["\\VDash"                                          ], "âŠ«", [logic];
 ["\\nvdash"                                         ], "âŠ¬", [logic];
 ["\\nvDash"                                         ], "âŠ­", [logic];
 ["\\nVdash"                                         ], "âŠ®", [logic];
 ["\\nVDash"                                         ], "âŠ¯", [logic];
 ["\\Wedge"; "\\xwedge"; "\\bigwedge"                  ], "â‹€", [logic];
 ["\\Vee"; "\\xvee"; "\\bigvee"                        ], "â‹�", [logic];
(* }}} *)

(* {{{ symbols *)
 ["\\cent"                                           ], "Â¢", [symbol];
 ["\\pound"                                          ], "Â£", [symbol];
 ["\\curren"                                         ], "Â¤", [symbol];
 ["\\yen"                                            ], "Â¥", [symbol];
 ["\\brvbar"                                         ], "Â¦", [symbol];
 ["\\sect"                                           ], "Â§", [symbol];
 ["\\uml"; "\\die"; "\\Dot"; "\\DoubleDot"              ], "Â¨", [symbol];
 ["\\macr"; "\\OverBar"                               ], "Â¯", [symbol];
 ["\\sup"                                           ], "^", [symbol];
 ["\\sup2"                                           ], "Â²", [symbol];
 ["\\sup3"                                           ], "Â³", [symbol];
 ["\\acute"; "\\DiacriticalAcute"                     ], "Â´", [symbol];
 ["\\para"                                           ], "Â¶", [symbol];
 ["\\middot"; "\\centerdot"; "\\CenterDot"             ], "Â·", [symbol];
 ["\\cedil"; "\\Cedilla"                              ], "Â¸", [symbol];
 ["\\sup1"                                           ], "Â¹", [symbol];
 ["\\iquest"                                         ], "Â¿", [symbol];
 ["\\thorn"                                          ], "Ã¾", [symbol];
 ["\\imath"; "\\inodot"                               ], "Ä±", [symbol];
 ["\\Hacek"; "\\caron"                                ], "Ë‡", [symbol];
 ["\\Breve"; "\\breve"                                ], "Ë˜", [symbol];
 ["\\dot"; "\\DiacriticalDot"                         ], "Ë™", [symbol];
 ["\\ogon"                                           ], "Ë›", [symbol];
 ["\\tilde"; "\\DiacriticalTilde"                     ], "Ëœ", [symbol];
 ["\\dblac"; "\\DiacriticalDoubleAcute"               ], "Ë�", [symbol];
 ["\\Hat"                                            ], "Ì‚", [symbol];
 ["\\DownBreve"                                      ], "Ì‘", [symbol];
 ["\\UnderBar"                                       ], "Ì²", [symbol];
 ["\\dash"; "\\hyphen"                                ], "â€�", [symbol];
 ["\\ndash"                                          ], "â€“", [symbol];
 ["\\mdash"                                          ], "â€”", [symbol];
 ["\\horbar"                                         ], "â€•", [symbol];
 ["\\Vert"; "\\Verbar"                                ], "â€–", [symbol];
 ["\\lsquo"; "\\OpenCurlyQuote"                       ], "â€˜", [symbol];
 ["\\rsquo"; "\\rsquor"; "\\CloseCurlyQuote"           ], "â€™", [symbol];
 ["\\lsquor"                                         ], "â€š", [symbol];
 ["\\ldquo"; "\\OpenCurlyDoubleQuote"                 ], "â€œ", [symbol];
 ["\\rdquo"; "\\rdquor"; "\\CloseCurlyDoubleQuote"     ], "â€�", [symbol];
 ["\\ldquor"                                         ], "â€�", [symbol];
 ["\\dagger"                                         ], "â€ ", [symbol];
 ["\\Dagger"; "\\ddagger"                             ], "â€¡", [symbol];
 ["\\nldr"                                           ], "â€¥", [symbol];
 ["\\mldr"; "\\dots"; "\\ldots"; "\\hellip"             ], "â€¦", [symbol];
 ["\\prime"                                          ], "â€²", [symbol];
 ["\\Prime"                                          ], "â€³", [symbol];
 ["\\tprime"                                         ], "â€´", [symbol];
 ["\\bprime"; "\\backprime"                           ], "â€µ", [symbol];
 ["\\caret"                                          ], "â��", [symbol];
 ["\\hybull"                                         ], "â�ƒ", [symbol];
 ["\\bsemi"                                          ], "â��", [symbol];
 ["\\qprime"                                         ], "â�—", [symbol];
 ["\\MediumSpace"                                    ], "â�Ÿ", [symbol];
 ["\\tdot"; "\\TripleDot"                             ], "âƒ›", [symbol];
 ["\\DotDot"                                         ], "âƒœ", [symbol];
 ["\\minus"                                          ], "âˆ’", [symbol];
 ["\\angrt"                                          ], "âˆŸ", [symbol];
 ["\\ang"; "\\angle"                                  ], "âˆ ", [symbol];
 ["\\nang"                                           ], "âˆ Ì¸", [symbol];
 ["\\angmsd"; "\\measuredangle"                       ], "âˆ¡", [symbol];
 ["\\angsph"                                         ], "âˆ¢", [symbol];
 ["\\par"; "\\parallel"; "\\DoubleVerticalBar"         ], "âˆ¥", [symbol];
 ["\\there4"; "\\Therefore"; "\\therefore"             ], "âˆ´", [symbol];
 ["\\becaus"; "\\because"; "\\Because"                 ], "âˆµ", [symbol];
 ["\\ratio"                                          ], "âˆ¶", [symbol];
 ["\\Colon"; "\\Proportion"                           ], "âˆ·", [symbol];
 ["\\minusd"; "\\dotminus"                            ], "âˆ¸", [symbol];
 ["\\mDDot"                                          ], "âˆº", [symbol];
 ["\\homtht"                                         ], "âˆ»", [symbol];
 ["\\sim"; "\\Tilde"                                  ], "âˆ¼", [symbol];
 ["\\mstpos"                                         ], "âˆ¾", [symbol];
 ["\\acd"                                            ], "âˆ¿", [symbol];
 ["\\wr"; "\\wreath"; "\\VerticalTilde"                ], "â‰€", [symbol];
 ["\\origof"                                         ], "âŠ¶", [symbol];
 ["\\imof"                                           ], "âŠ·", [symbol];
 ["\\mumap"; "\\multimap"                             ], "âŠ¸", [symbol];
 ["\\hercon"                                         ], "âŠ¹", [symbol];
 ["\\intcal"; "\\intercal"                            ], "âŠº", [symbol];
 ["\\veebar"                                         ], "âŠ»", [symbol];
 ["\\barwed"; "\\barwedge"                            ], "âŠ¼", [symbol];
 ["\\barvee"                                         ], "âŠ½", [symbol];
 ["\\vangrt"                                         ], "âŠ¾", [symbol];
 ["\\lrtri"                                          ], "âŠ¿", [symbol];
 ["\\diam"; "\\Diamond"; "\\diamond"                   ], "â‹„", [symbol];
 ["\\sdot"                                           ], "â‹…", [symbol];
 ["\\Star"; "\\star"; "\\sstarf"                       ], "â‹†", [symbol];
 ["\\divonx"; "\\divideontimes"                       ], "â‹‡", [symbol];
 ["\\bowtie"                                         ], "â‹ˆ", [symbol];
 ["\\ltimes"                                         ], "â‹‰", [symbol];
 ["\\rtimes"                                         ], "â‹Š", [symbol];
 ["\\lthree"; "\\leftthreetimes"                      ], "â‹‹", [symbol];
 ["\\rthree"; "\\rightthreetimes"                     ], "â‹Œ", [symbol];
 ["\\cuvee"; "\\curlyvee"                             ], "â‹�", [symbol];
 ["\\cuwed"; "\\curlywedge"                           ], "â‹�", [symbol];
 ["\\fork"; "\\pitchfork"                             ], "â‹”", [symbol];
 ["\\epar"                                           ], "â‹•", [symbol];
 ["\\vdots"; "\\vellip"                               ], "â‹®", [symbol];
 ["\\cdots"; "\\ctdot"                                ], "â‹¯", [symbol];
 ["\\utdot"                                          ], "â‹°", [symbol];
 ["\\ddots"; "\\dtdot"                                ], "â‹±", [symbol];
 ["\\Barwed"; "\\doublebarwedge"                      ], "âŒ†", [symbol];
 ["\\bnot"                                           ], "âŒ�", [symbol];
 ["\\profline"                                       ], "âŒ’", [symbol];
 ["\\profsurf"                                       ], "âŒ“", [symbol];
 ["\\telrec"                                         ], "âŒ•", [symbol];
 ["\\frown"                                          ], "âŒ¢", [symbol];
 ["\\smile"                                          ], "âŒ£", [symbol];
 ["\\blank"                                          ], "â�£", [symbol];
 ["\\HorizontalLine"                                 ], "â”€", [symbol];
 ["\\loz"; "\\lozenge"                                ], "â—Š", [symbol];
 ["\\starf"; "\\bigstar"                              ], "â˜…", [symbol];
 ["\\phone"                                          ], "â˜�", [symbol];
 ["\\female"                                         ], "â™€", [symbol];
 ["\\male"                                           ], "â™‚", [symbol];
 ["\\spades"; "\\spadesuit"                           ], "â™ ", [symbol];
 ["\\heartsuit"                                      ], "â™¡", [symbol];
 ["\\diamondsuit"                                    ], "â™¢", [symbol];
 ["\\clubs"; "\\clubsuit"                             ], "â™£", [symbol];
 ["\\diams"                                          ], "â™¦", [symbol];
 ["\\sung"                                           ], "â™ª", [symbol];
 ["\\flat"                                           ], "â™­", [symbol];
 ["\\natur"; "\\natural"                              ], "â™®", [symbol];
 ["\\sharp"                                          ], "â™¯", [symbol];
 ["\\check"; "\\checkmark"                            ], "âœ“", [symbol];
 ["\\cross"                                          ], "âœ—", [symbol];
 ["\\malt"; "\\maltese"                               ], "âœ ", [symbol];
 ["\\sext"                                           ], "âœ¶", [symbol];
 ["\\VerticalSeparator"                              ], "â�˜", [symbol];
 ["\\lozf"; "\\blacklozenge"                          ], "â§«", [symbol];
 ["\\OverParenthesis"                                ], "ï¸µ", [symbol];
 ["\\UnderParenthesis"                               ], "ï¸¶", [symbol];
 ["\\OverBrace"                                      ], "ï¸·", [symbol];
 ["\\UnderBrace"                                     ], "ï¸¸", [symbol];
 ["\\Yang"                                           ], "âšŠ", [symbol];
(* }}} *)

(* {{{ fraction *)
 ["\\frac14"                                         ], "Â¼", [fraction];
 ["\\half"; "\\frac"                                  ], "Â½", [fraction];
 ["\\frac34"                                         ], "Â¾", [fraction];
 ["\\permil"                                         ], "â€°", [fraction];
 ["\\pertenk"                                        ], "â€±", [fraction];
 ["\\incare"                                         ], "â„…", [fraction];
 ["\\frac13"                                         ], "â…“", [fraction];
 ["\\frac23"                                         ], "â…”", [fraction];
 ["\\frac15"                                         ], "â…•", [fraction];
 ["\\frac25"                                         ], "â…–", [fraction];
 ["\\frac35"                                         ], "â…—", [fraction];
 ["\\frac45"                                         ], "â…˜", [fraction];
 ["\\frac16"                                         ], "â…™", [fraction];
 ["\\frac56"                                         ], "â…š", [fraction];
 ["\\frac18"                                         ], "â…›", [fraction];
 ["\\frac38"                                         ], "â…œ", [fraction];
 ["\\frac58"                                         ], "â…�", [fraction];
 ["\\frac78"                                         ], "â…�", [fraction];
(* }}} *)

(* {{{ greek letters *)
 ["\\alpha"                                          ], "Î±", [greek_letter];
 ["\\beta"                                           ], "Î²", [greek_letter];
 ["\\gamma"                                          ], "Î³", [greek_letter];
 ["\\delta"                                          ], "Î´", [greek_letter];
 ["\\epsilon"                                        ], "Ïµ", [greek_letter];
 ["\\varepsilon"; "\\straightepsilon"                ], "Îµ", [greek_letter];
 ["\\epsiv"                                          ], "É›", [greek_letter];
 ["\\bepsi"; "\\backepsilon"                         ], "Ï¶", [greek_letter];
 ["\\zeta"                                           ], "Î¶", [greek_letter];
 ["\\eta"                                            ], "Î·", [greek_letter];
 ["\\theta"                                          ], "Î¸", [greek_letter];
 ["\\vartheta"                                       ], "Ï‘", [greek_letter];
 ["\\iota"                                           ], "Î¹", [greek_letter];
 ["\\kappa"                                          ], "Îº", [greek_letter];
 ["\\varkappa"                                       ], "Ï°", [greek_letter];
 ["\\lambda"                                         ], "Î»", [greek_letter];
 ["\\mu"                                             ], "Î¼", [greek_letter];
 ["\\nu"                                             ], "Î½", [greek_letter];
 ["\\xi"                                             ], "Î¾", [greek_letter];
 ["\\o"                                              ], "Î¿", [greek_letter];
 ["\\pi"                                             ], "Ï€", [greek_letter];
 ["\\varpi"                                          ], "Ï–", [greek_letter];
 ["\\rho"                                            ], "Ï�", [greek_letter];
 ["\\varrho"                                         ], "Ï±", [greek_letter];
 ["\\sigma"                                          ], "Ïƒ", [greek_letter];
 ["\\varsigma"                                       ], "Ï‚", [greek_letter];
 ["\\tau"                                            ], "Ï„", [greek_letter];
 ["\\upsilon"                                        ], "Ï…", [greek_letter];
 ["\\phi"                                            ], "Ï•", [greek_letter];
 ["\\varphi"; "\\straightphi"                        ], "Ï†", [greek_letter];
 ["\\chi"                                            ], "Ï‡", [greek_letter];
 ["\\psi"                                            ], "Ïˆ", [greek_letter];
 ["\\omega"                                          ], "Ï‰", [greek_letter];
 ["\\Gamma"                                          ], "Î“", [greek_letter];
 ["\\Gammad"; "\\gammad"; "\\digamma"                ], "Ïœ", [greek_letter];
 ["\\Delta"                                          ], "Î”", [greek_letter];
 ["\\Theta"                                          ], "Î˜", [greek_letter];
 ["\\Lambda"                                         ], "Î›", [greek_letter];
 ["\\Xi"                                             ], "Î�", [greek_letter];
 ["\\Pi"                                             ], "Î ", [greek_letter];
 ["\\Sigma"                                          ], "Î£", [greek_letter];
 ["\\Upsilon"                                        ], "Ï’", [greek_letter];
 ["\\Phi"                                            ], "Î¦", [greek_letter];
 ["\\Psi"                                            ], "Î¨", [greek_letter];
 ["\\Omega"                                          ], "Î©", [greek_letter];
(* }}} *)

(* {{{ letters *)
 ["\\iexcl"                                          ], "Â¡", [letter];
 ["\\ordf"                                           ], "Âª", [letter];
 ["\\micro"                                          ], "Âµ", [letter];
 ["\\Agrave"                                         ], "Ã€", [letter];
 ["\\Aacute"                                         ], "Ã�", [letter];
 ["\\Acirc"                                          ], "Ã‚", [letter];
 ["\\Atilde"                                         ], "Ãƒ", [letter];
 ["\\Auml"                                           ], "Ã„", [letter];
 ["\\Aring"                                          ], "Ã…", [letter];
 ["\\AElig"                                          ], "Ã†", [letter];
 ["\\Ccedil"                                         ], "Ã‡", [letter];
 ["\\Egrave"                                         ], "Ãˆ", [letter];
 ["\\Eacute"                                         ], "Ã‰", [letter];
 ["\\Ecirc"                                          ], "ÃŠ", [letter];
 ["\\Euml"                                           ], "Ã‹", [letter];
 ["\\Igrave"                                         ], "ÃŒ", [letter];
 ["\\Iacute"                                         ], "Ã�", [letter];
 ["\\Icirc"                                          ], "Ã�", [letter];
 ["\\Iuml"                                           ], "Ã�", [letter];
 ["\\ETH"                                            ], "Ã�", [letter];
 ["\\Ntilde"                                         ], "Ã‘", [letter];
 ["\\Ograve"                                         ], "Ã’", [letter];
 ["\\Oacute"                                         ], "Ã“", [letter];
 ["\\Ocirc"                                          ], "Ã”", [letter];
 ["\\Otilde"                                         ], "Ã•", [letter];
 ["\\Ouml"                                           ], "Ã–", [letter];
 ["\\Oslash"                                         ], "Ã˜", [letter];
 ["\\Ugrave"                                         ], "Ã™", [letter];
 ["\\Uacute"                                         ], "Ãš", [letter];
 ["\\Ucirc"                                          ], "Ã›", [letter];
 ["\\Uuml"                                           ], "Ãœ", [letter];
 ["\\Yacute"                                         ], "Ã�", [letter];
 ["\\THORN"                                          ], "Ã�", [letter];
 ["\\szlig"                                          ], "ÃŸ", [letter];
 ["\\agrave"                                         ], "Ã ", [letter];
 ["\\aacute"                                         ], "Ã¡", [letter];
 ["\\acirc"                                          ], "Ã¢", [letter];
 ["\\atilde"                                         ], "Ã£", [letter];
 ["\\auml"                                           ], "Ã¤", [letter];
 ["\\aring"                                          ], "Ã¥", [letter];
 ["\\aelig"                                          ], "Ã¦", [letter];
 ["\\ccedil"                                         ], "Ã§", [letter];
 ["\\egrave"                                         ], "Ã¨", [letter];
 ["\\eacute"                                         ], "Ã©", [letter];
 ["\\ecirc"                                          ], "Ãª", [letter];
 ["\\euml"                                           ], "Ã«", [letter];
 ["\\igrave"                                         ], "Ã¬", [letter];
 ["\\iacute"                                         ], "Ã­", [letter];
 ["\\icirc"                                          ], "Ã®", [letter];
 ["\\iuml"                                           ], "Ã¯", [letter];
 ["\\eth"                                            ], "Ã°", [letter];
 ["\\ntilde"                                         ], "Ã±", [letter];
 ["\\ograve"                                         ], "Ã²", [letter];
 ["\\oacute"                                         ], "Ã³", [letter];
 ["\\ocirc"                                          ], "Ã´", [letter];
 ["\\otilde"                                         ], "Ãµ", [letter];
 ["\\ouml"                                           ], "Ã¶", [letter];
 ["\\ugrave"                                         ], "Ã¹", [letter];
 ["\\uacute"                                         ], "Ãº", [letter];
 ["\\ucirc"                                          ], "Ã»", [letter];
 ["\\uuml"                                           ], "Ã¼", [letter];
 ["\\yacute"                                         ], "Ã½", [letter];
 ["\\yuml"                                           ], "Ã¿", [letter];
 ["\\Amacr"                                          ], "Ä€", [letter];
 ["\\amacr"                                          ], "Ä�", [letter];
 ["\\Abreve"                                         ], "Ä‚", [letter];
 ["\\abreve"                                         ], "Äƒ", [letter];
 ["\\Aogon"                                          ], "Ä„", [letter];
 ["\\aogon"                                          ], "Ä…", [letter];
 ["\\Cacute"                                         ], "Ä†", [letter];
 ["\\cacute"                                         ], "Ä‡", [letter];
 ["\\Ccirc"                                          ], "Äˆ", [letter];
 ["\\ccirc"                                          ], "Ä‰", [letter];
 ["\\Cdot"                                           ], "ÄŠ", [letter];
 ["\\cdot"                                           ], "Ä‹", [letter];
 ["\\Ccaron"                                         ], "ÄŒ", [letter];
 ["\\ccaron"                                         ], "Ä�", [letter];
 ["\\Dcaron"                                         ], "Ä�", [letter];
 ["\\dcaron"                                         ], "Ä�", [letter];
 ["\\Dstrok"                                         ], "Ä�", [letter];
 ["\\dstrok"                                         ], "Ä‘", [letter];
 ["\\Emacr"                                          ], "Ä’", [letter];
 ["\\emacr"                                          ], "Ä“", [letter];
 ["\\Edot"                                           ], "Ä–", [letter];
 ["\\edot"                                           ], "Ä—", [letter];
 ["\\Eogon"                                          ], "Ä˜", [letter];
 ["\\eogon"                                          ], "Ä™", [letter];
 ["\\Ecaron"                                         ], "Äš", [letter];
 ["\\ecaron"                                         ], "Ä›", [letter];
 ["\\Gcirc"                                          ], "Äœ", [letter];
 ["\\gcirc"                                          ], "Ä�", [letter];
 ["\\Gbreve"                                         ], "Ä�", [letter];
 ["\\gbreve"                                         ], "ÄŸ", [letter];
 ["\\Gdot"                                           ], "Ä ", [letter];
 ["\\gdot"                                           ], "Ä¡", [letter];
 ["\\Gcedil"                                         ], "Ä¢", [letter];
 ["\\Hcirc"                                          ], "Ä¤", [letter];
 ["\\hcirc"                                          ], "Ä¥", [letter];
 ["\\Hstrok"                                         ], "Ä¦", [letter];
 ["\\hstrok"                                         ], "Ä§", [letter];
 ["\\Itilde"                                         ], "Ä¨", [letter];
 ["\\itilde"                                         ], "Ä©", [letter];
 ["\\Imacr"                                          ], "Äª", [letter];
 ["\\imacr"                                          ], "Ä«", [letter];
 ["\\Iogon"                                          ], "Ä®", [letter];
 ["\\iogon"                                          ], "Ä¯", [letter];
 ["\\Idot"                                           ], "Ä°", [letter];
 ["\\IJlig"                                          ], "Ä²", [letter];
 ["\\ijlig"                                          ], "Ä³", [letter];
 ["\\Jcirc"                                          ], "Ä´", [letter];
 ["\\jcirc"                                          ], "Äµ", [letter];
 ["\\Kcedil"                                         ], "Ä¶", [letter];
 ["\\kcedil"                                         ], "Ä·", [letter];
 ["\\kgreen"                                         ], "Ä¸", [letter];
 ["\\Lacute"                                         ], "Ä¹", [letter];
 ["\\lacute"                                         ], "Äº", [letter];
 ["\\Lcedil"                                         ], "Ä»", [letter];
 ["\\lcedil"                                         ], "Ä¼", [letter];
 ["\\Lcaron"                                         ], "Ä½", [letter];
 ["\\lcaron"                                         ], "Ä¾", [letter];
 ["\\Lmidot"                                         ], "Ä¿", [letter];
 ["\\lmidot"                                         ], "Å€", [letter];
 ["\\Lstrok"                                         ], "Å�", [letter];
 ["\\lstrok"                                         ], "Å‚", [letter];
 ["\\Nacute"                                         ], "Åƒ", [letter];
 ["\\nacute"                                         ], "Å„", [letter];
 ["\\Ncedil"                                         ], "Å…", [letter];
 ["\\ncedil"                                         ], "Å†", [letter];
 ["\\Ncaron"                                         ], "Å‡", [letter];
 ["\\ncaron"                                         ], "Åˆ", [letter];
 ["\\napos"                                          ], "Å‰", [letter];
 ["\\ENG"                                            ], "ÅŠ", [letter];
 ["\\eng"                                            ], "Å‹", [letter];
 ["\\Omacr"                                          ], "ÅŒ", [letter];
 ["\\omacr"                                          ], "Å�", [letter];
 ["\\Odblac"                                         ], "Å�", [letter];
 ["\\odblac"                                         ], "Å‘", [letter];
 ["\\OElig"                                          ], "Å’", [letter];
 ["\\oelig"                                          ], "Å“", [letter];
 ["\\Racute"                                         ], "Å”", [letter];
 ["\\racute"                                         ], "Å•", [letter];
 ["\\Rcedil"                                         ], "Å–", [letter];
 ["\\rcedil"                                         ], "Å—", [letter];
 ["\\Rcaron"                                         ], "Å˜", [letter];
 ["\\rcaron"                                         ], "Å™", [letter];
 ["\\Sacute"                                         ], "Åš", [letter];
 ["\\sacute"                                         ], "Å›", [letter];
 ["\\Scirc"                                          ], "Åœ", [letter];
 ["\\scirc"                                          ], "Å�", [letter];
 ["\\Scedil"                                         ], "Å�", [letter];
 ["\\scedil"                                         ], "ÅŸ", [letter];
 ["\\Scaron"                                         ], "Å ", [letter];
 ["\\scaron"                                         ], "Å¡", [letter];
 ["\\Tcedil"                                         ], "Å¢", [letter];
 ["\\tcedil"                                         ], "Å£", [letter];
 ["\\Tcaron"                                         ], "Å¤", [letter];
 ["\\tcaron"                                         ], "Å¥", [letter];
 ["\\Tstrok"                                         ], "Å¦", [letter];
 ["\\tstrok"                                         ], "Å§", [letter];
 ["\\Utilde"                                         ], "Å¨", [letter];
 ["\\utilde"                                         ], "Å©", [letter];
 ["\\Umacr"                                          ], "Åª", [letter];
 ["\\umacr"                                          ], "Å«", [letter];
 ["\\Ubreve"                                         ], "Å¬", [letter];
 ["\\ubreve"                                         ], "Å­", [letter];
 ["\\Uring"                                          ], "Å®", [letter];
 ["\\uring"                                          ], "Å¯", [letter];
 ["\\Udblac"                                         ], "Å°", [letter];
 ["\\udblac"                                         ], "Å±", [letter];
 ["\\Uogon"                                          ], "Å²", [letter];
 ["\\uogon"                                          ], "Å³", [letter];
 ["\\Wcirc"                                          ], "Å´", [letter];
 ["\\wcirc"                                          ], "Åµ", [letter];
 ["\\Ycirc"                                          ], "Å¶", [letter];
 ["\\ycirc"                                          ], "Å·", [letter];
 ["\\Yuml"                                           ], "Å¸", [letter];
 ["\\Zacute"                                         ], "Å¹", [letter];
 ["\\zacute"                                         ], "Åº", [letter];
 ["\\Zdot"                                           ], "Å»", [letter];
 ["\\zdot"                                           ], "Å¼", [letter];
 ["\\Zcaron"                                         ], "Å½", [letter];
 ["\\zcaron"                                         ], "Å¾", [letter];
 ["\\fnof"                                           ], "Æ’", [letter];
 ["\\gacute"                                         ], "Çµ", [letter];
 ["\\IOcy"                                           ], "Ğ�", [letter];
 ["\\DJcy"                                           ], "Ğ‚", [letter];
 ["\\GJcy"                                           ], "Ğƒ", [letter];
 ["\\Jukcy"                                          ], "Ğ„", [letter];
 ["\\DScy"                                           ], "Ğ…", [letter];
 ["\\Iukcy"                                          ], "Ğ†", [letter];
 ["\\YIcy"                                           ], "Ğ‡", [letter];
 ["\\Jsercy"                                         ], "Ğˆ", [letter];
 ["\\LJcy"                                           ], "Ğ‰", [letter];
 ["\\NJcy"                                           ], "ĞŠ", [letter];
 ["\\TSHcy"                                          ], "Ğ‹", [letter];
 ["\\KJcy"                                           ], "ĞŒ", [letter];
 ["\\Ubrcy"                                          ], "Ğ�", [letter];
 ["\\DZcy"                                           ], "Ğ�", [letter];
 ["\\Acy"                                            ], "Ğ�", [letter];
 ["\\Bcy"                                            ], "Ğ‘", [letter];
 ["\\Vcy"                                            ], "Ğ’", [letter];
 ["\\Gcy"                                            ], "Ğ“", [letter];
 ["\\Dcy"                                            ], "Ğ”", [letter];
 ["\\IEcy"                                           ], "Ğ•", [letter];
 ["\\ZHcy"                                           ], "Ğ–", [letter];
 ["\\Zcy"                                            ], "Ğ—", [letter];
 ["\\Icy"                                            ], "Ğ˜", [letter];
 ["\\Jcy"                                            ], "Ğ™", [letter];
 ["\\Kcy"                                            ], "Ğš", [letter];
 ["\\Lcy"                                            ], "Ğ›", [letter];
 ["\\Mcy"                                            ], "Ğœ", [letter];
 ["\\Ncy"                                            ], "Ğ�", [letter];
 ["\\Ocy"                                            ], "Ğ�", [letter];
 ["\\Pcy"                                            ], "ĞŸ", [letter];
 ["\\Rcy"                                            ], "Ğ ", [letter];
 ["\\Scy"                                            ], "Ğ¡", [letter];
 ["\\Tcy"                                            ], "Ğ¢", [letter];
 ["\\Ucy"                                            ], "Ğ£", [letter];
 ["\\Fcy"                                            ], "Ğ¤", [letter];
 ["\\KHcy"                                           ], "Ğ¥", [letter];
 ["\\TScy"                                           ], "Ğ¦", [letter];
 ["\\CHcy"                                           ], "Ğ§", [letter];
 ["\\SHcy"                                           ], "Ğ¨", [letter];
 ["\\SHCHcy"                                         ], "Ğ©", [letter];
 ["\\HARDcy"                                         ], "Ğª", [letter];
 ["\\Ycy"                                            ], "Ğ«", [letter];
 ["\\SOFTcy"                                         ], "Ğ¬", [letter];
 ["\\Ecy"                                            ], "Ğ­", [letter];
 ["\\YUcy"                                           ], "Ğ®", [letter];
 ["\\YAcy"                                           ], "Ğ¯", [letter];
 ["\\acy"                                            ], "Ğ°", [letter];
 ["\\bcy"                                            ], "Ğ±", [letter];
 ["\\vcy"                                            ], "Ğ²", [letter];
 ["\\gcy"                                            ], "Ğ³", [letter];
 ["\\dcy"                                            ], "Ğ´", [letter];
 ["\\iecy"                                           ], "Ğµ", [letter];
 ["\\zhcy"                                           ], "Ğ¶", [letter];
 ["\\zcy"                                            ], "Ğ·", [letter];
 ["\\icy"                                            ], "Ğ¸", [letter];
 ["\\jcy"                                            ], "Ğ¹", [letter];
 ["\\kcy"                                            ], "Ğº", [letter];
 ["\\lcy"                                            ], "Ğ»", [letter];
 ["\\mcy"                                            ], "Ğ¼", [letter];
 ["\\ncy"                                            ], "Ğ½", [letter];
 ["\\ocy"                                            ], "Ğ¾", [letter];
 ["\\pcy"                                            ], "Ğ¿", [letter];
 ["\\rcy"                                            ], "Ñ€", [letter];
 ["\\scy"                                            ], "Ñ�", [letter];
 ["\\tcy"                                            ], "Ñ‚", [letter];
 ["\\ucy"                                            ], "Ñƒ", [letter];
 ["\\fcy"                                            ], "Ñ„", [letter];
 ["\\khcy"                                           ], "Ñ…", [letter];
 ["\\tscy"                                           ], "Ñ†", [letter];
 ["\\chcy"                                           ], "Ñ‡", [letter];
 ["\\shcy"                                           ], "Ñˆ", [letter];
 ["\\shchcy"                                         ], "Ñ‰", [letter];
 ["\\hardcy"                                         ], "ÑŠ", [letter];
 ["\\ycy"                                            ], "Ñ‹", [letter];
 ["\\softcy"                                         ], "ÑŒ", [letter];
 ["\\ecy"                                            ], "Ñ�", [letter];
 ["\\yucy"                                           ], "Ñ�", [letter];
 ["\\yacy"                                           ], "Ñ�", [letter];
 ["\\iocy"                                           ], "Ñ‘", [letter];
 ["\\djcy"                                           ], "Ñ’", [letter];
 ["\\gjcy"                                           ], "Ñ“", [letter];
 ["\\jukcy"                                          ], "Ñ”", [letter];
 ["\\dscy"                                           ], "Ñ•", [letter];
 ["\\iukcy"                                          ], "Ñ–", [letter];
 ["\\yicy"                                           ], "Ñ—", [letter];
 ["\\jsercy"                                         ], "Ñ˜", [letter];
 ["\\ljcy"                                           ], "Ñ™", [letter];
 ["\\njcy"                                           ], "Ñš", [letter];
 ["\\tshcy"                                          ], "Ñ›", [letter];
 ["\\kjcy"                                           ], "Ñœ", [letter];
 ["\\ubrcy"                                          ], "Ñ�", [letter];
 ["\\dzcy"                                           ], "ÑŸ", [letter];
 ["\\Copf"; "\\complexes"                             ], "â„‚", [letter];
 ["\\gscr"                                           ], "â„Š", [letter];
 ["\\Hscr"; "\\hamilt"; "\\HilbertSpace"               ], "â„‹", [letter];
 ["\\Hfr"; "\\Poincareplane"                          ], "â„Œ", [letter];
 ["\\Hopf"; "\\quaternions"                           ], "â„�", [letter];
 ["\\planckh"                                        ], "â„�", [letter];
 ["\\hslash"; "\\plankv"                              ], "â„�", [letter];
 ["\\hbar"; "\\planck"                                ], "â„�", [letter];
 ["\\Iscr"; "\\imagline"                              ], "â„�", [letter];
 ["\\Im"; "\\Ifr"; "\\image"; "\\imagpart"              ], "â„‘", [letter];
 ["\\Lscr"; "\\lagran"; "\\Laplacetrf"                 ], "â„’", [letter];
 ["\\ell"; "\\lscr"                                   ], "â„“", [letter];
 ["\\Nopf"; "\\naturals"                              ], "â„•", [letter];
 ["\\numero"                                         ], "â„–", [letter];
 ["\\copysr"                                         ], "â„—", [letter];
 ["\\wp"; "\\weierp"                                  ], "â„˜", [letter];
 ["\\Popf"; "\\primes"                                ], "â„™", [letter];
 ["\\Qopf"; "\\rationals"                             ], "â„š", [letter];
 ["\\Rscr"; "\\realine"                               ], "â„›", [letter];
 ["\\Re"; "\\Rfr"; "\\real"; "\\realpart"               ], "â„œ", [letter];
 ["\\Ropf"; "\\reals"                                 ], "â„�", [letter];
 ["\\rx"                                             ], "â„�", [letter];
 ["\\trade"                                          ], "â„¢", [letter];
 ["\\Zopf"; "\\integers"                              ], "â„¤", [letter];
 ["\\ohm"                                            ], "â„¦", [letter];
 ["\\mho"                                            ], "â„§", [letter];
 ["\\Zfr"; "\\zeetrf"                                 ], "â„¨", [letter];
 ["\\iiota"                                          ], "â„©", [letter];
 ["\\angst"                                          ], "â„«", [letter];
 ["\\Bscr"; "\\bernou"; "\\Bernoullis"                 ], "â„¬", [letter];
 ["\\Cfr"; "\\Cayleys"                                ], "â„­", [letter];
 ["\\escr"                                           ], "â„¯", [letter];
 ["\\Escr"; "\\expectation"                           ], "â„°", [letter];
 ["\\Fscr"; "\\Fouriertrf"                            ], "â„±", [letter];
 ["\\Mscr"; "\\phmmat"; "\\Mellintrf"                  ], "â„³", [letter];
 ["\\oscr"; "\\order"; "\\orderof"                     ], "â„´", [letter];
 ["\\aleph"                                          ], "â„µ", [letter];
 ["\\beth"                                           ], "â„¶", [letter];
 ["\\gimel"                                          ], "â„·", [letter];
 ["\\daleth"                                         ], "â„¸", [letter];
 ["\\DD"; "\\CapitalDifferentialD"                    ], "â……", [letter];
 ["\\dd"; "\\DifferentialD"                           ], "â…†", [letter];
 ["\\ee"; "\\exponentiale"; "\\ExponentialE"           ], "â…‡", [letter];
 ["\\ii"; "\\ImaginaryI"                              ], "â…ˆ", [letter];
 ["\\comp"; "\\complement"                            ], "âˆ�", [letter];
 ["\\part"; "\\partial"; "\\PartialD"                  ], "âˆ‚", [letter];
 ["\\npart"                                          ], "âˆ‚Ì¸", [letter];
 ["\\easter"                                         ], "â‰›", [letter];
 ["\\fpartint"                                       ], "â¨�", [letter];
 ["\\fflig"                                          ], "ï¬€", [letter];
 ["\\filig"                                          ], "ï¬�", [letter];
 ["\\fllig"                                          ], "ï¬‚", [letter];
 ["\\ffilig"                                         ], "ï¬ƒ", [letter];
 ["\\ffllig"                                         ], "ï¬„", [letter];
 ["\\Aopf"                                           ], "ğ�”¸", [letter];
 ["\\Bopf"                                           ], "ğ�”¹", [letter];
 ["\\Dopf"                                           ], "ğ�”»", [letter];
 ["\\Eopf"                                           ], "ğ�”¼", [letter];
 ["\\Fopf"                                           ], "ğ�”½", [letter];
 ["\\Gopf"                                           ], "ğ�”¾", [letter];
 ["\\Iopf"                                           ], "ğ�•€", [letter];
 ["\\Jopf"                                           ], "ğ�•�", [letter];
 ["\\Kopf"                                           ], "ğ�•‚", [letter];
 ["\\Lopf"; "\\imped"                                 ], "ğ�•ƒ", [letter];
 ["\\Mopf"                                           ], "ğ�•„", [letter];
 ["\\Oopf"                                           ], "ğ�•†", [letter];
 ["\\Sopf"                                           ], "ğ�•Š", [letter];
 ["\\Topf"                                           ], "ğ�•‹", [letter];
 ["\\Uopf"                                           ], "ğ�•Œ", [letter];
 ["\\Vopf"                                           ], "ğ�•�", [letter];
 ["\\Wopf"                                           ], "ğ�•�", [letter];
 ["\\Xopf"                                           ], "ğ�•�", [letter];
 ["\\Yopf"                                           ], "ğ�•�", [letter];
 ["\\aopf"                                           ], "ğ�•’", [letter];
 ["\\bopf"                                           ], "ğ�•“", [letter];
 ["\\copf"                                           ], "ğ�•”", [letter];
 ["\\dopf"                                           ], "ğ�••", [letter];
 ["\\eopf"                                           ], "ğ�•–", [letter];
 ["\\fopf"                                           ], "ğ�•—", [letter];
 ["\\gopf"                                           ], "ğ�•˜", [letter];
 ["\\hopf"                                           ], "ğ�•™", [letter];
 ["\\iopf"                                           ], "ğ�•š", [letter];
 ["\\jopf"                                           ], "ğ�•›", [letter];
 ["\\kopf"                                           ], "ğ�•œ", [letter];
 ["\\lopf"                                           ], "ğ�•�", [letter];
 ["\\mopf"                                           ], "ğ�•�", [letter];
 ["\\nopf"                                           ], "ğ�•Ÿ", [letter];
 ["\\oopf"                                           ], "ğ�• ", [letter];
 ["\\popf"                                           ], "ğ�•¡", [letter];
 ["\\qopf"                                           ], "ğ�•¢", [letter];
 ["\\ropf"                                           ], "ğ�•£", [letter];
 ["\\sopf"                                           ], "ğ�•¤", [letter];
 ["\\topf"                                           ], "ğ�•¥", [letter];
 ["\\uopf"                                           ], "ğ�•¦", [letter];
 ["\\vopf"                                           ], "ğ�•§", [letter];
 ["\\wopf"                                           ], "ğ�•¨", [letter];
 ["\\xopf"                                           ], "ğ�•©", [letter];
 ["\\yopf"                                           ], "ğ�•ª", [letter];
 ["\\zopf"                                           ], "ğ�•«", [letter];
(* }}} *)

(* {{{ ASCII art *)
 ["\\lceil"; "\\LeftCeiling"                          ], "âŒˆ", [asciiart];
 ["\\rceil"; "\\RightCeiling"                         ], "âŒ‰", [asciiart];
 ["\\lfloor"; "\\LeftFloor"                           ], "âŒŠ", [asciiart];
 ["\\rfloor"; "\\RightFloor"                          ], "âŒ‹", [asciiart];
 ["\\drcrop"                                         ], "âŒŒ", [asciiart];
 ["\\dlcrop"                                         ], "âŒ�", [asciiart];
 ["\\urcrop"                                         ], "âŒ�", [asciiart];
 ["\\ulcrop"                                         ], "âŒ�", [asciiart];
 ["\\ulcorn"; "\\ulcorner"                            ], "âŒœ", [asciiart];
 ["\\urcorn"; "\\urcorner"                            ], "âŒ�", [asciiart];
 ["\\dlcorn"; "\\llcorner"                            ], "âŒ�", [asciiart];
 ["\\drcorn"; "\\lrcorner"                            ], "âŒŸ", [asciiart];
 ["\\boxh"                                           ], "â”€", [asciiart];
 ["\\boxv"                                           ], "â”‚", [asciiart];
 ["\\boxdr"                                          ], "â”Œ", [asciiart];
 ["\\boxdl"                                          ], "â”�", [asciiart];
 ["\\boxur"                                          ], "â””", [asciiart];
 ["\\boxul"                                          ], "â”˜", [asciiart];
 ["\\boxvr"                                          ], "â”œ", [asciiart];
 ["\\boxvl"                                          ], "â”¤", [asciiart];
 ["\\boxhd"                                          ], "â”¬", [asciiart];
 ["\\boxhu"                                          ], "â”´", [asciiart];
 ["\\boxvh"                                          ], "â”¼", [asciiart];
 ["\\boxH"                                           ], "â•�", [asciiart];
 ["\\boxV"                                           ], "â•‘", [asciiart];
 ["\\boxdR"                                          ], "â•’", [asciiart];
 ["\\boxDr"                                          ], "â•“", [asciiart];
 ["\\boxDR"                                          ], "â•”", [asciiart];
 ["\\boxdL"                                          ], "â••", [asciiart];
 ["\\boxDl"                                          ], "â•–", [asciiart];
 ["\\boxDL"                                          ], "â•—", [asciiart];
 ["\\boxuR"                                          ], "â•˜", [asciiart];
 ["\\boxUr"                                          ], "â•™", [asciiart];
 ["\\boxUR"                                          ], "â•š", [asciiart];
 ["\\boxuL"                                          ], "â•›", [asciiart];
 ["\\boxUl"                                          ], "â•œ", [asciiart];
 ["\\boxUL"                                          ], "â•�", [asciiart];
 ["\\boxvR"                                          ], "â•�", [asciiart];
 ["\\boxVr"                                          ], "â•Ÿ", [asciiart];
 ["\\boxVR"                                          ], "â• ", [asciiart];
 ["\\boxvL"                                          ], "â•¡", [asciiart];
 ["\\boxVl"                                          ], "â•¢", [asciiart];
 ["\\boxVL"                                          ], "â•£", [asciiart];
 ["\\boxHd"                                          ], "â•¤", [asciiart];
 ["\\boxhD"                                          ], "â•¥", [asciiart];
 ["\\boxHD"                                          ], "â•¦", [asciiart];
 ["\\boxHu"                                          ], "â•§", [asciiart];
 ["\\boxhU"                                          ], "â•¨", [asciiart];
 ["\\boxHU"                                          ], "â•©", [asciiart];
 ["\\boxvH"                                          ], "â•ª", [asciiart];
 ["\\boxVh"                                          ], "â•«", [asciiart];
 ["\\boxVH"                                          ], "â•¬", [asciiart];
 ["\\block"                                          ], "â–ˆ", [asciiart];
 ["\\blk14"                                          ], "â–‘", [asciiart];
 ["\\blk12"                                          ], "â–’", [asciiart];
 ["\\blk34"                                          ], "â–“", [asciiart];
(* }}} *)

(* {{{ equivalence *)
 ["\\bsim"; "\\backsim"                               ], "âˆ½", [equivalence];
 ["\\nsim"; "\\NotTilde"                              ], "â‰�", [equivalence];
 ["\\nvsim"                                          ], "â‰�Ì¸", [equivalence];
 ["\\esim"; "\\eqsim"; "\\EqualTilde"                  ], "â‰‚", [equivalence];
 ["\\nesim"; "\\NotEqualTilde"                        ], "â‰‚Ì¸", [equivalence];
 ["\\sime"; "\\simeq"; "\\TildeEqual"                  ], "â‰ƒ", [equivalence];
 ["\\nsime"; "\\nsimeq"; "\\NotTildeEqual"             ], "â‰„", [equivalence];
 ["\\cong"; "\\TildeFullEqual"                        ], "â‰…", [equivalence];
 ["\\simne"                                          ], "â‰†", [equivalence];
 ["\\ncong"; "\\NotTildeFullEqual"                    ], "â‰‡", [equivalence];
 ["\\ap"; "\\approx"; "\\TildeTilde"                   ], "â‰ˆ", [equivalence];
 ["\\nap"; "\\napprox"; "\\NotTildeTilde"              ], "â‰‰", [equivalence];
 ["\\nvap"                                           ], "â‰‰Ì¸", [equivalence];
 ["\\apE"; "\\ape"; "\\approxeq"                       ], "â‰Š", [equivalence];
 ["\\apid"                                           ], "â‰‹", [equivalence];
 ["\\napid"                                          ], "â‰‹Ì¸", [equivalence];
 ["\\bcong"; "\\backcong"                             ], "â‰Œ", [equivalence];
 ["\\asymp"; "\\CupCap"                               ], "â‰�", [equivalence];
 ["\\bump"; "\\Bumpeq"; "\\HumpDownHump"               ], "â‰�", [equivalence];
 ["\\nbump"; "\\NotHumpDownHump"                      ], "â‰�Ì¸", [equivalence];
 ["\\bumpe"; "\\bumpeq"; "\\HumpEqual"                 ], "â‰�", [equivalence];
 ["\\nbumpe"; "\\NotHumpEqual"                        ], "â‰�Ì¸", [equivalence];
 ["\\esdot"; "\\doteq"; "\\DotEqual"                   ], "â‰�", [equivalence];
 ["\\eDot"; "\\doteqdot"                              ], "â‰‘", [equivalence];
 ["\\efDot"; "\\fallingdotseq"                        ], "â‰’", [equivalence];
 ["\\erDot"; "\\risingdotseq"                         ], "â‰“", [equivalence];
 ["\\colone"; "\\Assign"; "\\coloneq"                  ], "â‰”", [equivalence];
 ["\\ecolon"; "\\eqcolon"                             ], "â‰•", [equivalence];
 ["\\ecir"; "\\eqcirc"                                ], "â‰–", [equivalence];
 ["\\cire"; "\\circeq"                                ], "â‰—", [equivalence];
 ["\\wedgeq"                                         ], "â‰™", [equivalence];
 ["\\veeeq"                                          ], "â‰š", [equivalence];
 ["\\trie"; "\\triangleq"                             ], "â‰œ", [equivalence];
 ["\\def";"\\:=" ], "â‰�", [equivalence];
 ["\\equest"; "\\questeq"                             ], "â‰Ÿ", [equivalence];
 ["\\ne"; "\\neq"; "\\NotEqual"                        ], "â‰ ", [equivalence];
 ["\\equiv"; "\\Congruent"                            ], "â‰¡", [equivalence];
 ["\\nequiv"; "\\NotCongruent"                        ], "â‰¢", [equivalence];
 ["\\NotCupCap"                                      ], "â‰­", [equivalence];
 ["\\bsime"; "\\backsimeq"                            ], "â‹�", [equivalence];
 ["\\bumpE"                                          ], "âª®", [equivalence];
(* }}} *)

(* {{{ order *)
 ["\\le"; "\\leq";"\\<="                                 ], "â‰¤", [order];
 ["\\ge"; "\\geq"; "\\GreaterEqual";"\\>="                    ], "â‰¥", [order];
 ["\\lE"; "\\leqq"; "\\LessFullEqual"                  ], "â‰¦", [order];
 ["\\gE"; "\\geqq"; "\\GreaterFullEqual"               ], "â‰§", [order];
 ["\\lnE"; "\\lne"; "\\lneq"; "\\lneqq"                 ], "â‰¨", [order];
 ["\\gnE"; "\\gne"; "\\gneq"; "\\gneqq"                 ], "â‰©", [order];
 ["\\Lt"; "\\ll"; "\\NestedLessLess"                   ], "â‰ª", [order];
 ["\\nLt"                                            ], "â‰ªÌ¸", [order];
 ["\\gg"; "\\Gt"; "\\NestedGreaterGreater"             ], "â‰«", [order];
 ["\\nGt"                                            ], "â‰«Ì¸", [order];
 ["\\nlt"; "\\nvlt"; "\\nless"; "\\NotLess"             ], "â‰®", [order];
 ["\\ngt"; "\\ngtr"; "\\nvgt"; "\\NotGreater"           ], "â‰¯", [order];
 ["\\nlE"; "\\nleq"; "\\nvle"; "\\nles"; "\\nleqq"; "\\nleqslant"; "\\NotLessSlantEqual"; "\\NotGreaterFullEqual"], "â‰°", [order];
 ["\\ngE"; "\\nges"; "\\nvge"; "\\ngeq"; "\\ngeqq"; "\\ngeqslant"; "\\NotGreaterSlantEqual"], "â‰±", [order];
 ["\\lap"; "\\lsim"; "\\lesssim"; "\\LessTilde"; "\\lessapprox"    ], "â‰²", [order];
 ["\\gap"; "\\gsim"; "\\gtrsim"; "\\gtrapprox"; "\\GreaterTilde"   ], "â‰³", [order];
 ["\\nlsim"; "\\NotLessTilde"                         ], "â‰´", [order];
 ["\\ngsim"; "\\NotGreaterTilde"                      ], "â‰µ", [order];
 ["\\lessgtr"; "\\LessGreater"                        ], "â‰¶", [order];
 ["\\gl"; "\\gtrless"; "\\GreaterLess"                 ], "â‰·", [order];
 ["\\ntlg"; "\\NotLessGreater"                        ], "â‰¸", [order];
 ["\\ntgl"; "\\NotGreaterLess"                        ], "â‰¹", [order];
 ["\\pr"; "\\prec"; "\\Precedes"                       ], "â‰º", [order];
 ["\\sc"; "\\succ"; "\\Succeeds"                       ], "â‰»", [order];
 ["\\prcue"; "\\preccurlyeq"; "\\PrecedesSlantEqual"   ], "â‰¼", [order];
 ["\\sce"; "\\sccue"; "\\succeq"; "\\succcurlyeq"; "\\SucceedsEqual"; "\\SucceedsSlantEqual"], "â‰½", [order];
 ["\\scE"; "\\prap"; "\\prsim"; "\\precsim"; "\\precapprox"; "\\PrecedesTilde"], "â‰¾", [order];
 ["\\scap"; "\\scsim"; "\\succsim"; "\\succapprox"; "\\SucceedsTilde"], "â‰¿", [order];
 ["\\NotSucceedsTilde"                               ], "â‰¿Ì¸", [order];
 ["\\npr"; "\\nprec"; "\\NotPrecedes"                  ], "âŠ€", [order];
 ["\\nsc"; "\\nsucc"; "\\NotSucceeds"                  ], "âŠ�", [order];
 ["\\ltdot"; "\\lessdot"                              ], "â‹–", [order];
 ["\\gtdot"; "\\gtrdot"                               ], "â‹—", [order];
 ["\\Ll"                                             ], "â‹˜", [order];
 ["\\nLl"                                            ], "â‹˜Ì¸", [order];
 ["\\Gg"; "\\ggg"                                     ], "â‹™", [order];
 ["\\nGg"                                            ], "â‹™Ì¸", [order];
 ["\\lEg"; "\\leg"; "\\lesseqgtr"; "\\lesseqqgtr"; "\\LessEqualGreater"], "â‹š", [order];
 ["\\gEl"; "\\gel"; "\\gtreqless"; "\\gtreqqless"; "\\GreaterEqualLess"], "â‹›", [order];
 ["\\els"; "\\eqslantless"                            ], "â‹œ", [order];
 ["\\egs"; "\\eqslantgtr"                             ], "â‹�", [order];
 ["\\cuepr"; "\\curlyeqprec"                          ], "â‹�", [order];
 ["\\cuesc"; "\\curlyeqsucc"                          ], "â‹Ÿ", [order];
 ["\\nprcue"; "\\NotPrecedesSlantEqual"               ], "â‹ ", [order];
 ["\\nsccue"; "\\NotSucceedsSlantEqual"               ], "â‹¡", [order];
 ["\\lnsim"                                          ], "â‹¦", [order];
 ["\\gnsim"                                          ], "â‹§", [order];
 ["\\prnap"; "\\prnsim"; "\\precnsim"; "\\precnapprox"  ], "â‹¨", [order];
 ["\\scnap"; "\\scnsim"; "\\succnsim"; "\\succnapprox"  ], "â‹©", [order];
 ["\\gtrarr"                                         ], "â¥¸", [order];
 ["\\les"; "\\leqslant"; "\\LessSlantEqual"            ], "â©½", [order];
 ["\\ges"; "\\geqslant"; "\\GreaterSlantEqual"         ], "â©¾", [order];
 ["\\lesdot"                                         ], "â©¿", [order];
 ["\\gesdot"                                         ], "âª€", [order];
 ["\\lesdoto"                                        ], "âª�", [order];
 ["\\gesdoto"                                        ], "âª‚", [order];
 ["\\lesdotor"                                       ], "âªƒ", [order];
 ["\\gesdotol"                                       ], "âª„", [order];
 ["\\lnap"; "\\lnapprox"                              ], "âª‰", [order];
 ["\\gnap"; "\\gnapprox"                              ], "âªŠ", [order];
 ["\\lsime"                                          ], "âª�", [order];
 ["\\gsime"                                          ], "âª�", [order];
 ["\\lsimg"                                          ], "âª�", [order];
 ["\\gsiml"                                          ], "âª�", [order];
 ["\\lgE"                                            ], "âª‘", [order];
 ["\\glE"                                            ], "âª’", [order];
 ["\\lesges"                                         ], "âª“", [order];
 ["\\gesles"                                         ], "âª”", [order];
 ["\\elsdot"                                         ], "âª—", [order];
 ["\\egsdot"                                         ], "âª˜", [order];
 ["\\el"                                             ], "âª™", [order];
 ["\\eg"                                             ], "âªš", [order];
 ["\\siml"                                           ], "âª�", [order];
 ["\\simg"                                           ], "âª�", [order];
 ["\\simlE"                                          ], "âªŸ", [order];
 ["\\simgE"                                          ], "âª ", [order];
 ["\\prE"; "\\pre"; "\\preceq"; "\\PrecedesEqual"       ], "âª¯", [order];
 ["\\npre"; "\\npreceq"; "\\NotPrecedesEqual"          ], "âª¯Ì¸", [order];
 ["\\nsce"; "\\nsucceq"; "\\NotSucceedsEqual"          ], "âª°Ì¸", [order];
 ["\\prnE"; "\\precneqq"                              ], "âªµ", [order];
 ["\\scnE"; "\\succneqq"                              ], "âª¶", [order];
(* }}} *)

(* {{{ circles *)
 ["\\copy"                                           ], "Â©", [circle];
 ["\\reg"; "\\circledR"                               ], "Â®", [circle];
 ["\\ordm"                                           ], "Âº", [circle];
 ["\\oslash"                                         ], "Ã¸", [circle];
 ["\\ring"                                           ], "Ëš", [circle];
 ["\\bull"; "\\bullet"                                ], "â€¢", [circle];
 ["\\circ"; "\\compfn"; "\\SmallCircle"                ], "âˆ˜", [circle];
 ["\\oplus"; "\\xoplus"; "\\bigoplus"; "\\CirclePlus"   ], "âŠ•", [circle];
 ["\\ominus"; "\\CircleMinus"                         ], "âŠ–", [circle];
 ["\\xotime"; "\\otimes"; "\\bigotimes"; "\\CircleTimes"], "âŠ—", [circle];
 ["\\osol"                                           ], "âŠ˜", [circle];
 ["\\odot"; "\\xodot"; "\\bigodot"; "\\CircleDot"       ], "âŠ™", [circle];
 ["\\ocir"; "\\circledcirc"                           ], "âŠš", [circle];
 ["\\oast"; "\\circledast"                            ], "âŠ›", [circle];
 ["\\odash"; "\\circleddash"                          ], "âŠ�", [circle];
 ["\\ovbar"                                          ], "âŒ½", [circle];
 ["\\NotNestedLessLess"                              ], "â’¡Ì¸", [circle];
 ["\\NotNestedGreaterGreater"                        ], "â’¢Ì¸", [circle];
 ["\\oS"; "\\circledS"                                ], "â“ˆ", [circle];
 ["\\cir";                                            ], "â—‹", [circle];
 ["\\xcirc"; "\\bigcirc"                              ], "â—¯", [circle];
(* }}} *)

(* {{{ squares *)
 ["\\plusb"; "\\boxplus"                              ], "âŠ�", [square];
 ["\\minusb"; "\\boxminus"                            ], "âŠŸ", [square];
 ["\\timesb"; "\\boxtimes"                            ], "âŠ ", [square];
 ["\\sdotb"; "\\dotsquare"                            ], "âŠ¡", [square];
 ["\\uhblk"                                          ], "â–€", [square];
 ["\\lhblk"                                          ], "â–„", [square];
 ["\\squ"; "\\square"; "\\Square"                      ], "â–¡", [square];
 ["\\squf"; "\\squarf"; "\\blacksquare"                ], "â–ª", [square];
 ["\\rect"                                           ], "â–­", [square];
 ["\\marker"                                         ], "â–®", [square];
 ["\\EmptySmallSquare"                               ], "â—½", [square];
 ["\\FilledSmallSquare"                              ], "â—¾", [square];
(* }}} *)

(* {{{ triangles *)
 ["\\Del"; "\\nabla"                                  ], "âˆ‡", [triangle];
 ["\\vltri"; "\\LeftTriangle"; "\\vartriangleleft"     ], "âŠ²", [triangle];
 ["\\vrtri"; "\\RightTriangle"; "\\vartriangleright"   ], "âŠ³", [triangle];
 ["\\ltrie"; "\\trianglelefteq"; "\\LeftTriangleEqual" ], "âŠ´", [triangle];
 ["\\rtrie"; "\\trianglerighteq"; "\\RightTriangleEqual"         ], "âŠµ", [triangle];
 ["\\nltri"; "\\ntriangleleft"; "\\NotLeftTriangle"    ], "â‹ª", [triangle];
 ["\\nrtri"; "\\ntriangleright"; "\\NotRightTriangle"  ], "â‹«", [triangle];
 ["\\nltrie"; "\\ntrianglelefteq"; "\\NotLeftTriangleEqual"      ], "â‹¬", [triangle];
 ["\\nvltrie"                                        ], "â‹¬Ì¸", [triangle];
 ["\\nrtrie"; "\\ntrianglerighteq"; "\\NotRightTriangleEqual"    ], "â‹­", [triangle];
 ["\\nvrtrie"                                        ], "â‹­Ì¸", [triangle];
 ["\\xutri"; "\\bigtriangleup"                        ], "â–³", [triangle];
 ["\\utrif"; "\\blacktriangle"                        ], "â–´", [triangle];
 ["\\utri"; "\\triangle"                              ], "â–µ", [triangle];
 ["\\rtrif"; "\\blacktriangleright"                   ], "â–¸", [triangle];
 ["\\rtri"; "\\triangleright"                         ], "â–¹", [triangle];
 ["\\xdtri"; "\\bigtriangledown"                      ], "â–½", [triangle];
 ["\\dtrif"; "\\blacktriangledown"                    ], "â–¾", [triangle];
 ["\\dtri"; "\\triangledown"                          ], "â–¿", [triangle];
 ["\\ltrif"; "\\blacktriangleleft"                    ], "â—‚", [triangle];
 ["\\ltri"; "\\triangleleft"                          ], "â—ƒ", [triangle];
 ["\\tridot"                                         ], "â—¬", [triangle];
 ["\\ultri"                                          ], "â—¸", [triangle];
 ["\\urtri"                                          ], "â—¹", [triangle];
 ["\\lltri"                                          ], "â—º", [triangle];
 ["\\rtriltri"                                       ], "â§�", [triangle];
 ["\\LeftTriangleBar"                                ], "â§�", [triangle];
 ["\\NotLeftTriangleBar"                             ], "â§�Ì¸", [triangle];
 ["\\RightTriangleBar"                               ], "â§�", [triangle];
 ["\\NotRightTriangleBar"                            ], "â§�Ì¸", [triangle];
(* }}} *)

(* {{{ arrows *)
 ["\\larr"; "\\gets"; "\\leftarrow"; "\\LeftArrow";"\\<-"      ], "â†�", [arrow];
 ["\\uarr"; "\\UpArrow"; "\\uparrow"                   ], "â†‘", [arrow];
 ["\\to"; "\\rarr"; "\\RightArrow"; "\\rightarrow";"\\->"], "â†’", [arrow];
 ["\\darr"; "\\downarrow"; "\\DownArrow"               ], "â†“", [arrow];
 ["\\harr"; "\\LeftRightArrow"; "\\leftrightarrow"     ], "â†”", [arrow];
 ["\\varr"; "\\updownarrow"; "\\UpDownArrow"           ], "â†•", [arrow];
 ["\\nwarr"; "\\nwarrow"; "\\UpperLeftArrow"           ], "â†–", [arrow];
 ["\\nearr"; "\\nearrow"; "\\UpperRightArrow"          ], "â†—", [arrow];
 ["\\searr"; "\\searrow"; "\\LowerRightArrow"          ], "â†˜", [arrow];
 ["\\swarr"; "\\swarrow"; "\\LowerLeftArrow"           ], "â†™", [arrow];
 ["\\nlarr"; "\\nleftarrow"                           ], "â†š", [arrow];
 ["\\nrarr"; "\\nrightarrow"                          ], "â†›", [arrow];
 ["\\rarrw"; "\\rightsquigarrow"                      ], "â†�", [arrow];
 ["\\nrarrw"                                         ], "â†�Ì¸", [arrow];
 ["\\Larr"; "\\twoheadleftarrow"                      ], "â†�", [arrow];
 ["\\Uarr"                                           ], "â†Ÿ", [arrow];
 ["\\Rarr"; "\\twoheadrightarrow"                     ], "â† ", [arrow];
 ["\\Darr"                                           ], "â†¡", [arrow];
 ["\\larrtl"; "\\leftarrowtail"                       ], "â†¢", [arrow];
 ["\\ratail"; "\\rarrtl"; "\\rightarrowtail"           ], "â†£", [arrow];
 ["\\mapstoleft"; "\\LeftTeeArrow"                    ], "â†¤", [arrow];
 ["\\mapstoup"; "\\UpTeeArrow"                        ], "â†¥", [arrow];
 ["\\map"; "\\mapsto"; "\\RightTeeArrow"               ], "â†¦", [arrow];
 ["\\mapstodown"; "\\DownTeeArrow"                    ], "â†§", [arrow];
 ["\\larrhk"; "\\hookleftarrow"                       ], "â†©", [arrow];
 ["\\rarrhk"; "\\hookrightarrow"                      ], "â†ª", [arrow];
 ["\\larrlp"; "\\looparrowleft"                       ], "â†«", [arrow];
 ["\\rarrlp"; "\\looparrowright"                      ], "â†¬", [arrow];
 ["\\harrw"; "\\leftrightsquigarrow"                  ], "â†­", [arrow];
 ["\\nharr"; "\\nleftrightarrow"                      ], "â†®", [arrow];
 ["\\Lsh"; "\\lsh"                                    ], "â†°", [arrow];
 ["\\Rsh"; "\\rsh"                                    ], "â†±", [arrow];
 ["\\ldsh"                                           ], "â†²", [arrow];
 ["\\rdsh"                                           ], "â†³", [arrow];
 ["\\cularr"; "\\curvearrowleft"                      ], "â†¶", [arrow];
 ["\\curarr"; "\\curvearrowright"                     ], "â†·", [arrow];
 ["\\olarr"; "\\circlearrowleft"                      ], "â†º", [arrow];
 ["\\orarr"; "\\circlearrowright"                     ], "â†»", [arrow];
 ["\\lharu"; "\\LeftVector"; "\\leftharpoonup"         ], "â†¼", [arrow];
 ["\\lhard"; "\\DownLeftVector"; "\\leftharpoondown"   ], "â†½", [arrow];
 ["\\uharr"; "\\RightUpVector"; "\\upharpoonright"     ], "â†¾", [arrow];
 ["\\uharl"; "\\LeftUpVector"; "\\upharpoonleft"       ], "â†¿", [arrow];
 ["\\rharu"; "\\RightVector"; "\\rightharpoonup"       ], "â‡€", [arrow];
 ["\\rhard"; "\\DownRightVector"; "\\rightharpoondown" ], "â‡�", [arrow];
 ["\\dharr"; "\\RightDownVector"; "\\downharpoonright" ], "â‡‚", [arrow];
 ["\\dharl"; "\\LeftDownVector"; "\\downharpoonleft"   ], "â‡ƒ", [arrow];
 ["\\rlarr"; "\\rightleftarrows"; "\\RightArrowLeftArrow"        ], "â‡„", [arrow];
 ["\\udarr"; "\\UpArrowDownArrow"                     ], "â‡…", [arrow];
 ["\\lrarr"; "\\leftrightarrows"; "\\LeftArrowRightArrow"        ], "â‡†", [arrow];
 ["\\llarr"; "\\leftleftarrows"                       ], "â‡‡", [arrow];
 ["\\uuarr"; "\\upuparrows"                           ], "â‡ˆ", [arrow];
 ["\\rrarr"; "\\rightrightarrows"                     ], "â‡‰", [arrow];
 ["\\ddarr"; "\\downdownarrows"                       ], "â‡Š", [arrow];
 ["\\lrhar"; "\\leftrightharpoons"; "\\ReverseEquilibrium"       ], "â‡‹", [arrow];
 ["\\rlhar"; "\\Equilibrium"; "\\rightleftharpoons"    ], "â‡Œ", [arrow];
 ["\\nlArr"; "\\nvlArr"; "\\nLeftarrow"                ], "â‡�", [arrow];
 ["\\nhArr"; "\\nvHarr"; "\\nLeftrightarrow"           ], "â‡�", [arrow];
 ["\\nrArr"; "\\nvrArr"; "\\nRightarrow"               ], "â‡�", [arrow];
 ["\\lArr"; "\\Leftarrow"; "\\DoubleLeftArrow";"\\<=="         ], "â‡�", [arrow];
 ["\\uArr"; "\\Uparrow"; "\\DoubleUpArrow"             ], "â‡‘", [arrow];
 ["\\rArr"; "\\Implies"; "\\Rightarrow"; "\\Longrightarrow"; "\\DoubleRightArrow"; "\\==>"], "â‡’", [arrow];
 ["\\dArr"; "\\Downarrow"; "\\DoubleDownArrow"         ], "â‡“", [arrow];
 ["\\iff"; "\\hArr"; "\\Leftrightarrow"; "\\DoubleLeftRightArrow";"\\<==>" ], "â‡”", [arrow];
 ["\\vArr"; "\\Updownarrow"; "\\DoubleUpDownArrow"     ], "â‡•", [arrow];
 ["\\nwArr"                                          ], "â‡–", [arrow];
 ["\\neArr"                                          ], "â‡—", [arrow];
 ["\\seArr"                                          ], "â‡˜", [arrow];
 ["\\swArr"                                          ], "â‡™", [arrow];
 ["\\lAarr"; "\\Lleftarrow"                           ], "â‡š", [arrow];
 ["\\rAarr"; "\\Rrightarrow"                          ], "â‡›", [arrow];
 ["\\zigrarr"                                        ], "â‡�", [arrow];
 ["\\larrb"; "\\LeftArrowBar"                         ], "â‡¤", [arrow];
 ["\\rarrb"; "\\RightArrowBar"                        ], "â‡¥", [arrow];
 ["\\duarr"; "\\DownArrowUpArrow"                     ], "â‡µ", [arrow];
 ["\\loarr"                                          ], "â‡½", [arrow];
 ["\\roarr"                                          ], "â‡¾", [arrow];
 ["\\hoarr"                                          ], "â‡¿", [arrow];
 ["\\Map"                                            ], "â¤…", [arrow];
 ["\\lbarr"                                          ], "â¤Œ", [arrow];
 ["\\rbarr"; "\\bkarow"                               ], "â¤�", [arrow];
 ["\\lBarr"                                          ], "â¤�", [arrow];
 ["\\ac"; "\\rBarr"; "\\dbkarow"                       ], "â¤�", [arrow];
 ["\\RBarr"; "\\drbkarow"                             ], "â¤�", [arrow];
 ["\\DDotrahd"                                       ], "â¤‘", [arrow];
 ["\\UpArrowBar"                                     ], "â¤’", [arrow];
 ["\\DownArrowBar"                                   ], "â¤“", [arrow];
 ["\\Rarrtl"                                         ], "â¤–", [arrow];
 ["\\latail"                                         ], "â¤™", [arrow];
 ["\\lAtail"                                         ], "â¤›", [arrow];
 ["\\rAtail"                                         ], "â¤œ", [arrow];
 ["\\larrfs"                                         ], "â¤�", [arrow];
 ["\\rarrfs"                                         ], "â¤�", [arrow];
 ["\\larrbfs"                                        ], "â¤Ÿ", [arrow];
 ["\\rarrbfs"                                        ], "â¤ ", [arrow];
 ["\\nwarhk"                                         ], "â¤£", [arrow];
 ["\\nearhk"                                         ], "â¤¤", [arrow];
 ["\\searhk"; "\\hksearow"                            ], "â¤¥", [arrow];
 ["\\swarhk"; "\\hkswarow"                            ], "â¤¦", [arrow];
 ["\\nwnear"                                         ], "â¤§", [arrow];
 ["\\toea"; "\\nesear"                                ], "â¤¨", [arrow];
 ["\\tosa"; "\\seswar"                                ], "â¤©", [arrow];
 ["\\swnwar"                                         ], "â¤ª", [arrow];
 ["\\rarrc"                                          ], "â¤³", [arrow];
 ["\\nrarrc"                                         ], "â¤³Ì¸", [arrow];
 ["\\cudarrr"                                        ], "â¤µ", [arrow];
 ["\\ldca"                                           ], "â¤¶", [arrow];
 ["\\rdca"                                           ], "â¤·", [arrow];
 ["\\cudarrl"                                        ], "â¤¸", [arrow];
 ["\\larrpl"                                         ], "â¤¹", [arrow];
 ["\\curarrm"                                        ], "â¤¼", [arrow];
 ["\\cularrp"                                        ], "â¤½", [arrow];
 ["\\rarrpl"                                         ], "â¥…", [arrow];
 ["\\harrcir"                                        ], "â¥ˆ", [arrow];
 ["\\Uarrocir"                                       ], "â¥‰", [arrow];
 ["\\lurdshar"                                       ], "â¥Š", [arrow];
 ["\\ldrushar"                                       ], "â¥‹", [arrow];
 ["\\LeftRightVector"                                ], "â¥�", [arrow];
 ["\\RightUpDownVector"                              ], "â¥�", [arrow];
 ["\\DownLeftRightVector"                            ], "â¥�", [arrow];
 ["\\LeftUpDownVector"                               ], "â¥‘", [arrow];
 ["\\LeftVectorBar"                                  ], "â¥’", [arrow];
 ["\\RightVectorBar"                                 ], "â¥“", [arrow];
 ["\\RightUpVectorBar"                               ], "â¥”", [arrow];
 ["\\RightDownVectorBar"                             ], "â¥•", [arrow];
 ["\\DownLeftVectorBar"                              ], "â¥–", [arrow];
 ["\\DownRightVectorBar"                             ], "â¥—", [arrow];
 ["\\LeftUpVectorBar"                                ], "â¥˜", [arrow];
 ["\\LeftDownVectorBar"                              ], "â¥™", [arrow];
 ["\\LeftTeeVector"                                  ], "â¥š", [arrow];
 ["\\RightTeeVector"                                 ], "â¥›", [arrow];
 ["\\RightUpTeeVector"                               ], "â¥œ", [arrow];
 ["\\RightDownTeeVector"                             ], "â¥�", [arrow];
 ["\\DownLeftTeeVector"                              ], "â¥�", [arrow];
 ["\\DownRightTeeVector"                             ], "â¥Ÿ", [arrow];
 ["\\LeftUpTeeVector"                                ], "â¥ ", [arrow];
 ["\\LeftDownTeeVector"                              ], "â¥¡", [arrow];
 ["\\lHar"                                           ], "â¥¢", [arrow];
 ["\\uHar"                                           ], "â¥£", [arrow];
 ["\\rHar"                                           ], "â¥¤", [arrow];
 ["\\dHar"                                           ], "â¥¥", [arrow];
 ["\\luruhar"                                        ], "â¥¦", [arrow];
 ["\\ldrdhar"                                        ], "â¥§", [arrow];
 ["\\ruluhar"                                        ], "â¥¨", [arrow];
 ["\\rdldhar"                                        ], "â¥©", [arrow];
 ["\\lharul"                                         ], "â¥ª", [arrow];
 ["\\llhard"                                         ], "â¥«", [arrow];
 ["\\rharul"                                         ], "â¥¬", [arrow];
 ["\\lrhard"                                         ], "â¥­", [arrow];
 ["\\udhar"; "\\UpEquilibrium"                        ], "â¥®", [arrow];
 ["\\duhar"; "\\ReverseUpEquilibrium"                 ], "â¥¯", [arrow];
 ["\\RoundImplies"                                   ], "â¥°", [arrow];
 ["\\erarr"                                          ], "â¥±", [arrow];
 ["\\simrarr"                                        ], "â¥²", [arrow];
 ["\\larrsim"                                        ], "â¥³", [arrow];
 ["\\rarrsim"                                        ], "â¥´", [arrow];
 ["\\rarrap"                                         ], "â¥µ", [arrow];
 ["\\ltlarr"                                         ], "â¥¶", [arrow];
 ["\\suplarr"                                        ], "â¥»", [arrow];
 ["\\lfisht"                                         ], "â¥¼", [arrow];
 ["\\rfisht"                                         ], "â¥½", [arrow];
 ["\\ufisht"                                         ], "â¥¾", [arrow];
 ["\\dfisht"                                         ], "â¥¿", [arrow];
(* }}} *)

(* {{{ set operations *)
 ["\\emptyv"; "\\varnothing"                          ], "âˆ…", [set];
 ["\\in"; "\\isin"; "\\isinv"; "\\Element"              ], "âˆˆ", [set];
 ["\\notin"; "\\NotElement"                           ], "âˆ‰", [set];
 ["\\notinva"                                        ], "âˆ‰Ì¸", [set];
 ["\\ni"; "\\niv"; "\\owns"; "\\SuchThat"; "\\ReverseElement"      ], "âˆ‹", [set];
 ["\\notni"; "\\notniva"; "\\NotReverseElement"        ], "âˆŒ", [set];
 ["\\coprod"; "\\Coproduct"                           ], "âˆ�", [set];
 ["\\cap"                                            ], "âˆ©", [set];
 ["\\cup"                                            ], "âˆª", [set];
 ["\\twixt"; "\\between"                              ], "â‰¬", [set];
 ["\\subset"                                         ], "âŠ‚", [set];
 ["\\supset"; "\\Superset"                            ], "âŠƒ", [set];
 ["\\suphsol"                                        ], "âŠƒ/", [set];
 ["\\nsub"; "\\vnsub"; "\\nsubset"; "\\NotSubset"       ], "âŠ„", [set];
 ["\\nsup"; "\\vnsup"; "\\nsupset"; "\\NotSuperset"     ], "âŠ…", [set];
 ["\\subE"; "\\sube"; "\\subseteq"; "\\subseteqq"; "\\SubsetEqual" ], "âŠ†", [set];
 ["\\supe"; "\\supE"; "\\supseteq"; "\\supseteqq"; "\\SupersetEqual"], "âŠ‡", [set];
 ["\\nsube"; "\\nsubE"; "\\nsubseteq"; "\\nsubseteqq"; "\\NotSubsetEqual"], "âŠˆ", [set];
 ["\\nsupe"; "\\nsupE"; "\\nsupseteq"; "\\nsupseteqq"; "\\NotSupersetEqual"], "âŠ‰", [set];
 ["\\subne"; "\\subnE"; "\\subsetneq"; "\\subsetneqq"   ], "âŠŠ", [set];
 ["\\supne"; "\\supnE"; "\\supsetneq"; "\\supsetneqq"   ], "âŠ‹", [set];
 ["\\cupdot"                                         ], "âŠ�", [set];
 ["\\uplus"; "\\xuplus"; "\\biguplus"; "\\UnionPlus"    ], "âŠ�", [set];
 ["\\sqsub"; "\\sqsubset"; "\\SquareSubset"            ], "âŠ�", [set];
 ["\\NotSquareSubset"                                ], "âŠ�Ì¸", [set];
 ["\\sqsup"; "\\sqsupset"; "\\SquareSuperset"          ], "âŠ�", [set];
 ["\\NotSquareSuperset"                              ], "âŠ�Ì¸", [set];
 ["\\sqsube"; "\\sqsubseteq"; "\\SquareSubsetEqual"    ], "âŠ‘", [set];
 ["\\sqsupe"; "\\sqsupseteq"; "\\SquareSupersetEqual"  ], "âŠ’", [set];
 ["\\sqcap"; "\\SquareIntersection"                   ], "âŠ“", [set];
 ["\\sqcup"; "\\xsqcup"; "\\bigsqcup"; "\\SquareUnion"  ], "âŠ”", [set];
 ["\\xcap"; "\\bigcap"; "\\Intersection"               ], "â‹‚", [set];
 ["\\xcup"; "\\Union"; "\\bigcup"                      ], "â‹ƒ", [set];
 ["\\Sub"; "\\Subset"                                 ], "â‹�", [set];
 ["\\Sup"; "\\Supset"                                 ], "â‹‘", [set];
 ["\\Cap"                                            ], "â‹’", [set];
 ["\\Cup"                                            ], "â‹“", [set];
 ["\\nsqsube"; "\\NotSquareSubsetEqual"               ], "â‹¢", [set];
 ["\\nsqsupe"; "\\NotSquareSupersetEqual"             ], "â‹£", [set];
 ["\\disin"                                          ], "â‹²", [set];
 ["\\isinsv"                                         ], "â‹³", [set];
 ["\\isins"                                          ], "â‹´", [set];
 ["\\isindot"                                        ], "â‹µ", [set];
 ["\\notinvc"                                        ], "â‹¶", [set];
 ["\\notindot"                                       ], "â‹¶", [set];
 ["\\notinvb"                                        ], "â‹·", [set];
 ["\\isinE"                                          ], "â‹¹", [set];
 ["\\nisd"                                           ], "â‹º", [set];
 ["\\xnis"                                           ], "â‹»", [set];
 ["\\nis"                                            ], "â‹¼", [set];
 ["\\notnivc"                                        ], "â‹½", [set];
 ["\\notnivb"                                        ], "â‹¾", [set];
 ["\\subrarr"                                        ], "â¥¹", [set];
(* }}} *)

(* {{{ math *)
 ["\\pm"; "\\plusmn"; "\\PlusMinus"                    ], "Â±", [math];
 ["\\times"                                          ], "Ã—", [math];
 ["\\div"; "\\divide"                                 ], "Ã·", [math];
 ["\\prod"; "\\Product"                               ], "âˆ�", [math];
 ["\\sum"; "\\Sum"                                    ], "âˆ‘", [math];
 ["\\mp"; "\\mnplus"; "\\MinusPlus"                    ], "âˆ“", [math];
 ["\\plusdo"; "\\dotplus"                             ], "âˆ”", [math];
 ["\\setmn"; "\\setminus"; "\\Backslash"               ], "âˆ–", [math];
 ["\\lowast"                                         ], "âˆ—", [math];
 ["\\Sqrt"; "\\radic"                                 ], "âˆš", [math];
 ["\\prop"; "\\vprop"; "\\propto"; "\\varpropto"; "\\Proportional" ], "âˆ�", [math];
 ["\\infty"; "\\infin"                                ], "âˆ�", [math];
 ["\\mid"; "\\divides"; "\\VerticalBar"                ], "âˆ£", [math];
 ["\\nmid"; "\\ndivides"; "\\NotVerticalBar"           ], "âˆ¤", [math];
 ["\\npar"; "\\nparallel"; "\\NotDoubleVerticalBar"    ], "âˆ¦", [math];
 ["\\int"; "\\Integral"                               ], "âˆ«", [math];
 ["\\Int"                                            ], "âˆ¬", [math];
 ["\\tint"; "\\iiint"                                 ], "âˆ­", [math];
 ["\\oint"; "\\conint"; "\\ContourIntegral"            ], "âˆ®", [math];
 ["\\Conint"; "\\DoubleContourIntegral"               ], "âˆ¯", [math];
 ["\\Cconint"                                        ], "âˆ°", [math];
 ["\\cwint"                                          ], "âˆ±", [math];
 ["\\cwconint"; "\\ClockwiseContourIntegral"          ], "âˆ²", [math];
 ["\\awconint"; "\\CounterClockwiseContourIntegral"   ], "âˆ³", [math];
 ["\\qint"; "\\iiiint"                                ], "â¨Œ", [math];
 ["\\cirfnint"                                       ], "â¨�", [math];
 ["\\awint"                                          ], "â¨‘", [math];
 ["\\rppolint"                                       ], "â¨’", [math];
 ["\\scpolint"                                       ], "â¨“", [math];
 ["\\npolint"                                        ], "â¨”", [math];
 ["\\pointint"                                       ], "â¨•", [math];
 ["\\quatint"                                        ], "â¨–", [math];
 ["\\intlarhk"                                       ], "â¨—", [math];
 ["\\Cross"                                          ], "â¨¯", [math];
(* }}} *)

(* {{{ spaces *)
 ["\\nbsp"; "\\NonBreakingSpace"                      ], " ", [space];
 ["\\shy"                                            ], "Â­", [space];
 ["\\ensp"                                           ], "â€‚", [space];
 ["\\emsp"                                           ], "â€ƒ", [space];
 ["\\emsp13"                                         ], "â€„", [space];
 ["\\emsp14"                                         ], "â€…", [space];
 ["\\numsp"                                          ], "â€‡", [space];
 ["\\puncsp"                                         ], "â€ˆ", [space];
 ["\\thinsp"; "\\ThinSpace"                           ], "â€‰", [space];
 ["\\ThickSpace"                                     ], "â€‰â€Šâ€Š", [space];
 ["\\hairsp"; "\\VeryThinSpace"                       ], "â€Š", [space];
 ["\\ic"; "\\ZeroWidthSpace"; "\\InvisibleComma"       ], "â€‹", [space];
 ["\\af"; "\\ApplyFunction"                           ], "â�¡", [space];
 ["\\it"; "\\InvisibleTimes"                          ], "â�¢", [space];
 ["\\NoBreak"                                        ], "ï»¿", [space];
(* }}} *)

(* {{{ parenteses *)
 ["\\laquo"                                          ], "Â«", [delimiter] ;
 ["\\raquo"                                          ], "Â»", [delimiter] ;
 ["\\lang"; "\\langle"; "\\LeftAngleBracket"           ], "âŸ¨", [delimiter] ;
 ["\\rang"; "\\rangle"; "\\RightAngleBracket"          ], "âŸ©", [delimiter] ;
 ["\\lmoust"; "\\lmoustache"                          ], "â�°", [delimiter] ;
 ["\\rmoust"; "\\rmoustache"                          ], "â�±", [delimiter] ;
 ["\\Lang"                                           ], "âŸª", [delimiter] ;
 ["\\Rang"                                           ], "âŸ«", [delimiter] ;
 ["\\lbbrk"                                          ], "â¦—", [delimiter] ;
 ["\\rbbrk"                                          ], "â¦˜", [delimiter] ;
 ["\\lopar"                                          ], "â¦…", [delimiter] ;
 ["\\ropar"                                          ], "â¦†", [delimiter] ;
 ["\\lobrk"; "\\LeftDoubleBracket"                    ], "âŸ¦", [delimiter] ;
 ["\\robrk"; "\\RightDoubleBracket"                   ], "âŸ§", [delimiter] ;
(* }}} *)

(* {{{ Missing font *)
 ["\\NegativeThickSpace"                             ], "â€…", [miscellanea];
 ["\\NegativeThinSpace"                              ], "â€‰", [miscellanea];
 ["\\NegativeVeryThinSpace"                          ], "â€Š", [miscellanea];
 ["\\NegativeMediumSpace"                            ], "â�Ÿ", [miscellanea];
 ["\\slarr"; "\\ShortLeftArrow"                       ], "â†�", [miscellanea];
 ["\\srarr"; "\\ShortRightArrow"                      ], "â†’", [miscellanea];
 ["\\empty"; "\\emptyset"                             ], "âˆ…", [miscellanea];
 ["\\ssetmn"; "\\smallsetminus"                       ], "âˆ–", [miscellanea];
 ["\\smid"; "\\shortmid"                              ], "âˆ£", [miscellanea];
 ["\\nsmid"; "\\nshortmid"                            ], "âˆ¤", [miscellanea];
 ["\\spar"; "\\parsl"; "\\shortparallel"               ], "âˆ¥", [miscellanea];
 ["\\nparsl"                                         ], "âˆ¥âƒ¥", [miscellanea];
 ["\\nspar"; "\\nshortparallel"                       ], "âˆ¦", [miscellanea];
 ["\\caps"                                           ], "âˆ©", [miscellanea];
 ["\\cups"                                           ], "âˆª", [miscellanea];
 ["\\thksim"; "\\thicksim"                            ], "âˆ¼", [miscellanea];
 ["\\thkap"; "\\thickapprox"                          ], "â‰ˆ", [miscellanea];
 ["\\nedot"                                          ], "â‰ ", [miscellanea];
 ["\\bnequiv"                                        ], "â‰¡âƒ¥", [miscellanea];
 ["\\lvnE"; "\\lvertneqq"                             ], "â‰¨", [miscellanea];
 ["\\gvnE"; "\\gvertneqq"                             ], "â‰©", [miscellanea];
 ["\\nLtv"; "\\NotLessLess"                           ], "â‰ªÌ¸", [miscellanea];
 ["\\nGtv"; "\\NotGreaterGreater"                     ], "â‰«Ì¸", [miscellanea];
 ["\\nle"; "\\NotLessEqual"                           ], "â‰°âƒ¥", [miscellanea];
 ["\\nge"; "\\NotGreaterEqual"                        ], "â‰±âƒ¥", [miscellanea];
 ["\\vsubnE"; "\\vsubne"; "\\varsubsetneq"; "\\varsubsetneqq"     ], "âŠŠ", [miscellanea];
 ["\\vsupne"; "\\vsupnE"; "\\varsupsetneq"; "\\varsupsetneqq"     ], "âŠ‹", [miscellanea];
 ["\\sqcaps"                                         ], "âŠ“", [miscellanea];
 ["\\sqcups"                                         ], "âŠ”", [miscellanea];
 ["\\prurel"                                         ], "âŠ°", [miscellanea];
 ["\\lesg"                                           ], "â‹š", [miscellanea];
 ["\\gesl"                                           ], "â‹›", [miscellanea];
 ["\\ShortUpArrow"                                   ], "âŒƒ", [miscellanea];
 ["\\ShortDownArrow"                                 ], "âŒ„", [miscellanea];
 ["\\target"                                         ], "âŒ–", [miscellanea];
 ["\\cylcty"                                         ], "âŒ­", [miscellanea];
 ["\\profalar"                                       ], "âŒ®", [miscellanea];
 ["\\topbot"                                         ], "âŒ¶", [miscellanea];
 ["\\solbar"                                         ], "âŒ¿", [miscellanea];
 ["\\angzarr"                                        ], "â�¼", [miscellanea];
 ["\\tbrk"; "\\OverBracket"                           ], "â�´", [miscellanea];
 ["\\bbrk"; "\\UnderBracket"                          ], "â�µ", [miscellanea];
 ["\\lbrke"                                          ], "â¦‹", [miscellanea];
 ["\\rbrke"                                          ], "â¦Œ", [miscellanea];
 ["\\lbrkslu"                                        ], "â¦�", [miscellanea];
 ["\\rbrksld"                                        ], "â¦�", [miscellanea];
 ["\\lbrksld"                                        ], "â¦�", [miscellanea];
 ["\\rbrkslu"                                        ], "â¦�", [miscellanea];
 ["\\langd"                                          ], "â¦‘", [miscellanea];
 ["\\rangd"                                          ], "â¦’", [miscellanea];
 ["\\lparlt"                                         ], "â¦“", [miscellanea];
 ["\\rpargt"                                         ], "â¦”", [miscellanea];
 ["\\gtlPar"                                         ], "â¦•", [miscellanea];
 ["\\ltrPar"                                         ], "â¦–", [miscellanea];
 ["\\vzigzag"                                        ], "â¦š", [miscellanea];
 ["\\angrtvbd"                                       ], "â¦�", [miscellanea];
 ["\\angrtvb"                                        ], "â¦�", [miscellanea];
 ["\\ange"                                           ], "â¦¤", [miscellanea];
 ["\\range"                                          ], "â¦¥", [miscellanea];
 ["\\dwangle"                                        ], "â¦¦", [miscellanea];
 ["\\uwangle"                                        ], "â¦§", [miscellanea];
 ["\\angmsdaa"                                       ], "â¦¨", [miscellanea];
 ["\\angmsdab"                                       ], "â¦©", [miscellanea];
 ["\\angmsdac"                                       ], "â¦ª", [miscellanea];
 ["\\angmsdad"                                       ], "â¦«", [miscellanea];
 ["\\angmsdae"                                       ], "â¦¬", [miscellanea];
 ["\\angmsdaf"                                       ], "â¦­", [miscellanea];
 ["\\angmsdag"                                       ], "â¦®", [miscellanea];
 ["\\angmsdah"                                       ], "â¦¯", [miscellanea];
 ["\\bemptyv"                                        ], "â¦°", [miscellanea];
 ["\\demptyv"                                        ], "â¦±", [miscellanea];
 ["\\cemptyv"                                        ], "â¦²", [miscellanea];
 ["\\raemptyv"                                       ], "â¦³", [miscellanea];
 ["\\laemptyv"                                       ], "â¦´", [miscellanea];
 ["\\ohbar"                                          ], "â¦µ", [miscellanea];
 ["\\omid"                                           ], "â¦¶", [miscellanea];
 ["\\opar"                                           ], "â¦·", [miscellanea];
 ["\\operp"                                          ], "â¦¹", [miscellanea];
 ["\\olcross"                                        ], "â¦»", [miscellanea];
 ["\\odsold"                                         ], "â¦¼", [miscellanea];
 ["\\olcir"                                          ], "â¦¾", [miscellanea];
 ["\\ofcir"                                          ], "â¦¿", [miscellanea];
 ["\\olt"                                            ], "â§€", [miscellanea];
 ["\\ogt"                                            ], "â§�", [miscellanea];
 ["\\cirscir"                                        ], "â§‚", [miscellanea];
 ["\\cirE"                                           ], "â§ƒ", [miscellanea];
 ["\\solb"                                           ], "â§„", [miscellanea];
 ["\\bsolb"                                          ], "â§…", [miscellanea];
 ["\\boxbox"                                         ], "â§‰", [miscellanea];
 ["\\trisb"                                          ], "â§�", [miscellanea];
 ["\\race"                                           ], "â§š", [miscellanea];
 ["\\acE"                                            ], "â§›", [miscellanea];
 ["\\iinfin"                                         ], "â§œ", [miscellanea];
 ["\\nvinfin"                                        ], "â§�", [miscellanea];
 ["\\eparsl"                                         ], "â§£", [miscellanea];
 ["\\smeparsl"                                       ], "â§¤", [miscellanea];
 ["\\eqvparsl"                                       ], "â§¥", [miscellanea];
 ["\\RuleDelayed"                                    ], "â§´", [miscellanea];
 ["\\dsol"                                           ], "â§¶", [miscellanea];
 ["\\pluscir"                                        ], "â¨¢", [miscellanea];
 ["\\plusacir"                                       ], "â¨£", [miscellanea];
 ["\\simplus"                                        ], "â¨¤", [miscellanea];
 ["\\plusdu"                                         ], "â¨¥", [miscellanea];
 ["\\plussim"                                        ], "â¨¦", [miscellanea];
 ["\\plustwo"                                        ], "â¨§", [miscellanea];
 ["\\mcomma"                                         ], "â¨©", [miscellanea];
 ["\\minusdu"                                        ], "â¨ª", [miscellanea];
 ["\\loplus"                                         ], "â¨­", [miscellanea];
 ["\\roplus"                                         ], "â¨®", [miscellanea];
 ["\\timesd"                                         ], "â¨°", [miscellanea];
 ["\\timesbar"                                       ], "â¨±", [miscellanea];
 ["\\smashp"                                         ], "â¨³", [miscellanea];
 ["\\lotimes"                                        ], "â¨´", [miscellanea];
 ["\\rotimes"                                        ], "â¨µ", [miscellanea];
 ["\\otimesas"                                       ], "â¨¶", [miscellanea];
 ["\\Otimes"                                         ], "â¨·", [miscellanea];
 ["\\odiv"                                           ], "â¨¸", [miscellanea];
 ["\\triplus"                                        ], "â¨¹", [miscellanea];
 ["\\triminus"                                       ], "â¨º", [miscellanea];
 ["\\tritime"                                        ], "â¨»", [miscellanea];
 ["\\iprod"; "\\intprod"                              ], "â¨¼", [miscellanea];
 ["\\amalg"                                          ], "â¨¿", [miscellanea];
 ["\\capdot"                                         ], "â©€", [miscellanea];
 ["\\ncup"                                           ], "â©‚", [miscellanea];
 ["\\ncap"                                           ], "â©ƒ", [miscellanea];
 ["\\capand"                                         ], "â©„", [miscellanea];
 ["\\cupor"                                          ], "â©…", [miscellanea];
 ["\\cupcap"                                         ], "â©†", [miscellanea];
 ["\\capcup"                                         ], "â©‡", [miscellanea];
 ["\\cupbrcap"                                       ], "â©ˆ", [miscellanea];
 ["\\capbrcup"                                       ], "â©‰", [miscellanea];
 ["\\cupcup"                                         ], "â©Š", [miscellanea];
 ["\\capcap"                                         ], "â©‹", [miscellanea];
 ["\\ccups"                                          ], "â©Œ", [miscellanea];
 ["\\ccaps"                                          ], "â©�", [miscellanea];
 ["\\ccupssm"                                        ], "â©�", [miscellanea];
 ["\\And"                                            ], "â©“", [miscellanea];
 ["\\Or"                                             ], "â©”", [miscellanea];
 ["\\andand"                                         ], "â©•", [miscellanea];
 ["\\oror"                                           ], "â©–", [miscellanea];
 ["\\orslope"                                        ], "â©—", [miscellanea];
 ["\\andslope"                                       ], "â©˜", [miscellanea];
 ["\\andv"                                           ], "â©š", [miscellanea];
 ["\\orv"                                            ], "â©›", [miscellanea];
 ["\\andd"                                           ], "â©œ", [miscellanea];
 ["\\ord"                                            ], "â©�", [miscellanea];
 ["\\wedbar"                                         ], "â©Ÿ", [miscellanea];
 ["\\sdote"                                          ], "â©¦", [miscellanea];
 ["\\simdot"                                         ], "â©ª", [miscellanea];
 ["\\congdot"                                        ], "â©­", [miscellanea];
 ["\\ncongdot"                                       ], "â©­Ì¸", [miscellanea];
 ["\\apacir"                                         ], "â©¯", [miscellanea];
 ["\\napE"                                           ], "â©°Ì¸", [miscellanea];
 ["\\eplus"                                          ], "â©±", [miscellanea];
 ["\\pluse"                                          ], "â©²", [miscellanea];
 ["\\Esim"                                           ], "â©³", [miscellanea];
 ["\\Colone"                                         ], "â©´", [miscellanea];
 ["\\Equal"                                          ], "â©µ", [miscellanea];
 ["\\eDDot"; "\\ddotseq"                              ], "â©·", [miscellanea];
 ["\\equivDD"                                        ], "â©¸", [miscellanea];
 ["\\ltcir"                                          ], "â©¹", [miscellanea];
 ["\\gtcir"                                          ], "â©º", [miscellanea];
 ["\\ltquest"                                        ], "â©»", [miscellanea];
 ["\\gtquest"                                        ], "â©¼", [miscellanea];
 ["\\LessLess"                                       ], "âª¡", [miscellanea];
 ["\\GreaterGreater"                                 ], "âª¢", [miscellanea];
 ["\\glj"                                            ], "âª¤", [miscellanea];
 ["\\gla"                                            ], "âª¥", [miscellanea];
 ["\\ltcc"                                           ], "âª¦", [miscellanea];
 ["\\gtcc"                                           ], "âª§", [miscellanea];
 ["\\lescc"                                          ], "âª¨", [miscellanea];
 ["\\gescc"                                          ], "âª©", [miscellanea];
 ["\\smt"                                            ], "âªª", [miscellanea];
 ["\\lat"                                            ], "âª«", [miscellanea];
 ["\\smte"                                           ], "âª¬", [miscellanea];
 ["\\smtes"                                          ], "âª¬", [miscellanea];
 ["\\late"                                           ], "âª­", [miscellanea];
 ["\\lates"                                          ], "âª­", [miscellanea];
 ["\\Sc"                                             ], "âª¼", [miscellanea];
 ["\\subdot"                                         ], "âª½", [miscellanea];
 ["\\supdot"                                         ], "âª¾", [miscellanea];
 ["\\subplus"                                        ], "âª¿", [miscellanea];
 ["\\supplus"                                        ], "â«€", [miscellanea];
 ["\\submult"                                        ], "â«�", [miscellanea];
 ["\\supmult"                                        ], "â«‚", [miscellanea];
 ["\\subedot"                                        ], "â«ƒ", [miscellanea];
 ["\\supedot"                                        ], "â«„", [miscellanea];
 ["\\subsim"                                         ], "â«‡", [miscellanea];
 ["\\supsim"                                         ], "â«ˆ", [miscellanea];
 ["\\csub"                                           ], "â«�", [miscellanea];
 ["\\csup"                                           ], "â«�", [miscellanea];
 ["\\csube"                                          ], "â«‘", [miscellanea];
 ["\\csupe"                                          ], "â«’", [miscellanea];
 ["\\subsup"                                         ], "â«“", [miscellanea];
 ["\\supsub"                                         ], "â«”", [miscellanea];
 ["\\subsub"                                         ], "â«•", [miscellanea];
 ["\\supsup"                                         ], "â«–", [miscellanea];
 ["\\suphsub"                                        ], "â«—", [miscellanea];
 ["\\supdsub"                                        ], "â«˜", [miscellanea];
 ["\\forkv"                                          ], "â«™", [miscellanea];
 ["\\topfork"                                        ], "â«š", [miscellanea];
 ["\\mlcp"                                           ], "â«›", [miscellanea];
 ["\\Dashv"; "\\DoubleLeftTee"                        ], "â«¤", [miscellanea];
 ["\\Vdashl"                                         ], "â«¦", [miscellanea];
 ["\\Barv"                                           ], "â«§", [miscellanea];
 ["\\vBar"                                           ], "â«¨", [miscellanea];
 ["\\vBarv"                                          ], "â«©", [miscellanea];
 ["\\Vbar"                                           ], "â««", [miscellanea];
 ["\\Not"                                            ], "â«¬", [miscellanea];
 ["\\bNot"                                           ], "â«­", [miscellanea];
 ["\\rnmid"                                          ], "â«®", [miscellanea];
 ["\\cirmid"                                         ], "â«¯", [miscellanea];
 ["\\midcir"                                         ], "â«°", [miscellanea];
 ["\\topcir"                                         ], "â«±", [miscellanea];
 ["\\nhpar"                                          ], "â«²", [miscellanea];
 ["\\parsim"                                         ], "â«³", [miscellanea];
 ["\\loang"                                          ], "ï•˜", [miscellanea];
 ["\\roang"                                          ], "ï•™", [miscellanea];
 ["\\xlarr"; "\\LongLeftArrow"                        ], "ï•¶", [miscellanea];
 ["\\xrarr"; "\\LongRightArrow"                       ], "ï•·", [miscellanea];
 ["\\xharr"; "\\LongLeftRightArrow"                   ], "ï•¸", [miscellanea];
 ["\\xlArr"; "\\DoubleLongLeftArrow"                  ], "ï•¹", [miscellanea];
 ["\\xrArr"; "\\DoubleLongRightArrow"                 ], "ï•º", [miscellanea];
 ["\\xhArr"; "\\DoubleLongLeftRightArrow"             ], "ï•»", [miscellanea];
 ["\\xmap"                                           ], "ï•½", [miscellanea];
 ["\\FilledVerySmallSquare"                          ], "ï–›", [miscellanea];
 ["\\EmptyVerySmallSquare"                           ], "ï–œ", [miscellanea];
 ["\\dzigrarr"                                       ], "ï–¢", [miscellanea];
 ["\\Ascr"                                           ], "ğ�’œ", [miscellanea];
 ["\\Cscr"                                           ], "ğ�’�", [miscellanea];
 ["\\Dscr"                                           ], "ğ�’Ÿ", [miscellanea];
 ["\\Gscr"                                           ], "ğ�’¢", [miscellanea];
 ["\\Jscr"                                           ], "ğ�’¥", [miscellanea];
 ["\\Kscr"                                           ], "ğ�’¦", [miscellanea];
 ["\\Nscr"                                           ], "ğ�’©", [miscellanea];
 ["\\Oscr"                                           ], "ğ�’ª", [miscellanea];
 ["\\Pscr"                                           ], "ğ�’«", [miscellanea];
 ["\\Qscr"                                           ], "ğ�’¬", [miscellanea];
 ["\\Sscr"                                           ], "ğ�’®", [miscellanea];
 ["\\Tscr"                                           ], "ğ�’¯", [miscellanea];
 ["\\Uscr"                                           ], "ğ�’°", [miscellanea];
 ["\\Vscr"                                           ], "ğ�’±", [miscellanea];
 ["\\Wscr"                                           ], "ğ�’²", [miscellanea];
 ["\\Xscr"                                           ], "ğ�’³", [miscellanea];
 ["\\Yscr"                                           ], "ğ�’´", [miscellanea];
 ["\\Zscr"                                           ], "ğ�’µ", [miscellanea];
 ["\\ascr"                                           ], "ğ�’¶", [miscellanea];
 ["\\bscr"                                           ], "ğ�’·", [miscellanea];
 ["\\cscr"                                           ], "ğ�’¸", [miscellanea];
 ["\\dscr"                                           ], "ğ�’¹", [miscellanea];
 ["\\fscr"                                           ], "ğ�’»", [miscellanea];
 ["\\hscr"                                           ], "ğ�’½", [miscellanea];
 ["\\iscr"                                           ], "ğ�’¾", [miscellanea];
 ["\\jscr"                                           ], "ğ�’¿", [miscellanea];
 ["\\kscr"                                           ], "ğ�“€", [miscellanea];
 ["\\mscr"                                           ], "ğ�“‚", [miscellanea];
 ["\\nscr"                                           ], "ğ�“ƒ", [miscellanea];
 ["\\pscr"                                           ], "ğ�“…", [miscellanea];
 ["\\qscr"                                           ], "ğ�“†", [miscellanea];
 ["\\rscr"                                           ], "ğ�“‡", [miscellanea];
 ["\\sscr"                                           ], "ğ�“ˆ", [miscellanea];
 ["\\tscr"                                           ], "ğ�“‰", [miscellanea];
 ["\\uscr"                                           ], "ğ�“Š", [miscellanea];
 ["\\vscr"                                           ], "ğ�“‹", [miscellanea];
 ["\\wscr"                                           ], "ğ�“Œ", [miscellanea];
 ["\\xscr"                                           ], "ğ�“�", [miscellanea];
 ["\\yscr"                                           ], "ğ�“�", [miscellanea];
 ["\\zscr"                                           ], "ğ�“�", [miscellanea];
 ["\\Afr"                                            ], "ğ�”„", [miscellanea];
 ["\\Bfr"                                            ], "ğ�”…", [miscellanea];
 ["\\Dfr"                                            ], "ğ�”‡", [miscellanea];
 ["\\Efr"                                            ], "ğ�”ˆ", [miscellanea];
 ["\\Ffr"                                            ], "ğ�”‰", [miscellanea];
 ["\\Gfr"                                            ], "ğ�”Š", [miscellanea];
 ["\\Jfr"                                            ], "ğ�”�", [miscellanea];
 ["\\Kfr"                                            ], "ğ�”�", [miscellanea];
 ["\\Lfr"                                            ], "ğ�”�", [miscellanea];
 ["\\Mfr"                                            ], "ğ�”�", [miscellanea];
 ["\\Nfr"                                            ], "ğ�”‘", [miscellanea];
 ["\\Ofr"                                            ], "ğ�”’", [miscellanea];
 ["\\Pfr"                                            ], "ğ�”“", [miscellanea];
 ["\\Qfr"                                            ], "ğ�””", [miscellanea];
 ["\\Sfr"                                            ], "ğ�”–", [miscellanea];
 ["\\Tfr"                                            ], "ğ�”—", [miscellanea];
 ["\\Ufr"                                            ], "ğ�”˜", [miscellanea];
 ["\\Vfr"                                            ], "ğ�”™", [miscellanea];
 ["\\Wfr"                                            ], "ğ�”š", [miscellanea];
 ["\\Xfr"                                            ], "ğ�”›", [miscellanea];
 ["\\Yfr"                                            ], "ğ�”œ", [miscellanea];
 ["\\afr"                                            ], "ğ�”�", [miscellanea];
 ["\\bfr"                                            ], "ğ�”Ÿ", [miscellanea];
 ["\\cfr"                                            ], "ğ�” ", [miscellanea];
 ["\\dfr"                                            ], "ğ�”¡", [miscellanea];
 ["\\efr"                                            ], "ğ�”¢", [miscellanea];
 ["\\ffr"                                            ], "ğ�”£", [miscellanea];
 ["\\gfr"                                            ], "ğ�”¤", [miscellanea];
 ["\\hfr"                                            ], "ğ�”¥", [miscellanea];
 ["\\ifr"                                            ], "ğ�”¦", [miscellanea];
 ["\\jfr"                                            ], "ğ�”§", [miscellanea];
 ["\\kfr"                                            ], "ğ�”¨", [miscellanea];
 ["\\lfr"                                            ], "ğ�”©", [miscellanea];
 ["\\mfr"                                            ], "ğ�”ª", [miscellanea];
 ["\\nfr"                                            ], "ğ�”«", [miscellanea];
 ["\\ofr"                                            ], "ğ�”¬", [miscellanea];
 ["\\pfr"                                            ], "ğ�”­", [miscellanea];
 ["\\qfr"                                            ], "ğ�”®", [miscellanea];
 ["\\rfr"                                            ], "ğ�”¯", [miscellanea];
 ["\\sfr"                                            ], "ğ�”°", [miscellanea];
 ["\\tfr"                                            ], "ğ�”±", [miscellanea];
 ["\\ufr"                                            ], "ğ�”²", [miscellanea];
 ["\\vfr"                                            ], "ğ�”³", [miscellanea];
 ["\\wfr"                                            ], "ğ�”´", [miscellanea];
 ["\\xfr"                                            ], "ğ�”µ", [miscellanea];
 ["\\yfr"                                            ], "ğ�”¶", [miscellanea];
 ["\\zfr"                                            ], "ğ�”·", [miscellanea];
(* }}} *)

]


(** **************************************************************************)
(** * Bindings set 2 *)

let bindings_set_2 = [

   (* Symbols *)
   "\\!'", "Â¡";
   "\\`", "â€˜";
   "\\``", "â€œ";
   "\\'", "â€²";
   "\\''", "â€³";
   "\\'''", "â€´";
   "\\mbox''", "â€�";
   "\\mbox'", "â€™";
   "\\--", "â€“";
   "\\---", "â€”";
   "\\Alpha", "Î‘";
   "\\Beta", "Î’";
   "\\Box", "â–¡";
   "\\Bumpeq", "â‰�";
   "\\Cap", "â‹’";
   "\\Chi", "Î§";
   "\\Cup", "â‹“";
   "\\DH", "Ã�";
   "\\Delta", "Î” ";
   "\\Diamond", "â—‡";
   "\\Downarrow", "â‡“";
   "\\Epsilon", "Î• ";
   "\\Eta", "Î—";
   "\\Finv", "â„²";
   "\\Gamma", "Î“ ";
   "\\Im", "â„‘";
   "\\Join", "â‹ˆ";
   "\\Kappa", "Îš";
   "\\L", "Å�";
   "\\Lambda", "Î›";
   "\\Leftarrow", "â‡�";
   "\\Leftrightarrow", "â‡”";
   "\\Lleftarrow", "â‡š";
   "\\Longleftarrow", "â‡�";
   "\\Longleftrightarrow", "â‡”";
   "\\Longrightarrow", "â‡’";
   "\\Lsh", "â†°";
   "\\Mu", "Îœ";
   "\\Nu", "Î�";
   "\\O", "Ã˜";
   "\\OE", "Å’";
   "\\Omega", "Î©";
   "\\W", "Î©";
   "\\Omicron", "ÎŸ";
   "\\P", "Â¶";
   "\\Phi", "Î¦";
   "\\F", "Î¦";
   "\\Pi", "Î ";
   "\\Psi", "Î¨";
   "\\Re", "â„œ";
   "\\Rho", "Î¡";
   "\\Rightarrow", "â‡’";
   "\\Rrightarrow", "â‡›";
   "\\Rsh", "â†±";
   "\\S", "Â§";
   "\\Sigma", "Î£";
   "\\Subset", "â‹�";
   "\\Supset", "â‹‘";
   "\\TH", "Ã�";
   "\\Tau", "Î¤";
   "\\Theta", "Î˜";
   "\\Uparrow", "â‡‘";
   "\\Updownarrow", "â‡•";
   "\\Upsilon", "Î¥";
   "\\Vdash", "âŠ©";
   "\\Vvdash", "âŠª";
   "\\Xi", "Î�";
   "\\Zeta", "Î–";
   "\\aa", "Ã¥";
   "\\ae", "Ã¦";
   "\\aleph", "â„µ";
   "\\alpha", "Î±";
   "\\angle", "âˆ ";
   "\\approx", "â‰ˆ";
   "\\approxeq", "â‰Š";
   "\\aquarius", "â™’";
   "\\aries", "â™ˆ";
   "\\ascnode", "â˜Š";
   "\\ast", "âˆ—";
   "\\astrosun", "â˜‰";
   "\\asymp", "â‰�";
   "\\backepsilon", "âˆ�";
   "\\backprime", "â€µ";
   "\\backsim", "âˆ½";
   "\\barwedge", "âŠ¼";
   "\\because", "âˆµ";
   "\\beta", "Î²";
   "\\beth", "â„¶";
   "\\between", "â‰¬";
   "\\bigcap", "â‹‚";
   "\\bigcirc", "â—‹";
   "\\bigcup", "â‹ƒ";
   "\\bigodot", "âŠ™";
   "\\bigoplus", "âŠ•";
   "\\bigotimes", "âŠ—";
   "\\bigsqcup", "âŠ”";
   "\\bigstar", "â˜…";
   "\\bigtriangledown", "â–½";
   "\\bigtriangleup", "â–³";
   "\\biguplus", "âŠ�";
   "\\bigvee", "â‹�";
   "\\bigwedge", "â‹€";
   "\\blackbishop", "â™�";
   "\\blackking", "â™š";
   "\\blackknight", "â™�";
   "\\blacklozenge", "â—†";
   "\\blackpawn", "â™Ÿ";
   "\\blackqueen", "â™›";
   "\\blackrook", "â™œ";
   "\\blacksquare", "â– ";
   "\\blacktriangle", "â–²";
   "\\blacktriangledown", "â–¼";
   "\\blacktriangleleft", "â—€";
   "\\blacktriangleright", "â–·";
   "\\bot", "âŠ¥";
   "\\bowtie", "â‹ˆ";
   "\\boxdot", "âŠ¡";
   "\\boxminus", "âŠŸ";
   "\\boxplus", "âŠ�";
   "\\boxtimes", "âŠ ";
   "\\bullet", "âˆ™";
   "\\bumpeq", "â‰�";
   "\\cancer", "â™‹";
   "\\cap", "âˆ©";
   "\\capricornus", "â™‘";
   "\\capslockkey", "â‡ª";
   "\\cdot", "â‹…";
   "\\cdots", "â‹¯";
   "\\centerdot", "â‹…";
   "\\cents", "Â¢";
   "\\chi", "Ï‡";
   "\\circ", "âˆ˜";
   "\\circeq", "â‰—";
   "\\circlearrowleft", "â†º";
   "\\circlearrowright", "â†»";
   "\\circledS", "â“ˆ";
   "\\circledast", "âŠ›";
   "\\circledcirc", "âŠš";
   "\\circleddash", "âŠ�";
   "\\clubsuit", "â™£";
   "\\cmdkey", "âŒ˜";
   "\\complement", "âˆ�";
   "\\cong", "â‰…";
   "\\conjunction", "â˜Œ";
   "\\coprod", "âˆ�";
   "\\copyright", "Â©";
   "\\cup", "âˆª";
   "\\curlyeqprec", "â‹�";
   "\\curlyeqsucc", "â‹Ÿ";
   "\\curlyvee", "â‹�";
   "\\curlywedge", "â‹�";
   "\\curvearrowleft", "â†¶";
   "\\curvearrowright", "â†·";
   "\\cC", "Ã‡";
   "\\cc", "Ã§";
   "\\dag", "â€ ";
   "\\dagger", "â€ ";
   "\\daleth", "â„¸";
   "\\dashleftarrow", "â‡ ";
   "\\dashrightarrow", "â‡¢";
   "\\dashv", "âŠ£";
   "\\ddag", "â€¡";
   "\\ddagger", "â€¡";
   "\\degree", "Â°";
   "\\delkey", "âŒ«";
   "\\delta", "Î´ ";
   "\\descnode", "â˜‹";
   "\\dh", "Ã°";
   "\\diamond", "â‹„";
   "\\diamondsuit", "â™¢";
   "\\digamma", "Ïœ";
   "\\div", "Ã·";
   "\\divideontimes", "â‹‡";
   "\\downarrow", "â†“";
   "\\downdownarrows", "â‡Š";
   "\\downharpoonleft", "â‡ƒ";
   "\\downharpoonright", "â‡‚";
   "\\earth", "âŠ•";
   "\\ejectkey", "â��";
   "\\ell", "â„“";
   "\\emptyset", "âˆ…";
   "\\enterkey", "âŒ¤";
   "\\epsdice1", "âš€";
   "\\epsdice2", "âš�";
   "\\epsdice3", "âš‚";
   "\\epsdice4", "âšƒ";
   "\\epsdice5", "âš„";
   "\\epsdice6", "âš…";
   "\\epsilon", "âˆŠ";
   "\\eqcirc", "â‰–";
   "\\equiv", "â‰¡";
   "\\esckey", "â�‹";
   "\\eta", "Î·";
   "\\eth", "Ã°";
   "\\euro", "â‚¬";
   "\\exists", "âˆƒ";
   "\\fallingdotseq", "â‰’";
   "\\flat", "â™­";
   "\\forall", "âˆ€";
   "\\frown", "âŒ¢";
   "\\gamma", "Î³";
   "\\ge", "â‰¥";
   "\\gemini", "â™Š";
   "\\geq", "â‰¥";
   "\\geqq", "â‰§";
   "\\gg", "â‰«";
   "\\ggg", "â‹™";
   "\\gimel", "â„·";
   "\\gtrdot", "â‹—";
   "\\gtreqless", "â‹›";
   "\\gtrless", "â‰·";
   "\\gtrsim", "â‰³";
   "\\hbar", "â„�";
   "\\heartsuit", "â™¡";
   "\\hookleftarrow", "â†©";
   "\\hookrightarrow", "â†ª";
   "\\hslash", "â„�";
   "\\iiiint", "â¨Œ";
   "\\iiint", "âˆ­";
   "\\iint", "âˆ¬";
   "\\implies", "â‡’";
   "\\in", "âˆˆ";
   "\\infty", "âˆ�";
   "\\int", "âˆ«";
   "\\intercal", "âŠº";
   "\\iota", "Î¹";
   "\\jupiter", "â™ƒ";
   "\\kappa", "Îº";
   "\\l{}", "Å‚";
   "\\lambda", "Î»";
   "\\langle", "âŸ¨";
   "\\lceil", "âŒˆ";
   "\\ldots", "â€¦";
   "\\le", "â‰¤";
   "\\leadsto", "â†�";
   "\\leftarrow", "â†�";
   "\\leftarrowtail", "â†¢";
   "\\leftharpoondown", "â†½";
   "\\leftharpoonup", "â†¼";
   "\\leftleftarrows", "â‡‡";
   "\\leftmoon", "â˜¾";
   "\\leftrightarrow", "â†”";
   "\\leftrightarrows", "â‡†";
   "\\leftrightharpoons", "â‡‹";
   "\\leftrightsquigarrow", "â†­";
   "\\leftthreetimes", "â‹‹";
   "\\leo", "â™Œ";
   "\\leq", "â‰¤";
   "\\leqq", "â‰¦";
   "\\leqslant", "â‰¤";
   "\\lessdot", "â‹–";
   "\\lesseqgtr", "â‹š";
   "\\lessgtr", "â‰¶";
   "\\lesssim", "â‰²";
   "\\lfloor", "âŒŠ";
   "\\lhd", "âŠ²";
   "\\libra", "â™�";
   "\\ll", "â‰ª";
   "\\lll", "â‹˜";
   "\\longleftarrow", "â†�";
   "\\longleftrightarrow", "â†”";
   "\\longmapsto", "â‡–";
   "\\longrightarrow", "â†’";
   "\\looparrowleft", "â†«";
   "\\looparrowright", "â†¬";
   "\\lozenge", "â—Š";
   "\\ltimes", "â‹‰";
   "\\mapsto", "â†¦";
   "\\mars", "â™‚";
   "\\measuredangle", "âˆ¡";
   "\\mercury", "â˜¿";
   "\\mho", "â„§";
   "\\mid", "âˆ£";
   "\\models", "âŠ¨";
   "\\mp", "âˆ“";
   "\\mu", "Î¼";
   "\\multimap", "âŠ¸";
   "\\nabla", "âˆ‡";
   "\\natural", "â™®";
   "\\nearrow", "â†—";
   "\\neg", "Â¬";
   "\\neptune", "â™†";
   "\\neq", "â‰ ";
   "\\nexists", "âˆ„";
   "\\ng", "Å‹";
   "\\ni", "âˆ‹";
   "\\not<", "â‰®";
   "\\not>", "â‰¯";
   "\\not\\Vdash", "âŠ®";
   "\\not\\approx", "â‰‰";
   "\\not\\cong", "â‰‡";
   "\\not\\equiv", "â‰¢";
   "\\not\\ge", "â‰±";
   "\\not\\gtrless", "â‰¹";
   "\\not\\in", "âˆ‰";
   "\\not\\le", "â‰°";
   "\\not\\models", "âŠ­";
   "\\not\\ni", "âˆŒ";
   "\\not\\sim", "â‰„";
   "\\not\\sqsubseteq", "â‹¢";
   "\\not\\sqsupseteq", "â‹£";
   "\\not\\subset", "âŠ„";
   "\\not\\subseteq", "âŠˆ";
   "\\not\\supset", "âŠ…";
   "\\not\\supseteq", "âŠ‰";
   "\\not\\vdash", "âŠ¬";
   "\\notin", "âˆ‰";
   "\\nu", "Î½";
   "\\v", "Î½";
   "\\nwarrow", "â†–";
   "\\o{}", "Ã¸";
   "\\odot", "âŠ™";
   "\\oe", "Å“";
   "\\oint", "âˆ®";
   "\\omega", "Ï‰";
   "\\w", "Ï‰";
   "\\omicron", "Î¿";
   "\\ominus", "âŠ–";
   "\\oplus", "âŠ•";
   "\\opposition", "â˜�";
   "\\optkey", "âŒ¥";
   "\\oslash", "âŠ˜";
   "\\otimes", "âŠ—";
   "\\parallel", "âˆ¥";
   "\\partial", "âˆ‚";
   "\\perp", "âŠ¥";
   "\\phi", "Ï†";
   "\\f", "Ï†";
   "\\pi", "Ï€";
   "\\pilcrow", "Â¶";
   "\\pisces", "â™“";
   "\\pitchfork", "â‹”";
   "\\pluto", "â™‡";
   "\\pm", "Â±";
   "\\pound", "Â£";
   "\\pounds", "Â£";
   "\\prec", "â‰º";
   "\\preccurlyeq", "â‰¼";
   "\\preceq", "â‰¼";
   "\\precsim", "â‰¾";
   "\\prime", "â€²";
   "\\prod", "âˆ�";
   "\\propto", "âˆ�";
   "\\psi", "Ïˆ";
   "\\rangle", "âŸ©";
   "\\rceil", "âŒ‰";
   "\\registered", "Â®";
   "\\returnkey", "â��";
   "\\revtabkey", "â‡¤";
   "\\rfloor", "âŒ‹";
   "\\rhd", "âŠ³";
   "\\rho", "Ï�";
   "\\rightarrow", "â†’";
   "\\rightarrowtail", "â†£";
   "\\rightdelkey", "âŒ¦";
   "\\rightharpoondown", "â‡�";
   "\\rightharpoonup", "â‡€";
   "\\rightleftarrows", "â‡„";
   "\\rightleftharpoons", "â‡Œ";
   "\\rightmoon", "â˜½";
   "\\rightrightarrows", "â‡‰";
   "\\rightsquigarrow", "â‡�";
   "\\rightthreetimes", "â‹Œ";
   "\\risingdotseq", "â‰“";
   "\\rtimes", "â‹Š";
   "\\sagittarius", "â™�";
   "\\saturn", "â™„";
   "\\scorpio", "â™�";
   "\\searrow", "â†˜";
   "\\section", "Â§";
   "\\setminus", "âˆ–";
   "\\sharp", "â™¯";
   "\\shiftkey", "â‡§";
   "\\shortparallel", "âˆ¥";
   "\\sigma", "Ïƒ";
   "\\sim", "âˆ¼";
   "\\simeq", "â‰ƒ";
   "\\smallfrown", "âŒ¢";
   "\\smallsetminus", "âˆ–";
   "\\smallsmile", "âŒ£";
   "\\smile", "âŒ£";
   "\\space", "â�£";
   "\\spadesuit", "â™ ";
   "\\sphericalangle", "âˆ¢";
   "\\sqcap", "âŠ“";
   "\\sqcup", "âŠ”";
   "\\sqsubset", "âŠ�";
   "\\sqsubseteq", "âŠ‘";
   "\\sqsupset", "âŠ�";
   "\\sqsupseteq", "âŠ’";
   "\\square", "â–¡";
   "\\ss", "ÃŸ";
   "\\star", "â‹†";
   "\\subset", "âŠ‚";
   "\\subseteq", "âŠ†";
   "\\subsetneq", "âŠŠ";
   "\\succ", "â‰»";
   "\\succcurlyeq", "â‰½";
   "\\succeq", "â‰½";
   "\\succsim", "â‰¿";
   "\\sum", "âˆ‘";
   "\\supset", "âŠƒ";
   "\\supseteq", "âŠ‡";
   "\\supsetneq", "âŠ‹";
   "\\surd", "âˆš";
   "\\swarrow", "â†™";
   "\\tabkey", "â‡¥";
   "\\tau", "Ï„";
   "\\taurus", "â™‰";
   "\\textbabygamma", "É¤";
   "\\textbarglotstop", "Ê¡";
   "\\textbari", "É¨";
   "\\textbaro", "Éµ";
   "\\textbarrevglotstop", "Ê¢";
   "\\textbaru", "Ê‰";
   "\\textbeltl", "É¬";
   "\\textbeta", "Î²";
   "\\textbullseye", "Ê˜";
   "\\textchi", "Ï‡";
   "\\textcloserevepsilon", "É�";
   "\\textcrh", "Ä§";
   "\\textctc", "É•";
   "\\textctj", "Ê�";
   "\\textctz", "Ê‘";
   "\\textdoublepipe", "Ç�";
   "\\textdyoghlig", "Ê¤";
   "\\textepsilon", "É›";
   "\\textesh", "Êƒ";
   "\\textfishhookr", "É¾";
   "\\textgamma", "É£";
   "\\textglotstop", "Ê”";
   "\\textgrgamma", "Î³";
   "\\texthtb", "É“";
   "\\texthtd", "É—";
   "\\texthtg", "É ";
   "\\texthth", "É¦";
   "\\texththeng", "É§";
   "\\texthtscg", "Ê›";
   "\\textinvscr", "Ê�";
   "\\textiota", "Î¹";
   "\\textltailm", "É±";
   "\\textltailn", "É²";
   "\\textltilde", "É«";
   "\\textlyoghlig", "É®";
   "\\textopeno", "É”";
   "\\textphi", "É¸";
   "\\textpipe", "Ç€";
   "\\textregistered", "Â®";
   "\\textreve", "É˜";
   "\\textrevepsilon", "Éœ";
   "\\textrevglotstop", "Ê•";
   "\\textrhookrevepsilon", "É�";
   "\\textrighthookschwa", "Éš";
   "\\textteshlig", "Ê§";
   "\\texttheta", "Î¸";
   "\\texttrademark", "â„¢";
   "\\textturna", "É�";
   "\\textturnh", "É¥";
   "\\textturnlonglegr", "Éº";
   "\\textturnm", "É¯";
   "\\textturnmrleg", "É°";
   "\\textturnr", "É¹";
   "\\textturnrrtail", "É»";
   "\\textturnscripta", "É’";
   "\\textturnv", "ÊŒ";
   "\\textturnw", "Ê�";
   "\\textturny", "Ê�";
   "\\textupsilon", "ÊŠ";
   "\\textyogh", "Ê’";
   "\\th", "Ã¾";
   "\\therefore", "âˆ´";
   "\\theta", "Î¸";
   "\\h", "Î¸";
   "\\thickapprox", "â‰ˆ";
   "\\thicksim", "âˆ¼";
   "\\times", "Ã—";
   "\\top", "âŠ¤";
   "\\trademark", "â„¢";
   "\\triangle", "â–³";
   "\\triangledown", "â–½";
   "\\triangleleft", "â—�";
   "\\trianglelefteq", "âŠ´";
   "\\triangleq", "â‰œ";
   "\\triangleright", "â–·";
   "\\trianglerighteq", "âŠµ";
   "\\twoheadleftarrow", "â†�";
   "\\twoheadrightarrow", "â† ";
   "\\unlhd", "âŠ´";
   "\\unrhd", "âŠµ";
   "\\uparrow", "â†‘";
   "\\updownarrow", "â†•";
   "\\upharpoonleft", "â†¿";
   "\\upharpoonright", "â†¾";
   "\\uplus", "âŠ�";
   "\\upsilon", "Ï…";
   "\\upuparrows", "â‡ˆ";
   "\\uranus", "â›¢";
   "\\vDash", "âŠ¨";
   "\\varepsilon", "Îµ";
   "\\varkappa", "Ï°";
   "\\varnothing", "âˆ…";
   "\\varphi", "Ï•";
   "\\varpi", "Ï–";
   "\\varpropto", "âˆ�";
   "\\varrho", "Ï±";
   "\\varsigma", "Ï‚";
   "\\vartheta", "Ï‘";
   "\\vartriangle", "â–³";
   "\\vartriangleleft", "âŠ²";
   "\\vartriangleright", "âŠ³";
   "\\vdash", "âŠ¢";
   "\\vdots", "â‹®";
   "\\vee", "âˆ¨";
   "\\veebar", "âŠ»";
   "\\venus", "â™€";
   "\\virgo", "â™�";
   "\\wedge", "âˆ§";
   "\\whitebishop", "â™—";
   "\\whiteking", "â™”";
   "\\whiteknight", "â™˜";
   "\\whitepawn", "â™™";
   "\\whitequeen", "â™•";
   "\\whiterook", "â™–";
   "\\wp", "â„˜";
   "\\wr", "â‰€";
   "\\xi", "Î¾";
   "\\zeta", "Î¶";

   (* Double accent *)
   "\\\"A", "Ã„";
   "\\\"E", "Ã‹";
   "\\\"H", "á¸¦";
   "\\\"I", "Ã�";
   "\\\"O", "Ã–";
   "\\\"U", "Ãœ";
   "\\\"W", "áº„";
   "\\\"X", "áºŒ";
   "\\\"Y", "Å¸";
   "\\\"a", "Ã¤";
   "\\\"e", "Ã«";
   "\\\"h", "á¸§";
   "\\\"i", "Ã¯";
   "\\\"o", "Ã¶";
   "\\\"t", "áº—";
   "\\\"u", "Ã¼";
   "\\\"w", "áº…";
   "\\\"x", "áº�";
   "\\\"y", "Ã¿";

   (* Acute accent *)
   "\\'A", "Ã�";
   "\\'C", "Ä†";
   "\\'E", "Ã‰";
   "\\'G", "Ç´";
   "\\'I", "Ã�";
   "\\'K", "á¸°";
   "\\'L", "Ä¹";
   "\\'M", "á¸¾";
   "\\'N", "Åƒ";
   "\\'O", "Ã“";
   "\\'P", "á¹”";
   "\\'R", "Å”";
   "\\'S", "Åš";
   "\\'U", "Ãš";
   "\\'W", "áº‚";
   "\\'Y", "Ã�";
   "\\'Z", "Å¹";
   "\\'a", "Ã¡";
   "\\'c", "Ä‡";
   "\\'e", "Ã©";
   "\\'g", "Çµ";
   "\\'i", "Ã­";
   "\\'k", "á¸±";
   "\\'l", "Äº";
   "\\'m", "á¸¿";
   "\\'n", "Å„";
   "\\'o", "Ã³";
   "\\'p", "á¹•";
   "\\'r", "Å•";
   "\\'s", "Å›";
   "\\'u", "Ãº";
   "\\'w", "áºƒ";
   "\\'y", "Ã½";
   "\\'z", "Åº";

   (* Doted accent *)
   "\\.A", "È¦";
   "\\.B", "á¸‚";
   "\\.C", "ÄŠ";
   "\\.D", "á¸Š";
   "\\.E", "Ä–";
   "\\.F", "á¸�";
   "\\.G", "Ä ";
   "\\.H", "á¸¢";
   "\\.I", "Ä°";
   "\\.M", "á¹€";
   "\\.N", "á¹„";
   "\\.O", "È®";
   "\\.P", "á¹–";
   "\\.R", "á¹˜";
   "\\.S", "á¹ ";
   "\\.T", "á¹ª";
   "\\.W", "áº†";
   "\\.X", "áºŠ";
   "\\.Y", "áº�";
   "\\.Z", "Å»";
   "\\.a", "È§";
   "\\.b", "á¸ƒ";
   "\\.c", "Ä‹";
   "\\.d", "á¸‹";
   "\\.e", "Ä—";
   "\\.f", "á¸Ÿ";
   "\\.g", "Ä¡";
   "\\.h", "á¸£";
   "\\.m", "á¹�";
   "\\.n", "á¹…";
   "\\.o", "È¯";
   "\\.p", "á¹—";
   "\\.r", "á¹™";
   "\\.s", "á¹¡";
   "\\.t", "á¹«";
   "\\.w", "áº‡";
   "\\.x", "áº‹";
   "\\.y", "áº�";
   "\\.z", "Å¼";
   "\\doteq", "â‰�";
   "\\doteqdot", "â‰‘";
   "\\dotplus", "âˆ”";
   "\\dotA", "È¦";
   "\\dotB", "á¸‚";
   "\\dotC", "ÄŠ";
   "\\dotD", "á¸Š";
   "\\dotE", "Ä–";
   "\\dotF", "á¸�";
   "\\dotG", "Ä ";
   "\\dotH", "á¸¢";
   "\\dotI", "Ä°";
   "\\dotM", "á¹€";
   "\\dotN", "á¹„";
   "\\dotO", "È®";
   "\\dotP", "á¹–";
   "\\dotR", "á¹˜";
   "\\dotS", "á¹ ";
   "\\dotT", "á¹ª";
   "\\dotW", "áº†";
   "\\dotX", "áºŠ";
   "\\dotY", "áº�";
   "\\dotZ", "Å»";
   "\\dota", "È§";
   "\\dotb", "á¸ƒ";
   "\\dotc", "Ä‹";
   "\\dotd", "á¸‹";
   "\\dote", "Ä—";
   "\\dotf", "á¸Ÿ";
   "\\dotg", "Ä¡";
   "\\doth", "á¸£";
   "\\dotm", "á¹�";
   "\\dotn", "á¹…";
   "\\doto", "È¯";
   "\\dotp", "á¹—";
   "\\dotr", "á¹™";
   "\\dots", "á¹¡";
   "\\dott", "á¹«";
   "\\dotw", "áº‡";
   "\\dotx", "áº‹";
   "\\doty", "áº�";
   "\\dotz", "Å¼";
   "\\dA", "áº ";
   "\\dB", "á¸„";
   "\\dD", "á¸Œ";
   "\\dE", "áº¸";
   "\\dH", "á¸¤";
   "\\dI", "á»Š";
   "\\dK", "á¸²";
   "\\dL", "á¸¶";
   "\\dM", "á¹‚";
   "\\dN", "á¹†";
   "\\dO", "á»Œ";
   "\\dR", "á¹š";
   "\\dS", "á¹¢";
   "\\dT", "á¹¬";
   "\\dU", "á»¤";
   "\\dV", "á¹¾";
   "\\dW", "áºˆ";
   "\\dY", "á»´";
   "\\dZ", "áº’";
   "\\da", "áº¡";
   "\\db", "á¸…";
   "\\dd", "á¸�";
   "\\de", "áº¹";
   "\\dh", "á¸¥";
   "\\di", "á»‹";
   "\\dk", "á¸³";
   "\\dl", "á¸·";
   "\\dm", "á¹ƒ";
   "\\dn", "á¹‡";
   "\\do", "á»�";
   "\\dr", "á¹›";
   "\\ds", "á¹£";
   "\\dt", "á¹­";
   "\\du", "á»¥";
   "\\dv", "á¹¿";
   "\\dw", "áº‰";
   "\\dy", "á»µ";
   "\\dz", "áº“";

   (* Double dot accent *)
   "\\ddots", "â‹±";
   "\\ddotA", "Ã„";
   "\\ddotE", "Ã‹";
   "\\ddotH", "á¸¦";
   "\\ddotI", "Ã�";
   "\\ddotO", "Ã–";
   "\\ddotU", "Ãœ";
   "\\ddotW", "áº„";
   "\\ddotX", "áºŒ";
   "\\ddotY", "Å¸";
   "\\ddota", "Ã¤";
   "\\ddote", "Ã«";
   "\\ddoth", "á¸§";
   "\\ddoti", "Ã¯";
   "\\ddoto", "Ã¶";
   "\\ddott", "áº—";
   "\\ddotu", "Ã¼";
   "\\ddotw", "áº…";
   "\\ddotx", "áº�";
   "\\ddoty", "Ã¿";

   (* Breve accent *)
   "\\breveA", "Ä‚";
   "\\breveE", "Ä”";
   "\\breveG", "Ä�";
   "\\breveI", "Ä¬";
   "\\breveO", "Å�";
   "\\breveU", "Å¬";
   "\\brevea", "Äƒ";
   "\\brevee", "Ä•";
   "\\breveg", "ÄŸ";
   "\\brevei", "Ä­";
   "\\breveo", "Å�";
   "\\breveu", "Å­";
   "\\uA", "Ä‚";
   "\\uE", "Ä”";
   "\\uG", "Ä�";
   "\\uI", "Ä¬";
   "\\uO", "Å�";
   "\\uU", "Å¬";
   "\\ua", "Äƒ";
   "\\ue", "Ä•";
   "\\ug", "ÄŸ";
   "\\ui", "Ä­";
   "\\uo", "Å�";
   "\\uu", "Å­";

   (* Check accent *)
   "\\checkA", "Ç�";
   "\\checkC", "ÄŒ";
   "\\checkD", "Ä�";
   "\\checkE", "Äš";
   "\\checkN", "Å‡";
   "\\checkR", "Å˜";
   "\\checkS", "Å ";
   "\\checkT", "Å¤";
   "\\checkZ", "Å½";
   "\\checka", "Ç�";
   "\\checkc", "Ä�";
   "\\checkd", "Ä�";
   "\\checke", "Ä›";
   "\\checkn", "Åˆ";
   "\\checkr", "Å™";
   "\\checks", "Å¡";
   "\\checkt", "Å¥";
   "\\checkz", "Å¾";
   "\\vA", "Ç�";
   "\\vC", "ÄŒ";
   "\\vD", "Ä�";
   "\\vE", "Äš";
   "\\vN", "Å‡";
   "\\vR", "Å˜";
   "\\vS", "Å ";
   "\\vT", "Å¤";
   "\\vZ", "Å½";
   "\\va", "Ç�";
   "\\vc", "Ä�";
   "\\vd", "Ä�";
   "\\ve", "Ä›";
   "\\vn", "Åˆ";
   "\\vr", "Å™";
   "\\vs", "Å¡";
   "\\vt", "Å¥";
   "\\vz", "Å¾";

   (* Bar accent *)
   "\\=A", "Ä€";
   "\\=E", "Ä’";
   "\\=G", "á¸ ";
   "\\=I", "Äª";
   "\\=O", "ÅŒ";
   "\\=U", "Åª";
   "\\=Y", "È²";
   "\\=a", "Ä�";
   "\\=e", "Ä“";
   "\\=g", "á¸¡";
   "\\=i", "Ä«";
   "\\=o", "Å�";
   "\\=u", "Å«";
   "\\=y", "È³";
   "\\AA", "Ã…";
   "\\AE", "Ã†";
   "\\barA", "Ä€";
   "\\barE", "Ä’";
   "\\barG", "á¸ ";
   "\\barI", "Äª";
   "\\barO", "ÅŒ";
   "\\barU", "Åª";
   "\\barY", "È²";
   "\\bara", "Ä�";
   "\\bare", "Ä“";
   "\\barg", "á¸¡";
   "\\bari", "Ä«";
   "\\baro", "Å�";
   "\\baru", "Å«";
   "\\bary", "È³";

   (* Hat acccent *)
   "\\^A", "Ã‚";
   "\\^C", "Äˆ";
   "\\^E", "ÃŠ";
   "\\^G", "Äœ";
   "\\^H", "Ä¤";
   "\\^I", "Ã�";
   "\\^J", "Ä´";
   "\\^O", "Ã”";
   "\\^S", "Åœ";
   "\\^U", "Ã›";
   "\\^W", "Å´";
   "\\^Y", "Å¶";
   "\\^Z", "áº�";
   "\\^a", "Ã¢";
   "\\^c", "Ä‰";
   "\\^e", "Ãª";
   "\\^g", "Ä�";
   "\\^h", "Ä¥";
   "\\^i", "Ã®";
   "\\^j", "Äµ";
   "\\^o", "Ã´";
   "\\^s", "Å�";
   "\\^u", "Ã»";
   "\\^w", "Åµ";
   "\\^y", "Å·";
   "\\^z", "áº‘";

   (* Backquote acccent *)
   "\\`A", "Ã€";
   "\\`E", "Ãˆ";
   "\\`I", "ÃŒ";
   "\\`N", "Ç¸";
   "\\`O", "Ã’";
   "\\`U", "Ã™";
   "\\`W", "áº€";
   "\\`Y", "á»²";
   "\\`a", "Ã ";
   "\\`e", "Ã¨";
   "\\`i", "Ã¬";
   "\\`n", "Ç¹";
   "\\`o", "Ã²";
   "\\`u", "Ã¹";
   "\\`w", "áº�";
   "\\`y", "á»³";

   (* Tiled acccent *)
   "\\~A", "Ä€";
   "\\~E", "áº¼";
   "\\~I", "Ä¨";
   "\\~N", "Ã‘";
   "\\~O", "Ã•";
   "\\~U", "Å¨";
   "\\~Y", "á»¸";
   "\\~a", "Ã£";
   "\\~e", "áº½";
   "\\~i", "Ä©";
   "\\~n", "Ã±";
   "\\~o", "Ãµ";
   "\\~u", "Å©";
   "\\~y", "á»¹";

   (* textrt font *)
   "\\textrtaild", "É–";
   "\\textrtaill", "É­";
   "\\textrtailn", "É³";
   "\\textrtailr", "É½";
   "\\textrtails", "Ê‚";
   "\\textrtailt", "Êˆ";
   "\\textrtailz", "Ê�";

   (* textsc font *)
   "\\textscb", "Ê™";
   "\\textscg", "É¢";
   "\\textsch", "Êœ";
   "\\textschwa", "É™";
   "\\textsci", "Éª";
   "\\textscl", "ÊŸ";
   "\\textscn", "É´";
   "\\textscoelig", "É¶";
   "\\textscr", "Ê€";
   "\\textscripta", "É‘";
   "\\textscriptv", "Ê‹";
   "\\textscy", "Ê�";

   (* bb font *)
   "\\bb0", "ğ�Ÿ˜";
   "\\bb1", "ğ�Ÿ™";
   "\\bb2", "ğ�Ÿš";
   "\\bb3", "ğ�Ÿ›";
   "\\bb4", "ğ�Ÿœ";
   "\\bb5", "ğ�Ÿ�";
   "\\bb6", "ğ�Ÿ�";
   "\\bb7", "ğ�ŸŸ";
   "\\bb8", "ğ�Ÿ ";
   "\\bb9", "ğ�Ÿ¡";
   "\\bbA", "ğ�”¸";
   "\\bbB", "ğ�”¹";
   "\\bbC", "â„‚";
   "\\bbD", "ğ�”»";
   "\\bbE", "ğ�”¼";
   "\\bbF", "ğ�”½";
   "\\bbG", "ğ�”¾";
   "\\bbH", "â„�";
   "\\bbI", "ğ�•€";
   "\\bbJ", "ğ�•�";
   "\\bbK", "ğ�•‚";
   "\\bbL", "ğ�•ƒ";
   "\\bbM", "ğ�•„";
   "\\bbN", "â„•";
   "\\bbO", "ğ�•†";
   "\\bbP", "â„™";
   "\\bbQ", "â„š";
   "\\bbR", "â„�";
   "\\bbS", "ğ�•Š";
   "\\bbT", "ğ�•‹";
   "\\bbU", "ğ�•Œ";
   "\\bbV", "ğ�•�";
   "\\bbW", "ğ�•�";
   "\\bbX", "ğ�•�";
   "\\bbY", "ğ�•�";
   "\\bbZ", "â„¤";
   "\\bba", "ğ�•’";
   "\\bbb", "ğ�•“";
   "\\bbc", "ğ�•”";
   "\\bbd", "ğ�••";
   "\\bbe", "ğ�•–";
   "\\bbf", "ğ�•—";
   "\\bbg", "ğ�•˜";
   "\\bbh", "ğ�•™";
   "\\bbi", "ğ�•š";
   "\\bbj", "ğ�•›";
   "\\bbk", "ğ�•œ";
   "\\bbl", "ğ�•�";
   "\\bbm", "ğ�•�";
   "\\bbn", "ğ�•Ÿ";
   "\\bbo", "ğ�• ";
   "\\bbp", "ğ�•¡";
   "\\bbq", "ğ�•¢";
   "\\bbr", "ğ�•£";
   "\\bbs", "ğ�•¤";
   "\\bbt", "ğ�•¥";
   "\\bbu", "ğ�•¦";
   "\\bbv", "ğ�•§";
   "\\bbw", "ğ�•¨";
   "\\bbx", "ğ�•©";
   "\\bby", "ğ�•ª";
   "\\bbz", "ğ�•«";

   (* cal font *)
   "\\calA", "ğ�’œ";
   "\\calB", "â„¬";
   "\\calC", "ğ�’�";
   "\\calD", "ğ�’Ÿ";
   "\\calE", "â„°";
   "\\calF", "â„±";
   "\\calG", "ğ�’¢";
   "\\calH", "â„‹";
   "\\calI", "â„�";
   "\\calJ", "ğ�’¥";
   "\\calK", "ğ�’¦";
   "\\calL", "â„’";
   "\\calM", "â„³";
   "\\calN", "ğ�’©";
   "\\calO", "ğ�’ª";
   "\\calP", "ğ�’«";
   "\\calQ", "ğ�’¬";
   "\\calR", "â„›";
   "\\calS", "ğ�’®";
   "\\calT", "ğ�’¯";
   "\\calU", "ğ�’°";
   "\\calV", "ğ�’±";
   "\\calW", "ğ�’²";
   "\\calX", "ğ�’³";
   "\\calY", "ğ�’´";
   "\\calZ", "ğ�’µ";
   "\\cala", "ğ�’¶";
   "\\calb", "ğ�’·";
   "\\calc", "ğ�’¸";
   "\\cald", "ğ�’¹";
   "\\cale", "â„¯";
   "\\calf", "ğ�’»";
   "\\calg", "â„Š";
   "\\calh", "ğ�’½";
   "\\cali", "ğ�’¾";
   "\\calj", "ğ�’¿";
   "\\calk", "ğ�“€";
   "\\call", "ğ�“�";
   "\\calm", "ğ�“‚";
   "\\caln", "ğ�“ƒ";
   "\\calo", "â„´";
   "\\calp", "ğ�“…";
   "\\calq", "ğ�“†";
   "\\calr", "ğ�“‡";
   "\\cals", "ğ�“ˆ";
   "\\calt", "ğ�“‰";
   "\\calu", "ğ�“Š";
   "\\calv", "ğ�“‹";
   "\\calw", "ğ�“Œ";
   "\\calx", "ğ�“�";
   "\\caly", "ğ�“�";
   "\\calz", "ğ�“�";

   (* frak font *)
   "\\frakA", "ğ�”„";
   "\\frakB", "ğ�”…";
   "\\frakC", "â„­";
   "\\frakD", "ğ�”‡";
   "\\frakE", "ğ�”ˆ";
   "\\frakF", "ğ�”‰";
   "\\frakG", "ğ�”Š";
   "\\frakH", "â„Œ";
   "\\frakI", "â„‘";
   "\\frakJ", "ğ�”�";
   "\\frakK", "ğ�”�";
   "\\frakL", "ğ�”�";
   "\\frakM", "ğ�”�";
   "\\frakN", "ğ�”‘";
   "\\frakO", "ğ�”’";
   "\\frakP", "ğ�”“";
   "\\frakQ", "ğ�””";
   "\\frakR", "â„œ";
   "\\frakS", "ğ�”–";
   "\\frakT", "ğ�”—";
   "\\frakU", "ğ�”˜";
   "\\frakV", "ğ�”™";
   "\\frakW", "ğ�”š";
   "\\frakX", "ğ�”›";
   "\\frakY", "ğ�”œ";
   "\\frakZ", "â„¨";
   "\\fraka", "ğ�”�";
   "\\frakb", "ğ�”Ÿ";
   "\\frakc", "ğ�” ";
   "\\frakd", "ğ�”¡";
   "\\frake", "ğ�”¢";
   "\\frakf", "ğ�”£";
   "\\frakg", "ğ�”¤";
   "\\frakh", "ğ�”¥";
   "\\fraki", "ğ�”¦";
   "\\frakj", "ğ�”§";
   "\\frakk", "ğ�”¨";
   "\\frakl", "ğ�”©";
   "\\frakm", "ğ�”ª";
   "\\frakn", "ğ�”«";
   "\\frako", "ğ�”¬";
   "\\frakp", "ğ�”­";
   "\\frakq", "ğ�”®";
   "\\frakr", "ğ�”¯";
   "\\fraks", "ğ�”°";
   "\\frakt", "ğ�”±";
   "\\fraku", "ğ�”²";
   "\\frakv", "ğ�”³";
   "\\frakw", "ğ�”´";
   "\\frakx", "ğ�”µ";
   "\\fraky", "ğ�”¶";
   "\\frakz", "ğ�”·";

   (* Exponent *)
   "\\^(", "â�½";
   "\\^)", "â�¾";
   "\\^+", "â�º";
   "\\^-", "â�»";
   "\\^0", "â�°";
   "\\^1", "Â¹";
   "\\^2", "Â²";
   "\\^3", "Â³";
   "\\^4", "â�´";
   "\\^5", "â�µ";
   "\\^6", "â�¶";
   "\\^7", "â�·";
   "\\^8", "â�¸";
   "\\^9", "â�¹";
   "\\^=", "â�¼";
   "\\^A", "á´¬";
   "\\^B", "á´®";
   "\\^D", "á´°";
   "\\^E", "á´±";
   "\\^G", "á´³";
   "\\^H", "á´´";
   "\\^I", "á´µ";
   "\\^J", "á´¶";
   "\\^K", "á´·";
   "\\^L", "á´¸";
   "\\^M", "á´¹";
   "\\^N", "á´º";
   "\\^O", "á´¼";
   "\\^P", "á´¾";
   "\\^R", "á´¿";
   "\\^T", "áµ€";
   "\\^U", "áµ�";
   "\\^V", "â±½";
   "\\^W", "áµ‚";
   "\\^alpha", "áµ…";
   "\\^beta", "áµ�";
   "\\^chi", "áµ¡";
   "\\^delta", "áµŸ";
   "\\^epsilon", "áµ‹";
   "\\^gamma", "áµ�";
   "\\^iota", "á¶¥";
   "\\^phi", "á¶²";
   "\\^theta", "á¶¿";
   "\\^varphi", "áµ ";
   "\\^a", "áµƒ";
   "\\^b", "áµ‡";
   "\\^c", "á¶œ";
   "\\^d", "áµˆ";
   "\\^e", "áµ‰";
   "\\^f", "á¶ ";
   "\\^g", "áµ�";
   "\\^h", "Ê°";
   "\\^i", "â�±";
   "\\^j", "Ê²";
   "\\^k", "áµ�";
   "\\^l", "Ë¡";
   "\\^m", "áµ�";
   "\\^n", "â�¿";
   "\\^o", "áµ’";
   "\\^p", "áµ–";
   "\\^r", "Ê³";
   "\\^s", "Ë¢";
   "\\^t", "áµ—";
   "\\^u", "áµ˜";
   "\\^v", "áµ›";
   "\\^w", "Ê·";
   "\\^x", "Ë£";
   "\\^y", "Ê¸";
   "\\^z", "á¶»";

   (* Subscript *)
   "\\_(", "â‚�";
   "\\_)", "â‚�";
   "\\_+", "â‚Š";
   "\\_-", "â‚‹";
   "\\_0", "â‚€";
   "\\_1", "â‚�";
   "\\_2", "â‚‚";
   "\\_3", "â‚ƒ";
   "\\_4", "â‚„";
   "\\_5", "â‚…";
   "\\_6", "â‚†";
   "\\_7", "â‚‡";
   "\\_8", "â‚ˆ";
   "\\_9", "â‚‰";
   "\\_=", "â‚Œ";
   "\\_beta", "áµ¦";
   "\\_chi", "áµª";
   "\\_gamma", "áµ§";
   "\\_rho", "áµ¨";
   "\\_varphi", "áµ©";
   "\\_a", "â‚�";
   "\\_e", "â‚‘";
   "\\_h", "â‚•";
   "\\_i", "áµ¢";
   "\\_j", "â±¼";
   "\\_k", "â‚–";
   "\\_l", "â‚—";
   "\\_m", "â‚˜";
   "\\_n", "â‚™";
   "\\_o", "â‚’";
   "\\_p", "â‚š";
   "\\_r", "áµ£";
   "\\_s", "â‚›";
   "\\_t", "â‚œ";
   "\\_u", "áµ¤";
   "\\_v", "áµ¥";
   "\\_x", "â‚“";

]


(** **************************************************************************)
(** * Priorities *)

(** Set priorities, at the moment only for greek letters *)

let priorities = [
(* {{{ greek letters *)
 "\\alpha", 1;
 "\\beta", 1;
 "\\gamma", 1;
 "\\delta", 1;
 "\\epsilon", 1;
 "\\zeta", 1;
 "\\eta", 2;
 "\\theta", 2;
 "\\iota", 1;
 "\\kappa", 1;
 "\\lambda", 1;
 "\\mu", 1;
 "\\nu", 1;
 "\\xi", 1;
 "\\o", 1;
 "\\pi", 1;
 "\\rho", 1;
 "\\sigma", 1;
 "\\tau", 1;
 "\\upsilon", 1;
 "\\phi", 2;
 "\\chi", 1;
 "\\psi", 2;
 "\\omega", 2;
 "\\Gamma", 1;
 "\\Delta", 1;
 "\\Theta", 2;
 "\\Lambda", 1;
 "\\Xi", 1;
 "\\Pi", 1;
 "\\Sigma", 1;
 "\\Upsilon", 1;
 "\\Phi", 2;
 "\\Psi", 2;
 "\\Omega", 1;
(* }}} *)
]


(** **************************************************************************)
(** * Binding generator *)

let filename =
   let args = Sys.argv in
   if Array.length args < 2
     then failwith "please provide output filename as argument";
   Sys.argv.(1)

let _ = (* generate output file *)
   let bindings = ref [] in
   let add (key,value) =
      bindings := (key,value)::!bindings in
   (* add bindings from set 1 *)
   List.iter (fun (keys,value,_group) ->
      List.iter (fun key -> add (key,value)) keys) bindings_set_1;
   (* add bindings from set 2 *)
   List.iter add bindings_set_2;
   (* create table for priorities lookup *)
   let priotable = Hashtbl.create 20 in
   List.iter (fun (key,prio) -> Hashtbl.add priotable key prio) priorities;
   (* remove duplicates and sort *)
   let outbindings = List.sort_uniq (fun (key1,_) (key2,_) -> String.compare key1 key2) !bindings in
   (* print bindings into file, including optional priorities *)
   let file = open_out filename in
   let print_binding (key,value) =
      Printf.fprintf file "%s %s" key value;
      begin match Hashtbl.find_opt priotable key with
        | Some prio -> Printf.fprintf file " %d" prio
        | None -> ()
      end;
      Printf.fprintf file "\n"
      in
   List.iter print_binding outbindings;
   close_out file


(** **************************************************************************)
(** * Groups of similar shapes *)

(* For future use.

let predefined_classes = [
 ["&"; "â…‹"; ];
 ["|"; "âˆ¥"; ];
 ["!"; "Â¡"; "â«¯"; "â«°"; "âŸŸ"; "â«±"; ];
 ["?"; "Â¿"; "â¸®"; ];
 [":"; "â��"; ];
 ["."; "â€¢"; "â—¦"; ];
 ["#"; "â™¯"; "â‹•"; "â§£"; "â§¤"; "âŒ˜"; ];
 ["+"; "âŠ�"; ];
 ["-"; "Ã·"; "âŠ¢"; "âŠ©"; "âŠŸ"; ];
 ["="; "â‰�"; "â‰¡"; "â©¬"; "â‰‚"; "â‰ƒ"; "â‰ˆ"; "â‰…"; "â‰—"; "â‰�"; "â‰‘"; "â‰š"; "â‰™"; "âŒ†"; "âŠœ"; ];
 ["â†’"; "â†¦"; "â‡�"; "â¤�"; "â‡¾"; "â¤�"; "â¤�"; "â¤³"; ] ;
 ["â‡’"; "â¤‡"; "â�¾"; "â‡¨"; "â�¡"; "â¬ˆ"; "â�¤"; "â�¸"; "â‡‰"; "â¥°"; ] ;
 ["^"; "â†‘"; ] ;
 ["â‡‘"; "â‡§"; "â¬†"; ] ;
 ["â‡“"; "â‡©"; "â¬‡"; "â¬Š"; "â�·"; ] ;
 ["â‡•"; "â‡³"; "â¬�"; ];
 ["â†”"; "â‡”"; "â¬„"; "â¬Œ"; ] ;
 ["â‰¤"; "â‰²"; "â‰¼"; "â‰°"; "â‰´"; "â‹ "; "âŠ†"; "â«ƒ"; "âŠ‘"; ] ;
 ["_"; "â†“"; "â†™"; "â�½"; "â�¼"; "â�»"; "â�º"; ];
 ["<"; "â‰º"; "â‰®"; "âŠ€"; "âŒ©"; "Â«"; "â�¬"; "â�®"; "â�°"; ] ;
 ["("; "â�¨"; "â�ª"; "â�²"; "ï¼ˆ"; ];
 [")"; "â�©"; "â�«"; "â�³"; "ï¼‰"; ];
 ["["; "â¦‹"; "ã€š"; ] ;
 ["]"; "â¦Œ"; "ã€›"; ] ;
 ["{"; "â�´"; "â¦ƒ" ] ;
 ["}"; "â�µ"; "â¦„" ] ;
 ["â–¡"; "â—½"; "â–ª"; "â—¾"; ];
 ["â—Š"; "â™¢"; "â§«"; "â™¦"; "âŸ�"; "âŸ "; ] ;
 [">"; "â­ƒ"; "â§�"; "âŒª"; "Â»"; "â�­"; "â�¯"; "â�±"; "â–¸"; "â–º"; "â–¶"; "âŠƒ"; "âŠ�"; ] ;
 ["â‰¥"; "âª€"; "â‰½"; "âª´"; "â¥¸"; "âŠ’"; ];
 ["âˆ¨"; "â©–"; "âˆª"; "âˆ©"; "â‹“"; "â‹’" ] ;
 ["a"; "Î±"; "ğ�•’"; "ğ��š"; "ğ�›‚"; "â“�"; ] ;
 ["A"; "â„µ"; "ğ�”¸"; "ğ��€"; "â’¶"; ] ;
 ["b"; "Î²"; "ÃŸ"; "ğ�•“"; "ğ��›"; "ğ�›ƒ"; "â“‘"; ] ;
 ["B"; "â„¶"; "â„¬"; "ğ�”¹"; "ğ���"; "â’·"; ] ;
 ["c"; "ğ�•”"; "ğ��œ"; "â“’"; ] ;
 ["C"; "â„­"; "âˆ�"; "ğ��‚"; "â’¸"; ] ;
 ["d"; "Î´"; "âˆ‚"; "ğ�••"; "â…†"; "ğ���"; "ğ�›…"; "â““"; ] ;
 ["D"; "Î”"; "ğ�”»"; "â……"; "ğ��ƒ"; "ğ�š«"; "â’¹"; ] ;
 ["e"; "É›"; "Îµ"; "Ïµ"; "Ğ„"; "â„¯"; "ğ�•–"; "â…‡"; "ğ���"; "ğ�›†"; "ğ�›œ"; "â“”"; ] ;
 ["E"; "â„°"; "ğ�”¼"; "ğ��„"; "â’º"; ] ;
 ["f"; "Ï†"; "Ïˆ"; "Ï•"; "â¨�"; "ğ�•—"; "ğ��Ÿ"; "ğ�›Ÿ"; "ğ�›™"; "â“•"; ] ;
 ["F"; "Î¦"; "Î¨"; "â„±"; "ğ�”½"; "ğ��…"; "ğ�š½"; "ğ�š¿"; "â’»"; ] ;
 ["g"; "Î³"; "â„Š"; "ğ�•˜"; "ğ�� "; "ğ�›„"; "â“–"; ] ;
 ["G"; "Î“"; "ğ�”¾"; "ğ��†"; "ğ�šª"; "â’¼"; ] ;
 ["h"; "Î·"; "â„Œ"; "â„�"; "ğ�•™"; "ğ��¡"; "â“—"; ] ;
 ["H"; "â„‹"; "â„�"; "ğ��‡"; "â’½"; ] ;
 ["i"; "Î¹"; "â„�"; "ğ�•š"; "â…ˆ"; "ğ��¢"; "ğ�›Š"; "â“˜"; ] ;
 ["I"; "ğ�•€"; "ğ��ˆ"; "â’¾"; ] ;
 ["j"; "ğ�•›"; "ğ��£"; "â“™"; ] ;
 ["J"; "Ğˆ"; "ğ�•�"; "ğ��‰"; "â’¿"; ] ;
 ["k"; "Îº"; "ğ�•œ"; "ğ��¤"; "ğ�›‹"; "â“š"; ] ;
 ["K"; "ğ�•‚"; "ğ��Š"; "â“€"; ] ;
 ["l"; "Î»"; "ğ�•�"; "ğ��¥"; "ğ�›Œ"; "â“›"; ] ;
 ["L"; "Î›"; "ğ�•ƒ"; "ğ��‹"; "ğ�š²"; "â“�"; ] ;
 ["m"; "Î¼"; "ğ�•�"; "ğ��¦"; "ğ�›�"; "â“œ"; ] ;
 ["M"; "â„³"; "ğ�•„"; "ğ��Œ"; "â“‚"; ] ;
 ["n"; "ğ�•Ÿ"; "ğ��§"; "ğ�›ˆ"; "â“�"; ] ;
 ["N"; "â„•"; "â„–"; "ğ���"; "â“ƒ"; ] ;
 ["o"; "Î¸"; "Ï‘"; "ğ�• "; "âˆ˜";  "âŠš"; "Ã¸"; "â—‹"; "ğ��¨"; "ğ�›‰"; "â“�"; ] ;
 ["O"; "Î˜"; "ğ�•†"; "ğ���"; "ğ�š¯"; "ğ�š¹"; "â“„"; ] ;
 ["p"; "Ï€"; "ğ�•¡"; "ğ��©"; "ğ�›‘"; "â“Ÿ"; ] ;
 ["P"; "Î "; "â„˜"; "â„™"; "ğ���"; "ğ�š·"; "â“…"; ] ;
 ["q"; "ğ�•¢"; "ğ��ª"; "â“ "; ] ;
 ["Q"; "â„š"; "ğ���"; "â“†"; ] ;
 ["r"; "Ï�"; "Ï±"; "ğ�•£"; "ğ��«"; "ğ�›’"; "ğ�› "; "â“¡"; ] ;
 ["R"; "â„›"; "â„œ"; "â„�"; "ğ��‘"; "â“‡"; ] ;
 ["s"; "Ïƒ"; "Ï‚"; "ğ�•¤"; "ğ��¬"; "ğ�›”"; "â“¢"; ] ;
 ["S"; "Î£"; "ğ�•Š"; "ğ��’"; "ğ�šº"; "â“ˆ"; ] ;
 ["t"; "Ï„"; "ğ�•¥"; "ğ��­"; "ğ�›•"; "â“£"; ] ;
 ["T"; "ğ�•‹"; "ğ��“"; "â“‰"; "âŠ¥"; ] ;
 ["u"; "ğ�•¦"; "ğ��®"; "â“¤"; ] ;
 ["U"; "ğ�•Œ"; "ğ��”"; "â“Š"; ] ;
 ["v"; "Î½"; "ğ�•§"; "ğ��¯"; "ğ�›–"; "ğ�›�"; "â“¥"; "â–¼"; ] ;
 ["V"; "ğ�•�"; "ğ��•"; "â“‹"; ] ;
 ["w"; "Ï‰"; "ğ�•¨"; "ğ��°"; "ğ�›š"; "â“¦"; ] ;
 ["W"; "Î©"; "ğ�•�"; "ğ��–"; "ğ�›€"; "â“Œ"; ] ;
 ["x"; "Î¾"; "Ï‡"; "Ï°"; "ğ�•©"; "ğ��±"; "ğ�›�"; "ğ�›˜"; "ğ�›�"; "â“§"; ] ;
 ["X"; "Î�"; "ğ�•�";"ğ��—"; "ğ�šµ"; "â“�"; "â¦»"; ] ;
 ["y"; "Ï…"; "ğ�•ª"; "ğ��²"; "â“¨"; ] ;
 ["Y"; "Ï’"; "ğ�•�"; "ğ��˜"; "ğ�š¼"; "â“�"; ] ;
 ["z"; "Î¶"; "ğ�•«"; "ğ��³"; "ğ�›‡"; "â“©"; ] ;
 ["Z"; "â„¨"; "â„¤"; "ğ��™"; "â“�"; ] ;
 ["0"; "ğ�Ÿ˜"; "â“ª"; ] ;
 ["1"; "ğ�Ÿ™"; "â‘ "; "â“µ"; ] ;
 ["2"; "ğ�Ÿš"; "â‘¡"; "â“¶"; ] ;
 ["3"; "ğ�Ÿ›"; "â‘¢"; "â“·"; ] ;
 ["4"; "ğ�Ÿœ"; "â‘£"; "â“¸"; ] ;
 ["5"; "ğ�Ÿ�"; "â‘¤"; "â“¹"; ] ;
 ["6"; "ğ�Ÿ�"; "â‘¥"; "â“º"; ] ;
 ["7"; "ğ�ŸŸ"; "â‘¦"; "â“»"; ] ;
 ["8"; "ğ�Ÿ "; "â‘§"; "â“¼"; "âˆ�"; ] ;
 ["9"; "ğ�Ÿ¡"; "â‘¨"; "â“½"; ] ;
 ]

*)
