Commit | Line | Data |
---|---|---|
9f270253 GM |
1 | (nxml-define-char-name-set 'supplemental-mathematical-operators |
2 | '(("N-ARY CIRCLED DOT OPERATOR" #x2A00) | |
3 | ("N-ARY CIRCLED PLUS OPERATOR" #x2A01) | |
4 | ("N-ARY CIRCLED TIMES OPERATOR" #x2A02) | |
5 | ("N-ARY UNION OPERATOR WITH DOT" #x2A03) | |
6 | ("N-ARY UNION OPERATOR WITH PLUS" #x2A04) | |
7 | ("N-ARY SQUARE INTERSECTION OPERATOR" #x2A05) | |
8 | ("N-ARY SQUARE UNION OPERATOR" #x2A06) | |
9 | ("TWO LOGICAL AND OPERATOR" #x2A07) | |
10 | ("TWO LOGICAL OR OPERATOR" #x2A08) | |
11 | ("N-ARY TIMES OPERATOR" #x2A09) | |
12 | ("MODULO TWO SUM" #x2A0A) | |
13 | ("SUMMATION WITH INTEGRAL" #x2A0B) | |
14 | ("QUADRUPLE INTEGRAL OPERATOR" #x2A0C) | |
15 | ("FINITE PART INTEGRAL" #x2A0D) | |
16 | ("INTEGRAL WITH DOUBLE STROKE" #x2A0E) | |
17 | ("INTEGRAL AVERAGE WITH SLASH" #x2A0F) | |
18 | ("CIRCULATION FUNCTION" #x2A10) | |
19 | ("ANTICLOCKWISE INTEGRATION" #x2A11) | |
20 | ("LINE INTEGRATION WITH RECTANGULAR PATH AROUND POLE" #x2A12) | |
21 | ("LINE INTEGRATION WITH SEMICIRCULAR PATH AROUND POLE" #x2A13) | |
22 | ("LINE INTEGRATION NOT INCLUDING THE POLE" #x2A14) | |
23 | ("INTEGRAL AROUND A POINT OPERATOR" #x2A15) | |
24 | ("QUATERNION INTEGRAL OPERATOR" #x2A16) | |
25 | ("INTEGRAL WITH LEFTWARDS ARROW WITH HOOK" #x2A17) | |
26 | ("INTEGRAL WITH TIMES SIGN" #x2A18) | |
27 | ("INTEGRAL WITH INTERSECTION" #x2A19) | |
28 | ("INTEGRAL WITH UNION" #x2A1A) | |
29 | ("INTEGRAL WITH OVERBAR" #x2A1B) | |
30 | ("INTEGRAL WITH UNDERBAR" #x2A1C) | |
31 | ("JOIN" #x2A1D) | |
32 | ("LARGE LEFT TRIANGLE OPERATOR" #x2A1E) | |
33 | ("Z NOTATION SCHEMA COMPOSITION" #x2A1F) | |
34 | ("Z NOTATION SCHEMA PIPING" #x2A20) | |
35 | ("Z NOTATION SCHEMA PROJECTION" #x2A21) | |
36 | ("PLUS SIGN WITH SMALL CIRCLE ABOVE" #x2A22) | |
37 | ("PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE" #x2A23) | |
38 | ("PLUS SIGN WITH TILDE ABOVE" #x2A24) | |
39 | ("PLUS SIGN WITH DOT BELOW" #x2A25) | |
40 | ("PLUS SIGN WITH TILDE BELOW" #x2A26) | |
41 | ("PLUS SIGN WITH SUBSCRIPT TWO" #x2A27) | |
42 | ("PLUS SIGN WITH BLACK TRIANGLE" #x2A28) | |
43 | ("MINUS SIGN WITH COMMA ABOVE" #x2A29) | |
44 | ("MINUS SIGN WITH DOT BELOW" #x2A2A) | |
45 | ("MINUS SIGN WITH FALLING DOTS" #x2A2B) | |
46 | ("MINUS SIGN WITH RISING DOTS" #x2A2C) | |
47 | ("PLUS SIGN IN LEFT HALF CIRCLE" #x2A2D) | |
48 | ("PLUS SIGN IN RIGHT HALF CIRCLE" #x2A2E) | |
49 | ("VECTOR OR CROSS PRODUCT" #x2A2F) | |
50 | ("MULTIPLICATION SIGN WITH DOT ABOVE" #x2A30) | |
51 | ("MULTIPLICATION SIGN WITH UNDERBAR" #x2A31) | |
52 | ("SEMIDIRECT PRODUCT WITH BOTTOM CLOSED" #x2A32) | |
53 | ("SMASH PRODUCT" #x2A33) | |
54 | ("MULTIPLICATION SIGN IN LEFT HALF CIRCLE" #x2A34) | |
55 | ("MULTIPLICATION SIGN IN RIGHT HALF CIRCLE" #x2A35) | |
56 | ("CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT" #x2A36) | |
57 | ("MULTIPLICATION SIGN IN DOUBLE CIRCLE" #x2A37) | |
58 | ("CIRCLED DIVISION SIGN" #x2A38) | |
59 | ("PLUS SIGN IN TRIANGLE" #x2A39) | |
60 | ("MINUS SIGN IN TRIANGLE" #x2A3A) | |
61 | ("MULTIPLICATION SIGN IN TRIANGLE" #x2A3B) | |
62 | ("INTERIOR PRODUCT" #x2A3C) | |
63 | ("RIGHTHAND INTERIOR PRODUCT" #x2A3D) | |
64 | ("Z NOTATION RELATIONAL COMPOSITION" #x2A3E) | |
65 | ("AMALGAMATION OR COPRODUCT" #x2A3F) | |
66 | ("INTERSECTION WITH DOT" #x2A40) | |
67 | ("UNION WITH MINUS SIGN" #x2A41) | |
68 | ("UNION WITH OVERBAR" #x2A42) | |
69 | ("INTERSECTION WITH OVERBAR" #x2A43) | |
70 | ("INTERSECTION WITH LOGICAL AND" #x2A44) | |
71 | ("UNION WITH LOGICAL OR" #x2A45) | |
72 | ("UNION ABOVE INTERSECTION" #x2A46) | |
73 | ("INTERSECTION ABOVE UNION" #x2A47) | |
74 | ("UNION ABOVE BAR ABOVE INTERSECTION" #x2A48) | |
75 | ("INTERSECTION ABOVE BAR ABOVE UNION" #x2A49) | |
76 | ("UNION BESIDE AND JOINED WITH UNION" #x2A4A) | |
77 | ("INTERSECTION BESIDE AND JOINED WITH INTERSECTION" #x2A4B) | |
78 | ("CLOSED UNION WITH SERIFS" #x2A4C) | |
79 | ("CLOSED INTERSECTION WITH SERIFS" #x2A4D) | |
80 | ("DOUBLE SQUARE INTERSECTION" #x2A4E) | |
81 | ("DOUBLE SQUARE UNION" #x2A4F) | |
82 | ("CLOSED UNION WITH SERIFS AND SMASH PRODUCT" #x2A50) | |
83 | ("LOGICAL AND WITH DOT ABOVE" #x2A51) | |
84 | ("LOGICAL OR WITH DOT ABOVE" #x2A52) | |
85 | ("DOUBLE LOGICAL AND" #x2A53) | |
86 | ("DOUBLE LOGICAL OR" #x2A54) | |
87 | ("TWO INTERSECTING LOGICAL AND" #x2A55) | |
88 | ("TWO INTERSECTING LOGICAL OR" #x2A56) | |
89 | ("SLOPING LARGE OR" #x2A57) | |
90 | ("SLOPING LARGE AND" #x2A58) | |
91 | ("LOGICAL OR OVERLAPPING LOGICAL AND" #x2A59) | |
92 | ("LOGICAL AND WITH MIDDLE STEM" #x2A5A) | |
93 | ("LOGICAL OR WITH MIDDLE STEM" #x2A5B) | |
94 | ("LOGICAL AND WITH HORIZONTAL DASH" #x2A5C) | |
95 | ("LOGICAL OR WITH HORIZONTAL DASH" #x2A5D) | |
96 | ("LOGICAL AND WITH DOUBLE OVERBAR" #x2A5E) | |
97 | ("LOGICAL AND WITH UNDERBAR" #x2A5F) | |
98 | ("LOGICAL AND WITH DOUBLE UNDERBAR" #x2A60) | |
99 | ("SMALL VEE WITH UNDERBAR" #x2A61) | |
100 | ("LOGICAL OR WITH DOUBLE OVERBAR" #x2A62) | |
101 | ("LOGICAL OR WITH DOUBLE UNDERBAR" #x2A63) | |
102 | ("Z NOTATION DOMAIN ANTIRESTRICTION" #x2A64) | |
103 | ("Z NOTATION RANGE ANTIRESTRICTION" #x2A65) | |
104 | ("EQUALS SIGN WITH DOT BELOW" #x2A66) | |
105 | ("IDENTICAL WITH DOT ABOVE" #x2A67) | |
106 | ("TRIPLE HORIZONTAL BAR WITH DOUBLE VERTICAL STROKE" #x2A68) | |
107 | ("TRIPLE HORIZONTAL BAR WITH TRIPLE VERTICAL STROKE" #x2A69) | |
108 | ("TILDE OPERATOR WITH DOT ABOVE" #x2A6A) | |
109 | ("TILDE OPERATOR WITH RISING DOTS" #x2A6B) | |
110 | ("SIMILAR MINUS SIMILAR" #x2A6C) | |
111 | ("CONGRUENT WITH DOT ABOVE" #x2A6D) | |
112 | ("EQUALS WITH ASTERISK" #x2A6E) | |
113 | ("ALMOST EQUAL TO WITH CIRCUMFLEX ACCENT" #x2A6F) | |
114 | ("APPROXIMATELY EQUAL OR EQUAL TO" #x2A70) | |
115 | ("EQUALS SIGN ABOVE PLUS SIGN" #x2A71) | |
116 | ("PLUS SIGN ABOVE EQUALS SIGN" #x2A72) | |
117 | ("EQUALS SIGN ABOVE TILDE OPERATOR" #x2A73) | |
118 | ("DOUBLE COLON EQUAL" #x2A74) | |
119 | ("TWO CONSECUTIVE EQUALS SIGNS" #x2A75) | |
120 | ("THREE CONSECUTIVE EQUALS SIGNS" #x2A76) | |
121 | ("EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW" #x2A77) | |
122 | ("EQUIVALENT WITH FOUR DOTS ABOVE" #x2A78) | |
123 | ("LESS-THAN WITH CIRCLE INSIDE" #x2A79) | |
124 | ("GREATER-THAN WITH CIRCLE INSIDE" #x2A7A) | |
125 | ("LESS-THAN WITH QUESTION MARK ABOVE" #x2A7B) | |
126 | ("GREATER-THAN WITH QUESTION MARK ABOVE" #x2A7C) | |
127 | ("LESS-THAN OR SLANTED EQUAL TO" #x2A7D) | |
128 | ("GREATER-THAN OR SLANTED EQUAL TO" #x2A7E) | |
129 | ("LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE" #x2A7F) | |
130 | ("GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE" #x2A80) | |
131 | ("LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE" #x2A81) | |
132 | ("GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE" #x2A82) | |
133 | ("LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT" #x2A83) | |
134 | ("GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT" #x2A84) | |
135 | ("LESS-THAN OR APPROXIMATE" #x2A85) | |
136 | ("GREATER-THAN OR APPROXIMATE" #x2A86) | |
137 | ("LESS-THAN AND SINGLE-LINE NOT EQUAL TO" #x2A87) | |
138 | ("GREATER-THAN AND SINGLE-LINE NOT EQUAL TO" #x2A88) | |
139 | ("LESS-THAN AND NOT APPROXIMATE" #x2A89) | |
140 | ("GREATER-THAN AND NOT APPROXIMATE" #x2A8A) | |
141 | ("LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN" #x2A8B) | |
142 | ("GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN" #x2A8C) | |
143 | ("LESS-THAN ABOVE SIMILAR OR EQUAL" #x2A8D) | |
144 | ("GREATER-THAN ABOVE SIMILAR OR EQUAL" #x2A8E) | |
145 | ("LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN" #x2A8F) | |
146 | ("GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN" #x2A90) | |
147 | ("LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL" #x2A91) | |
148 | ("GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL" #x2A92) | |
149 | ("LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL" #x2A93) | |
150 | ("GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL" #x2A94) | |
151 | ("SLANTED EQUAL TO OR LESS-THAN" #x2A95) | |
152 | ("SLANTED EQUAL TO OR GREATER-THAN" #x2A96) | |
153 | ("SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE" #x2A97) | |
154 | ("SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE" #x2A98) | |
155 | ("DOUBLE-LINE EQUAL TO OR LESS-THAN" #x2A99) | |
156 | ("DOUBLE-LINE EQUAL TO OR GREATER-THAN" #x2A9A) | |
157 | ("DOUBLE-LINE SLANTED EQUAL TO OR LESS-THAN" #x2A9B) | |
158 | ("DOUBLE-LINE SLANTED EQUAL TO OR GREATER-THAN" #x2A9C) | |
159 | ("SIMILAR OR LESS-THAN" #x2A9D) | |
160 | ("SIMILAR OR GREATER-THAN" #x2A9E) | |
161 | ("SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN" #x2A9F) | |
162 | ("SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN" #x2AA0) | |
163 | ("DOUBLE NESTED LESS-THAN" #x2AA1) | |
164 | ("DOUBLE NESTED GREATER-THAN" #x2AA2) | |
165 | ("DOUBLE NESTED LESS-THAN WITH UNDERBAR" #x2AA3) | |
166 | ("GREATER-THAN OVERLAPPING LESS-THAN" #x2AA4) | |
167 | ("GREATER-THAN BESIDE LESS-THAN" #x2AA5) | |
168 | ("LESS-THAN CLOSED BY CURVE" #x2AA6) | |
169 | ("GREATER-THAN CLOSED BY CURVE" #x2AA7) | |
170 | ("LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL" #x2AA8) | |
171 | ("GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL" #x2AA9) | |
172 | ("SMALLER THAN" #x2AAA) | |
173 | ("LARGER THAN" #x2AAB) | |
174 | ("SMALLER THAN OR EQUAL TO" #x2AAC) | |
175 | ("LARGER THAN OR EQUAL TO" #x2AAD) | |
176 | ("EQUALS SIGN WITH BUMPY ABOVE" #x2AAE) | |
177 | ("PRECEDES ABOVE SINGLE-LINE EQUALS SIGN" #x2AAF) | |
178 | ("SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN" #x2AB0) | |
179 | ("PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO" #x2AB1) | |
180 | ("SUCCEEDS ABOVE SINGLE-LINE NOT EQUAL TO" #x2AB2) | |
181 | ("PRECEDES ABOVE EQUALS SIGN" #x2AB3) | |
182 | ("SUCCEEDS ABOVE EQUALS SIGN" #x2AB4) | |
183 | ("PRECEDES ABOVE NOT EQUAL TO" #x2AB5) | |
184 | ("SUCCEEDS ABOVE NOT EQUAL TO" #x2AB6) | |
185 | ("PRECEDES ABOVE ALMOST EQUAL TO" #x2AB7) | |
186 | ("SUCCEEDS ABOVE ALMOST EQUAL TO" #x2AB8) | |
187 | ("PRECEDES ABOVE NOT ALMOST EQUAL TO" #x2AB9) | |
188 | ("SUCCEEDS ABOVE NOT ALMOST EQUAL TO" #x2ABA) | |
189 | ("DOUBLE PRECEDES" #x2ABB) | |
190 | ("DOUBLE SUCCEEDS" #x2ABC) | |
191 | ("SUBSET WITH DOT" #x2ABD) | |
192 | ("SUPERSET WITH DOT" #x2ABE) | |
193 | ("SUBSET WITH PLUS SIGN BELOW" #x2ABF) | |
194 | ("SUPERSET WITH PLUS SIGN BELOW" #x2AC0) | |
195 | ("SUBSET WITH MULTIPLICATION SIGN BELOW" #x2AC1) | |
196 | ("SUPERSET WITH MULTIPLICATION SIGN BELOW" #x2AC2) | |
197 | ("SUBSET OF OR EQUAL TO WITH DOT ABOVE" #x2AC3) | |
198 | ("SUPERSET OF OR EQUAL TO WITH DOT ABOVE" #x2AC4) | |
199 | ("SUBSET OF ABOVE EQUALS SIGN" #x2AC5) | |
200 | ("SUPERSET OF ABOVE EQUALS SIGN" #x2AC6) | |
201 | ("SUBSET OF ABOVE TILDE OPERATOR" #x2AC7) | |
202 | ("SUPERSET OF ABOVE TILDE OPERATOR" #x2AC8) | |
203 | ("SUBSET OF ABOVE ALMOST EQUAL TO" #x2AC9) | |
204 | ("SUPERSET OF ABOVE ALMOST EQUAL TO" #x2ACA) | |
205 | ("SUBSET OF ABOVE NOT EQUAL TO" #x2ACB) | |
206 | ("SUPERSET OF ABOVE NOT EQUAL TO" #x2ACC) | |
207 | ("SQUARE LEFT OPEN BOX OPERATOR" #x2ACD) | |
208 | ("SQUARE RIGHT OPEN BOX OPERATOR" #x2ACE) | |
209 | ("CLOSED SUBSET" #x2ACF) | |
210 | ("CLOSED SUPERSET" #x2AD0) | |
211 | ("CLOSED SUBSET OR EQUAL TO" #x2AD1) | |
212 | ("CLOSED SUPERSET OR EQUAL TO" #x2AD2) | |
213 | ("SUBSET ABOVE SUPERSET" #x2AD3) | |
214 | ("SUPERSET ABOVE SUBSET" #x2AD4) | |
215 | ("SUBSET ABOVE SUBSET" #x2AD5) | |
216 | ("SUPERSET ABOVE SUPERSET" #x2AD6) | |
217 | ("SUPERSET BESIDE SUBSET" #x2AD7) | |
218 | ("SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET" #x2AD8) | |
219 | ("ELEMENT OF OPENING DOWNWARDS" #x2AD9) | |
220 | ("PITCHFORK WITH TEE TOP" #x2ADA) | |
221 | ("TRANSVERSAL INTERSECTION" #x2ADB) | |
222 | ("FORKING" #x2ADC) | |
223 | ("NONFORKING" #x2ADD) | |
224 | ("SHORT LEFT TACK" #x2ADE) | |
225 | ("SHORT DOWN TACK" #x2ADF) | |
226 | ("SHORT UP TACK" #x2AE0) | |
227 | ("PERPENDICULAR WITH S" #x2AE1) | |
228 | ("VERTICAL BAR TRIPLE RIGHT TURNSTILE" #x2AE2) | |
229 | ("DOUBLE VERTICAL BAR LEFT TURNSTILE" #x2AE3) | |
230 | ("VERTICAL BAR DOUBLE LEFT TURNSTILE" #x2AE4) | |
231 | ("DOUBLE VERTICAL BAR DOUBLE LEFT TURNSTILE" #x2AE5) | |
232 | ("LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL" #x2AE6) | |
233 | ("SHORT DOWN TACK WITH OVERBAR" #x2AE7) | |
234 | ("SHORT UP TACK WITH UNDERBAR" #x2AE8) | |
235 | ("SHORT UP TACK ABOVE SHORT DOWN TACK" #x2AE9) | |
236 | ("DOUBLE DOWN TACK" #x2AEA) | |
237 | ("DOUBLE UP TACK" #x2AEB) | |
238 | ("DOUBLE STROKE NOT SIGN" #x2AEC) | |
239 | ("REVERSED DOUBLE STROKE NOT SIGN" #x2AED) | |
240 | ("DOES NOT DIVIDE WITH REVERSED NEGATION SLASH" #x2AEE) | |
241 | ("VERTICAL LINE WITH CIRCLE ABOVE" #x2AEF) | |
242 | ("VERTICAL LINE WITH CIRCLE BELOW" #x2AF0) | |
243 | ("DOWN TACK WITH CIRCLE BELOW" #x2AF1) | |
244 | ("PARALLEL WITH HORIZONTAL STROKE" #x2AF2) | |
245 | ("PARALLEL WITH TILDE OPERATOR" #x2AF3) | |
246 | ("TRIPLE VERTICAL BAR BINARY RELATION" #x2AF4) | |
247 | ("TRIPLE VERTICAL BAR WITH HORIZONTAL STROKE" #x2AF5) | |
248 | ("TRIPLE COLON OPERATOR" #x2AF6) | |
249 | ("TRIPLE NESTED LESS-THAN" #x2AF7) | |
250 | ("TRIPLE NESTED GREATER-THAN" #x2AF8) | |
251 | ("DOUBLE-LINE SLANTED LESS-THAN OR EQUAL TO" #x2AF9) | |
252 | ("DOUBLE-LINE SLANTED GREATER-THAN OR EQUAL TO" #x2AFA) | |
253 | ("TRIPLE SOLIDUS BINARY RELATION" #x2AFB) | |
254 | ("LARGE TRIPLE VERTICAL BAR OPERATOR" #x2AFC) | |
255 | ("DOUBLE SOLIDUS OPERATOR" #x2AFD) | |
256 | ("WHITE VERTICAL BAR" #x2AFE) | |
257 | ("N-ARY WHITE VERTICAL BAR" #x2AFF) | |
258 | )) | |
259 |