aboutsummaryrefslogtreecommitdiff
path: root/ide/default_bindings_src.ml
diff options
context:
space:
mode:
authorMaxime Dénès2020-05-16 17:07:37 +0200
committerMaxime Dénès2020-06-02 18:53:33 +0200
commit33021618a06a94563d28691940f02a55bd9d358d (patch)
tree9d0cab0e9ffc2f1499ec1d49b142a758d7f80fee /ide/default_bindings_src.ml
parentdb768e6828af62e06eb03d36509be6f8fc1efbf3 (diff)
Move CoqIDE to its own folder
The will make it possible to put a VsCoq toplevel in `ide/vscoq`.
Diffstat (limited to 'ide/default_bindings_src.ml')
-rw-r--r--ide/default_bindings_src.ml2899
1 files changed, 0 insertions, 2899 deletions
diff --git a/ide/default_bindings_src.ml b/ide/default_bindings_src.ml
deleted file mode 100644
index a69a7c2aba..0000000000
--- a/ide/default_bindings_src.ml
+++ /dev/null
@@ -1,2899 +0,0 @@
-(** 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"; "𝟡"; "⑨"; "⓽"; ] ;
- ]
-
-*)
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 00:59:00 +0000