Last active
August 7, 2023 12:12
-
-
Save Metaxal/86be1b733c0f5ad4a0cf6c58cf140436 to your computer and use it in GitHub Desktop.
List of latex to unicode math characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #lang racket/base | |
| (provide latex-math-chars) | |
| ;;; LaTeX math to Unicode symbols translation dictionaries. | |
| ;;; Adapted from | |
| ;;; anaconda/lib/python2.7/site-packages/docutils/utils/math/tex2unichar.py | |
| ;;; itself generated with ``write_tex2unichar.py`` from the data in | |
| ;;; http://milde.users.sourceforge.net/LUCR/Math/ | |
| ;;; Includes commands from: wasysym, stmaryrd, mathdots, mathabx, esint, bbold, amsxtra, amsmath, amssymb, standard LaTeX | |
| #| | |
| Usage example: | |
| > (require racket/dict "latex-math-chars.rkt") | |
| > (dict-ref latex-math-chars "sum") | |
| #\∑ | |
| List of arrows: | |
| > (filter (λ(p)(regexp-match (regexp-quote "arrow" #f) (car p))) latex-math-chars) | |
| |# | |
| ;;; Combining characters. Try for example (string #\x #\u0304) | |
| (define mathaccent | |
| '(("acute" . #\u0301) ; x́ COMBINING ACUTE ACCENT | |
| ("bar" . #\u0304) ; x̄ COMBINING MACRON | |
| ("breve" . #\u0306) ; x̆ COMBINING BREVE | |
| ("check" . #\u030c) ; x̌ COMBINING CARON | |
| ("ddddot" . #\u20dc) ; x⃜ COMBINING FOUR DOTS ABOVE | |
| ("dddot" . #\u20db) ; x⃛ COMBINING THREE DOTS ABOVE | |
| ("ddot" . #\u0308) ; ẍ COMBINING DIAERESIS | |
| ("dot" . #\u0307) ; ẋ COMBINING DOT ABOVE | |
| ("grave" . #\u0300) ; x̀ COMBINING GRAVE ACCENT | |
| ("hat" . #\u0302) ; x̂ COMBINING CIRCUMFLEX ACCENT | |
| ("mathring" . #\u030a) ; x̊ COMBINING RING ABOVE | |
| ("not" . #\u0338) ; x̸ COMBINING LONG SOLIDUS OVERLAY | |
| ("overleftarrow" . #\u20d6) ; x⃖ COMBINING LEFT ARROW ABOVE | |
| ("overleftrightarrow" . #\u20e1) ; x⃡ COMBINING LEFT RIGHT ARROW ABOVE | |
| ("overline" . #\u0305) ; x̅ COMBINING OVERLINE | |
| ("overrightarrow" . #\u20d7) ; x⃗ COMBINING RIGHT ARROW ABOVE | |
| ("tilde" . #\u0303) ; x̃ COMBINING TILDE | |
| ("underbar" . #\u0331) ; x̱ COMBINING MACRON BELOW | |
| ("underleftarrow" . #\u20ee) ; x⃮ COMBINING LEFT ARROW BELOW | |
| ("underline" . #\u0332) ; x̲ COMBINING LOW LINE | |
| ("underrightarrow" . #\u20ef) ; x⃯ COMBINING RIGHT ARROW BELOW | |
| ("vec" . #\u20d7) ; x⃗ COMBINING RIGHT ARROW ABOVE | |
| ("widehat" . #\u0302) ; x̂ COMBINING CIRCUMFLEX ACCENT | |
| ("widetilde" . #\u0303) ; x̃ COMBINING TILDE | |
| )) | |
| (define mathalpha | |
| '(("Bbbk" . #\U0001d55c) ; 𝕜 MATHEMATICAL DOUBLE-STRUCK SMALL K | |
| ("Delta" . #\u0394) ; Δ GREEK CAPITAL LETTER DELTA | |
| ("Gamma" . #\u0393) ; Γ GREEK CAPITAL LETTER GAMMA | |
| ("Im" . #\u2111) ; ℑ BLACK-LETTER CAPITAL I | |
| ("Lambda" . #\u039b) ; Λ GREEK CAPITAL LETTER LAMDA | |
| ("Omega" . #\u03a9) ; Ω GREEK CAPITAL LETTER OMEGA | |
| ("Phi" . #\u03a6) ; Φ GREEK CAPITAL LETTER PHI | |
| ("Pi" . #\u03a0) ; Π GREEK CAPITAL LETTER PI | |
| ("Psi" . #\u03a8) ; Ψ GREEK CAPITAL LETTER PSI | |
| ("Re" . #\u211c) ; ℜ BLACK-LETTER CAPITAL R | |
| ("Sigma" . #\u03a3) ; Σ GREEK CAPITAL LETTER SIGMA | |
| ("Theta" . #\u0398) ; Θ GREEK CAPITAL LETTER THETA | |
| ("Upsilon" . #\u03a5) ; Υ GREEK CAPITAL LETTER UPSILON | |
| ("Xi" . #\u039e) ; Ξ GREEK CAPITAL LETTER XI | |
| ("aleph" . #\u2135) ; ℵ ALEF SYMBOL | |
| ("alpha" . #\u03b1) ; α GREEK SMALL LETTER ALPHA | |
| ("beta" . #\u03b2) ; β GREEK SMALL LETTER BETA | |
| ("beth" . #\u2136) ; ℶ BET SYMBOL | |
| ("chi" . #\u03c7) ; χ GREEK SMALL LETTER CHI | |
| ("daleth" . #\u2138) ; ℸ DALET SYMBOL | |
| ("delta" . #\u03b4) ; δ GREEK SMALL LETTER DELTA | |
| ("digamma" . #\u03dc) ; Ϝ GREEK LETTER DIGAMMA | |
| ("ell" . #\u2113) ; ℓ SCRIPT SMALL L | |
| ("epsilon" . #\u03f5) ; ϵ GREEK LUNATE EPSILON SYMBOL | |
| ("eta" . #\u03b7) ; η GREEK SMALL LETTER ETA | |
| ("eth" . #\u00f0) ; ð LATIN SMALL LETTER ETH | |
| ("gamma" . #\u03b3) ; γ GREEK SMALL LETTER GAMMA | |
| ("gimel" . #\u2137) ; ℷ GIMEL SYMBOL | |
| ("hbar" . #\u210f) ; ℏ PLANCK CONSTANT OVER TWO PI | |
| ("hslash" . #\u210f) ; ℏ PLANCK CONSTANT OVER TWO PI | |
| ("imath" . #\u0131) ; ı LATIN SMALL LETTER DOTLESS I | |
| ("iota" . #\u03b9) ; ι GREEK SMALL LETTER IOTA | |
| ("jmath" . #\u0237) ; ȷ LATIN SMALL LETTER DOTLESS J | |
| ("kappa" . #\u03ba) ; κ GREEK SMALL LETTER KAPPA | |
| ("lambda" . #\u03bb) ; λ GREEK SMALL LETTER LAMDA | |
| ("mu" . #\u03bc) ; μ GREEK SMALL LETTER MU | |
| ("nu" . #\u03bd) ; ν GREEK SMALL LETTER NU | |
| ("omega" . #\u03c9) ; ω GREEK SMALL LETTER OMEGA | |
| ("phi" . #\u03d5) ; ϕ GREEK PHI SYMBOL | |
| ("pi" . #\u03c0) ; π GREEK SMALL LETTER PI | |
| ("psi" . #\u03c8) ; ψ GREEK SMALL LETTER PSI | |
| ("rho" . #\u03c1) ; ρ GREEK SMALL LETTER RHO | |
| ("sigma" . #\u03c3) ; σ GREEK SMALL LETTER SIGMA | |
| ("tau" . #\u03c4) ; τ GREEK SMALL LETTER TAU | |
| ("theta" . #\u03b8) ; θ GREEK SMALL LETTER THETA | |
| ("upsilon" . #\u03c5) ; υ GREEK SMALL LETTER UPSILON | |
| ("varDelta" . #\U0001d6e5) ; 𝛥 MATHEMATICAL ITALIC CAPITAL DELTA | |
| ("varGamma" . #\U0001d6e4) ; 𝛤 MATHEMATICAL ITALIC CAPITAL GAMMA | |
| ("varLambda" . #\U0001d6ec) ; 𝛬 MATHEMATICAL ITALIC CAPITAL LAMDA | |
| ("varOmega" . #\U0001d6fa) ; 𝛺 MATHEMATICAL ITALIC CAPITAL OMEGA | |
| ("varPhi" . #\U0001d6f7) ; 𝛷 MATHEMATICAL ITALIC CAPITAL PHI | |
| ("varPi" . #\U0001d6f1) ; 𝛱 MATHEMATICAL ITALIC CAPITAL PI | |
| ("varPsi" . #\U0001d6f9) ; 𝛹 MATHEMATICAL ITALIC CAPITAL PSI | |
| ("varSigma" . #\U0001d6f4) ; 𝛴 MATHEMATICAL ITALIC CAPITAL SIGMA | |
| ("varTheta" . #\U0001d6e9) ; 𝛩 MATHEMATICAL ITALIC CAPITAL THETA | |
| ("varUpsilon" . #\U0001d6f6) ; 𝛶 MATHEMATICAL ITALIC CAPITAL UPSILON | |
| ("varXi" . #\U0001d6ef) ; 𝛯 MATHEMATICAL ITALIC CAPITAL XI | |
| ("varepsilon" . #\u03b5) ; ε GREEK SMALL LETTER EPSILON | |
| ("varkappa" . #\U0001d718) ; 𝜘 MATHEMATICAL ITALIC KAPPA SYMBOL | |
| ("varphi" . #\u03c6) ; φ GREEK SMALL LETTER PHI | |
| ("varpi" . #\u03d6) ; ϖ GREEK PI SYMBOL | |
| ("varrho" . #\u03f1) ; ϱ GREEK RHO SYMBOL | |
| ("varsigma" . #\u03c2) ; ς GREEK SMALL LETTER FINAL SIGMA | |
| ("vartheta" . #\u03d1) ; ϑ GREEK THETA SYMBOL | |
| ("wp" . #\u2118) ; ℘ SCRIPT CAPITAL P | |
| ("xi" . #\u03be) ; ξ GREEK SMALL LETTER XI | |
| ("zeta" . #\u03b6) ; ζ GREEK SMALL LETTER ZETA | |
| )) | |
| (define mathbin | |
| '(("Cap" . #\u22d2) ; ⋒ DOUBLE INTERSECTION | |
| ("Circle" . #\u25cb) ; ○ WHITE CIRCLE | |
| ("Cup" . #\u22d3) ; ⋓ DOUBLE UNION | |
| ("LHD" . #\u25c0) ; ◀ BLACK LEFT-POINTING TRIANGLE | |
| ("RHD" . #\u25b6) ; ▶ BLACK RIGHT-POINTING TRIANGLE | |
| ("amalg" . #\u2a3f) ; ⨿ AMALGAMATION OR COPRODUCT | |
| ("ast" . #\u2217) ; ∗ ASTERISK OPERATOR | |
| ("barwedge" . #\u22bc) ; ⊼ NAND | |
| ("bigtriangledown" . #\u25bd) ; ▽ WHITE DOWN-POINTING TRIANGLE | |
| ("bigtriangleup" . #\u25b3) ; △ WHITE UP-POINTING TRIANGLE | |
| ("bindnasrepma" . #\u214b) ; ⅋ TURNED AMPERSAND | |
| ("blacklozenge" . #\u29eb) ; ⧫ BLACK LOZENGE | |
| ("blacktriangledown" . #\u25be) ; ▾ BLACK DOWN-POINTING SMALL TRIANGLE | |
| ("blacktriangleleft" . #\u25c2) ; ◂ BLACK LEFT-POINTING SMALL TRIANGLE | |
| ("blacktriangleright" . #\u25b8) ; ▸ BLACK RIGHT-POINTING SMALL TRIANGLE | |
| ("blacktriangleup" . #\u25b4) ; ▴ BLACK UP-POINTING SMALL TRIANGLE | |
| ("boxast" . #\u29c6) ; ⧆ SQUARED ASTERISK | |
| ("boxbar" . #\u25eb) ; ◫ WHITE SQUARE WITH VERTICAL BISECTING LINE | |
| ("boxbox" . #\u29c8) ; ⧈ SQUARED SQUARE | |
| ("boxbslash" . #\u29c5) ; ⧅ SQUARED FALLING DIAGONAL SLASH | |
| ("boxcircle" . #\u29c7) ; ⧇ SQUARED SMALL CIRCLE | |
| ("boxdot" . #\u22a1) ; ⊡ SQUARED DOT OPERATOR | |
| ("boxminus" . #\u229f) ; ⊟ SQUARED MINUS | |
| ("boxplus" . #\u229e) ; ⊞ SQUARED PLUS | |
| ("boxslash" . #\u29c4) ; ⧄ SQUARED RISING DIAGONAL SLASH | |
| ("boxtimes" . #\u22a0) ; ⊠ SQUARED TIMES | |
| ("bullet" . #\u2219) ; ∙ BULLET OPERATOR | |
| ("cap" . #\u2229) ; ∩ INTERSECTION | |
| ("cdot" . #\u22c5) ; ⋅ DOT OPERATOR | |
| ("circ" . #\u2218) ; ∘ RING OPERATOR | |
| ("circledast" . #\u229b) ; ⊛ CIRCLED ASTERISK OPERATOR | |
| ("circledcirc" . #\u229a) ; ⊚ CIRCLED RING OPERATOR | |
| ("circleddash" . #\u229d) ; ⊝ CIRCLED DASH | |
| ("cup" . #\u222a) ; ∪ UNION | |
| ("curlyvee" . #\u22ce) ; ⋎ CURLY LOGICAL OR | |
| ("curlywedge" . #\u22cf) ; ⋏ CURLY LOGICAL AND | |
| ("dagger" . #\u2020) ; † DAGGER | |
| ("ddagger" . #\u2021) ; ‡ DOUBLE DAGGER | |
| ("diamond" . #\u22c4) ; ⋄ DIAMOND OPERATOR | |
| ("div" . #\u00f7) ; ÷ DIVISION SIGN | |
| ("divideontimes" . #\u22c7) ; ⋇ DIVISION TIMES | |
| ("dotplus" . #\u2214) ; ∔ DOT PLUS | |
| ("doublebarwedge" . #\u2a5e) ; ⩞ LOGICAL AND WITH DOUBLE OVERBAR | |
| ("intercal" . #\u22ba) ; ⊺ INTERCALATE | |
| ("interleave" . #\u2af4) ; ⫴ TRIPLE VERTICAL BAR BINARY RELATION | |
| ("land" . #\u2227) ; ∧ LOGICAL AND | |
| ("leftthreetimes" . #\u22cb) ; ⋋ LEFT SEMIDIRECT PRODUCT | |
| ("lhd" . #\u25c1) ; ◁ WHITE LEFT-POINTING TRIANGLE | |
| ("lor" . #\u2228) ; ∨ LOGICAL OR | |
| ("ltimes" . #\u22c9) ; ⋉ LEFT NORMAL FACTOR SEMIDIRECT PRODUCT | |
| ("mp" . #\u2213) ; ∓ MINUS-OR-PLUS SIGN | |
| ("odot" . #\u2299) ; ⊙ CIRCLED DOT OPERATOR | |
| ("ominus" . #\u2296) ; ⊖ CIRCLED MINUS | |
| ("oplus" . #\u2295) ; ⊕ CIRCLED PLUS | |
| ("oslash" . #\u2298) ; ⊘ CIRCLED DIVISION SLASH | |
| ("otimes" . #\u2297) ; ⊗ CIRCLED TIMES | |
| ("pm" . #\u00b1) ; ± PLUS-MINUS SIGN | |
| ("rhd" . #\u25b7) ; ▷ WHITE RIGHT-POINTING TRIANGLE | |
| ("rightthreetimes" . #\u22cc) ; ⋌ RIGHT SEMIDIRECT PRODUCT | |
| ("rtimes" . #\u22ca) ; ⋊ RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT | |
| ("setminus" . #\u29f5) ; ⧵ REVERSE SOLIDUS OPERATOR | |
| ("slash" . #\u2215) ; ∕ DIVISION SLASH | |
| ("smallsetminus" . #\u2216) ; ∖ SET MINUS | |
| ("smalltriangledown" . #\u25bf) ; ▿ WHITE DOWN-POINTING SMALL TRIANGLE | |
| ("smalltriangleleft" . #\u25c3) ; ◃ WHITE LEFT-POINTING SMALL TRIANGLE | |
| ("smalltriangleright" . #\u25b9) ; ▹ WHITE RIGHT-POINTING SMALL TRIANGLE | |
| ("smalltriangleup" . #\u25b5) ; ▵ WHITE UP-POINTING SMALL TRIANGLE | |
| ("sqcap" . #\u2293) ; ⊓ SQUARE CAP | |
| ("sqcup" . #\u2294) ; ⊔ SQUARE CUP | |
| ("sslash" . #\u2afd) ; ⫽ DOUBLE SOLIDUS OPERATOR | |
| ("star" . #\u22c6) ; ⋆ STAR OPERATOR | |
| ("talloblong" . #\u2afe) ; ⫾ WHITE VERTICAL BAR | |
| ("times" . #\u00d7) ; × MULTIPLICATION SIGN | |
| ("triangle" . #\u25b3) ; △ WHITE UP-POINTING TRIANGLE | |
| ("triangledown" . #\u25bf) ; ▿ WHITE DOWN-POINTING SMALL TRIANGLE | |
| ("triangleleft" . #\u25c3) ; ◃ WHITE LEFT-POINTING SMALL TRIANGLE | |
| ("triangleright" . #\u25b9) ; ▹ WHITE RIGHT-POINTING SMALL TRIANGLE | |
| ("uplus" . #\u228e) ; ⊎ MULTISET UNION | |
| ("vartriangle" . #\u25b3) ; △ WHITE UP-POINTING TRIANGLE | |
| ("vee" . #\u2228) ; ∨ LOGICAL OR | |
| ("veebar" . #\u22bb) ; ⊻ XOR | |
| ("wedge" . #\u2227) ; ∧ LOGICAL AND | |
| ("wr" . #\u2240) ; ≀ WREATH PRODUCT | |
| )) | |
| (define mathclose | |
| '(("Rbag" . #\u27c6) ; ⟆ RIGHT S-SHAPED BAG DELIMITER | |
| ("lrcorner" . #\u231f) ; ⌟ BOTTOM RIGHT CORNER | |
| ("rangle" . #\u27e9) ; ⟩ MATHEMATICAL RIGHT ANGLE BRACKET | |
| ("rbag" . #\u27c6) ; ⟆ RIGHT S-SHAPED BAG DELIMITER | |
| ("rbrace" . #\)) ; )) RIGHT CURLY BRACKET | |
| ("rbrack" . #\]) ; ] RIGHT SQUARE BRACKET | |
| ("rceil" . #\u2309) ; ⌉ RIGHT CEILING | |
| ("rfloor" . #\u230b) ; ⌋ RIGHT FLOOR | |
| ("rgroup" . #\u27ef) ; ⟯ MATHEMATICAL RIGHT FLATTENED PARENTHESIS | |
| ("rrbracket" . #\u27e7) ; ⟧ MATHEMATICAL RIGHT WHITE SQUARE BRACKET | |
| ("rrparenthesis" . #\u2988) ; ⦈ Z NOTATION RIGHT IMAGE BRACKET | |
| ("urcorner" . #\u231d) ; ⌝ TOP RIGHT CORNER | |
| ("}" . #\}) ; } RIGHT CURLY BRACKET | |
| )) | |
| (define mathfence | |
| '(("Vert" . #\u2016) ; ‖ DOUBLE VERTICAL LINE | |
| ("vert" . #\|) ; | VERTICAL LINE | |
| ("|" . #\u2016) ; ‖ DOUBLE VERTICAL LINE | |
| )) | |
| (define mathop | |
| '(("Join" . #\u2a1d) ; ⨝ JOIN | |
| ("bigcap" . #\u22c2) ; ⋂ N-ARY INTERSECTION | |
| ("bigcup" . #\u22c3) ; ⋃ N-ARY UNION | |
| ("biginterleave" . #\u2afc) ; ⫼ LARGE TRIPLE VERTICAL BAR OPERATOR | |
| ("bigodot" . #\u2a00) ; ⨀ N-ARY CIRCLED DOT OPERATOR | |
| ("bigoplus" . #\u2a01) ; ⨁ N-ARY CIRCLED PLUS OPERATOR | |
| ("bigotimes" . #\u2a02) ; ⨂ N-ARY CIRCLED TIMES OPERATOR | |
| ("bigsqcup" . #\u2a06) ; ⨆ N-ARY SQUARE UNION OPERATOR | |
| ("biguplus" . #\u2a04) ; ⨄ N-ARY UNION OPERATOR WITH PLUS | |
| ("bigvee" . #\u22c1) ; ⋁ N-ARY LOGICAL OR | |
| ("bigwedge" . #\u22c0) ; ⋀ N-ARY LOGICAL AND | |
| ("coprod" . #\u2210) ; ∐ N-ARY COPRODUCT | |
| ("fatsemi" . #\u2a1f) ; ⨟ Z NOTATION SCHEMA COMPOSITION | |
| ("fint" . #\u2a0f) ; ⨏ INTEGRAL AVERAGE WITH SLASH | |
| ("iiiint" . #\u2a0c) ; ⨌ QUADRUPLE INTEGRAL OPERATOR | |
| ("iiint" . #\u222d) ; ∭ TRIPLE INTEGRAL | |
| ("iint" . #\u222c) ; ∬ DOUBLE INTEGRAL | |
| ("int" . #\u222b) ; ∫ INTEGRAL | |
| ("oiint" . #\u222f) ; ∯ SURFACE INTEGRAL | |
| ("oint" . #\u222e) ; ∮ CONTOUR INTEGRAL | |
| ("ointctrclockwise" . #\u2233) ; ∳ ANTICLOCKWISE CONTOUR INTEGRAL | |
| ("prod" . #\u220f) ; ∏ N-ARY PRODUCT | |
| ("sqint" . #\u2a16) ; ⨖ QUATERNION INTEGRAL OPERATOR | |
| ("sum" . #\u2211) ; ∑ N-ARY SUMMATION | |
| ("varointclockwise" . #\u2232) ; ∲ CLOCKWISE CONTOUR INTEGRAL | |
| )) | |
| (define mathopen | |
| '(("Lbag" . #\u27c5) ; ⟅ LEFT S-SHAPED BAG DELIMITER | |
| ("langle" . #\u27e8) ; ⟨ MATHEMATICAL LEFT ANGLE BRACKET | |
| ("lbag" . #\u27c5) ; ⟅ LEFT S-SHAPED BAG DELIMITER | |
| ("lbrace" . #\{) ; { LEFT CURLY BRACKET | |
| ("lbrack" . #\[) ; [ LEFT SQUARE BRACKET | |
| ("lceil" . #\u2308) ; ⌈ LEFT CEILING | |
| ("lfloor" . #\u230a) ; ⌊ LEFT FLOOR | |
| ("lgroup" . #\u27ee) ; ⟮ MATHEMATICAL LEFT FLATTENED PARENTHESIS | |
| ("llbracket" . #\u27e6) ; ⟦ MATHEMATICAL LEFT WHITE SQUARE BRACKET | |
| ("llcorner" . #\u231e) ; ⌞ BOTTOM LEFT CORNER | |
| ("llparenthesis" . #\u2987) ; ⦇ Z NOTATION LEFT IMAGE BRACKET | |
| ("ulcorner" . #\u231c) ; ⌜ TOP LEFT CORNER | |
| ("{" . #\{) ; { LEFT CURLY BRACKET | |
| )) | |
| (define mathord | |
| '(("#" . #\#) ; # NUMBER SIGN | |
| ("$" . #\$) ; $ DOLLAR SIGN | |
| ("%" . #\%) ; % PERCENT SIGN | |
| ("&" . #\&) ; & AMPERSAND | |
| ("AC" . #\u223f) ; ∿ SINE WAVE | |
| ("APLcomment" . #\u235d) ; ⍝ APL FUNCTIONAL SYMBOL UP SHOE JOT | |
| ("APLdownarrowbox" . #\u2357) ; ⍗ APL FUNCTIONAL SYMBOL QUAD DOWNWARDS ARROW | |
| ("APLinput" . #\u235e) ; ⍞ APL FUNCTIONAL SYMBOL QUOTE QUAD | |
| ("APLinv" . #\u2339) ; ⌹ APL FUNCTIONAL SYMBOL QUAD DIVIDE | |
| ("APLleftarrowbox" . #\u2347) ; ⍇ APL FUNCTIONAL SYMBOL QUAD LEFTWARDS ARROW | |
| ("APLlog" . #\u235f) ; ⍟ APL FUNCTIONAL SYMBOL CIRCLE STAR | |
| ("APLrightarrowbox" . #\u2348) ; ⍈ APL FUNCTIONAL SYMBOL QUAD RIGHTWARDS ARROW | |
| ("APLuparrowbox" . #\u2350) ; ⍐ APL FUNCTIONAL SYMBOL QUAD UPWARDS ARROW | |
| ("Aries" . #\u2648) ; ♈ ARIES | |
| ("CIRCLE" . #\u25cf) ; ● BLACK CIRCLE | |
| ("CheckedBox" . #\u2611) ; ☑ BALLOT BOX WITH CHECK | |
| ("Diamond" . #\u25c7) ; ◇ WHITE DIAMOND | |
| ("Finv" . #\u2132) ; Ⅎ TURNED CAPITAL F | |
| ("Game" . #\u2141) ; ⅁ TURNED SANS-SERIF CAPITAL G | |
| ("Gemini" . #\u264a) ; ♊ GEMINI | |
| ("Jupiter" . #\u2643) ; ♃ JUPITER | |
| ("LEFTCIRCLE" . #\u25d6) ; ◖ LEFT HALF BLACK CIRCLE | |
| ("LEFTcircle" . #\u25d0) ; ◐ CIRCLE WITH LEFT HALF BLACK | |
| ("Leo" . #\u264c) ; ♌ LEO | |
| ("Libra" . #\u264e) ; ♎ LIBRA | |
| ("Mars" . #\u2642) ; ♂ MALE SIGN | |
| ("Mercury" . #\u263f) ; ☿ MERCURY | |
| ("Neptune" . #\u2646) ; ♆ NEPTUNE | |
| ("Pluto" . #\u2647) ; ♇ PLUTO | |
| ("RIGHTCIRCLE" . #\u25d7) ; ◗ RIGHT HALF BLACK CIRCLE | |
| ("RIGHTcircle" . #\u25d1) ; ◑ CIRCLE WITH RIGHT HALF BLACK | |
| ("Saturn" . #\u2644) ; ♄ SATURN | |
| ("Scorpio" . #\u264f) ; ♏ SCORPIUS | |
| ("Square" . #\u2610) ; ☐ BALLOT BOX | |
| ("Sun" . #\u2609) ; ☉ SUN | |
| ("Taurus" . #\u2649) ; ♉ TAURUS | |
| ("Uranus" . #\u2645) ; ♅ URANUS | |
| ("Venus" . #\u2640) ; ♀ FEMALE SIGN | |
| ("XBox" . #\u2612) ; ☒ BALLOT BOX WITH X | |
| ("Yup" . #\u2144) ; ⅄ TURNED SANS-SERIF CAPITAL Y | |
| ("_" . #\_) ; _ LOW LINE | |
| ("angle" . #\u2220) ; ∠ ANGLE | |
| ("aquarius" . #\u2652) ; ♒ AQUARIUS | |
| ("aries" . #\u2648) ; ♈ ARIES | |
| ("ast" . #\*) ; * ASTERISK | |
| ("backepsilon" . #\u03f6) ; ϶ GREEK REVERSED LUNATE EPSILON SYMBOL | |
| ("backprime" . #\u2035) ; ‵ REVERSED PRIME | |
| ("backslash" . #\\) ; \ REVERSE SOLIDUS | |
| ("because" . #\u2235) ; ∵ BECAUSE | |
| ("bigstar" . #\u2605) ; ★ BLACK STAR | |
| ("binampersand" . #\&) ; & AMPERSAND | |
| ("blacklozenge" . #\u2b27) ; ⬧ BLACK MEDIUM LOZENGE | |
| ("blacksmiley" . #\u263b) ; ☻ BLACK SMILING FACE | |
| ("blacksquare" . #\u25fc) ; ◼ BLACK MEDIUM SQUARE | |
| ("bot" . #\u22a5) ; ⊥ UP TACK | |
| ("boy" . #\u2642) ; ♂ MALE SIGN | |
| ("cancer" . #\u264b) ; ♋ CANCER | |
| ("capricornus" . #\u2651) ; ♑ CAPRICORN | |
| ("cdots" . #\u22ef) ; ⋯ MIDLINE HORIZONTAL ELLIPSIS | |
| ("cent" . #\u00a2) ; ¢ CENT SIGN | |
| ("centerdot" . #\u2b1d) ; ⬝ BLACK VERY SMALL SQUARE | |
| ("checkmark" . #\u2713) ; ✓ CHECK MARK | |
| ("circlearrowleft" . #\u21ba) ; ↺ ANTICLOCKWISE OPEN CIRCLE ARROW | |
| ("circlearrowright" . #\u21bb) ; ↻ CLOCKWISE OPEN CIRCLE ARROW | |
| ("circledR" . #\u00ae) ; ® REGISTERED SIGN | |
| ("circledcirc" . #\u25ce) ; ◎ BULLSEYE | |
| ("clubsuit" . #\u2663) ; ♣ BLACK CLUB SUIT | |
| ("complement" . #\u2201) ; ∁ COMPLEMENT | |
| ("dasharrow" . #\u21e2) ; ⇢ RIGHTWARDS DASHED ARROW | |
| ("dashleftarrow" . #\u21e0) ; ⇠ LEFTWARDS DASHED ARROW | |
| ("dashrightarrow" . #\u21e2) ; ⇢ RIGHTWARDS DASHED ARROW | |
| ("diameter" . #\u2300) ; ⌀ DIAMETER SIGN | |
| ("diamondsuit" . #\u2662) ; ♢ WHITE DIAMOND SUIT | |
| ("earth" . #\u2641) ; ♁ EARTH | |
| ("exists" . #\u2203) ; ∃ THERE EXISTS | |
| ("female" . #\u2640) ; ♀ FEMALE SIGN | |
| ("flat" . #\u266d) ; ♭ MUSIC FLAT SIGN | |
| ("forall" . #\u2200) ; ∀ FOR ALL | |
| ("fourth" . #\u2057) ; ⁗ QUADRUPLE PRIME | |
| ("frownie" . #\u2639) ; ☹ WHITE FROWNING FACE | |
| ("gemini" . #\u264a) ; ♊ GEMINI | |
| ("girl" . #\u2640) ; ♀ FEMALE SIGN | |
| ("heartsuit" . #\u2661) ; ♡ WHITE HEART SUIT | |
| ("infty" . #\u221e) ; ∞ INFINITY | |
| ("invneg" . #\u2310) ; ⌐ REVERSED NOT SIGN | |
| ("jupiter" . #\u2643) ; ♃ JUPITER | |
| ("ldots" . #\u2026) ; … HORIZONTAL ELLIPSIS | |
| ("leftmoon" . #\u263e) ; ☾ LAST QUARTER MOON | |
| ("leftturn" . #\u21ba) ; ↺ ANTICLOCKWISE OPEN CIRCLE ARROW | |
| ("leo" . #\u264c) ; ♌ LEO | |
| ("libra" . #\u264e) ; ♎ LIBRA | |
| ("lnot" . #\u00ac) ; ¬ NOT SIGN | |
| ("lozenge" . #\u25ca) ; ◊ LOZENGE | |
| ("male" . #\u2642) ; ♂ MALE SIGN | |
| ("maltese" . #\u2720) ; ✠ MALTESE CROSS | |
| ("mathdollar" . #\$) ; $ DOLLAR SIGN | |
| ("measuredangle" . #\u2221) ; ∡ MEASURED ANGLE | |
| ("mercury" . #\u263f) ; ☿ MERCURY | |
| ("mho" . #\u2127) ; ℧ INVERTED OHM SIGN | |
| ("nabla" . #\u2207) ; ∇ NABLA | |
| ("natural" . #\u266e) ; ♮ MUSIC NATURAL SIGN | |
| ("neg" . #\u00ac) ; ¬ NOT SIGN | |
| ("neptune" . #\u2646) ; ♆ NEPTUNE | |
| ("nexists" . #\u2204) ; ∄ THERE DOES NOT EXIST | |
| ("notbackslash" . #\u2340) ; ⍀ APL FUNCTIONAL SYMBOL BACKSLASH BAR | |
| ("partial" . #\u2202) ; ∂ PARTIAL DIFFERENTIAL | |
| ("pisces" . #\u2653) ; ♓ PISCES | |
| ("pluto" . #\u2647) ; ♇ PLUTO | |
| ("pounds" . #\u00a3) ; £ POUND SIGN | |
| ("prime" . #\u2032) ; ′ PRIME | |
| ("quarternote" . #\u2669) ; ♩ QUARTER NOTE | |
| ("rightmoon" . #\u263d) ; ☽ FIRST QUARTER MOON | |
| ("rightturn" . #\u21bb) ; ↻ CLOCKWISE OPEN CIRCLE ARROW | |
| ("sagittarius" . #\u2650) ; ♐ SAGITTARIUS | |
| ("saturn" . #\u2644) ; ♄ SATURN | |
| ("scorpio" . #\u264f) ; ♏ SCORPIUS | |
| ("second" . #\u2033) ; ″ DOUBLE PRIME | |
| ("sharp" . #\u266f) ; ♯ MUSIC SHARP SIGN | |
| ("sim" . #\~) ; ~ TILDE | |
| ("slash" . #\/) ; / SOLIDUS | |
| ("smiley" . #\u263a) ; ☺ WHITE SMILING FACE | |
| ("spadesuit" . #\u2660) ; ♠ BLACK SPADE SUIT | |
| ("spddot" . #\u00a8) ; ¨ DIAERESIS | |
| ("sphat" . #\^) ; ^ CIRCUMFLEX ACCENT | |
| ("sphericalangle" . #\u2222) ; ∢ SPHERICAL ANGLE | |
| ("sptilde" . #\~) ; ~ TILDE | |
| ("square" . #\u25fb) ; ◻ WHITE MEDIUM SQUARE | |
| ("sun" . #\u263c) ; ☼ WHITE SUN WITH RAYS | |
| ("taurus" . #\u2649) ; ♉ TAURUS | |
| ("therefore" . #\u2234) ; ∴ THEREFORE | |
| ("third" . #\u2034) ; ‴ TRIPLE PRIME | |
| ("top" . #\u22a4) ; ⊤ DOWN TACK | |
| ("triangleleft" . #\u25c5) ; ◅ WHITE LEFT-POINTING POINTER | |
| ("triangleright" . #\u25bb) ; ▻ WHITE RIGHT-POINTING POINTER | |
| ("twonotes" . #\u266b) ; ♫ BEAMED EIGHTH NOTES | |
| ("uranus" . #\u2645) ; ♅ URANUS | |
| ("varEarth" . #\u2641) ; ♁ EARTH | |
| ("varnothing" . #\u2205) ; ∅ EMPTY SET | |
| ("virgo" . #\u264d) ; ♍ VIRGO | |
| ("wasylozenge" . #\u2311) ; ⌑ SQUARE LOZENGE | |
| ("wasytherefore" . #\u2234) ; ∴ THEREFORE | |
| ("yen" . #\u00a5) ; ¥ YEN SIGN | |
| )) | |
| (define mathover | |
| '(("overbrace" . #\u23de) ; ⏞ TOP CURLY BRACKET | |
| ("wideparen" . #\u23dc) ; ⏜ TOP PARENTHESIS | |
| )) | |
| (define mathradical | |
| '(("sqrt" . #\u221a) ; √ SQUARE ROOT | |
| ("sqrt[3]" . #\u221b) ; ∛ CUBE ROOT | |
| ("sqrt[4]" . #\u221c) ; ∜ FOURTH ROOT | |
| )) | |
| (define mathrel | |
| '(("Bumpeq" . #\u224e) ; ≎ GEOMETRICALLY EQUIVALENT TO | |
| ("Doteq" . #\u2251) ; ≑ GEOMETRICALLY EQUAL TO | |
| ("Downarrow" . #\u21d3) ; ⇓ DOWNWARDS DOUBLE ARROW | |
| ("Leftarrow" . #\u21d0) ; ⇐ LEFTWARDS DOUBLE ARROW | |
| ("Leftrightarrow" . #\u21d4) ; ⇔ LEFT RIGHT DOUBLE ARROW | |
| ("Lleftarrow" . #\u21da) ; ⇚ LEFTWARDS TRIPLE ARROW | |
| ("Longleftarrow" . #\u27f8) ; ⟸ LONG LEFTWARDS DOUBLE ARROW | |
| ("Longleftrightarrow" . #\u27fa) ; ⟺ LONG LEFT RIGHT DOUBLE ARROW | |
| ("Longmapsfrom" . #\u27fd) ; ⟽ LONG LEFTWARDS DOUBLE ARROW FROM BAR | |
| ("Longmapsto" . #\u27fe) ; ⟾ LONG RIGHTWARDS DOUBLE ARROW FROM BAR | |
| ("Longrightarrow" . #\u27f9) ; ⟹ LONG RIGHTWARDS DOUBLE ARROW | |
| ("Lsh" . #\u21b0) ; ↰ UPWARDS ARROW WITH TIP LEFTWARDS | |
| ("Mapsfrom" . #\u2906) ; ⤆ LEFTWARDS DOUBLE ARROW FROM BAR | |
| ("Mapsto" . #\u2907) ; ⤇ RIGHTWARDS DOUBLE ARROW FROM BAR | |
| ("Rightarrow" . #\u21d2) ; ⇒ RIGHTWARDS DOUBLE ARROW | |
| ("Rrightarrow" . #\u21db) ; ⇛ RIGHTWARDS TRIPLE ARROW | |
| ("Rsh" . #\u21b1) ; ↱ UPWARDS ARROW WITH TIP RIGHTWARDS | |
| ("Subset" . #\u22d0) ; ⋐ DOUBLE SUBSET | |
| ("Supset" . #\u22d1) ; ⋑ DOUBLE SUPERSET | |
| ("Uparrow" . #\u21d1) ; ⇑ UPWARDS DOUBLE ARROW | |
| ("Updownarrow" . #\u21d5) ; ⇕ UP DOWN DOUBLE ARROW | |
| ("VDash" . #\u22ab) ; ⊫ DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE | |
| ("Vdash" . #\u22a9) ; ⊩ FORCES | |
| ("Vvdash" . #\u22aa) ; ⊪ TRIPLE VERTICAL BAR RIGHT TURNSTILE | |
| ("apprge" . #\u2273) ; ≳ GREATER-THAN OR EQUIVALENT TO | |
| ("apprle" . #\u2272) ; ≲ LESS-THAN OR EQUIVALENT TO | |
| ("approx" . #\u2248) ; ≈ ALMOST EQUAL TO | |
| ("approxeq" . #\u224a) ; ≊ ALMOST EQUAL OR EQUAL TO | |
| ("asymp" . #\u224d) ; ≍ EQUIVALENT TO | |
| ("backsim" . #\u223d) ; ∽ REVERSED TILDE | |
| ("backsimeq" . #\u22cd) ; ⋍ REVERSED TILDE EQUALS | |
| ("barin" . #\u22f6) ; ⋶ ELEMENT OF WITH OVERBAR | |
| ("barleftharpoon" . #\u296b) ; ⥫ LEFTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH | |
| ("barrightharpoon" . #\u296d) ; ⥭ RIGHTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH | |
| ("between" . #\u226c) ; ≬ BETWEEN | |
| ("bowtie" . #\u22c8) ; ⋈ BOWTIE | |
| ("bumpeq" . #\u224f) ; ≏ DIFFERENCE BETWEEN | |
| ("circeq" . #\u2257) ; ≗ RING EQUAL TO | |
| ("coloneq" . #\u2254) ; ≔ COLON EQUALS | |
| ("cong" . #\u2245) ; ≅ APPROXIMATELY EQUAL TO | |
| ("corresponds" . #\u2259) ; ≙ ESTIMATES | |
| ("curlyeqprec" . #\u22de) ; ⋞ EQUAL TO OR PRECEDES | |
| ("curlyeqsucc" . #\u22df) ; ⋟ EQUAL TO OR SUCCEEDS | |
| ("curvearrowleft" . #\u21b6) ; ↶ ANTICLOCKWISE TOP SEMICIRCLE ARROW | |
| ("curvearrowright" . #\u21b7) ; ↷ CLOCKWISE TOP SEMICIRCLE ARROW | |
| ("dashv" . #\u22a3) ; ⊣ LEFT TACK | |
| ("ddots" . #\u22f1) ; ⋱ DOWN RIGHT DIAGONAL ELLIPSIS | |
| ("dlsh" . #\u21b2) ; ↲ DOWNWARDS ARROW WITH TIP LEFTWARDS | |
| ("doteq" . #\u2250) ; ≐ APPROACHES THE LIMIT | |
| ("doteqdot" . #\u2251) ; ≑ GEOMETRICALLY EQUAL TO | |
| ("downarrow" . #\u2193) ; ↓ DOWNWARDS ARROW | |
| ("downdownarrows" . #\u21ca) ; ⇊ DOWNWARDS PAIRED ARROWS | |
| ("downdownharpoons" . #\u2965) ; ⥥ DOWNWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT | |
| ("downharpoonleft" . #\u21c3) ; ⇃ DOWNWARDS HARPOON WITH BARB LEFTWARDS | |
| ("downharpoonright" . #\u21c2) ; ⇂ DOWNWARDS HARPOON WITH BARB RIGHTWARDS | |
| ("downuparrows" . #\u21f5) ; ⇵ DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW | |
| ("downupharpoons" . #\u296f) ; ⥯ DOWNWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT | |
| ("drsh" . #\u21b3) ; ↳ DOWNWARDS ARROW WITH TIP RIGHTWARDS | |
| ("eqcirc" . #\u2256) ; ≖ RING IN EQUAL TO | |
| ("eqcolon" . #\u2255) ; ≕ EQUALS COLON | |
| ("eqsim" . #\u2242) ; ≂ MINUS TILDE | |
| ("eqslantgtr" . #\u2a96) ; ⪖ SLANTED EQUAL TO OR GREATER-THAN | |
| ("eqslantless" . #\u2a95) ; ⪕ SLANTED EQUAL TO OR LESS-THAN | |
| ("equiv" . #\u2261) ; ≡ IDENTICAL TO | |
| ("fallingdotseq" . #\u2252) ; ≒ APPROXIMATELY EQUAL TO OR THE IMAGE OF | |
| ("frown" . #\u2322) ; ⌢ FROWN | |
| ("ge" . #\u2265) ; ≥ GREATER-THAN OR EQUAL TO | |
| ("geq" . #\u2265) ; ≥ GREATER-THAN OR EQUAL TO | |
| ("geqq" . #\u2267) ; ≧ GREATER-THAN OVER EQUAL TO | |
| ("geqslant" . #\u2a7e) ; ⩾ GREATER-THAN OR SLANTED EQUAL TO | |
| ("gets" . #\u2190) ; ← LEFTWARDS ARROW | |
| ("gg" . #\u226b) ; ≫ MUCH GREATER-THAN | |
| ("ggcurly" . #\u2abc) ; ⪼ DOUBLE SUCCEEDS | |
| ("ggg" . #\u22d9) ; ⋙ VERY MUCH GREATER-THAN | |
| ("gnapprox" . #\u2a8a) ; ⪊ GREATER-THAN AND NOT APPROXIMATE | |
| ("gneq" . #\u2a88) ; ⪈ GREATER-THAN AND SINGLE-LINE NOT EQUAL TO | |
| ("gneqq" . #\u2269) ; ≩ GREATER-THAN BUT NOT EQUAL TO | |
| ("gnsim" . #\u22e7) ; ⋧ GREATER-THAN BUT NOT EQUIVALENT TO | |
| ("gtrapprox" . #\u2a86) ; ⪆ GREATER-THAN OR APPROXIMATE | |
| ("gtrdot" . #\u22d7) ; ⋗ GREATER-THAN WITH DOT | |
| ("gtreqless" . #\u22db) ; ⋛ GREATER-THAN EQUAL TO OR LESS-THAN | |
| ("gtreqqless" . #\u2a8c) ; ⪌ GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN | |
| ("gtrless" . #\u2277) ; ≷ GREATER-THAN OR LESS-THAN | |
| ("gtrsim" . #\u2273) ; ≳ GREATER-THAN OR EQUIVALENT TO | |
| ("hash" . #\u22d5) ; ⋕ EQUAL AND PARALLEL TO | |
| ("hookleftarrow" . #\u21a9) ; ↩ LEFTWARDS ARROW WITH HOOK | |
| ("hookrightarrow" . #\u21aa) ; ↪ RIGHTWARDS ARROW WITH HOOK | |
| ("iddots" . #\u22f0) ; ⋰ UP RIGHT DIAGONAL ELLIPSIS | |
| ("impliedby" . #\u27f8) ; ⟸ LONG LEFTWARDS DOUBLE ARROW | |
| ("implies" . #\u27f9) ; ⟹ LONG RIGHTWARDS DOUBLE ARROW | |
| ("in" . #\u2208) ; ∈ ELEMENT OF | |
| ("le" . #\u2264) ; ≤ LESS-THAN OR EQUAL TO | |
| ("leftarrow" . #\u2190) ; ← LEFTWARDS ARROW | |
| ("leftarrowtail" . #\u21a2) ; ↢ LEFTWARDS ARROW WITH TAIL | |
| ("leftarrowtriangle" . #\u21fd) ; ⇽ LEFTWARDS OPEN-HEADED ARROW | |
| ("leftbarharpoon" . #\u296a) ; ⥪ LEFTWARDS HARPOON WITH BARB UP ABOVE LONG DASH | |
| ("leftharpoondown" . #\u21bd) ; ↽ LEFTWARDS HARPOON WITH BARB DOWNWARDS | |
| ("leftharpoonup" . #\u21bc) ; ↼ LEFTWARDS HARPOON WITH BARB UPWARDS | |
| ("leftleftarrows" . #\u21c7) ; ⇇ LEFTWARDS PAIRED ARROWS | |
| ("leftleftharpoons" . #\u2962) ; ⥢ LEFTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB DOWN | |
| ("leftrightarrow" . #\u2194) ; ↔ LEFT RIGHT ARROW | |
| ("leftrightarrows" . #\u21c6) ; ⇆ LEFTWARDS ARROW OVER RIGHTWARDS ARROW | |
| ("leftrightarrowtriangle" . #\u21ff) ; ⇿ LEFT RIGHT OPEN-HEADED ARROW | |
| ("leftrightharpoon" . #\u294a) ; ⥊ LEFT BARB UP RIGHT BARB DOWN HARPOON | |
| ("leftrightharpoons" . #\u21cb) ; ⇋ LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON | |
| ("leftrightsquigarrow" . #\u21ad) ; ↭ LEFT RIGHT WAVE ARROW | |
| ("leftslice" . #\u2aa6) ; ⪦ LESS-THAN CLOSED BY CURVE | |
| ("leftsquigarrow" . #\u21dc) ; ⇜ LEFTWARDS SQUIGGLE ARROW | |
| ("leq" . #\u2264) ; ≤ LESS-THAN OR EQUAL TO | |
| ("leqq" . #\u2266) ; ≦ LESS-THAN OVER EQUAL TO | |
| ("leqslant" . #\u2a7d) ; ⩽ LESS-THAN OR SLANTED EQUAL TO | |
| ("lessapprox" . #\u2a85) ; ⪅ LESS-THAN OR APPROXIMATE | |
| ("lessdot" . #\u22d6) ; ⋖ LESS-THAN WITH DOT | |
| ("lesseqgtr" . #\u22da) ; ⋚ LESS-THAN EQUAL TO OR GREATER-THAN | |
| ("lesseqqgtr" . #\u2a8b) ; ⪋ LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN | |
| ("lessgtr" . #\u2276) ; ≶ LESS-THAN OR GREATER-THAN | |
| ("lesssim" . #\u2272) ; ≲ LESS-THAN OR EQUIVALENT TO | |
| ("lightning" . #\u21af) ; ↯ DOWNWARDS ZIGZAG ARROW | |
| ("ll" . #\u226a) ; ≪ MUCH LESS-THAN | |
| ("llcurly" . #\u2abb) ; ⪻ DOUBLE PRECEDES | |
| ("lll" . #\u22d8) ; ⋘ VERY MUCH LESS-THAN | |
| ("lnapprox" . #\u2a89) ; ⪉ LESS-THAN AND NOT APPROXIMATE | |
| ("lneq" . #\u2a87) ; ⪇ LESS-THAN AND SINGLE-LINE NOT EQUAL TO | |
| ("lneqq" . #\u2268) ; ≨ LESS-THAN BUT NOT EQUAL TO | |
| ("lnsim" . #\u22e6) ; ⋦ LESS-THAN BUT NOT EQUIVALENT TO | |
| ("longleftarrow" . #\u27f5) ; ⟵ LONG LEFTWARDS ARROW | |
| ("longleftrightarrow" . #\u27f7) ; ⟷ LONG LEFT RIGHT ARROW | |
| ("longmapsfrom" . #\u27fb) ; ⟻ LONG LEFTWARDS ARROW FROM BAR | |
| ("longmapsto" . #\u27fc) ; ⟼ LONG RIGHTWARDS ARROW FROM BAR | |
| ("longrightarrow" . #\u27f6) ; ⟶ LONG RIGHTWARDS ARROW | |
| ("looparrowleft" . #\u21ab) ; ↫ LEFTWARDS ARROW WITH LOOP | |
| ("looparrowright" . #\u21ac) ; ↬ RIGHTWARDS ARROW WITH LOOP | |
| ("mapsfrom" . #\u21a4) ; ↤ LEFTWARDS ARROW FROM BAR | |
| ("mapsto" . #\u21a6) ; ↦ RIGHTWARDS ARROW FROM BAR | |
| ("mid" . #\u2223) ; ∣ DIVIDES | |
| ("models" . #\u22a7) ; ⊧ MODELS | |
| ("multimap" . #\u22b8) ; ⊸ MULTIMAP | |
| ("nLeftarrow" . #\u21cd) ; ⇍ LEFTWARDS DOUBLE ARROW WITH STROKE | |
| ("nLeftrightarrow" . #\u21ce) ; ⇎ LEFT RIGHT DOUBLE ARROW WITH STROKE | |
| ("nRightarrow" . #\u21cf) ; ⇏ RIGHTWARDS DOUBLE ARROW WITH STROKE | |
| ("nVDash" . #\u22af) ; ⊯ NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE | |
| ("nVdash" . #\u22ae) ; ⊮ DOES NOT FORCE | |
| ("ncong" . #\u2247) ; ≇ NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO | |
| ("ne" . #\u2260) ; ≠ NOT EQUAL TO | |
| ("nearrow" . #\u2197) ; ↗ NORTH EAST ARROW | |
| ("neq" . #\u2260) ; ≠ NOT EQUAL TO | |
| ("ngeq" . #\u2271) ; ≱ NEITHER GREATER-THAN NOR EQUAL TO | |
| ("ngtr" . #\u226f) ; ≯ NOT GREATER-THAN | |
| ("ni" . #\u220b) ; ∋ CONTAINS AS MEMBER | |
| ("nleftarrow" . #\u219a) ; ↚ LEFTWARDS ARROW WITH STROKE | |
| ("nleftrightarrow" . #\u21ae) ; ↮ LEFT RIGHT ARROW WITH STROKE | |
| ("nleq" . #\u2270) ; ≰ NEITHER LESS-THAN NOR EQUAL TO | |
| ("nless" . #\u226e) ; ≮ NOT LESS-THAN | |
| ("nmid" . #\u2224) ; ∤ DOES NOT DIVIDE | |
| ("notasymp" . #\u226d) ; ≭ NOT EQUIVALENT TO | |
| ("notin" . #\u2209) ; ∉ NOT AN ELEMENT OF | |
| ("notowner" . #\u220c) ; ∌ DOES NOT CONTAIN AS MEMBER | |
| ("notslash" . #\u233f) ; ⌿ APL FUNCTIONAL SYMBOL SLASH BAR | |
| ("nparallel" . #\u2226) ; ∦ NOT PARALLEL TO | |
| ("nprec" . #\u2280) ; ⊀ DOES NOT PRECEDE | |
| ("npreceq" . #\u22e0) ; ⋠ DOES NOT PRECEDE OR EQUAL | |
| ("nrightarrow" . #\u219b) ; ↛ RIGHTWARDS ARROW WITH STROKE | |
| ("nsim" . #\u2241) ; ≁ NOT TILDE | |
| ("nsubseteq" . #\u2288) ; ⊈ NEITHER A SUBSET OF NOR EQUAL TO | |
| ("nsucc" . #\u2281) ; ⊁ DOES NOT SUCCEED | |
| ("nsucceq" . #\u22e1) ; ⋡ DOES NOT SUCCEED OR EQUAL | |
| ("nsupseteq" . #\u2289) ; ⊉ NEITHER A SUPERSET OF NOR EQUAL TO | |
| ("ntriangleleft" . #\u22ea) ; ⋪ NOT NORMAL SUBGROUP OF | |
| ("ntrianglelefteq" . #\u22ec) ; ⋬ NOT NORMAL SUBGROUP OF OR EQUAL TO | |
| ("ntriangleright" . #\u22eb) ; ⋫ DOES NOT CONTAIN AS NORMAL SUBGROUP | |
| ("ntrianglerighteq" . #\u22ed) ; ⋭ DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL | |
| ("nvDash" . #\u22ad) ; ⊭ NOT TRUE | |
| ("nvdash" . #\u22ac) ; ⊬ DOES NOT PROVE | |
| ("nwarrow" . #\u2196) ; ↖ NORTH WEST ARROW | |
| ("owns" . #\u220b) ; ∋ CONTAINS AS MEMBER | |
| ("parallel" . #\u2225) ; ∥ PARALLEL TO | |
| ("perp" . #\u27c2) ; ⟂ PERPENDICULAR | |
| ("pitchfork" . #\u22d4) ; ⋔ PITCHFORK | |
| ("prec" . #\u227a) ; ≺ PRECEDES | |
| ("precapprox" . #\u2ab7) ; ⪷ PRECEDES ABOVE ALMOST EQUAL TO | |
| ("preccurlyeq" . #\u227c) ; ≼ PRECEDES OR EQUAL TO | |
| ("preceq" . #\u2aaf) ; ⪯ PRECEDES ABOVE SINGLE-LINE EQUALS SIGN | |
| ("precnapprox" . #\u2ab9) ; ⪹ PRECEDES ABOVE NOT ALMOST EQUAL TO | |
| ("precnsim" . #\u22e8) ; ⋨ PRECEDES BUT NOT EQUIVALENT TO | |
| ("precsim" . #\u227e) ; ≾ PRECEDES OR EQUIVALENT TO | |
| ("propto" . #\u221d) ; ∝ PROPORTIONAL TO | |
| ("restriction" . #\u21be) ; ↾ UPWARDS HARPOON WITH BARB RIGHTWARDS | |
| ("rightarrow" . #\u2192) ; → RIGHTWARDS ARROW | |
| ("rightarrowtail" . #\u21a3) ; ↣ RIGHTWARDS ARROW WITH TAIL | |
| ("rightarrowtriangle" . #\u21fe) ; ⇾ RIGHTWARDS OPEN-HEADED ARROW | |
| ("rightbarharpoon" . #\u296c) ; ⥬ RIGHTWARDS HARPOON WITH BARB UP ABOVE LONG DASH | |
| ("rightharpoondown" . #\u21c1) ; ⇁ RIGHTWARDS HARPOON WITH BARB DOWNWARDS | |
| ("rightharpoonup" . #\u21c0) ; ⇀ RIGHTWARDS HARPOON WITH BARB UPWARDS | |
| ("rightleftarrows" . #\u21c4) ; ⇄ RIGHTWARDS ARROW OVER LEFTWARDS ARROW | |
| ("rightleftharpoon" . #\u294b) ; ⥋ LEFT BARB DOWN RIGHT BARB UP HARPOON | |
| ("rightleftharpoons" . #\u21cc) ; ⇌ RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON | |
| ("rightrightarrows" . #\u21c9) ; ⇉ RIGHTWARDS PAIRED ARROWS | |
| ("rightrightharpoons" . #\u2964) ; ⥤ RIGHTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB DOWN | |
| ("rightslice" . #\u2aa7) ; ⪧ GREATER-THAN CLOSED BY CURVE | |
| ("rightsquigarrow" . #\u21dd) ; ⇝ RIGHTWARDS SQUIGGLE ARROW | |
| ("risingdotseq" . #\u2253) ; ≓ IMAGE OF OR APPROXIMATELY EQUAL TO | |
| ("searrow" . #\u2198) ; ↘ SOUTH EAST ARROW | |
| ("sim" . #\u223c) ; ∼ TILDE OPERATOR | |
| ("simeq" . #\u2243) ; ≃ ASYMPTOTICALLY EQUAL TO | |
| ("smallfrown" . #\u2322) ; ⌢ FROWN | |
| ("smallsmile" . #\u2323) ; ⌣ SMILE | |
| ("smile" . #\u2323) ; ⌣ SMILE | |
| ("sqsubset" . #\u228f) ; ⊏ SQUARE IMAGE OF | |
| ("sqsubseteq" . #\u2291) ; ⊑ SQUARE IMAGE OF OR EQUAL TO | |
| ("sqsupset" . #\u2290) ; ⊐ SQUARE ORIGINAL OF | |
| ("sqsupseteq" . #\u2292) ; ⊒ SQUARE ORIGINAL OF OR EQUAL TO | |
| ("subset" . #\u2282) ; ⊂ SUBSET OF | |
| ("subseteq" . #\u2286) ; ⊆ SUBSET OF OR EQUAL TO | |
| ("subseteqq" . #\u2ac5) ; ⫅ SUBSET OF ABOVE EQUALS SIGN | |
| ("subsetneq" . #\u228a) ; ⊊ SUBSET OF WITH NOT EQUAL TO | |
| ("subsetneqq" . #\u2acb) ; ⫋ SUBSET OF ABOVE NOT EQUAL TO | |
| ("succ" . #\u227b) ; ≻ SUCCEEDS | |
| ("succapprox" . #\u2ab8) ; ⪸ SUCCEEDS ABOVE ALMOST EQUAL TO | |
| ("succcurlyeq" . #\u227d) ; ≽ SUCCEEDS OR EQUAL TO | |
| ("succeq" . #\u2ab0) ; ⪰ SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN | |
| ("succnapprox" . #\u2aba) ; ⪺ SUCCEEDS ABOVE NOT ALMOST EQUAL TO | |
| ("succnsim" . #\u22e9) ; ⋩ SUCCEEDS BUT NOT EQUIVALENT TO | |
| ("succsim" . #\u227f) ; ≿ SUCCEEDS OR EQUIVALENT TO | |
| ("supset" . #\u2283) ; ⊃ SUPERSET OF | |
| ("supseteq" . #\u2287) ; ⊇ SUPERSET OF OR EQUAL TO | |
| ("supseteqq" . #\u2ac6) ; ⫆ SUPERSET OF ABOVE EQUALS SIGN | |
| ("supsetneq" . #\u228b) ; ⊋ SUPERSET OF WITH NOT EQUAL TO | |
| ("supsetneqq" . #\u2acc) ; ⫌ SUPERSET OF ABOVE NOT EQUAL TO | |
| ("swarrow" . #\u2199) ; ↙ SOUTH WEST ARROW | |
| ("to" . #\u2192) ; → RIGHTWARDS ARROW | |
| ("trianglelefteq" . #\u22b4) ; ⊴ NORMAL SUBGROUP OF OR EQUAL TO | |
| ("triangleq" . #\u225c) ; ≜ DELTA EQUAL TO | |
| ("trianglerighteq" . #\u22b5) ; ⊵ CONTAINS AS NORMAL SUBGROUP OR EQUAL TO | |
| ("twoheadleftarrow" . #\u219e) ; ↞ LEFTWARDS TWO HEADED ARROW | |
| ("twoheadrightarrow" . #\u21a0) ; ↠ RIGHTWARDS TWO HEADED ARROW | |
| ("uparrow" . #\u2191) ; ↑ UPWARDS ARROW | |
| ("updownarrow" . #\u2195) ; ↕ UP DOWN ARROW | |
| ("updownarrows" . #\u21c5) ; ⇅ UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW | |
| ("updownharpoons" . #\u296e) ; ⥮ UPWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT | |
| ("upharpoonleft" . #\u21bf) ; ↿ UPWARDS HARPOON WITH BARB LEFTWARDS | |
| ("upharpoonright" . #\u21be) ; ↾ UPWARDS HARPOON WITH BARB RIGHTWARDS | |
| ("upuparrows" . #\u21c8) ; ⇈ UPWARDS PAIRED ARROWS | |
| ("upupharpoons" . #\u2963) ; ⥣ UPWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT | |
| ("vDash" . #\u22a8) ; ⊨ TRUE | |
| ("varpropto" . #\u221d) ; ∝ PROPORTIONAL TO | |
| ("vartriangleleft" . #\u22b2) ; ⊲ NORMAL SUBGROUP OF | |
| ("vartriangleright" . #\u22b3) ; ⊳ CONTAINS AS NORMAL SUBGROUP | |
| ("vdash" . #\u22a2) ; ⊢ RIGHT TACK | |
| ("vdots" . #\u22ee) ; ⋮ VERTICAL ELLIPSIS | |
| )) | |
| (define mathunder | |
| '(("underbrace" . #\u23df) ; ⏟ BOTTOM CURLY BRACKET | |
| )) | |
| (define space | |
| '((":" . #\u205f) ; MEDIUM MATHEMATICAL SPACE | |
| ("medspace" . #\u205f) ; MEDIUM MATHEMATICAL SPACE | |
| ("quad" . #\u2001) ; EM QUAD | |
| )) | |
| (define latex-math-chars | |
| (append | |
| mathaccent | |
| mathalpha | |
| mathbin | |
| mathclose | |
| mathfence | |
| mathop | |
| mathopen | |
| mathord | |
| mathover | |
| mathradical | |
| mathrel | |
| mathunder | |
| space)) | |
| ;; List of duplicates: | |
| #;'("ast" "blacklozenge" "circledcirc" "slash" "triangleleft" "triangleright" "sim") |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment