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
)
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
)
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
)
260 ;; arch-tag: 672a8fbf-fb4a-4862-8b8e-2379b799484c
