1
.. This data file has been placed in the public domain.
2
.. Derived from the Unicode character mappings available from
3
<http://www.w3.org/2003/entities/xml/>.
4
Processed by unicode2rstsubs.py, part of Docutils:
5
<http://docutils.sourceforge.net>.
7
.. |apE| unicode:: U+02A70 .. APPROXIMATELY EQUAL OR EQUAL TO
8
.. |ape| unicode:: U+0224A .. ALMOST EQUAL OR EQUAL TO
9
.. |apid| unicode:: U+0224B .. TRIPLE TILDE
10
.. |asymp| unicode:: U+02248 .. ALMOST EQUAL TO
11
.. |Barv| unicode:: U+02AE7 .. SHORT DOWN TACK WITH OVERBAR
12
.. |bcong| unicode:: U+0224C .. ALL EQUAL TO
13
.. |bepsi| unicode:: U+003F6 .. GREEK REVERSED LUNATE EPSILON SYMBOL
14
.. |bowtie| unicode:: U+022C8 .. BOWTIE
15
.. |bsim| unicode:: U+0223D .. REVERSED TILDE
16
.. |bsime| unicode:: U+022CD .. REVERSED TILDE EQUALS
17
.. |bsolhsub| unicode:: U+0005C U+02282 .. REVERSE SOLIDUS, SUBSET OF
18
.. |bump| unicode:: U+0224E .. GEOMETRICALLY EQUIVALENT TO
19
.. |bumpE| unicode:: U+02AAE .. EQUALS SIGN WITH BUMPY ABOVE
20
.. |bumpe| unicode:: U+0224F .. DIFFERENCE BETWEEN
21
.. |cire| unicode:: U+02257 .. RING EQUAL TO
22
.. |Colon| unicode:: U+02237 .. PROPORTION
23
.. |Colone| unicode:: U+02A74 .. DOUBLE COLON EQUAL
24
.. |colone| unicode:: U+02254 .. COLON EQUALS
25
.. |congdot| unicode:: U+02A6D .. CONGRUENT WITH DOT ABOVE
26
.. |csub| unicode:: U+02ACF .. CLOSED SUBSET
27
.. |csube| unicode:: U+02AD1 .. CLOSED SUBSET OR EQUAL TO
28
.. |csup| unicode:: U+02AD0 .. CLOSED SUPERSET
29
.. |csupe| unicode:: U+02AD2 .. CLOSED SUPERSET OR EQUAL TO
30
.. |cuepr| unicode:: U+022DE .. EQUAL TO OR PRECEDES
31
.. |cuesc| unicode:: U+022DF .. EQUAL TO OR SUCCEEDS
32
.. |cupre| unicode:: U+0227C .. PRECEDES OR EQUAL TO
33
.. |Dashv| unicode:: U+02AE4 .. VERTICAL BAR DOUBLE LEFT TURNSTILE
34
.. |dashv| unicode:: U+022A3 .. LEFT TACK
35
.. |easter| unicode:: U+02A6E .. EQUALS WITH ASTERISK
36
.. |ecir| unicode:: U+02256 .. RING IN EQUAL TO
37
.. |ecolon| unicode:: U+02255 .. EQUALS COLON
38
.. |eDDot| unicode:: U+02A77 .. EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
39
.. |eDot| unicode:: U+02251 .. GEOMETRICALLY EQUAL TO
40
.. |efDot| unicode:: U+02252 .. APPROXIMATELY EQUAL TO OR THE IMAGE OF
41
.. |eg| unicode:: U+02A9A .. DOUBLE-LINE EQUAL TO OR GREATER-THAN
42
.. |egs| unicode:: U+02A96 .. SLANTED EQUAL TO OR GREATER-THAN
43
.. |egsdot| unicode:: U+02A98 .. SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE
44
.. |el| unicode:: U+02A99 .. DOUBLE-LINE EQUAL TO OR LESS-THAN
45
.. |els| unicode:: U+02A95 .. SLANTED EQUAL TO OR LESS-THAN
46
.. |elsdot| unicode:: U+02A97 .. SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE
47
.. |equest| unicode:: U+0225F .. QUESTIONED EQUAL TO
48
.. |equivDD| unicode:: U+02A78 .. EQUIVALENT WITH FOUR DOTS ABOVE
49
.. |erDot| unicode:: U+02253 .. IMAGE OF OR APPROXIMATELY EQUAL TO
50
.. |esdot| unicode:: U+02250 .. APPROACHES THE LIMIT
51
.. |Esim| unicode:: U+02A73 .. EQUALS SIGN ABOVE TILDE OPERATOR
52
.. |esim| unicode:: U+02242 .. MINUS TILDE
53
.. |fork| unicode:: U+022D4 .. PITCHFORK
54
.. |forkv| unicode:: U+02AD9 .. ELEMENT OF OPENING DOWNWARDS
55
.. |frown| unicode:: U+02322 .. FROWN
56
.. |gap| unicode:: U+02A86 .. GREATER-THAN OR APPROXIMATE
57
.. |gE| unicode:: U+02267 .. GREATER-THAN OVER EQUAL TO
58
.. |gEl| unicode:: U+02A8C .. GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
59
.. |gel| unicode:: U+022DB .. GREATER-THAN EQUAL TO OR LESS-THAN
60
.. |ges| unicode:: U+02A7E .. GREATER-THAN OR SLANTED EQUAL TO
61
.. |gescc| unicode:: U+02AA9 .. GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
62
.. |gesdot| unicode:: U+02A80 .. GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
63
.. |gesdoto| unicode:: U+02A82 .. GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
64
.. |gesdotol| unicode:: U+02A84 .. GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT
65
.. |gesl| unicode:: U+022DB U+0FE00 .. GREATER-THAN slanted EQUAL TO OR LESS-THAN
66
.. |gesles| unicode:: U+02A94 .. GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL
67
.. |Gg| unicode:: U+022D9 .. VERY MUCH GREATER-THAN
68
.. |gl| unicode:: U+02277 .. GREATER-THAN OR LESS-THAN
69
.. |gla| unicode:: U+02AA5 .. GREATER-THAN BESIDE LESS-THAN
70
.. |glE| unicode:: U+02A92 .. GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL
71
.. |glj| unicode:: U+02AA4 .. GREATER-THAN OVERLAPPING LESS-THAN
72
.. |gsdot| unicode:: U+022D7 .. GREATER-THAN WITH DOT
73
.. |gsim| unicode:: U+02273 .. GREATER-THAN OR EQUIVALENT TO
74
.. |gsime| unicode:: U+02A8E .. GREATER-THAN ABOVE SIMILAR OR EQUAL
75
.. |gsiml| unicode:: U+02A90 .. GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN
76
.. |Gt| unicode:: U+0226B .. MUCH GREATER-THAN
77
.. |gtcc| unicode:: U+02AA7 .. GREATER-THAN CLOSED BY CURVE
78
.. |gtcir| unicode:: U+02A7A .. GREATER-THAN WITH CIRCLE INSIDE
79
.. |gtdot| unicode:: U+022D7 .. GREATER-THAN WITH DOT
80
.. |gtquest| unicode:: U+02A7C .. GREATER-THAN WITH QUESTION MARK ABOVE
81
.. |gtrarr| unicode:: U+02978 .. GREATER-THAN ABOVE RIGHTWARDS ARROW
82
.. |homtht| unicode:: U+0223B .. HOMOTHETIC
83
.. |lap| unicode:: U+02A85 .. LESS-THAN OR APPROXIMATE
84
.. |lat| unicode:: U+02AAB .. LARGER THAN
85
.. |late| unicode:: U+02AAD .. LARGER THAN OR EQUAL TO
86
.. |lates| unicode:: U+02AAD U+0FE00 .. LARGER THAN OR slanted EQUAL
87
.. |ldot| unicode:: U+022D6 .. LESS-THAN WITH DOT
88
.. |lE| unicode:: U+02266 .. LESS-THAN OVER EQUAL TO
89
.. |lEg| unicode:: U+02A8B .. LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
90
.. |leg| unicode:: U+022DA .. LESS-THAN EQUAL TO OR GREATER-THAN
91
.. |les| unicode:: U+02A7D .. LESS-THAN OR SLANTED EQUAL TO
92
.. |lescc| unicode:: U+02AA8 .. LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
93
.. |lesdot| unicode:: U+02A7F .. LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
94
.. |lesdoto| unicode:: U+02A81 .. LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
95
.. |lesdotor| unicode:: U+02A83 .. LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT
96
.. |lesg| unicode:: U+022DA U+0FE00 .. LESS-THAN slanted EQUAL TO OR GREATER-THAN
97
.. |lesges| unicode:: U+02A93 .. LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL
98
.. |lg| unicode:: U+02276 .. LESS-THAN OR GREATER-THAN
99
.. |lgE| unicode:: U+02A91 .. LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL
100
.. |Ll| unicode:: U+022D8 .. VERY MUCH LESS-THAN
101
.. |lsim| unicode:: U+02272 .. LESS-THAN OR EQUIVALENT TO
102
.. |lsime| unicode:: U+02A8D .. LESS-THAN ABOVE SIMILAR OR EQUAL
103
.. |lsimg| unicode:: U+02A8F .. LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN
104
.. |Lt| unicode:: U+0226A .. MUCH LESS-THAN
105
.. |ltcc| unicode:: U+02AA6 .. LESS-THAN CLOSED BY CURVE
106
.. |ltcir| unicode:: U+02A79 .. LESS-THAN WITH CIRCLE INSIDE
107
.. |ltdot| unicode:: U+022D6 .. LESS-THAN WITH DOT
108
.. |ltlarr| unicode:: U+02976 .. LESS-THAN ABOVE LEFTWARDS ARROW
109
.. |ltquest| unicode:: U+02A7B .. LESS-THAN WITH QUESTION MARK ABOVE
110
.. |ltrie| unicode:: U+022B4 .. NORMAL SUBGROUP OF OR EQUAL TO
111
.. |mcomma| unicode:: U+02A29 .. MINUS SIGN WITH COMMA ABOVE
112
.. |mDDot| unicode:: U+0223A .. GEOMETRIC PROPORTION
113
.. |mid| unicode:: U+02223 .. DIVIDES
114
.. |mlcp| unicode:: U+02ADB .. TRANSVERSAL INTERSECTION
115
.. |models| unicode:: U+022A7 .. MODELS
116
.. |mstpos| unicode:: U+0223E .. INVERTED LAZY S
117
.. |Pr| unicode:: U+02ABB .. DOUBLE PRECEDES
118
.. |pr| unicode:: U+0227A .. PRECEDES
119
.. |prap| unicode:: U+02AB7 .. PRECEDES ABOVE ALMOST EQUAL TO
120
.. |prcue| unicode:: U+0227C .. PRECEDES OR EQUAL TO
121
.. |prE| unicode:: U+02AB3 .. PRECEDES ABOVE EQUALS SIGN
122
.. |pre| unicode:: U+02AAF .. PRECEDES ABOVE SINGLE-LINE EQUALS SIGN
123
.. |prsim| unicode:: U+0227E .. PRECEDES OR EQUIVALENT TO
124
.. |prurel| unicode:: U+022B0 .. PRECEDES UNDER RELATION
125
.. |ratio| unicode:: U+02236 .. RATIO
126
.. |rtrie| unicode:: U+022B5 .. CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
127
.. |rtriltri| unicode:: U+029CE .. RIGHT TRIANGLE ABOVE LEFT TRIANGLE
128
.. |samalg| unicode:: U+02210 .. N-ARY COPRODUCT
129
.. |Sc| unicode:: U+02ABC .. DOUBLE SUCCEEDS
130
.. |sc| unicode:: U+0227B .. SUCCEEDS
131
.. |scap| unicode:: U+02AB8 .. SUCCEEDS ABOVE ALMOST EQUAL TO
132
.. |sccue| unicode:: U+0227D .. SUCCEEDS OR EQUAL TO
133
.. |scE| unicode:: U+02AB4 .. SUCCEEDS ABOVE EQUALS SIGN
134
.. |sce| unicode:: U+02AB0 .. SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
135
.. |scsim| unicode:: U+0227F .. SUCCEEDS OR EQUIVALENT TO
136
.. |sdote| unicode:: U+02A66 .. EQUALS SIGN WITH DOT BELOW
137
.. |sfrown| unicode:: U+02322 .. FROWN
138
.. |simg| unicode:: U+02A9E .. SIMILAR OR GREATER-THAN
139
.. |simgE| unicode:: U+02AA0 .. SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN
140
.. |siml| unicode:: U+02A9D .. SIMILAR OR LESS-THAN
141
.. |simlE| unicode:: U+02A9F .. SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN
142
.. |smid| unicode:: U+02223 .. DIVIDES
143
.. |smile| unicode:: U+02323 .. SMILE
144
.. |smt| unicode:: U+02AAA .. SMALLER THAN
145
.. |smte| unicode:: U+02AAC .. SMALLER THAN OR EQUAL TO
146
.. |smtes| unicode:: U+02AAC U+0FE00 .. SMALLER THAN OR slanted EQUAL
147
.. |spar| unicode:: U+02225 .. PARALLEL TO
148
.. |sqsub| unicode:: U+0228F .. SQUARE IMAGE OF
149
.. |sqsube| unicode:: U+02291 .. SQUARE IMAGE OF OR EQUAL TO
150
.. |sqsup| unicode:: U+02290 .. SQUARE ORIGINAL OF
151
.. |sqsupe| unicode:: U+02292 .. SQUARE ORIGINAL OF OR EQUAL TO
152
.. |ssmile| unicode:: U+02323 .. SMILE
153
.. |Sub| unicode:: U+022D0 .. DOUBLE SUBSET
154
.. |subE| unicode:: U+02AC5 .. SUBSET OF ABOVE EQUALS SIGN
155
.. |subedot| unicode:: U+02AC3 .. SUBSET OF OR EQUAL TO WITH DOT ABOVE
156
.. |submult| unicode:: U+02AC1 .. SUBSET WITH MULTIPLICATION SIGN BELOW
157
.. |subplus| unicode:: U+02ABF .. SUBSET WITH PLUS SIGN BELOW
158
.. |subrarr| unicode:: U+02979 .. SUBSET ABOVE RIGHTWARDS ARROW
159
.. |subsim| unicode:: U+02AC7 .. SUBSET OF ABOVE TILDE OPERATOR
160
.. |subsub| unicode:: U+02AD5 .. SUBSET ABOVE SUBSET
161
.. |subsup| unicode:: U+02AD3 .. SUBSET ABOVE SUPERSET
162
.. |Sup| unicode:: U+022D1 .. DOUBLE SUPERSET
163
.. |supdsub| unicode:: U+02AD8 .. SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET
164
.. |supE| unicode:: U+02AC6 .. SUPERSET OF ABOVE EQUALS SIGN
165
.. |supedot| unicode:: U+02AC4 .. SUPERSET OF OR EQUAL TO WITH DOT ABOVE
166
.. |suphsol| unicode:: U+02283 U+0002F .. SUPERSET OF, SOLIDUS
167
.. |suphsub| unicode:: U+02AD7 .. SUPERSET BESIDE SUBSET
168
.. |suplarr| unicode:: U+0297B .. SUPERSET ABOVE LEFTWARDS ARROW
169
.. |supmult| unicode:: U+02AC2 .. SUPERSET WITH MULTIPLICATION SIGN BELOW
170
.. |supplus| unicode:: U+02AC0 .. SUPERSET WITH PLUS SIGN BELOW
171
.. |supsim| unicode:: U+02AC8 .. SUPERSET OF ABOVE TILDE OPERATOR
172
.. |supsub| unicode:: U+02AD4 .. SUPERSET ABOVE SUBSET
173
.. |supsup| unicode:: U+02AD6 .. SUPERSET ABOVE SUPERSET
174
.. |thkap| unicode:: U+02248 .. ALMOST EQUAL TO
175
.. |thksim| unicode:: U+0223C .. TILDE OPERATOR
176
.. |topfork| unicode:: U+02ADA .. PITCHFORK WITH TEE TOP
177
.. |trie| unicode:: U+0225C .. DELTA EQUAL TO
178
.. |twixt| unicode:: U+0226C .. BETWEEN
179
.. |Vbar| unicode:: U+02AEB .. DOUBLE UP TACK
180
.. |vBar| unicode:: U+02AE8 .. SHORT UP TACK WITH UNDERBAR
181
.. |vBarv| unicode:: U+02AE9 .. SHORT UP TACK ABOVE SHORT DOWN TACK
182
.. |VDash| unicode:: U+022AB .. DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
183
.. |Vdash| unicode:: U+022A9 .. FORCES
184
.. |vDash| unicode:: U+022A8 .. TRUE
185
.. |vdash| unicode:: U+022A2 .. RIGHT TACK
186
.. |Vdashl| unicode:: U+02AE6 .. LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL
187
.. |veebar| unicode:: U+022BB .. XOR
188
.. |vltri| unicode:: U+022B2 .. NORMAL SUBGROUP OF
189
.. |vprop| unicode:: U+0221D .. PROPORTIONAL TO
190
.. |vrtri| unicode:: U+022B3 .. CONTAINS AS NORMAL SUBGROUP
191
.. |Vvdash| unicode:: U+022AA .. TRIPLE VERTICAL BAR RIGHT TURNSTILE