This file is indexed.

/usr/share/docutils/parsers/rst/include/mmlalias.txt is in docutils-common 0.8.1-4ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
.. This data file has been placed in the public domain.
.. Derived from the Unicode character mappings available from
   <http://www.w3.org/2003/entities/xml/>.
   Processed by unicode2rstsubs.py, part of Docutils:
   <http://docutils.sourceforge.net>.

.. |angle|                           unicode:: U+02220 .. ANGLE
.. |ApplyFunction|                   unicode:: U+02061 .. FUNCTION APPLICATION
.. |approx|                          unicode:: U+02248 .. ALMOST EQUAL TO
.. |approxeq|                        unicode:: U+0224A .. ALMOST EQUAL OR EQUAL TO
.. |Assign|                          unicode:: U+02254 .. COLON EQUALS
.. |backcong|                        unicode:: U+0224C .. ALL EQUAL TO
.. |backepsilon|                     unicode:: U+003F6 .. GREEK REVERSED LUNATE EPSILON SYMBOL
.. |backprime|                       unicode:: U+02035 .. REVERSED PRIME
.. |backsim|                         unicode:: U+0223D .. REVERSED TILDE
.. |backsimeq|                       unicode:: U+022CD .. REVERSED TILDE EQUALS
.. |Backslash|                       unicode:: U+02216 .. SET MINUS
.. |barwedge|                        unicode:: U+02305 .. PROJECTIVE
.. |Because|                         unicode:: U+02235 .. BECAUSE
.. |because|                         unicode:: U+02235 .. BECAUSE
.. |Bernoullis|                      unicode:: U+0212C .. SCRIPT CAPITAL B
.. |between|                         unicode:: U+0226C .. BETWEEN
.. |bigcap|                          unicode:: U+022C2 .. N-ARY INTERSECTION
.. |bigcirc|                         unicode:: U+025EF .. LARGE CIRCLE
.. |bigcup|                          unicode:: U+022C3 .. N-ARY UNION
.. |bigodot|                         unicode:: U+02A00 .. N-ARY CIRCLED DOT OPERATOR
.. |bigoplus|                        unicode:: U+02A01 .. N-ARY CIRCLED PLUS OPERATOR
.. |bigotimes|                       unicode:: U+02A02 .. N-ARY CIRCLED TIMES OPERATOR
.. |bigsqcup|                        unicode:: U+02A06 .. N-ARY SQUARE UNION OPERATOR
.. |bigstar|                         unicode:: U+02605 .. BLACK STAR
.. |bigtriangledown|                 unicode:: U+025BD .. WHITE DOWN-POINTING TRIANGLE
.. |bigtriangleup|                   unicode:: U+025B3 .. WHITE UP-POINTING TRIANGLE
.. |biguplus|                        unicode:: U+02A04 .. N-ARY UNION OPERATOR WITH PLUS
.. |bigvee|                          unicode:: U+022C1 .. N-ARY LOGICAL OR
.. |bigwedge|                        unicode:: U+022C0 .. N-ARY LOGICAL AND
.. |bkarow|                          unicode:: U+0290D .. RIGHTWARDS DOUBLE DASH ARROW
.. |blacklozenge|                    unicode:: U+029EB .. BLACK LOZENGE
.. |blacksquare|                     unicode:: U+025AA .. BLACK SMALL SQUARE
.. |blacktriangle|                   unicode:: U+025B4 .. BLACK UP-POINTING SMALL TRIANGLE
.. |blacktriangledown|               unicode:: U+025BE .. BLACK DOWN-POINTING SMALL TRIANGLE
.. |blacktriangleleft|               unicode:: U+025C2 .. BLACK LEFT-POINTING SMALL TRIANGLE
.. |blacktriangleright|              unicode:: U+025B8 .. BLACK RIGHT-POINTING SMALL TRIANGLE
.. |bot|                             unicode:: U+022A5 .. UP TACK
.. |boxminus|                        unicode:: U+0229F .. SQUARED MINUS
.. |boxplus|                         unicode:: U+0229E .. SQUARED PLUS
.. |boxtimes|                        unicode:: U+022A0 .. SQUARED TIMES
.. |Breve|                           unicode:: U+002D8 .. BREVE
.. |bullet|                          unicode:: U+02022 .. BULLET
.. |Bumpeq|                          unicode:: U+0224E .. GEOMETRICALLY EQUIVALENT TO
.. |bumpeq|                          unicode:: U+0224F .. DIFFERENCE BETWEEN
.. |CapitalDifferentialD|            unicode:: U+02145 .. DOUBLE-STRUCK ITALIC CAPITAL D
.. |Cayleys|                         unicode:: U+0212D .. BLACK-LETTER CAPITAL C
.. |Cedilla|                         unicode:: U+000B8 .. CEDILLA
.. |CenterDot|                       unicode:: U+000B7 .. MIDDLE DOT
.. |centerdot|                       unicode:: U+000B7 .. MIDDLE DOT
.. |checkmark|                       unicode:: U+02713 .. CHECK MARK
.. |circeq|                          unicode:: U+02257 .. RING EQUAL TO
.. |circlearrowleft|                 unicode:: U+021BA .. ANTICLOCKWISE OPEN CIRCLE ARROW
.. |circlearrowright|                unicode:: U+021BB .. CLOCKWISE OPEN CIRCLE ARROW
.. |circledast|                      unicode:: U+0229B .. CIRCLED ASTERISK OPERATOR
.. |circledcirc|                     unicode:: U+0229A .. CIRCLED RING OPERATOR
.. |circleddash|                     unicode:: U+0229D .. CIRCLED DASH
.. |CircleDot|                       unicode:: U+02299 .. CIRCLED DOT OPERATOR
.. |circledR|                        unicode:: U+000AE .. REGISTERED SIGN
.. |circledS|                        unicode:: U+024C8 .. CIRCLED LATIN CAPITAL LETTER S
.. |CircleMinus|                     unicode:: U+02296 .. CIRCLED MINUS
.. |CirclePlus|                      unicode:: U+02295 .. CIRCLED PLUS
.. |CircleTimes|                     unicode:: U+02297 .. CIRCLED TIMES
.. |ClockwiseContourIntegral|        unicode:: U+02232 .. CLOCKWISE CONTOUR INTEGRAL
.. |CloseCurlyDoubleQuote|           unicode:: U+0201D .. RIGHT DOUBLE QUOTATION MARK
.. |CloseCurlyQuote|                 unicode:: U+02019 .. RIGHT SINGLE QUOTATION MARK
.. |clubsuit|                        unicode:: U+02663 .. BLACK CLUB SUIT
.. |coloneq|                         unicode:: U+02254 .. COLON EQUALS
.. |complement|                      unicode:: U+02201 .. COMPLEMENT
.. |complexes|                       unicode:: U+02102 .. DOUBLE-STRUCK CAPITAL C
.. |Congruent|                       unicode:: U+02261 .. IDENTICAL TO
.. |ContourIntegral|                 unicode:: U+0222E .. CONTOUR INTEGRAL
.. |Coproduct|                       unicode:: U+02210 .. N-ARY COPRODUCT
.. |CounterClockwiseContourIntegral| unicode:: U+02233 .. ANTICLOCKWISE CONTOUR INTEGRAL
.. |CupCap|                          unicode:: U+0224D .. EQUIVALENT TO
.. |curlyeqprec|                     unicode:: U+022DE .. EQUAL TO OR PRECEDES
.. |curlyeqsucc|                     unicode:: U+022DF .. EQUAL TO OR SUCCEEDS
.. |curlyvee|                        unicode:: U+022CE .. CURLY LOGICAL OR
.. |curlywedge|                      unicode:: U+022CF .. CURLY LOGICAL AND
.. |curvearrowleft|                  unicode:: U+021B6 .. ANTICLOCKWISE TOP SEMICIRCLE ARROW
.. |curvearrowright|                 unicode:: U+021B7 .. CLOCKWISE TOP SEMICIRCLE ARROW
.. |dbkarow|                         unicode:: U+0290F .. RIGHTWARDS TRIPLE DASH ARROW
.. |ddagger|                         unicode:: U+02021 .. DOUBLE DAGGER
.. |ddotseq|                         unicode:: U+02A77 .. EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
.. |Del|                             unicode:: U+02207 .. NABLA
.. |DiacriticalAcute|                unicode:: U+000B4 .. ACUTE ACCENT
.. |DiacriticalDot|                  unicode:: U+002D9 .. DOT ABOVE
.. |DiacriticalDoubleAcute|          unicode:: U+002DD .. DOUBLE ACUTE ACCENT
.. |DiacriticalGrave|                unicode:: U+00060 .. GRAVE ACCENT
.. |DiacriticalTilde|                unicode:: U+002DC .. SMALL TILDE
.. |Diamond|                         unicode:: U+022C4 .. DIAMOND OPERATOR
.. |diamond|                         unicode:: U+022C4 .. DIAMOND OPERATOR
.. |diamondsuit|                     unicode:: U+02666 .. BLACK DIAMOND SUIT
.. |DifferentialD|                   unicode:: U+02146 .. DOUBLE-STRUCK ITALIC SMALL D
.. |digamma|                         unicode:: U+003DD .. GREEK SMALL LETTER DIGAMMA
.. |div|                             unicode:: U+000F7 .. DIVISION SIGN
.. |divideontimes|                   unicode:: U+022C7 .. DIVISION TIMES
.. |doteq|                           unicode:: U+02250 .. APPROACHES THE LIMIT
.. |doteqdot|                        unicode:: U+02251 .. GEOMETRICALLY EQUAL TO
.. |DotEqual|                        unicode:: U+02250 .. APPROACHES THE LIMIT
.. |dotminus|                        unicode:: U+02238 .. DOT MINUS
.. |dotplus|                         unicode:: U+02214 .. DOT PLUS
.. |dotsquare|                       unicode:: U+022A1 .. SQUARED DOT OPERATOR
.. |doublebarwedge|                  unicode:: U+02306 .. PERSPECTIVE
.. |DoubleContourIntegral|           unicode:: U+0222F .. SURFACE INTEGRAL
.. |DoubleDot|                       unicode:: U+000A8 .. DIAERESIS
.. |DoubleDownArrow|                 unicode:: U+021D3 .. DOWNWARDS DOUBLE ARROW
.. |DoubleLeftArrow|                 unicode:: U+021D0 .. LEFTWARDS DOUBLE ARROW
.. |DoubleLeftRightArrow|            unicode:: U+021D4 .. LEFT RIGHT DOUBLE ARROW
.. |DoubleLeftTee|                   unicode:: U+02AE4 .. VERTICAL BAR DOUBLE LEFT TURNSTILE
.. |DoubleLongLeftArrow|             unicode:: U+027F8 .. LONG LEFTWARDS DOUBLE ARROW
.. |DoubleLongLeftRightArrow|        unicode:: U+027FA .. LONG LEFT RIGHT DOUBLE ARROW
.. |DoubleLongRightArrow|            unicode:: U+027F9 .. LONG RIGHTWARDS DOUBLE ARROW
.. |DoubleRightArrow|                unicode:: U+021D2 .. RIGHTWARDS DOUBLE ARROW
.. |DoubleRightTee|                  unicode:: U+022A8 .. TRUE
.. |DoubleUpArrow|                   unicode:: U+021D1 .. UPWARDS DOUBLE ARROW
.. |DoubleUpDownArrow|               unicode:: U+021D5 .. UP DOWN DOUBLE ARROW
.. |DoubleVerticalBar|               unicode:: U+02225 .. PARALLEL TO
.. |DownArrow|                       unicode:: U+02193 .. DOWNWARDS ARROW
.. |Downarrow|                       unicode:: U+021D3 .. DOWNWARDS DOUBLE ARROW
.. |downarrow|                       unicode:: U+02193 .. DOWNWARDS ARROW
.. |DownArrowUpArrow|                unicode:: U+021F5 .. DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW
.. |downdownarrows|                  unicode:: U+021CA .. DOWNWARDS PAIRED ARROWS
.. |downharpoonleft|                 unicode:: U+021C3 .. DOWNWARDS HARPOON WITH BARB LEFTWARDS
.. |downharpoonright|                unicode:: U+021C2 .. DOWNWARDS HARPOON WITH BARB RIGHTWARDS
.. |DownLeftVector|                  unicode:: U+021BD .. LEFTWARDS HARPOON WITH BARB DOWNWARDS
.. |DownRightVector|                 unicode:: U+021C1 .. RIGHTWARDS HARPOON WITH BARB DOWNWARDS
.. |DownTee|                         unicode:: U+022A4 .. DOWN TACK
.. |DownTeeArrow|                    unicode:: U+021A7 .. DOWNWARDS ARROW FROM BAR
.. |drbkarow|                        unicode:: U+02910 .. RIGHTWARDS TWO-HEADED TRIPLE DASH ARROW
.. |Element|                         unicode:: U+02208 .. ELEMENT OF
.. |emptyset|                        unicode:: U+02205 .. EMPTY SET
.. |eqcirc|                          unicode:: U+02256 .. RING IN EQUAL TO
.. |eqcolon|                         unicode:: U+02255 .. EQUALS COLON
.. |eqsim|                           unicode:: U+02242 .. MINUS TILDE
.. |eqslantgtr|                      unicode:: U+02A96 .. SLANTED EQUAL TO OR GREATER-THAN
.. |eqslantless|                     unicode:: U+02A95 .. SLANTED EQUAL TO OR LESS-THAN
.. |EqualTilde|                      unicode:: U+02242 .. MINUS TILDE
.. |Equilibrium|                     unicode:: U+021CC .. RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON
.. |Exists|                          unicode:: U+02203 .. THERE EXISTS
.. |expectation|                     unicode:: U+02130 .. SCRIPT CAPITAL E
.. |ExponentialE|                    unicode:: U+02147 .. DOUBLE-STRUCK ITALIC SMALL E
.. |exponentiale|                    unicode:: U+02147 .. DOUBLE-STRUCK ITALIC SMALL E
.. |fallingdotseq|                   unicode:: U+02252 .. APPROXIMATELY EQUAL TO OR THE IMAGE OF
.. |ForAll|                          unicode:: U+02200 .. FOR ALL
.. |Fouriertrf|                      unicode:: U+02131 .. SCRIPT CAPITAL F
.. |geq|                             unicode:: U+02265 .. GREATER-THAN OR EQUAL TO
.. |geqq|                            unicode:: U+02267 .. GREATER-THAN OVER EQUAL TO
.. |geqslant|                        unicode:: U+02A7E .. GREATER-THAN OR SLANTED EQUAL TO
.. |gg|                              unicode:: U+0226B .. MUCH GREATER-THAN
.. |ggg|                             unicode:: U+022D9 .. VERY MUCH GREATER-THAN
.. |gnapprox|                        unicode:: U+02A8A .. GREATER-THAN AND NOT APPROXIMATE
.. |gneq|                            unicode:: U+02A88 .. GREATER-THAN AND SINGLE-LINE NOT EQUAL TO
.. |gneqq|                           unicode:: U+02269 .. GREATER-THAN BUT NOT EQUAL TO
.. |GreaterEqual|                    unicode:: U+02265 .. GREATER-THAN OR EQUAL TO
.. |GreaterEqualLess|                unicode:: U+022DB .. GREATER-THAN EQUAL TO OR LESS-THAN
.. |GreaterFullEqual|                unicode:: U+02267 .. GREATER-THAN OVER EQUAL TO
.. |GreaterLess|                     unicode:: U+02277 .. GREATER-THAN OR LESS-THAN
.. |GreaterSlantEqual|               unicode:: U+02A7E .. GREATER-THAN OR SLANTED EQUAL TO
.. |GreaterTilde|                    unicode:: U+02273 .. GREATER-THAN OR EQUIVALENT TO
.. |gtrapprox|                       unicode:: U+02A86 .. GREATER-THAN OR APPROXIMATE
.. |gtrdot|                          unicode:: U+022D7 .. GREATER-THAN WITH DOT
.. |gtreqless|                       unicode:: U+022DB .. GREATER-THAN EQUAL TO OR LESS-THAN
.. |gtreqqless|                      unicode:: U+02A8C .. GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
.. |gtrless|                         unicode:: U+02277 .. GREATER-THAN OR LESS-THAN
.. |gtrsim|                          unicode:: U+02273 .. GREATER-THAN OR EQUIVALENT TO
.. |gvertneqq|                       unicode:: U+02269 U+0FE00 .. GREATER-THAN BUT NOT EQUAL TO - with vertical stroke
.. |Hacek|                           unicode:: U+002C7 .. CARON
.. |hbar|                            unicode:: U+0210F .. PLANCK CONSTANT OVER TWO PI
.. |heartsuit|                       unicode:: U+02665 .. BLACK HEART SUIT
.. |HilbertSpace|                    unicode:: U+0210B .. SCRIPT CAPITAL H
.. |hksearow|                        unicode:: U+02925 .. SOUTH EAST ARROW WITH HOOK
.. |hkswarow|                        unicode:: U+02926 .. SOUTH WEST ARROW WITH HOOK
.. |hookleftarrow|                   unicode:: U+021A9 .. LEFTWARDS ARROW WITH HOOK
.. |hookrightarrow|                  unicode:: U+021AA .. RIGHTWARDS ARROW WITH HOOK
.. |hslash|                          unicode:: U+0210F .. PLANCK CONSTANT OVER TWO PI
.. |HumpDownHump|                    unicode:: U+0224E .. GEOMETRICALLY EQUIVALENT TO
.. |HumpEqual|                       unicode:: U+0224F .. DIFFERENCE BETWEEN
.. |iiiint|                          unicode:: U+02A0C .. QUADRUPLE INTEGRAL OPERATOR
.. |iiint|                           unicode:: U+0222D .. TRIPLE INTEGRAL
.. |Im|                              unicode:: U+02111 .. BLACK-LETTER CAPITAL I
.. |ImaginaryI|                      unicode:: U+02148 .. DOUBLE-STRUCK ITALIC SMALL I
.. |imagline|                        unicode:: U+02110 .. SCRIPT CAPITAL I
.. |imagpart|                        unicode:: U+02111 .. BLACK-LETTER CAPITAL I
.. |Implies|                         unicode:: U+021D2 .. RIGHTWARDS DOUBLE ARROW
.. |in|                              unicode:: U+02208 .. ELEMENT OF
.. |integers|                        unicode:: U+02124 .. DOUBLE-STRUCK CAPITAL Z
.. |Integral|                        unicode:: U+0222B .. INTEGRAL
.. |intercal|                        unicode:: U+022BA .. INTERCALATE
.. |Intersection|                    unicode:: U+022C2 .. N-ARY INTERSECTION
.. |intprod|                         unicode:: U+02A3C .. INTERIOR PRODUCT
.. |InvisibleComma|                  unicode:: U+02063 .. INVISIBLE SEPARATOR
.. |InvisibleTimes|                  unicode:: U+02062 .. INVISIBLE TIMES
.. |langle|                          unicode:: U+02329 .. LEFT-POINTING ANGLE BRACKET
.. |Laplacetrf|                      unicode:: U+02112 .. SCRIPT CAPITAL L
.. |lbrace|                          unicode:: U+0007B .. LEFT CURLY BRACKET
.. |lbrack|                          unicode:: U+0005B .. LEFT SQUARE BRACKET
.. |LeftAngleBracket|                unicode:: U+02329 .. LEFT-POINTING ANGLE BRACKET
.. |LeftArrow|                       unicode:: U+02190 .. LEFTWARDS ARROW
.. |Leftarrow|                       unicode:: U+021D0 .. LEFTWARDS DOUBLE ARROW
.. |leftarrow|                       unicode:: U+02190 .. LEFTWARDS ARROW
.. |LeftArrowBar|                    unicode:: U+021E4 .. LEFTWARDS ARROW TO BAR
.. |LeftArrowRightArrow|             unicode:: U+021C6 .. LEFTWARDS ARROW OVER RIGHTWARDS ARROW
.. |leftarrowtail|                   unicode:: U+021A2 .. LEFTWARDS ARROW WITH TAIL
.. |LeftCeiling|                     unicode:: U+02308 .. LEFT CEILING
.. |LeftDoubleBracket|               unicode:: U+0301A .. LEFT WHITE SQUARE BRACKET
.. |LeftDownVector|                  unicode:: U+021C3 .. DOWNWARDS HARPOON WITH BARB LEFTWARDS
.. |LeftFloor|                       unicode:: U+0230A .. LEFT FLOOR
.. |leftharpoondown|                 unicode:: U+021BD .. LEFTWARDS HARPOON WITH BARB DOWNWARDS
.. |leftharpoonup|                   unicode:: U+021BC .. LEFTWARDS HARPOON WITH BARB UPWARDS
.. |leftleftarrows|                  unicode:: U+021C7 .. LEFTWARDS PAIRED ARROWS
.. |LeftRightArrow|                  unicode:: U+02194 .. LEFT RIGHT ARROW
.. |Leftrightarrow|                  unicode:: U+021D4 .. LEFT RIGHT DOUBLE ARROW
.. |leftrightarrow|                  unicode:: U+02194 .. LEFT RIGHT ARROW
.. |leftrightarrows|                 unicode:: U+021C6 .. LEFTWARDS ARROW OVER RIGHTWARDS ARROW
.. |leftrightharpoons|               unicode:: U+021CB .. LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON
.. |leftrightsquigarrow|             unicode:: U+021AD .. LEFT RIGHT WAVE ARROW
.. |LeftTee|                         unicode:: U+022A3 .. LEFT TACK
.. |LeftTeeArrow|                    unicode:: U+021A4 .. LEFTWARDS ARROW FROM BAR
.. |leftthreetimes|                  unicode:: U+022CB .. LEFT SEMIDIRECT PRODUCT
.. |LeftTriangle|                    unicode:: U+022B2 .. NORMAL SUBGROUP OF
.. |LeftTriangleEqual|               unicode:: U+022B4 .. NORMAL SUBGROUP OF OR EQUAL TO
.. |LeftUpVector|                    unicode:: U+021BF .. UPWARDS HARPOON WITH BARB LEFTWARDS
.. |LeftVector|                      unicode:: U+021BC .. LEFTWARDS HARPOON WITH BARB UPWARDS
.. |leq|                             unicode:: U+02264 .. LESS-THAN OR EQUAL TO
.. |leqq|                            unicode:: U+02266 .. LESS-THAN OVER EQUAL TO
.. |leqslant|                        unicode:: U+02A7D .. LESS-THAN OR SLANTED EQUAL TO
.. |lessapprox|                      unicode:: U+02A85 .. LESS-THAN OR APPROXIMATE
.. |lessdot|                         unicode:: U+022D6 .. LESS-THAN WITH DOT
.. |lesseqgtr|                       unicode:: U+022DA .. LESS-THAN EQUAL TO OR GREATER-THAN
.. |lesseqqgtr|                      unicode:: U+02A8B .. LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
.. |LessEqualGreater|                unicode:: U+022DA .. LESS-THAN EQUAL TO OR GREATER-THAN
.. |LessFullEqual|                   unicode:: U+02266 .. LESS-THAN OVER EQUAL TO
.. |LessGreater|                     unicode:: U+02276 .. LESS-THAN OR GREATER-THAN
.. |lessgtr|                         unicode:: U+02276 .. LESS-THAN OR GREATER-THAN
.. |lesssim|                         unicode:: U+02272 .. LESS-THAN OR EQUIVALENT TO
.. |LessSlantEqual|                  unicode:: U+02A7D .. LESS-THAN OR SLANTED EQUAL TO
.. |LessTilde|                       unicode:: U+02272 .. LESS-THAN OR EQUIVALENT TO
.. |ll|                              unicode:: U+0226A .. MUCH LESS-THAN
.. |llcorner|                        unicode:: U+0231E .. BOTTOM LEFT CORNER
.. |Lleftarrow|                      unicode:: U+021DA .. LEFTWARDS TRIPLE ARROW
.. |lmoustache|                      unicode:: U+023B0 .. UPPER LEFT OR LOWER RIGHT CURLY BRACKET SECTION
.. |lnapprox|                        unicode:: U+02A89 .. LESS-THAN AND NOT APPROXIMATE
.. |lneq|                            unicode:: U+02A87 .. LESS-THAN AND SINGLE-LINE NOT EQUAL TO
.. |lneqq|                           unicode:: U+02268 .. LESS-THAN BUT NOT EQUAL TO
.. |LongLeftArrow|                   unicode:: U+027F5 .. LONG LEFTWARDS ARROW
.. |Longleftarrow|                   unicode:: U+027F8 .. LONG LEFTWARDS DOUBLE ARROW
.. |longleftarrow|                   unicode:: U+027F5 .. LONG LEFTWARDS ARROW
.. |LongLeftRightArrow|              unicode:: U+027F7 .. LONG LEFT RIGHT ARROW
.. |Longleftrightarrow|              unicode:: U+027FA .. LONG LEFT RIGHT DOUBLE ARROW
.. |longleftrightarrow|              unicode:: U+027F7 .. LONG LEFT RIGHT ARROW
.. |longmapsto|                      unicode:: U+027FC .. LONG RIGHTWARDS ARROW FROM BAR
.. |LongRightArrow|                  unicode:: U+027F6 .. LONG RIGHTWARDS ARROW
.. |Longrightarrow|                  unicode:: U+027F9 .. LONG RIGHTWARDS DOUBLE ARROW
.. |longrightarrow|                  unicode:: U+027F6 .. LONG RIGHTWARDS ARROW
.. |looparrowleft|                   unicode:: U+021AB .. LEFTWARDS ARROW WITH LOOP
.. |looparrowright|                  unicode:: U+021AC .. RIGHTWARDS ARROW WITH LOOP
.. |LowerLeftArrow|                  unicode:: U+02199 .. SOUTH WEST ARROW
.. |LowerRightArrow|                 unicode:: U+02198 .. SOUTH EAST ARROW
.. |lozenge|                         unicode:: U+025CA .. LOZENGE
.. |lrcorner|                        unicode:: U+0231F .. BOTTOM RIGHT CORNER
.. |Lsh|                             unicode:: U+021B0 .. UPWARDS ARROW WITH TIP LEFTWARDS
.. |lvertneqq|                       unicode:: U+02268 U+0FE00 .. LESS-THAN BUT NOT EQUAL TO - with vertical stroke
.. |maltese|                         unicode:: U+02720 .. MALTESE CROSS
.. |mapsto|                          unicode:: U+021A6 .. RIGHTWARDS ARROW FROM BAR
.. |measuredangle|                   unicode:: U+02221 .. MEASURED ANGLE
.. |Mellintrf|                       unicode:: U+02133 .. SCRIPT CAPITAL M
.. |MinusPlus|                       unicode:: U+02213 .. MINUS-OR-PLUS SIGN
.. |mp|                              unicode:: U+02213 .. MINUS-OR-PLUS SIGN
.. |multimap|                        unicode:: U+022B8 .. MULTIMAP
.. |napprox|                         unicode:: U+02249 .. NOT ALMOST EQUAL TO
.. |natural|                         unicode:: U+0266E .. MUSIC NATURAL SIGN
.. |naturals|                        unicode:: U+02115 .. DOUBLE-STRUCK CAPITAL N
.. |nearrow|                         unicode:: U+02197 .. NORTH EAST ARROW
.. |NegativeMediumSpace|             unicode:: U+0200B .. ZERO WIDTH SPACE
.. |NegativeThickSpace|              unicode:: U+0200B .. ZERO WIDTH SPACE
.. |NegativeThinSpace|               unicode:: U+0200B .. ZERO WIDTH SPACE
.. |NegativeVeryThinSpace|           unicode:: U+0200B .. ZERO WIDTH SPACE
.. |NestedGreaterGreater|            unicode:: U+0226B .. MUCH GREATER-THAN
.. |NestedLessLess|                  unicode:: U+0226A .. MUCH LESS-THAN
.. |nexists|                         unicode:: U+02204 .. THERE DOES NOT EXIST
.. |ngeq|                            unicode:: U+02271 .. NEITHER GREATER-THAN NOR EQUAL TO
.. |ngeqq|                           unicode:: U+02267 U+00338 .. GREATER-THAN OVER EQUAL TO with slash
.. |ngeqslant|                       unicode:: U+02A7E U+00338 .. GREATER-THAN OR SLANTED EQUAL TO with slash
.. |ngtr|                            unicode:: U+0226F .. NOT GREATER-THAN
.. |nLeftarrow|                      unicode:: U+021CD .. LEFTWARDS DOUBLE ARROW WITH STROKE
.. |nleftarrow|                      unicode:: U+0219A .. LEFTWARDS ARROW WITH STROKE
.. |nLeftrightarrow|                 unicode:: U+021CE .. LEFT RIGHT DOUBLE ARROW WITH STROKE
.. |nleftrightarrow|                 unicode:: U+021AE .. LEFT RIGHT ARROW WITH STROKE
.. |nleq|                            unicode:: U+02270 .. NEITHER LESS-THAN NOR EQUAL TO
.. |nleqq|                           unicode:: U+02266 U+00338 .. LESS-THAN OVER EQUAL TO with slash
.. |nleqslant|                       unicode:: U+02A7D U+00338 .. LESS-THAN OR SLANTED EQUAL TO with slash
.. |nless|                           unicode:: U+0226E .. NOT LESS-THAN
.. |NonBreakingSpace|                unicode:: U+000A0 .. NO-BREAK SPACE
.. |NotCongruent|                    unicode:: U+02262 .. NOT IDENTICAL TO
.. |NotDoubleVerticalBar|            unicode:: U+02226 .. NOT PARALLEL TO
.. |NotElement|                      unicode:: U+02209 .. NOT AN ELEMENT OF
.. |NotEqual|                        unicode:: U+02260 .. NOT EQUAL TO
.. |NotEqualTilde|                   unicode:: U+02242 U+00338 .. MINUS TILDE with slash
.. |NotExists|                       unicode:: U+02204 .. THERE DOES NOT EXIST
.. |NotGreater|                      unicode:: U+0226F .. NOT GREATER-THAN
.. |NotGreaterEqual|                 unicode:: U+02271 .. NEITHER GREATER-THAN NOR EQUAL TO
.. |NotGreaterFullEqual|             unicode:: U+02266 U+00338 .. LESS-THAN OVER EQUAL TO with slash
.. |NotGreaterGreater|               unicode:: U+0226B U+00338 .. MUCH GREATER THAN with slash
.. |NotGreaterLess|                  unicode:: U+02279 .. NEITHER GREATER-THAN NOR LESS-THAN
.. |NotGreaterSlantEqual|            unicode:: U+02A7E U+00338 .. GREATER-THAN OR SLANTED EQUAL TO with slash
.. |NotGreaterTilde|                 unicode:: U+02275 .. NEITHER GREATER-THAN NOR EQUIVALENT TO
.. |NotHumpDownHump|                 unicode:: U+0224E U+00338 .. GEOMETRICALLY EQUIVALENT TO with slash
.. |NotLeftTriangle|                 unicode:: U+022EA .. NOT NORMAL SUBGROUP OF
.. |NotLeftTriangleEqual|            unicode:: U+022EC .. NOT NORMAL SUBGROUP OF OR EQUAL TO
.. |NotLess|                         unicode:: U+0226E .. NOT LESS-THAN
.. |NotLessEqual|                    unicode:: U+02270 .. NEITHER LESS-THAN NOR EQUAL TO
.. |NotLessGreater|                  unicode:: U+02278 .. NEITHER LESS-THAN NOR GREATER-THAN
.. |NotLessLess|                     unicode:: U+0226A U+00338 .. MUCH LESS THAN with slash
.. |NotLessSlantEqual|               unicode:: U+02A7D U+00338 .. LESS-THAN OR SLANTED EQUAL TO with slash
.. |NotLessTilde|                    unicode:: U+02274 .. NEITHER LESS-THAN NOR EQUIVALENT TO
.. |NotPrecedes|                     unicode:: U+02280 .. DOES NOT PRECEDE
.. |NotPrecedesEqual|                unicode:: U+02AAF U+00338 .. PRECEDES ABOVE SINGLE-LINE EQUALS SIGN with slash
.. |NotPrecedesSlantEqual|           unicode:: U+022E0 .. DOES NOT PRECEDE OR EQUAL
.. |NotReverseElement|               unicode:: U+0220C .. DOES NOT CONTAIN AS MEMBER
.. |NotRightTriangle|                unicode:: U+022EB .. DOES NOT CONTAIN AS NORMAL SUBGROUP
.. |NotRightTriangleEqual|           unicode:: U+022ED .. DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
.. |NotSquareSubsetEqual|            unicode:: U+022E2 .. NOT SQUARE IMAGE OF OR EQUAL TO
.. |NotSquareSupersetEqual|          unicode:: U+022E3 .. NOT SQUARE ORIGINAL OF OR EQUAL TO
.. |NotSubset|                       unicode:: U+02282 U+020D2 .. SUBSET OF with vertical line
.. |NotSubsetEqual|                  unicode:: U+02288 .. NEITHER A SUBSET OF NOR EQUAL TO
.. |NotSucceeds|                     unicode:: U+02281 .. DOES NOT SUCCEED
.. |NotSucceedsEqual|                unicode:: U+02AB0 U+00338 .. SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN with slash
.. |NotSucceedsSlantEqual|           unicode:: U+022E1 .. DOES NOT SUCCEED OR EQUAL
.. |NotSuperset|                     unicode:: U+02283 U+020D2 .. SUPERSET OF with vertical line
.. |NotSupersetEqual|                unicode:: U+02289 .. NEITHER A SUPERSET OF NOR EQUAL TO
.. |NotTilde|                        unicode:: U+02241 .. NOT TILDE
.. |NotTildeEqual|                   unicode:: U+02244 .. NOT ASYMPTOTICALLY EQUAL TO
.. |NotTildeFullEqual|               unicode:: U+02247 .. NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
.. |NotTildeTilde|                   unicode:: U+02249 .. NOT ALMOST EQUAL TO
.. |NotVerticalBar|                  unicode:: U+02224 .. DOES NOT DIVIDE
.. |nparallel|                       unicode:: U+02226 .. NOT PARALLEL TO
.. |nprec|                           unicode:: U+02280 .. DOES NOT PRECEDE
.. |npreceq|                         unicode:: U+02AAF U+00338 .. PRECEDES ABOVE SINGLE-LINE EQUALS SIGN with slash
.. |nRightarrow|                     unicode:: U+021CF .. RIGHTWARDS DOUBLE ARROW WITH STROKE
.. |nrightarrow|                     unicode:: U+0219B .. RIGHTWARDS ARROW WITH STROKE
.. |nshortmid|                       unicode:: U+02224 .. DOES NOT DIVIDE
.. |nshortparallel|                  unicode:: U+02226 .. NOT PARALLEL TO
.. |nsimeq|                          unicode:: U+02244 .. NOT ASYMPTOTICALLY EQUAL TO
.. |nsubset|                         unicode:: U+02282 U+020D2 .. SUBSET OF with vertical line
.. |nsubseteq|                       unicode:: U+02288 .. NEITHER A SUBSET OF NOR EQUAL TO
.. |nsubseteqq|                      unicode:: U+02AC5 U+00338 .. SUBSET OF ABOVE EQUALS SIGN with slash
.. |nsucc|                           unicode:: U+02281 .. DOES NOT SUCCEED
.. |nsucceq|                         unicode:: U+02AB0 U+00338 .. SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN with slash
.. |nsupset|                         unicode:: U+02283 U+020D2 .. SUPERSET OF with vertical line
.. |nsupseteq|                       unicode:: U+02289 .. NEITHER A SUPERSET OF NOR EQUAL TO
.. |nsupseteqq|                      unicode:: U+02AC6 U+00338 .. SUPERSET OF ABOVE EQUALS SIGN with slash
.. |ntriangleleft|                   unicode:: U+022EA .. NOT NORMAL SUBGROUP OF
.. |ntrianglelefteq|                 unicode:: U+022EC .. NOT NORMAL SUBGROUP OF OR EQUAL TO
.. |ntriangleright|                  unicode:: U+022EB .. DOES NOT CONTAIN AS NORMAL SUBGROUP
.. |ntrianglerighteq|                unicode:: U+022ED .. DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
.. |nwarrow|                         unicode:: U+02196 .. NORTH WEST ARROW
.. |oint|                            unicode:: U+0222E .. CONTOUR INTEGRAL
.. |OpenCurlyDoubleQuote|            unicode:: U+0201C .. LEFT DOUBLE QUOTATION MARK
.. |OpenCurlyQuote|                  unicode:: U+02018 .. LEFT SINGLE QUOTATION MARK
.. |orderof|                         unicode:: U+02134 .. SCRIPT SMALL O
.. |parallel|                        unicode:: U+02225 .. PARALLEL TO
.. |PartialD|                        unicode:: U+02202 .. PARTIAL DIFFERENTIAL
.. |pitchfork|                       unicode:: U+022D4 .. PITCHFORK
.. |PlusMinus|                       unicode:: U+000B1 .. PLUS-MINUS SIGN
.. |pm|                              unicode:: U+000B1 .. PLUS-MINUS SIGN
.. |Poincareplane|                   unicode:: U+0210C .. BLACK-LETTER CAPITAL H
.. |prec|                            unicode:: U+0227A .. PRECEDES
.. |precapprox|                      unicode:: U+02AB7 .. PRECEDES ABOVE ALMOST EQUAL TO
.. |preccurlyeq|                     unicode:: U+0227C .. PRECEDES OR EQUAL TO
.. |Precedes|                        unicode:: U+0227A .. PRECEDES
.. |PrecedesEqual|                   unicode:: U+02AAF .. PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
.. |PrecedesSlantEqual|              unicode:: U+0227C .. PRECEDES OR EQUAL TO
.. |PrecedesTilde|                   unicode:: U+0227E .. PRECEDES OR EQUIVALENT TO
.. |preceq|                          unicode:: U+02AAF .. PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
.. |precnapprox|                     unicode:: U+02AB9 .. PRECEDES ABOVE NOT ALMOST EQUAL TO
.. |precneqq|                        unicode:: U+02AB5 .. PRECEDES ABOVE NOT EQUAL TO
.. |precnsim|                        unicode:: U+022E8 .. PRECEDES BUT NOT EQUIVALENT TO
.. |precsim|                         unicode:: U+0227E .. PRECEDES OR EQUIVALENT TO
.. |primes|                          unicode:: U+02119 .. DOUBLE-STRUCK CAPITAL P
.. |Proportion|                      unicode:: U+02237 .. PROPORTION
.. |Proportional|                    unicode:: U+0221D .. PROPORTIONAL TO
.. |propto|                          unicode:: U+0221D .. PROPORTIONAL TO
.. |quaternions|                     unicode:: U+0210D .. DOUBLE-STRUCK CAPITAL H
.. |questeq|                         unicode:: U+0225F .. QUESTIONED EQUAL TO
.. |rangle|                          unicode:: U+0232A .. RIGHT-POINTING ANGLE BRACKET
.. |rationals|                       unicode:: U+0211A .. DOUBLE-STRUCK CAPITAL Q
.. |rbrace|                          unicode:: U+0007D .. RIGHT CURLY BRACKET
.. |rbrack|                          unicode:: U+0005D .. RIGHT SQUARE BRACKET
.. |Re|                              unicode:: U+0211C .. BLACK-LETTER CAPITAL R
.. |realine|                         unicode:: U+0211B .. SCRIPT CAPITAL R
.. |realpart|                        unicode:: U+0211C .. BLACK-LETTER CAPITAL R
.. |reals|                           unicode:: U+0211D .. DOUBLE-STRUCK CAPITAL R
.. |ReverseElement|                  unicode:: U+0220B .. CONTAINS AS MEMBER
.. |ReverseEquilibrium|              unicode:: U+021CB .. LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON
.. |ReverseUpEquilibrium|            unicode:: U+0296F .. DOWNWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT
.. |RightAngleBracket|               unicode:: U+0232A .. RIGHT-POINTING ANGLE BRACKET
.. |RightArrow|                      unicode:: U+02192 .. RIGHTWARDS ARROW
.. |Rightarrow|                      unicode:: U+021D2 .. RIGHTWARDS DOUBLE ARROW
.. |rightarrow|                      unicode:: U+02192 .. RIGHTWARDS ARROW
.. |RightArrowBar|                   unicode:: U+021E5 .. RIGHTWARDS ARROW TO BAR
.. |RightArrowLeftArrow|             unicode:: U+021C4 .. RIGHTWARDS ARROW OVER LEFTWARDS ARROW
.. |rightarrowtail|                  unicode:: U+021A3 .. RIGHTWARDS ARROW WITH TAIL
.. |RightCeiling|                    unicode:: U+02309 .. RIGHT CEILING
.. |RightDoubleBracket|              unicode:: U+0301B .. RIGHT WHITE SQUARE BRACKET
.. |RightDownVector|                 unicode:: U+021C2 .. DOWNWARDS HARPOON WITH BARB RIGHTWARDS
.. |RightFloor|                      unicode:: U+0230B .. RIGHT FLOOR
.. |rightharpoondown|                unicode:: U+021C1 .. RIGHTWARDS HARPOON WITH BARB DOWNWARDS
.. |rightharpoonup|                  unicode:: U+021C0 .. RIGHTWARDS HARPOON WITH BARB UPWARDS
.. |rightleftarrows|                 unicode:: U+021C4 .. RIGHTWARDS ARROW OVER LEFTWARDS ARROW
.. |rightleftharpoons|               unicode:: U+021CC .. RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON
.. |rightrightarrows|                unicode:: U+021C9 .. RIGHTWARDS PAIRED ARROWS
.. |rightsquigarrow|                 unicode:: U+0219D .. RIGHTWARDS WAVE ARROW
.. |RightTee|                        unicode:: U+022A2 .. RIGHT TACK
.. |RightTeeArrow|                   unicode:: U+021A6 .. RIGHTWARDS ARROW FROM BAR
.. |rightthreetimes|                 unicode:: U+022CC .. RIGHT SEMIDIRECT PRODUCT
.. |RightTriangle|                   unicode:: U+022B3 .. CONTAINS AS NORMAL SUBGROUP
.. |RightTriangleEqual|              unicode:: U+022B5 .. CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
.. |RightUpVector|                   unicode:: U+021BE .. UPWARDS HARPOON WITH BARB RIGHTWARDS
.. |RightVector|                     unicode:: U+021C0 .. RIGHTWARDS HARPOON WITH BARB UPWARDS
.. |risingdotseq|                    unicode:: U+02253 .. IMAGE OF OR APPROXIMATELY EQUAL TO
.. |rmoustache|                      unicode:: U+023B1 .. UPPER RIGHT OR LOWER LEFT CURLY BRACKET SECTION
.. |Rrightarrow|                     unicode:: U+021DB .. RIGHTWARDS TRIPLE ARROW
.. |Rsh|                             unicode:: U+021B1 .. UPWARDS ARROW WITH TIP RIGHTWARDS
.. |searrow|                         unicode:: U+02198 .. SOUTH EAST ARROW
.. |setminus|                        unicode:: U+02216 .. SET MINUS
.. |ShortDownArrow|                  unicode:: U+02193 .. DOWNWARDS ARROW
.. |ShortLeftArrow|                  unicode:: U+02190 .. LEFTWARDS ARROW
.. |shortmid|                        unicode:: U+02223 .. DIVIDES
.. |shortparallel|                   unicode:: U+02225 .. PARALLEL TO
.. |ShortRightArrow|                 unicode:: U+02192 .. RIGHTWARDS ARROW
.. |ShortUpArrow|                    unicode:: U+02191 .. UPWARDS ARROW
.. |simeq|                           unicode:: U+02243 .. ASYMPTOTICALLY EQUAL TO
.. |SmallCircle|                     unicode:: U+02218 .. RING OPERATOR
.. |smallsetminus|                   unicode:: U+02216 .. SET MINUS
.. |spadesuit|                       unicode:: U+02660 .. BLACK SPADE SUIT
.. |Sqrt|                            unicode:: U+0221A .. SQUARE ROOT
.. |sqsubset|                        unicode:: U+0228F .. SQUARE IMAGE OF
.. |sqsubseteq|                      unicode:: U+02291 .. SQUARE IMAGE OF OR EQUAL TO
.. |sqsupset|                        unicode:: U+02290 .. SQUARE ORIGINAL OF
.. |sqsupseteq|                      unicode:: U+02292 .. SQUARE ORIGINAL OF OR EQUAL TO
.. |Square|                          unicode:: U+025A1 .. WHITE SQUARE
.. |SquareIntersection|              unicode:: U+02293 .. SQUARE CAP
.. |SquareSubset|                    unicode:: U+0228F .. SQUARE IMAGE OF
.. |SquareSubsetEqual|               unicode:: U+02291 .. SQUARE IMAGE OF OR EQUAL TO
.. |SquareSuperset|                  unicode:: U+02290 .. SQUARE ORIGINAL OF
.. |SquareSupersetEqual|             unicode:: U+02292 .. SQUARE ORIGINAL OF OR EQUAL TO
.. |SquareUnion|                     unicode:: U+02294 .. SQUARE CUP
.. |Star|                            unicode:: U+022C6 .. STAR OPERATOR
.. |straightepsilon|                 unicode:: U+003F5 .. GREEK LUNATE EPSILON SYMBOL
.. |straightphi|                     unicode:: U+003D5 .. GREEK PHI SYMBOL
.. |Subset|                          unicode:: U+022D0 .. DOUBLE SUBSET
.. |subset|                          unicode:: U+02282 .. SUBSET OF
.. |subseteq|                        unicode:: U+02286 .. SUBSET OF OR EQUAL TO
.. |subseteqq|                       unicode:: U+02AC5 .. SUBSET OF ABOVE EQUALS SIGN
.. |SubsetEqual|                     unicode:: U+02286 .. SUBSET OF OR EQUAL TO
.. |subsetneq|                       unicode:: U+0228A .. SUBSET OF WITH NOT EQUAL TO
.. |subsetneqq|                      unicode:: U+02ACB .. SUBSET OF ABOVE NOT EQUAL TO
.. |succ|                            unicode:: U+0227B .. SUCCEEDS
.. |succapprox|                      unicode:: U+02AB8 .. SUCCEEDS ABOVE ALMOST EQUAL TO
.. |succcurlyeq|                     unicode:: U+0227D .. SUCCEEDS OR EQUAL TO
.. |Succeeds|                        unicode:: U+0227B .. SUCCEEDS
.. |SucceedsEqual|                   unicode:: U+02AB0 .. SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
.. |SucceedsSlantEqual|              unicode:: U+0227D .. SUCCEEDS OR EQUAL TO
.. |SucceedsTilde|                   unicode:: U+0227F .. SUCCEEDS OR EQUIVALENT TO
.. |succeq|                          unicode:: U+02AB0 .. SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
.. |succnapprox|                     unicode:: U+02ABA .. SUCCEEDS ABOVE NOT ALMOST EQUAL TO
.. |succneqq|                        unicode:: U+02AB6 .. SUCCEEDS ABOVE NOT EQUAL TO
.. |succnsim|                        unicode:: U+022E9 .. SUCCEEDS BUT NOT EQUIVALENT TO
.. |succsim|                         unicode:: U+0227F .. SUCCEEDS OR EQUIVALENT TO
.. |SuchThat|                        unicode:: U+0220B .. CONTAINS AS MEMBER
.. |Sum|                             unicode:: U+02211 .. N-ARY SUMMATION
.. |Superset|                        unicode:: U+02283 .. SUPERSET OF
.. |SupersetEqual|                   unicode:: U+02287 .. SUPERSET OF OR EQUAL TO
.. |Supset|                          unicode:: U+022D1 .. DOUBLE SUPERSET
.. |supset|                          unicode:: U+02283 .. SUPERSET OF
.. |supseteq|                        unicode:: U+02287 .. SUPERSET OF OR EQUAL TO
.. |supseteqq|                       unicode:: U+02AC6 .. SUPERSET OF ABOVE EQUALS SIGN
.. |supsetneq|                       unicode:: U+0228B .. SUPERSET OF WITH NOT EQUAL TO
.. |supsetneqq|                      unicode:: U+02ACC .. SUPERSET OF ABOVE NOT EQUAL TO
.. |swarrow|                         unicode:: U+02199 .. SOUTH WEST ARROW
.. |Therefore|                       unicode:: U+02234 .. THEREFORE
.. |therefore|                       unicode:: U+02234 .. THEREFORE
.. |thickapprox|                     unicode:: U+02248 .. ALMOST EQUAL TO
.. |thicksim|                        unicode:: U+0223C .. TILDE OPERATOR
.. |ThinSpace|                       unicode:: U+02009 .. THIN SPACE
.. |Tilde|                           unicode:: U+0223C .. TILDE OPERATOR
.. |TildeEqual|                      unicode:: U+02243 .. ASYMPTOTICALLY EQUAL TO
.. |TildeFullEqual|                  unicode:: U+02245 .. APPROXIMATELY EQUAL TO
.. |TildeTilde|                      unicode:: U+02248 .. ALMOST EQUAL TO
.. |toea|                            unicode:: U+02928 .. NORTH EAST ARROW AND SOUTH EAST ARROW
.. |tosa|                            unicode:: U+02929 .. SOUTH EAST ARROW AND SOUTH WEST ARROW
.. |triangle|                        unicode:: U+025B5 .. WHITE UP-POINTING SMALL TRIANGLE
.. |triangledown|                    unicode:: U+025BF .. WHITE DOWN-POINTING SMALL TRIANGLE
.. |triangleleft|                    unicode:: U+025C3 .. WHITE LEFT-POINTING SMALL TRIANGLE
.. |trianglelefteq|                  unicode:: U+022B4 .. NORMAL SUBGROUP OF OR EQUAL TO
.. |triangleq|                       unicode:: U+0225C .. DELTA EQUAL TO
.. |triangleright|                   unicode:: U+025B9 .. WHITE RIGHT-POINTING SMALL TRIANGLE
.. |trianglerighteq|                 unicode:: U+022B5 .. CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
.. |TripleDot|                       unicode:: U+020DB .. COMBINING THREE DOTS ABOVE
.. |twoheadleftarrow|                unicode:: U+0219E .. LEFTWARDS TWO HEADED ARROW
.. |twoheadrightarrow|               unicode:: U+021A0 .. RIGHTWARDS TWO HEADED ARROW
.. |ulcorner|                        unicode:: U+0231C .. TOP LEFT CORNER
.. |Union|                           unicode:: U+022C3 .. N-ARY UNION
.. |UnionPlus|                       unicode:: U+0228E .. MULTISET UNION
.. |UpArrow|                         unicode:: U+02191 .. UPWARDS ARROW
.. |Uparrow|                         unicode:: U+021D1 .. UPWARDS DOUBLE ARROW
.. |uparrow|                         unicode:: U+02191 .. UPWARDS ARROW
.. |UpArrowDownArrow|                unicode:: U+021C5 .. UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW
.. |UpDownArrow|                     unicode:: U+02195 .. UP DOWN ARROW
.. |Updownarrow|                     unicode:: U+021D5 .. UP DOWN DOUBLE ARROW
.. |updownarrow|                     unicode:: U+02195 .. UP DOWN ARROW
.. |UpEquilibrium|                   unicode:: U+0296E .. UPWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT
.. |upharpoonleft|                   unicode:: U+021BF .. UPWARDS HARPOON WITH BARB LEFTWARDS
.. |upharpoonright|                  unicode:: U+021BE .. UPWARDS HARPOON WITH BARB RIGHTWARDS
.. |UpperLeftArrow|                  unicode:: U+02196 .. NORTH WEST ARROW
.. |UpperRightArrow|                 unicode:: U+02197 .. NORTH EAST ARROW
.. |upsilon|                         unicode:: U+003C5 .. GREEK SMALL LETTER UPSILON
.. |UpTee|                           unicode:: U+022A5 .. UP TACK
.. |UpTeeArrow|                      unicode:: U+021A5 .. UPWARDS ARROW FROM BAR
.. |upuparrows|                      unicode:: U+021C8 .. UPWARDS PAIRED ARROWS
.. |urcorner|                        unicode:: U+0231D .. TOP RIGHT CORNER
.. |varepsilon|                      unicode:: U+003B5 .. GREEK SMALL LETTER EPSILON
.. |varkappa|                        unicode:: U+003F0 .. GREEK KAPPA SYMBOL
.. |varnothing|                      unicode:: U+02205 .. EMPTY SET
.. |varphi|                          unicode:: U+003C6 .. GREEK SMALL LETTER PHI
.. |varpi|                           unicode:: U+003D6 .. GREEK PI SYMBOL
.. |varpropto|                       unicode:: U+0221D .. PROPORTIONAL TO
.. |varrho|                          unicode:: U+003F1 .. GREEK RHO SYMBOL
.. |varsigma|                        unicode:: U+003C2 .. GREEK SMALL LETTER FINAL SIGMA
.. |varsubsetneq|                    unicode:: U+0228A U+0FE00 .. SUBSET OF WITH NOT EQUAL TO - variant with stroke through bottom members
.. |varsubsetneqq|                   unicode:: U+02ACB U+0FE00 .. SUBSET OF ABOVE NOT EQUAL TO - variant with stroke through bottom members
.. |varsupsetneq|                    unicode:: U+0228B U+0FE00 .. SUPERSET OF WITH NOT EQUAL TO - variant with stroke through bottom members
.. |varsupsetneqq|                   unicode:: U+02ACC U+0FE00 .. SUPERSET OF ABOVE NOT EQUAL TO - variant with stroke through bottom members
.. |vartheta|                        unicode:: U+003D1 .. GREEK THETA SYMBOL
.. |vartriangleleft|                 unicode:: U+022B2 .. NORMAL SUBGROUP OF
.. |vartriangleright|                unicode:: U+022B3 .. CONTAINS AS NORMAL SUBGROUP
.. |Vee|                             unicode:: U+022C1 .. N-ARY LOGICAL OR
.. |vee|                             unicode:: U+02228 .. LOGICAL OR
.. |Vert|                            unicode:: U+02016 .. DOUBLE VERTICAL LINE
.. |vert|                            unicode:: U+0007C .. VERTICAL LINE
.. |VerticalBar|                     unicode:: U+02223 .. DIVIDES
.. |VerticalTilde|                   unicode:: U+02240 .. WREATH PRODUCT
.. |VeryThinSpace|                   unicode:: U+0200A .. HAIR SPACE
.. |Wedge|                           unicode:: U+022C0 .. N-ARY LOGICAL AND
.. |wedge|                           unicode:: U+02227 .. LOGICAL AND
.. |wp|                              unicode:: U+02118 .. SCRIPT CAPITAL P
.. |wr|                              unicode:: U+02240 .. WREATH PRODUCT
.. |zeetrf|                          unicode:: U+02128 .. BLACK-LETTER CAPITAL Z