Quelle  default_bindings_src.ml   Sprache: SML

(** 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"                                          ], "IJ", [letter];
 ["\\ijlig"                                          ], "ij", [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"                                          ], "ʼn", [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"                                          ], "ff", [letter];
 ["\\filig"                                          ], "fi", [letter];
 ["\\fllig"                                          ], "fl", [letter];
 ["\\ffilig"                                         ], "ffi", [letter];
 ["\\ffllig"                                         ], "ffl", [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"; "��"; "⑨"; "⓽"; ] ;
 ]

*)