math, error_reporting, and urischemes moved to the utils package.
[docutils.git] / docutils / utils / math / tex2unichar.py
blob55ed77349f87c099d080eb4500be806af510ab41
1 # -*- coding: utf8 -*-
3 # LaTeX math to Unicode symbols translation dictionaries.
4 # Generated with ``write_tex2unichar.py`` from the data in
5 # http://milde.users.sourceforge.net/LUCR/Math/
7 # Includes commands from: wasysym, stmaryrd, mathdots, mathabx, esint, bbold, amsxtra, amsmath, amssymb, standard LaTeX
9 mathaccent = {
10 'acute': u'\u0301', # x́ COMBINING ACUTE ACCENT
11 'bar': u'\u0304', # x̄ COMBINING MACRON
12 'breve': u'\u0306', # x̆ COMBINING BREVE
13 'check': u'\u030c', # x̌ COMBINING CARON
14 'ddddot': u'\u20dc', # x⃜ COMBINING FOUR DOTS ABOVE
15 'dddot': u'\u20db', # x⃛ COMBINING THREE DOTS ABOVE
16 'ddot': u'\u0308', # ẍ COMBINING DIAERESIS
17 'dot': u'\u0307', # ẋ COMBINING DOT ABOVE
18 'grave': u'\u0300', # x̀ COMBINING GRAVE ACCENT
19 'hat': u'\u0302', # x̂ COMBINING CIRCUMFLEX ACCENT
20 'mathring': u'\u030a', # x̊ COMBINING RING ABOVE
21 'not': u'\u0338', # x̸ COMBINING LONG SOLIDUS OVERLAY
22 'overleftarrow': u'\u20d6', # x⃖ COMBINING LEFT ARROW ABOVE
23 'overleftrightarrow': u'\u20e1', # x⃡ COMBINING LEFT RIGHT ARROW ABOVE
24 'overline': u'\u0305', # x̅ COMBINING OVERLINE
25 'overrightarrow': u'\u20d7', # x⃗ COMBINING RIGHT ARROW ABOVE
26 'tilde': u'\u0303', # x̃ COMBINING TILDE
27 'underbar': u'\u0331', # x̱ COMBINING MACRON BELOW
28 'underleftarrow': u'\u20ee', # x⃮ COMBINING LEFT ARROW BELOW
29 'underline': u'\u0332', # x̲ COMBINING LOW LINE
30 'underrightarrow': u'\u20ef', # x⃯ COMBINING RIGHT ARROW BELOW
31 'vec': u'\u20d7', # x⃗ COMBINING RIGHT ARROW ABOVE
32 'widehat': u'\u0302', # x̂ COMBINING CIRCUMFLEX ACCENT
33 'widetilde': u'\u0303', # x̃ COMBINING TILDE
35 mathalpha = {
36 'Bbbk': u'\U0001d55c', # 𝕜 MATHEMATICAL DOUBLE-STRUCK SMALL K
37 'Delta': u'\u0394', # Δ GREEK CAPITAL LETTER DELTA
38 'Gamma': u'\u0393', # Γ GREEK CAPITAL LETTER GAMMA
39 'Im': u'\u2111', # ℑ BLACK-LETTER CAPITAL I
40 'Lambda': u'\u039b', # Λ GREEK CAPITAL LETTER LAMDA
41 'Omega': u'\u03a9', # Ω GREEK CAPITAL LETTER OMEGA
42 'Phi': u'\u03a6', # Φ GREEK CAPITAL LETTER PHI
43 'Pi': u'\u03a0', # Π GREEK CAPITAL LETTER PI
44 'Psi': u'\u03a8', # Ψ GREEK CAPITAL LETTER PSI
45 'Re': u'\u211c', # ℜ BLACK-LETTER CAPITAL R
46 'Sigma': u'\u03a3', # Σ GREEK CAPITAL LETTER SIGMA
47 'Theta': u'\u0398', # Θ GREEK CAPITAL LETTER THETA
48 'Upsilon': u'\u03a5', # Υ GREEK CAPITAL LETTER UPSILON
49 'Xi': u'\u039e', # Ξ GREEK CAPITAL LETTER XI
50 'aleph': u'\u2135', # ℵ ALEF SYMBOL
51 'alpha': u'\u03b1', # α GREEK SMALL LETTER ALPHA
52 'beta': u'\u03b2', # β GREEK SMALL LETTER BETA
53 'beth': u'\u2136', # ℶ BET SYMBOL
54 'chi': u'\u03c7', # χ GREEK SMALL LETTER CHI
55 'daleth': u'\u2138', # ℸ DALET SYMBOL
56 'delta': u'\u03b4', # δ GREEK SMALL LETTER DELTA
57 'digamma': u'\u03dc', # Ϝ GREEK LETTER DIGAMMA
58 'ell': u'\u2113', # ℓ SCRIPT SMALL L
59 'epsilon': u'\u03f5', # ϵ GREEK LUNATE EPSILON SYMBOL
60 'eta': u'\u03b7', # η GREEK SMALL LETTER ETA
61 'eth': u'\xf0', # ð LATIN SMALL LETTER ETH
62 'gamma': u'\u03b3', # γ GREEK SMALL LETTER GAMMA
63 'gimel': u'\u2137', # ℷ GIMEL SYMBOL
64 'hbar': u'\u210f', # ℏ PLANCK CONSTANT OVER TWO PI
65 'hslash': u'\u210f', # ℏ PLANCK CONSTANT OVER TWO PI
66 'imath': u'\u0131', # ı LATIN SMALL LETTER DOTLESS I
67 'iota': u'\u03b9', # ι GREEK SMALL LETTER IOTA
68 'jmath': u'\u0237', # ȷ LATIN SMALL LETTER DOTLESS J
69 'kappa': u'\u03ba', # κ GREEK SMALL LETTER KAPPA
70 'lambda': u'\u03bb', # λ GREEK SMALL LETTER LAMDA
71 'mu': u'\u03bc', # μ GREEK SMALL LETTER MU
72 'nu': u'\u03bd', # ν GREEK SMALL LETTER NU
73 'omega': u'\u03c9', # ω GREEK SMALL LETTER OMEGA
74 'phi': u'\u03d5', # ϕ GREEK PHI SYMBOL
75 'pi': u'\u03c0', # π GREEK SMALL LETTER PI
76 'psi': u'\u03c8', # ψ GREEK SMALL LETTER PSI
77 'rho': u'\u03c1', # ρ GREEK SMALL LETTER RHO
78 'sigma': u'\u03c3', # σ GREEK SMALL LETTER SIGMA
79 'tau': u'\u03c4', # τ GREEK SMALL LETTER TAU
80 'theta': u'\u03b8', # θ GREEK SMALL LETTER THETA
81 'upsilon': u'\u03c5', # υ GREEK SMALL LETTER UPSILON
82 'varDelta': u'\U0001d6e5', # 𝛥 MATHEMATICAL ITALIC CAPITAL DELTA
83 'varGamma': u'\U0001d6e4', # 𝛤 MATHEMATICAL ITALIC CAPITAL GAMMA
84 'varLambda': u'\U0001d6ec', # 𝛬 MATHEMATICAL ITALIC CAPITAL LAMDA
85 'varOmega': u'\U0001d6fa', # 𝛺 MATHEMATICAL ITALIC CAPITAL OMEGA
86 'varPhi': u'\U0001d6f7', # 𝛷 MATHEMATICAL ITALIC CAPITAL PHI
87 'varPi': u'\U0001d6f1', # 𝛱 MATHEMATICAL ITALIC CAPITAL PI
88 'varPsi': u'\U0001d6f9', # 𝛹 MATHEMATICAL ITALIC CAPITAL PSI
89 'varSigma': u'\U0001d6f4', # 𝛴 MATHEMATICAL ITALIC CAPITAL SIGMA
90 'varTheta': u'\U0001d6e9', # 𝛩 MATHEMATICAL ITALIC CAPITAL THETA
91 'varUpsilon': u'\U0001d6f6', # 𝛶 MATHEMATICAL ITALIC CAPITAL UPSILON
92 'varXi': u'\U0001d6ef', # 𝛯 MATHEMATICAL ITALIC CAPITAL XI
93 'varepsilon': u'\u03b5', # ε GREEK SMALL LETTER EPSILON
94 'varkappa': u'\U0001d718', # 𝜘 MATHEMATICAL ITALIC KAPPA SYMBOL
95 'varphi': u'\u03c6', # φ GREEK SMALL LETTER PHI
96 'varpi': u'\u03d6', # ϖ GREEK PI SYMBOL
97 'varrho': u'\u03f1', # ϱ GREEK RHO SYMBOL
98 'varsigma': u'\u03c2', # ς GREEK SMALL LETTER FINAL SIGMA
99 'vartheta': u'\u03d1', # ϑ GREEK THETA SYMBOL
100 'wp': u'\u2118', # ℘ SCRIPT CAPITAL P
101 'xi': u'\u03be', # ξ GREEK SMALL LETTER XI
102 'zeta': u'\u03b6', # ζ GREEK SMALL LETTER ZETA
104 mathbin = {
105 'Cap': u'\u22d2', # ⋒ DOUBLE INTERSECTION
106 'Circle': u'\u25cb', # ○ WHITE CIRCLE
107 'Cup': u'\u22d3', # ⋓ DOUBLE UNION
108 'LHD': u'\u25c0', # ◀ BLACK LEFT-POINTING TRIANGLE
109 'RHD': u'\u25b6', # ▶ BLACK RIGHT-POINTING TRIANGLE
110 'amalg': u'\u2a3f', # ⨿ AMALGAMATION OR COPRODUCT
111 'ast': u'\u2217', # ∗ ASTERISK OPERATOR
112 'barwedge': u'\u22bc', # ⊼ NAND
113 'bigtriangledown': u'\u25bd', # ▽ WHITE DOWN-POINTING TRIANGLE
114 'bigtriangleup': u'\u25b3', # △ WHITE UP-POINTING TRIANGLE
115 'bindnasrepma': u'\u214b', # ⅋ TURNED AMPERSAND
116 'blacklozenge': u'\u29eb', # ⧫ BLACK LOZENGE
117 'blacktriangledown': u'\u25be', # ▾ BLACK DOWN-POINTING SMALL TRIANGLE
118 'blacktriangleleft': u'\u25c2', # ◂ BLACK LEFT-POINTING SMALL TRIANGLE
119 'blacktriangleright': u'\u25b8', # ▸ BLACK RIGHT-POINTING SMALL TRIANGLE
120 'blacktriangleup': u'\u25b4', # ▴ BLACK UP-POINTING SMALL TRIANGLE
121 'boxast': u'\u29c6', # ⧆ SQUARED ASTERISK
122 'boxbar': u'\u25eb', # ◫ WHITE SQUARE WITH VERTICAL BISECTING LINE
123 'boxbox': u'\u29c8', # ⧈ SQUARED SQUARE
124 'boxbslash': u'\u29c5', # ⧅ SQUARED FALLING DIAGONAL SLASH
125 'boxcircle': u'\u29c7', # ⧇ SQUARED SMALL CIRCLE
126 'boxdot': u'\u22a1', # ⊡ SQUARED DOT OPERATOR
127 'boxminus': u'\u229f', # ⊟ SQUARED MINUS
128 'boxplus': u'\u229e', # ⊞ SQUARED PLUS
129 'boxslash': u'\u29c4', # ⧄ SQUARED RISING DIAGONAL SLASH
130 'boxtimes': u'\u22a0', # ⊠ SQUARED TIMES
131 'bullet': u'\u2219', # ∙ BULLET OPERATOR
132 'cap': u'\u2229', # ∩ INTERSECTION
133 'cdot': u'\u22c5', # ⋅ DOT OPERATOR
134 'circ': u'\u2218', # ∘ RING OPERATOR
135 'circledast': u'\u229b', # ⊛ CIRCLED ASTERISK OPERATOR
136 'circledcirc': u'\u229a', # ⊚ CIRCLED RING OPERATOR
137 'circleddash': u'\u229d', # ⊝ CIRCLED DASH
138 'cup': u'\u222a', # ∪ UNION
139 'curlyvee': u'\u22ce', # ⋎ CURLY LOGICAL OR
140 'curlywedge': u'\u22cf', # ⋏ CURLY LOGICAL AND
141 'dagger': u'\u2020', # † DAGGER
142 'ddagger': u'\u2021', # ‡ DOUBLE DAGGER
143 'diamond': u'\u22c4', # ⋄ DIAMOND OPERATOR
144 'div': u'\xf7', # ÷ DIVISION SIGN
145 'divideontimes': u'\u22c7', # ⋇ DIVISION TIMES
146 'dotplus': u'\u2214', # ∔ DOT PLUS
147 'doublebarwedge': u'\u2a5e', # ⩞ LOGICAL AND WITH DOUBLE OVERBAR
148 'intercal': u'\u22ba', # ⊺ INTERCALATE
149 'interleave': u'\u2af4', # ⫴ TRIPLE VERTICAL BAR BINARY RELATION
150 'land': u'\u2227', # ∧ LOGICAL AND
151 'leftthreetimes': u'\u22cb', # ⋋ LEFT SEMIDIRECT PRODUCT
152 'lhd': u'\u25c1', # ◁ WHITE LEFT-POINTING TRIANGLE
153 'lor': u'\u2228', # ∨ LOGICAL OR
154 'ltimes': u'\u22c9', # ⋉ LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
155 'mp': u'\u2213', # ∓ MINUS-OR-PLUS SIGN
156 'odot': u'\u2299', # ⊙ CIRCLED DOT OPERATOR
157 'ominus': u'\u2296', # ⊖ CIRCLED MINUS
158 'oplus': u'\u2295', # ⊕ CIRCLED PLUS
159 'oslash': u'\u2298', # ⊘ CIRCLED DIVISION SLASH
160 'otimes': u'\u2297', # ⊗ CIRCLED TIMES
161 'pm': u'\xb1', # ± PLUS-MINUS SIGN
162 'rhd': u'\u25b7', # ▷ WHITE RIGHT-POINTING TRIANGLE
163 'rightthreetimes': u'\u22cc', # ⋌ RIGHT SEMIDIRECT PRODUCT
164 'rtimes': u'\u22ca', # ⋊ RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
165 'setminus': u'\u29f5', # ⧵ REVERSE SOLIDUS OPERATOR
166 'slash': u'\u2215', # ∕ DIVISION SLASH
167 'smallsetminus': u'\u2216', # ∖ SET MINUS
168 'smalltriangledown': u'\u25bf', # ▿ WHITE DOWN-POINTING SMALL TRIANGLE
169 'smalltriangleleft': u'\u25c3', # ◃ WHITE LEFT-POINTING SMALL TRIANGLE
170 'smalltriangleright': u'\u25b9', # ▹ WHITE RIGHT-POINTING SMALL TRIANGLE
171 'smalltriangleup': u'\u25b5', # ▵ WHITE UP-POINTING SMALL TRIANGLE
172 'sqcap': u'\u2293', # ⊓ SQUARE CAP
173 'sqcup': u'\u2294', # ⊔ SQUARE CUP
174 'sslash': u'\u2afd', # ⫽ DOUBLE SOLIDUS OPERATOR
175 'star': u'\u22c6', # ⋆ STAR OPERATOR
176 'talloblong': u'\u2afe', # ⫾ WHITE VERTICAL BAR
177 'times': u'\xd7', # × MULTIPLICATION SIGN
178 'triangle': u'\u25b3', # △ WHITE UP-POINTING TRIANGLE
179 'triangledown': u'\u25bf', # ▿ WHITE DOWN-POINTING SMALL TRIANGLE
180 'triangleleft': u'\u25c3', # ◃ WHITE LEFT-POINTING SMALL TRIANGLE
181 'triangleright': u'\u25b9', # ▹ WHITE RIGHT-POINTING SMALL TRIANGLE
182 'uplus': u'\u228e', # ⊎ MULTISET UNION
183 'vartriangle': u'\u25b3', # △ WHITE UP-POINTING TRIANGLE
184 'vee': u'\u2228', # ∨ LOGICAL OR
185 'veebar': u'\u22bb', # ⊻ XOR
186 'wedge': u'\u2227', # ∧ LOGICAL AND
187 'wr': u'\u2240', # ≀ WREATH PRODUCT
189 mathclose = {
190 'Rbag': u'\u27c6', # ⟆ RIGHT S-SHAPED BAG DELIMITER
191 'lrcorner': u'\u231f', # ⌟ BOTTOM RIGHT CORNER
192 'rangle': u'\u27e9', # ⟩ MATHEMATICAL RIGHT ANGLE BRACKET
193 'rbag': u'\u27c6', # ⟆ RIGHT S-SHAPED BAG DELIMITER
194 'rbrace': u'}', # } RIGHT CURLY BRACKET
195 'rbrack': u']', # ] RIGHT SQUARE BRACKET
196 'rceil': u'\u2309', # ⌉ RIGHT CEILING
197 'rfloor': u'\u230b', # ⌋ RIGHT FLOOR
198 'rgroup': u'\u27ef', # ⟯ MATHEMATICAL RIGHT FLATTENED PARENTHESIS
199 'rrbracket': u'\u27e7', # ⟧ MATHEMATICAL RIGHT WHITE SQUARE BRACKET
200 'rrparenthesis': u'\u2988', # ⦈ Z NOTATION RIGHT IMAGE BRACKET
201 'urcorner': u'\u231d', # ⌝ TOP RIGHT CORNER
202 '}': u'}', # } RIGHT CURLY BRACKET
204 mathfence = {
205 'Vert': u'\u2016', # ‖ DOUBLE VERTICAL LINE
206 'vert': u'|', # | VERTICAL LINE
207 '|': u'\u2016', # ‖ DOUBLE VERTICAL LINE
209 mathop = {
210 'Join': u'\u2a1d', # ⨝ JOIN
211 'bigcap': u'\u22c2', # ⋂ N-ARY INTERSECTION
212 'bigcup': u'\u22c3', # ⋃ N-ARY UNION
213 'biginterleave': u'\u2afc', # ⫼ LARGE TRIPLE VERTICAL BAR OPERATOR
214 'bigodot': u'\u2a00', # ⨀ N-ARY CIRCLED DOT OPERATOR
215 'bigoplus': u'\u2a01', # ⨁ N-ARY CIRCLED PLUS OPERATOR
216 'bigotimes': u'\u2a02', # ⨂ N-ARY CIRCLED TIMES OPERATOR
217 'bigsqcup': u'\u2a06', # ⨆ N-ARY SQUARE UNION OPERATOR
218 'biguplus': u'\u2a04', # ⨄ N-ARY UNION OPERATOR WITH PLUS
219 'bigvee': u'\u22c1', # ⋁ N-ARY LOGICAL OR
220 'bigwedge': u'\u22c0', # ⋀ N-ARY LOGICAL AND
221 'coprod': u'\u2210', # ∐ N-ARY COPRODUCT
222 'fatsemi': u'\u2a1f', # ⨟ Z NOTATION SCHEMA COMPOSITION
223 'fint': u'\u2a0f', # ⨏ INTEGRAL AVERAGE WITH SLASH
224 'iiiint': u'\u2a0c', # ⨌ QUADRUPLE INTEGRAL OPERATOR
225 'iiint': u'\u222d', # ∭ TRIPLE INTEGRAL
226 'iint': u'\u222c', # ∬ DOUBLE INTEGRAL
227 'int': u'\u222b', # ∫ INTEGRAL
228 'oiint': u'\u222f', # ∯ SURFACE INTEGRAL
229 'oint': u'\u222e', # ∮ CONTOUR INTEGRAL
230 'ointctrclockwise': u'\u2233', # ∳ ANTICLOCKWISE CONTOUR INTEGRAL
231 'prod': u'\u220f', # ∏ N-ARY PRODUCT
232 'sqint': u'\u2a16', # ⨖ QUATERNION INTEGRAL OPERATOR
233 'sum': u'\u2211', # ∑ N-ARY SUMMATION
234 'varointclockwise': u'\u2232', # ∲ CLOCKWISE CONTOUR INTEGRAL
236 mathopen = {
237 'Lbag': u'\u27c5', # ⟅ LEFT S-SHAPED BAG DELIMITER
238 'langle': u'\u27e8', # ⟨ MATHEMATICAL LEFT ANGLE BRACKET
239 'lbag': u'\u27c5', # ⟅ LEFT S-SHAPED BAG DELIMITER
240 'lbrace': u'{', # { LEFT CURLY BRACKET
241 'lbrack': u'[', # [ LEFT SQUARE BRACKET
242 'lceil': u'\u2308', # ⌈ LEFT CEILING
243 'lfloor': u'\u230a', # ⌊ LEFT FLOOR
244 'lgroup': u'\u27ee', # ⟮ MATHEMATICAL LEFT FLATTENED PARENTHESIS
245 'llbracket': u'\u27e6', # ⟦ MATHEMATICAL LEFT WHITE SQUARE BRACKET
246 'llcorner': u'\u231e', # ⌞ BOTTOM LEFT CORNER
247 'llparenthesis': u'\u2987', # ⦇ Z NOTATION LEFT IMAGE BRACKET
248 'ulcorner': u'\u231c', # ⌜ TOP LEFT CORNER
249 '{': u'{', # { LEFT CURLY BRACKET
251 mathord = {
252 '#': u'#', # # NUMBER SIGN
253 '$': u'$', # $ DOLLAR SIGN
254 '%': u'%', # % PERCENT SIGN
255 '&': u'&', # & AMPERSAND
256 'AC': u'\u223f', # ∿ SINE WAVE
257 'APLcomment': u'\u235d', # ⍝ APL FUNCTIONAL SYMBOL UP SHOE JOT
258 'APLdownarrowbox': u'\u2357', # ⍗ APL FUNCTIONAL SYMBOL QUAD DOWNWARDS ARROW
259 'APLinput': u'\u235e', # ⍞ APL FUNCTIONAL SYMBOL QUOTE QUAD
260 'APLinv': u'\u2339', # ⌹ APL FUNCTIONAL SYMBOL QUAD DIVIDE
261 'APLleftarrowbox': u'\u2347', # ⍇ APL FUNCTIONAL SYMBOL QUAD LEFTWARDS ARROW
262 'APLlog': u'\u235f', # ⍟ APL FUNCTIONAL SYMBOL CIRCLE STAR
263 'APLrightarrowbox': u'\u2348', # ⍈ APL FUNCTIONAL SYMBOL QUAD RIGHTWARDS ARROW
264 'APLuparrowbox': u'\u2350', # ⍐ APL FUNCTIONAL SYMBOL QUAD UPWARDS ARROW
265 'Aries': u'\u2648', # ♈ ARIES
266 'CIRCLE': u'\u25cf', # ● BLACK CIRCLE
267 'CheckedBox': u'\u2611', # ☑ BALLOT BOX WITH CHECK
268 'Diamond': u'\u25c7', # ◇ WHITE DIAMOND
269 'Finv': u'\u2132', # Ⅎ TURNED CAPITAL F
270 'Game': u'\u2141', # ⅁ TURNED SANS-SERIF CAPITAL G
271 'Gemini': u'\u264a', # ♊ GEMINI
272 'Jupiter': u'\u2643', # ♃ JUPITER
273 'LEFTCIRCLE': u'\u25d6', # ◖ LEFT HALF BLACK CIRCLE
274 'LEFTcircle': u'\u25d0', # ◐ CIRCLE WITH LEFT HALF BLACK
275 'Leo': u'\u264c', # ♌ LEO
276 'Libra': u'\u264e', # ♎ LIBRA
277 'Mars': u'\u2642', # ♂ MALE SIGN
278 'Mercury': u'\u263f', # ☿ MERCURY
279 'Neptune': u'\u2646', # ♆ NEPTUNE
280 'Pluto': u'\u2647', # ♇ PLUTO
281 'RIGHTCIRCLE': u'\u25d7', # ◗ RIGHT HALF BLACK CIRCLE
282 'RIGHTcircle': u'\u25d1', # ◑ CIRCLE WITH RIGHT HALF BLACK
283 'Saturn': u'\u2644', # ♄ SATURN
284 'Scorpio': u'\u264f', # ♏ SCORPIUS
285 'Square': u'\u2610', # ☐ BALLOT BOX
286 'Sun': u'\u2609', # ☉ SUN
287 'Taurus': u'\u2649', # ♉ TAURUS
288 'Uranus': u'\u2645', # ♅ URANUS
289 'Venus': u'\u2640', # ♀ FEMALE SIGN
290 'XBox': u'\u2612', # ☒ BALLOT BOX WITH X
291 'Yup': u'\u2144', # ⅄ TURNED SANS-SERIF CAPITAL Y
292 '_': u'_', # _ LOW LINE
293 'angle': u'\u2220', # ∠ ANGLE
294 'aquarius': u'\u2652', # ♒ AQUARIUS
295 'aries': u'\u2648', # ♈ ARIES
296 'ast': u'*', # * ASTERISK
297 'backepsilon': u'\u03f6', # ϶ GREEK REVERSED LUNATE EPSILON SYMBOL
298 'backprime': u'\u2035', # ‵ REVERSED PRIME
299 'backslash': u'\\', # \ REVERSE SOLIDUS
300 'because': u'\u2235', # ∵ BECAUSE
301 'bigstar': u'\u2605', # ★ BLACK STAR
302 'binampersand': u'&', # & AMPERSAND
303 'blacklozenge': u'\u2b27', # ⬧ BLACK MEDIUM LOZENGE
304 'blacksmiley': u'\u263b', # ☻ BLACK SMILING FACE
305 'blacksquare': u'\u25fc', # ◼ BLACK MEDIUM SQUARE
306 'bot': u'\u22a5', # ⊥ UP TACK
307 'boy': u'\u2642', # ♂ MALE SIGN
308 'cancer': u'\u264b', # ♋ CANCER
309 'capricornus': u'\u2651', # ♑ CAPRICORN
310 'cdots': u'\u22ef', # ⋯ MIDLINE HORIZONTAL ELLIPSIS
311 'cent': u'\xa2', # ¢ CENT SIGN
312 'centerdot': u'\u2b1d', # ⬝ BLACK VERY SMALL SQUARE
313 'checkmark': u'\u2713', # ✓ CHECK MARK
314 'circlearrowleft': u'\u21ba', # ↺ ANTICLOCKWISE OPEN CIRCLE ARROW
315 'circlearrowright': u'\u21bb', # ↻ CLOCKWISE OPEN CIRCLE ARROW
316 'circledR': u'\xae', # ® REGISTERED SIGN
317 'circledcirc': u'\u25ce', # ◎ BULLSEYE
318 'clubsuit': u'\u2663', # ♣ BLACK CLUB SUIT
319 'complement': u'\u2201', # ∁ COMPLEMENT
320 'dasharrow': u'\u21e2', # ⇢ RIGHTWARDS DASHED ARROW
321 'dashleftarrow': u'\u21e0', # ⇠ LEFTWARDS DASHED ARROW
322 'dashrightarrow': u'\u21e2', # ⇢ RIGHTWARDS DASHED ARROW
323 'diameter': u'\u2300', # ⌀ DIAMETER SIGN
324 'diamondsuit': u'\u2662', # ♢ WHITE DIAMOND SUIT
325 'earth': u'\u2641', # ♁ EARTH
326 'exists': u'\u2203', # ∃ THERE EXISTS
327 'female': u'\u2640', # ♀ FEMALE SIGN
328 'flat': u'\u266d', # ♭ MUSIC FLAT SIGN
329 'forall': u'\u2200', # ∀ FOR ALL
330 'fourth': u'\u2057', # ⁗ QUADRUPLE PRIME
331 'frownie': u'\u2639', # ☹ WHITE FROWNING FACE
332 'gemini': u'\u264a', # ♊ GEMINI
333 'girl': u'\u2640', # ♀ FEMALE SIGN
334 'heartsuit': u'\u2661', # ♡ WHITE HEART SUIT
335 'infty': u'\u221e', # ∞ INFINITY
336 'invneg': u'\u2310', # ⌐ REVERSED NOT SIGN
337 'jupiter': u'\u2643', # ♃ JUPITER
338 'ldots': u'\u2026', # … HORIZONTAL ELLIPSIS
339 'leftmoon': u'\u263e', # ☾ LAST QUARTER MOON
340 'leftturn': u'\u21ba', # ↺ ANTICLOCKWISE OPEN CIRCLE ARROW
341 'leo': u'\u264c', # ♌ LEO
342 'libra': u'\u264e', # ♎ LIBRA
343 'lnot': u'\xac', # ¬ NOT SIGN
344 'lozenge': u'\u25ca', # ◊ LOZENGE
345 'male': u'\u2642', # ♂ MALE SIGN
346 'maltese': u'\u2720', # ✠ MALTESE CROSS
347 'mathdollar': u'$', # $ DOLLAR SIGN
348 'measuredangle': u'\u2221', # ∡ MEASURED ANGLE
349 'mercury': u'\u263f', # ☿ MERCURY
350 'mho': u'\u2127', # ℧ INVERTED OHM SIGN
351 'nabla': u'\u2207', # ∇ NABLA
352 'natural': u'\u266e', # ♮ MUSIC NATURAL SIGN
353 'neg': u'\xac', # ¬ NOT SIGN
354 'neptune': u'\u2646', # ♆ NEPTUNE
355 'nexists': u'\u2204', # ∄ THERE DOES NOT EXIST
356 'notbackslash': u'\u2340', # ⍀ APL FUNCTIONAL SYMBOL BACKSLASH BAR
357 'partial': u'\u2202', # ∂ PARTIAL DIFFERENTIAL
358 'pisces': u'\u2653', # ♓ PISCES
359 'pluto': u'\u2647', # ♇ PLUTO
360 'pounds': u'\xa3', # £ POUND SIGN
361 'prime': u'\u2032', # ′ PRIME
362 'quarternote': u'\u2669', # ♩ QUARTER NOTE
363 'rightmoon': u'\u263d', # ☽ FIRST QUARTER MOON
364 'rightturn': u'\u21bb', # ↻ CLOCKWISE OPEN CIRCLE ARROW
365 'sagittarius': u'\u2650', # ♐ SAGITTARIUS
366 'saturn': u'\u2644', # ♄ SATURN
367 'scorpio': u'\u264f', # ♏ SCORPIUS
368 'second': u'\u2033', # ″ DOUBLE PRIME
369 'sharp': u'\u266f', # ♯ MUSIC SHARP SIGN
370 'sim': u'~', # ~ TILDE
371 'slash': u'/', # / SOLIDUS
372 'smiley': u'\u263a', # ☺ WHITE SMILING FACE
373 'spadesuit': u'\u2660', # ♠ BLACK SPADE SUIT
374 'spddot': u'\xa8', # ¨ DIAERESIS
375 'sphat': u'^', # ^ CIRCUMFLEX ACCENT
376 'sphericalangle': u'\u2222', # ∢ SPHERICAL ANGLE
377 'sptilde': u'~', # ~ TILDE
378 'square': u'\u25fb', # ◻ WHITE MEDIUM SQUARE
379 'sun': u'\u263c', # ☼ WHITE SUN WITH RAYS
380 'taurus': u'\u2649', # ♉ TAURUS
381 'therefore': u'\u2234', # ∴ THEREFORE
382 'third': u'\u2034', # ‴ TRIPLE PRIME
383 'top': u'\u22a4', # ⊤ DOWN TACK
384 'triangleleft': u'\u25c5', # ◅ WHITE LEFT-POINTING POINTER
385 'triangleright': u'\u25bb', # ▻ WHITE RIGHT-POINTING POINTER
386 'twonotes': u'\u266b', # ♫ BEAMED EIGHTH NOTES
387 'uranus': u'\u2645', # ♅ URANUS
388 'varEarth': u'\u2641', # ♁ EARTH
389 'varnothing': u'\u2205', # ∅ EMPTY SET
390 'virgo': u'\u264d', # ♍ VIRGO
391 'wasylozenge': u'\u2311', # ⌑ SQUARE LOZENGE
392 'wasytherefore': u'\u2234', # ∴ THEREFORE
393 'yen': u'\xa5', # ¥ YEN SIGN
395 mathover = {
396 'overbrace': u'\u23de', # ⏞ TOP CURLY BRACKET
397 'wideparen': u'\u23dc', # ⏜ TOP PARENTHESIS
399 mathradical = {
400 'sqrt': u'\u221a', # √ SQUARE ROOT
401 'sqrt[3]': u'\u221b', # ∛ CUBE ROOT
402 'sqrt[4]': u'\u221c', # ∜ FOURTH ROOT
404 mathrel = {
405 'Bumpeq': u'\u224e', # ≎ GEOMETRICALLY EQUIVALENT TO
406 'Doteq': u'\u2251', # ≑ GEOMETRICALLY EQUAL TO
407 'Downarrow': u'\u21d3', # ⇓ DOWNWARDS DOUBLE ARROW
408 'Leftarrow': u'\u21d0', # ⇐ LEFTWARDS DOUBLE ARROW
409 'Leftrightarrow': u'\u21d4', # ⇔ LEFT RIGHT DOUBLE ARROW
410 'Lleftarrow': u'\u21da', # ⇚ LEFTWARDS TRIPLE ARROW
411 'Longleftarrow': u'\u27f8', # ⟸ LONG LEFTWARDS DOUBLE ARROW
412 'Longleftrightarrow': u'\u27fa', # ⟺ LONG LEFT RIGHT DOUBLE ARROW
413 'Longmapsfrom': u'\u27fd', # ⟽ LONG LEFTWARDS DOUBLE ARROW FROM BAR
414 'Longmapsto': u'\u27fe', # ⟾ LONG RIGHTWARDS DOUBLE ARROW FROM BAR
415 'Longrightarrow': u'\u27f9', # ⟹ LONG RIGHTWARDS DOUBLE ARROW
416 'Lsh': u'\u21b0', # ↰ UPWARDS ARROW WITH TIP LEFTWARDS
417 'Mapsfrom': u'\u2906', # ⤆ LEFTWARDS DOUBLE ARROW FROM BAR
418 'Mapsto': u'\u2907', # ⤇ RIGHTWARDS DOUBLE ARROW FROM BAR
419 'Rightarrow': u'\u21d2', # ⇒ RIGHTWARDS DOUBLE ARROW
420 'Rrightarrow': u'\u21db', # ⇛ RIGHTWARDS TRIPLE ARROW
421 'Rsh': u'\u21b1', # ↱ UPWARDS ARROW WITH TIP RIGHTWARDS
422 'Subset': u'\u22d0', # ⋐ DOUBLE SUBSET
423 'Supset': u'\u22d1', # ⋑ DOUBLE SUPERSET
424 'Uparrow': u'\u21d1', # ⇑ UPWARDS DOUBLE ARROW
425 'Updownarrow': u'\u21d5', # ⇕ UP DOWN DOUBLE ARROW
426 'VDash': u'\u22ab', # ⊫ DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
427 'Vdash': u'\u22a9', # ⊩ FORCES
428 'Vvdash': u'\u22aa', # ⊪ TRIPLE VERTICAL BAR RIGHT TURNSTILE
429 'apprge': u'\u2273', # ≳ GREATER-THAN OR EQUIVALENT TO
430 'apprle': u'\u2272', # ≲ LESS-THAN OR EQUIVALENT TO
431 'approx': u'\u2248', # ≈ ALMOST EQUAL TO
432 'approxeq': u'\u224a', # ≊ ALMOST EQUAL OR EQUAL TO
433 'asymp': u'\u224d', # ≍ EQUIVALENT TO
434 'backsim': u'\u223d', # ∽ REVERSED TILDE
435 'backsimeq': u'\u22cd', # ⋍ REVERSED TILDE EQUALS
436 'barin': u'\u22f6', # ⋶ ELEMENT OF WITH OVERBAR
437 'barleftharpoon': u'\u296b', # ⥫ LEFTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH
438 'barrightharpoon': u'\u296d', # ⥭ RIGHTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH
439 'between': u'\u226c', # ≬ BETWEEN
440 'bowtie': u'\u22c8', # ⋈ BOWTIE
441 'bumpeq': u'\u224f', # ≏ DIFFERENCE BETWEEN
442 'circeq': u'\u2257', # ≗ RING EQUAL TO
443 'coloneq': u'\u2254', # ≔ COLON EQUALS
444 'cong': u'\u2245', # ≅ APPROXIMATELY EQUAL TO
445 'corresponds': u'\u2259', # ≙ ESTIMATES
446 'curlyeqprec': u'\u22de', # ⋞ EQUAL TO OR PRECEDES
447 'curlyeqsucc': u'\u22df', # ⋟ EQUAL TO OR SUCCEEDS
448 'curvearrowleft': u'\u21b6', # ↶ ANTICLOCKWISE TOP SEMICIRCLE ARROW
449 'curvearrowright': u'\u21b7', # ↷ CLOCKWISE TOP SEMICIRCLE ARROW
450 'dashv': u'\u22a3', # ⊣ LEFT TACK
451 'ddots': u'\u22f1', # ⋱ DOWN RIGHT DIAGONAL ELLIPSIS
452 'dlsh': u'\u21b2', # ↲ DOWNWARDS ARROW WITH TIP LEFTWARDS
453 'doteq': u'\u2250', # ≐ APPROACHES THE LIMIT
454 'doteqdot': u'\u2251', # ≑ GEOMETRICALLY EQUAL TO
455 'downarrow': u'\u2193', # ↓ DOWNWARDS ARROW
456 'downdownarrows': u'\u21ca', # ⇊ DOWNWARDS PAIRED ARROWS
457 'downdownharpoons': u'\u2965', # ⥥ DOWNWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT
458 'downharpoonleft': u'\u21c3', # ⇃ DOWNWARDS HARPOON WITH BARB LEFTWARDS
459 'downharpoonright': u'\u21c2', # ⇂ DOWNWARDS HARPOON WITH BARB RIGHTWARDS
460 'downuparrows': u'\u21f5', # ⇵ DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW
461 'downupharpoons': u'\u296f', # ⥯ DOWNWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT
462 'drsh': u'\u21b3', # ↳ DOWNWARDS ARROW WITH TIP RIGHTWARDS
463 'eqcirc': u'\u2256', # ≖ RING IN EQUAL TO
464 'eqcolon': u'\u2255', # ≕ EQUALS COLON
465 'eqsim': u'\u2242', # ≂ MINUS TILDE
466 'eqslantgtr': u'\u2a96', # ⪖ SLANTED EQUAL TO OR GREATER-THAN
467 'eqslantless': u'\u2a95', # ⪕ SLANTED EQUAL TO OR LESS-THAN
468 'equiv': u'\u2261', # ≡ IDENTICAL TO
469 'fallingdotseq': u'\u2252', # ≒ APPROXIMATELY EQUAL TO OR THE IMAGE OF
470 'frown': u'\u2322', # ⌢ FROWN
471 'ge': u'\u2265', # ≥ GREATER-THAN OR EQUAL TO
472 'geq': u'\u2265', # ≥ GREATER-THAN OR EQUAL TO
473 'geqq': u'\u2267', # ≧ GREATER-THAN OVER EQUAL TO
474 'geqslant': u'\u2a7e', # ⩾ GREATER-THAN OR SLANTED EQUAL TO
475 'gets': u'\u2190', # ← LEFTWARDS ARROW
476 'gg': u'\u226b', # ≫ MUCH GREATER-THAN
477 'ggcurly': u'\u2abc', # ⪼ DOUBLE SUCCEEDS
478 'ggg': u'\u22d9', # ⋙ VERY MUCH GREATER-THAN
479 'gnapprox': u'\u2a8a', # ⪊ GREATER-THAN AND NOT APPROXIMATE
480 'gneq': u'\u2a88', # ⪈ GREATER-THAN AND SINGLE-LINE NOT EQUAL TO
481 'gneqq': u'\u2269', # ≩ GREATER-THAN BUT NOT EQUAL TO
482 'gnsim': u'\u22e7', # ⋧ GREATER-THAN BUT NOT EQUIVALENT TO
483 'gtrapprox': u'\u2a86', # ⪆ GREATER-THAN OR APPROXIMATE
484 'gtrdot': u'\u22d7', # ⋗ GREATER-THAN WITH DOT
485 'gtreqless': u'\u22db', # ⋛ GREATER-THAN EQUAL TO OR LESS-THAN
486 'gtreqqless': u'\u2a8c', # ⪌ GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
487 'gtrless': u'\u2277', # ≷ GREATER-THAN OR LESS-THAN
488 'gtrsim': u'\u2273', # ≳ GREATER-THAN OR EQUIVALENT TO
489 'hash': u'\u22d5', # ⋕ EQUAL AND PARALLEL TO
490 'hookleftarrow': u'\u21a9', # ↩ LEFTWARDS ARROW WITH HOOK
491 'hookrightarrow': u'\u21aa', # ↪ RIGHTWARDS ARROW WITH HOOK
492 'iddots': u'\u22f0', # ⋰ UP RIGHT DIAGONAL ELLIPSIS
493 'impliedby': u'\u27f8', # ⟸ LONG LEFTWARDS DOUBLE ARROW
494 'implies': u'\u27f9', # ⟹ LONG RIGHTWARDS DOUBLE ARROW
495 'in': u'\u2208', # ∈ ELEMENT OF
496 'le': u'\u2264', # ≤ LESS-THAN OR EQUAL TO
497 'leftarrow': u'\u2190', # ← LEFTWARDS ARROW
498 'leftarrowtail': u'\u21a2', # ↢ LEFTWARDS ARROW WITH TAIL
499 'leftarrowtriangle': u'\u21fd', # ⇽ LEFTWARDS OPEN-HEADED ARROW
500 'leftbarharpoon': u'\u296a', # ⥪ LEFTWARDS HARPOON WITH BARB UP ABOVE LONG DASH
501 'leftharpoondown': u'\u21bd', # ↽ LEFTWARDS HARPOON WITH BARB DOWNWARDS
502 'leftharpoonup': u'\u21bc', # ↼ LEFTWARDS HARPOON WITH BARB UPWARDS
503 'leftleftarrows': u'\u21c7', # ⇇ LEFTWARDS PAIRED ARROWS
504 'leftleftharpoons': u'\u2962', # ⥢ LEFTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB DOWN
505 'leftrightarrow': u'\u2194', # ↔ LEFT RIGHT ARROW
506 'leftrightarrows': u'\u21c6', # ⇆ LEFTWARDS ARROW OVER RIGHTWARDS ARROW
507 'leftrightarrowtriangle': u'\u21ff', # ⇿ LEFT RIGHT OPEN-HEADED ARROW
508 'leftrightharpoon': u'\u294a', # ⥊ LEFT BARB UP RIGHT BARB DOWN HARPOON
509 'leftrightharpoons': u'\u21cb', # ⇋ LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON
510 'leftrightsquigarrow': u'\u21ad', # ↭ LEFT RIGHT WAVE ARROW
511 'leftslice': u'\u2aa6', # ⪦ LESS-THAN CLOSED BY CURVE
512 'leftsquigarrow': u'\u21dc', # ⇜ LEFTWARDS SQUIGGLE ARROW
513 'leq': u'\u2264', # ≤ LESS-THAN OR EQUAL TO
514 'leqq': u'\u2266', # ≦ LESS-THAN OVER EQUAL TO
515 'leqslant': u'\u2a7d', # ⩽ LESS-THAN OR SLANTED EQUAL TO
516 'lessapprox': u'\u2a85', # ⪅ LESS-THAN OR APPROXIMATE
517 'lessdot': u'\u22d6', # ⋖ LESS-THAN WITH DOT
518 'lesseqgtr': u'\u22da', # ⋚ LESS-THAN EQUAL TO OR GREATER-THAN
519 'lesseqqgtr': u'\u2a8b', # ⪋ LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
520 'lessgtr': u'\u2276', # ≶ LESS-THAN OR GREATER-THAN
521 'lesssim': u'\u2272', # ≲ LESS-THAN OR EQUIVALENT TO
522 'lightning': u'\u21af', # ↯ DOWNWARDS ZIGZAG ARROW
523 'll': u'\u226a', # ≪ MUCH LESS-THAN
524 'llcurly': u'\u2abb', # ⪻ DOUBLE PRECEDES
525 'lll': u'\u22d8', # ⋘ VERY MUCH LESS-THAN
526 'lnapprox': u'\u2a89', # ⪉ LESS-THAN AND NOT APPROXIMATE
527 'lneq': u'\u2a87', # ⪇ LESS-THAN AND SINGLE-LINE NOT EQUAL TO
528 'lneqq': u'\u2268', # ≨ LESS-THAN BUT NOT EQUAL TO
529 'lnsim': u'\u22e6', # ⋦ LESS-THAN BUT NOT EQUIVALENT TO
530 'longleftarrow': u'\u27f5', # ⟵ LONG LEFTWARDS ARROW
531 'longleftrightarrow': u'\u27f7', # ⟷ LONG LEFT RIGHT ARROW
532 'longmapsfrom': u'\u27fb', # ⟻ LONG LEFTWARDS ARROW FROM BAR
533 'longmapsto': u'\u27fc', # ⟼ LONG RIGHTWARDS ARROW FROM BAR
534 'longrightarrow': u'\u27f6', # ⟶ LONG RIGHTWARDS ARROW
535 'looparrowleft': u'\u21ab', # ↫ LEFTWARDS ARROW WITH LOOP
536 'looparrowright': u'\u21ac', # ↬ RIGHTWARDS ARROW WITH LOOP
537 'mapsfrom': u'\u21a4', # ↤ LEFTWARDS ARROW FROM BAR
538 'mapsto': u'\u21a6', # ↦ RIGHTWARDS ARROW FROM BAR
539 'mid': u'\u2223', # ∣ DIVIDES
540 'models': u'\u22a7', # ⊧ MODELS
541 'multimap': u'\u22b8', # ⊸ MULTIMAP
542 'nLeftarrow': u'\u21cd', # ⇍ LEFTWARDS DOUBLE ARROW WITH STROKE
543 'nLeftrightarrow': u'\u21ce', # ⇎ LEFT RIGHT DOUBLE ARROW WITH STROKE
544 'nRightarrow': u'\u21cf', # ⇏ RIGHTWARDS DOUBLE ARROW WITH STROKE
545 'nVDash': u'\u22af', # ⊯ NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
546 'nVdash': u'\u22ae', # ⊮ DOES NOT FORCE
547 'ncong': u'\u2247', # ≇ NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
548 'ne': u'\u2260', # ≠ NOT EQUAL TO
549 'nearrow': u'\u2197', # ↗ NORTH EAST ARROW
550 'neq': u'\u2260', # ≠ NOT EQUAL TO
551 'ngeq': u'\u2271', # ≱ NEITHER GREATER-THAN NOR EQUAL TO
552 'ngtr': u'\u226f', # ≯ NOT GREATER-THAN
553 'ni': u'\u220b', # ∋ CONTAINS AS MEMBER
554 'nleftarrow': u'\u219a', # ↚ LEFTWARDS ARROW WITH STROKE
555 'nleftrightarrow': u'\u21ae', # ↮ LEFT RIGHT ARROW WITH STROKE
556 'nleq': u'\u2270', # ≰ NEITHER LESS-THAN NOR EQUAL TO
557 'nless': u'\u226e', # ≮ NOT LESS-THAN
558 'nmid': u'\u2224', # ∤ DOES NOT DIVIDE
559 'notasymp': u'\u226d', # ≭ NOT EQUIVALENT TO
560 'notin': u'\u2209', # ∉ NOT AN ELEMENT OF
561 'notowner': u'\u220c', # ∌ DOES NOT CONTAIN AS MEMBER
562 'notslash': u'\u233f', # ⌿ APL FUNCTIONAL SYMBOL SLASH BAR
563 'nparallel': u'\u2226', # ∦ NOT PARALLEL TO
564 'nprec': u'\u2280', # ⊀ DOES NOT PRECEDE
565 'npreceq': u'\u22e0', # ⋠ DOES NOT PRECEDE OR EQUAL
566 'nrightarrow': u'\u219b', # ↛ RIGHTWARDS ARROW WITH STROKE
567 'nsim': u'\u2241', # ≁ NOT TILDE
568 'nsubseteq': u'\u2288', # ⊈ NEITHER A SUBSET OF NOR EQUAL TO
569 'nsucc': u'\u2281', # ⊁ DOES NOT SUCCEED
570 'nsucceq': u'\u22e1', # ⋡ DOES NOT SUCCEED OR EQUAL
571 'nsupseteq': u'\u2289', # ⊉ NEITHER A SUPERSET OF NOR EQUAL TO
572 'ntriangleleft': u'\u22ea', # ⋪ NOT NORMAL SUBGROUP OF
573 'ntrianglelefteq': u'\u22ec', # ⋬ NOT NORMAL SUBGROUP OF OR EQUAL TO
574 'ntriangleright': u'\u22eb', # ⋫ DOES NOT CONTAIN AS NORMAL SUBGROUP
575 'ntrianglerighteq': u'\u22ed', # ⋭ DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
576 'nvDash': u'\u22ad', # ⊭ NOT TRUE
577 'nvdash': u'\u22ac', # ⊬ DOES NOT PROVE
578 'nwarrow': u'\u2196', # ↖ NORTH WEST ARROW
579 'owns': u'\u220b', # ∋ CONTAINS AS MEMBER
580 'parallel': u'\u2225', # ∥ PARALLEL TO
581 'perp': u'\u27c2', # ⟂ PERPENDICULAR
582 'pitchfork': u'\u22d4', # ⋔ PITCHFORK
583 'prec': u'\u227a', # ≺ PRECEDES
584 'precapprox': u'\u2ab7', # ⪷ PRECEDES ABOVE ALMOST EQUAL TO
585 'preccurlyeq': u'\u227c', # ≼ PRECEDES OR EQUAL TO
586 'preceq': u'\u2aaf', # ⪯ PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
587 'precnapprox': u'\u2ab9', # ⪹ PRECEDES ABOVE NOT ALMOST EQUAL TO
588 'precnsim': u'\u22e8', # ⋨ PRECEDES BUT NOT EQUIVALENT TO
589 'precsim': u'\u227e', # ≾ PRECEDES OR EQUIVALENT TO
590 'propto': u'\u221d', # ∝ PROPORTIONAL TO
591 'restriction': u'\u21be', # ↾ UPWARDS HARPOON WITH BARB RIGHTWARDS
592 'rightarrow': u'\u2192', # → RIGHTWARDS ARROW
593 'rightarrowtail': u'\u21a3', # ↣ RIGHTWARDS ARROW WITH TAIL
594 'rightarrowtriangle': u'\u21fe', # ⇾ RIGHTWARDS OPEN-HEADED ARROW
595 'rightbarharpoon': u'\u296c', # ⥬ RIGHTWARDS HARPOON WITH BARB UP ABOVE LONG DASH
596 'rightharpoondown': u'\u21c1', # ⇁ RIGHTWARDS HARPOON WITH BARB DOWNWARDS
597 'rightharpoonup': u'\u21c0', # ⇀ RIGHTWARDS HARPOON WITH BARB UPWARDS
598 'rightleftarrows': u'\u21c4', # ⇄ RIGHTWARDS ARROW OVER LEFTWARDS ARROW
599 'rightleftharpoon': u'\u294b', # ⥋ LEFT BARB DOWN RIGHT BARB UP HARPOON
600 'rightleftharpoons': u'\u21cc', # ⇌ RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON
601 'rightrightarrows': u'\u21c9', # ⇉ RIGHTWARDS PAIRED ARROWS
602 'rightrightharpoons': u'\u2964', # ⥤ RIGHTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB DOWN
603 'rightslice': u'\u2aa7', # ⪧ GREATER-THAN CLOSED BY CURVE
604 'rightsquigarrow': u'\u21dd', # ⇝ RIGHTWARDS SQUIGGLE ARROW
605 'risingdotseq': u'\u2253', # ≓ IMAGE OF OR APPROXIMATELY EQUAL TO
606 'searrow': u'\u2198', # ↘ SOUTH EAST ARROW
607 'sim': u'\u223c', # ∼ TILDE OPERATOR
608 'simeq': u'\u2243', # ≃ ASYMPTOTICALLY EQUAL TO
609 'smallfrown': u'\u2322', # ⌢ FROWN
610 'smallsmile': u'\u2323', # ⌣ SMILE
611 'smile': u'\u2323', # ⌣ SMILE
612 'sqsubset': u'\u228f', # ⊏ SQUARE IMAGE OF
613 'sqsubseteq': u'\u2291', # ⊑ SQUARE IMAGE OF OR EQUAL TO
614 'sqsupset': u'\u2290', # ⊐ SQUARE ORIGINAL OF
615 'sqsupseteq': u'\u2292', # ⊒ SQUARE ORIGINAL OF OR EQUAL TO
616 'subset': u'\u2282', # ⊂ SUBSET OF
617 'subseteq': u'\u2286', # ⊆ SUBSET OF OR EQUAL TO
618 'subseteqq': u'\u2ac5', # ⫅ SUBSET OF ABOVE EQUALS SIGN
619 'subsetneq': u'\u228a', # ⊊ SUBSET OF WITH NOT EQUAL TO
620 'subsetneqq': u'\u2acb', # ⫋ SUBSET OF ABOVE NOT EQUAL TO
621 'succ': u'\u227b', # ≻ SUCCEEDS
622 'succapprox': u'\u2ab8', # ⪸ SUCCEEDS ABOVE ALMOST EQUAL TO
623 'succcurlyeq': u'\u227d', # ≽ SUCCEEDS OR EQUAL TO
624 'succeq': u'\u2ab0', # ⪰ SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
625 'succnapprox': u'\u2aba', # ⪺ SUCCEEDS ABOVE NOT ALMOST EQUAL TO
626 'succnsim': u'\u22e9', # ⋩ SUCCEEDS BUT NOT EQUIVALENT TO
627 'succsim': u'\u227f', # ≿ SUCCEEDS OR EQUIVALENT TO
628 'supset': u'\u2283', # ⊃ SUPERSET OF
629 'supseteq': u'\u2287', # ⊇ SUPERSET OF OR EQUAL TO
630 'supseteqq': u'\u2ac6', # ⫆ SUPERSET OF ABOVE EQUALS SIGN
631 'supsetneq': u'\u228b', # ⊋ SUPERSET OF WITH NOT EQUAL TO
632 'supsetneqq': u'\u2acc', # ⫌ SUPERSET OF ABOVE NOT EQUAL TO
633 'swarrow': u'\u2199', # ↙ SOUTH WEST ARROW
634 'to': u'\u2192', # → RIGHTWARDS ARROW
635 'trianglelefteq': u'\u22b4', # ⊴ NORMAL SUBGROUP OF OR EQUAL TO
636 'triangleq': u'\u225c', # ≜ DELTA EQUAL TO
637 'trianglerighteq': u'\u22b5', # ⊵ CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
638 'twoheadleftarrow': u'\u219e', # ↞ LEFTWARDS TWO HEADED ARROW
639 'twoheadrightarrow': u'\u21a0', # ↠ RIGHTWARDS TWO HEADED ARROW
640 'uparrow': u'\u2191', # ↑ UPWARDS ARROW
641 'updownarrow': u'\u2195', # ↕ UP DOWN ARROW
642 'updownarrows': u'\u21c5', # ⇅ UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW
643 'updownharpoons': u'\u296e', # ⥮ UPWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT
644 'upharpoonleft': u'\u21bf', # ↿ UPWARDS HARPOON WITH BARB LEFTWARDS
645 'upharpoonright': u'\u21be', # ↾ UPWARDS HARPOON WITH BARB RIGHTWARDS
646 'upuparrows': u'\u21c8', # ⇈ UPWARDS PAIRED ARROWS
647 'upupharpoons': u'\u2963', # ⥣ UPWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT
648 'vDash': u'\u22a8', # ⊨ TRUE
649 'varpropto': u'\u221d', # ∝ PROPORTIONAL TO
650 'vartriangleleft': u'\u22b2', # ⊲ NORMAL SUBGROUP OF
651 'vartriangleright': u'\u22b3', # ⊳ CONTAINS AS NORMAL SUBGROUP
652 'vdash': u'\u22a2', # ⊢ RIGHT TACK
653 'vdots': u'\u22ee', # ⋮ VERTICAL ELLIPSIS
655 mathunder = {
656 'underbrace': u'\u23df', # ⏟ BOTTOM CURLY BRACKET
658 space = {
659 ':': u'\u205f', #   MEDIUM MATHEMATICAL SPACE
660 'medspace': u'\u205f', #   MEDIUM MATHEMATICAL SPACE
661 'quad': u'\u2001', #   EM QUAD