projects / chise / xemacs-chise.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Add japanese-jisx0208-1990.
[chise/xemacs-chise.git] / lisp / utf-2000 / u02200-Mathematical-Operators.el
1 (define-char
2   '((name               . "FOR ALL")
3     (general-category   symbol math) ; Informative Category
4     (bidi-category      . "ON")
5     (mirrored           . nil)
6     (japanese-jisx0208          . #x224F)       ; 
7     (korean-ksc5601             . #x2223)       ; 
8     (japanese-jisx0208-1990     . #x224F)       ; ∀
9     (ucs                        . #x2200)       ; ∀
10     ))
11 (define-char
12   '((name               . "COMPLEMENT")
13     (general-category   symbol math) ; Informative Category
14     (bidi-category      . "ON")
15     (mirrored           . t)
16     (ucs                . #x2201)       ; ∁
17     ))
18 (define-char
19   '((name               . "PARTIAL DIFFERENTIAL")
20     (general-category   symbol math) ; Informative Category
21     (bidi-category      . "ON")
22     (mirrored           . t)
23     (japanese-jisx0208          . #x225F)       ; 
24     (korean-ksc5601             . #x2153)       ; 
25     (japanese-jisx0208-1990     . #x225F)       ; ∂
26     (ucs                        . #x2202)       ; ∂
27     ))
28 (define-char
29   '((name               . "THERE EXISTS")
30     (general-category   symbol math) ; Informative Category
31     (bidi-category      . "ON")
32     (mirrored           . t)
33     (japanese-jisx0208          . #x2250)       ; 
34     (korean-ksc5601             . #x2224)       ; 
35     (japanese-jisx0208-1990     . #x2250)       ; ∃
36     (ucs                        . #x2203)       ; ∃
37     ))
38 (define-char
39   '((name               . "THERE DOES NOT EXIST")
40     (general-category   symbol math) ; Informative Category
41     (bidi-category      . "ON")
42     (mirrored           . t)
43     (->decomposition    #x2203 #x0338)
44     (ucs                . #x2204)       ; ∄
45     ))
46 (define-char
47   '((name               . "EMPTY SET")
48     (general-category   symbol math) ; Informative Category
49     (bidi-category      . "ON")
50     (mirrored           . nil)
51     (japanese-jisx0213-1        . #x2247)       ; ∅
52     (ucs                        . #x2205)       ; ∅
53     ))
54 (define-char
55   '((name               . "INCREMENT")
56     (general-category   symbol math) ; Informative Category
57     (bidi-category      . "ON")
58     (mirrored           . nil)
59     (ucs                . #x2206)       ; ∆
60     ))
61 (define-char
62   '((name               . "NABLA")
63     (general-category   symbol math) ; Informative Category
64     (bidi-category      . "ON")
65     (mirrored           . nil)
66     (japanese-jisx0208          . #x2260)       ; 
67     (korean-ksc5601             . #x2154)       ; 
68     (japanese-jisx0208-1990     . #x2260)       ; ∇
69     (ucs                        . #x2207)       ; ∇
70     ))
71 (define-char
72   '((name               . "ELEMENT OF")
73     (general-category   symbol math) ; Informative Category
74     (bidi-category      . "ON")
75     (mirrored           . t)
76     (chinese-gb2312             . #x214A)       ; 
77     (japanese-jisx0208          . #x223A)       ; 
78     (korean-ksc5601             . #x2174)       ; 
79     (japanese-jisx0208-1990     . #x223A)       ; ∈
80     (ucs                        . #x2208)       ; ∈
81     ))
82 (define-char
83   '((name               . "NOT AN ELEMENT OF")
84     (general-category   symbol math) ; Informative Category
85     (bidi-category      . "ON")
86     (mirrored           . t)
87     (->decomposition    #x2208 #x0338)
88     (japanese-jisx0213-1        . #x2246)       ; ∉
89     (ucs                        . #x2209)       ; ∉
90     ))
91 (define-char
92   '((name               . "SMALL ELEMENT OF")
93     (general-category   symbol math) ; Informative Category
94     (bidi-category      . "ON")
95     (mirrored           . t)
96     (ucs                . #x220A)       ; ∊
97     ))
98 (define-char
99   '((name               . "CONTAINS AS MEMBER")
100     (general-category   symbol math) ; Informative Category
101     (bidi-category      . "ON")
102     (mirrored           . t)
103     (japanese-jisx0208          . #x223B)       ; 
104     (korean-ksc5601             . #x2175)       ; 
105     (japanese-jisx0208-1990     . #x223B)       ; ∋
106     (ucs                        . #x220B)       ; ∋
107     ))
108 (define-char
109   '((name               . "DOES NOT CONTAIN AS MEMBER")
110     (general-category   symbol math) ; Informative Category
111     (bidi-category      . "ON")
112     (mirrored           . t)
113     (->decomposition    #x220B #x0338)
114     (ucs                . #x220C)       ; ∌
115     ))
116 (define-char
117   '((name               . "SMALL CONTAINS AS MEMBER")
118     (general-category   symbol math) ; Informative Category
119     (bidi-category      . "ON")
120     (mirrored           . t)
121     (ucs                . #x220D)       ; ∍
122     ))
123 (define-char
124   '((name               . "END OF PROOF")
125     (general-category   symbol math) ; Informative Category
126     (bidi-category      . "ON")
127     (mirrored           . nil)
128     (ucs                . #x220E)       ; ∎
129     ))
130 (define-char
131   '((name               . "N-ARY PRODUCT")
132     (general-category   symbol math) ; Informative Category
133     (bidi-category      . "ON")
134     (mirrored           . nil)
135     (chinese-gb2312     . #x2147)       ; 
136     (korean-ksc5601     . #x2233)       ; 
137     (ucs                . #x220F)       ; ∏
138     ))
139 (define-char
140   '((name               . "N-ARY COPRODUCT")
141     (general-category   symbol math) ; Informative Category
142     (bidi-category      . "ON")
143     (mirrored           . nil)
144     (ucs                . #x2210)       ; ∐
145     ))
146 (define-char
147   '((name               . "N-ARY SUMMATION")
148     (general-category   symbol math) ; Informative Category
149     (bidi-category      . "ON")
150     (mirrored           . t)
151     (chinese-gb2312     . #x2146)       ; 
152     (korean-ksc5601     . #x2232)       ; 
153     (ucs                . #x2211)       ; ∑
154     ))
155 (define-char
156   '((name               . "MINUS SIGN")
157     (general-category   symbol math) ; Informative Category
158     (bidi-category      . "ET")
159     (mirrored           . nil)
160     (japanese-jisx0208-1978     . #x215D)       ; 
161     (japanese-jisx0208          . #x215D)       ; 
162     (japanese-jisx0208-1990     . #x215D)       ; −
163     (ucs                        . #x2212)       ; −
164     ))
165 (define-char
166   '((name               . "MINUS-OR-PLUS SIGN")
167     (general-category   symbol math) ; Informative Category
168     (bidi-category      . "ET")
169     (mirrored           . nil)
170     (japanese-jisx0213-1        . #x235B)       ; ∓
171     (ucs                        . #x2213)       ; ∓
172     ))
173 (define-char
174   '((name               . "DOT PLUS")
175     (general-category   symbol math) ; Informative Category
176     (bidi-category      . "ON")
177     (mirrored           . nil)
178     (ucs                . #x2214)       ; ∔
179     ))
180 (define-char
181   '((name               . "DIVISION SLASH")
182     (general-category   symbol math) ; Informative Category
183     (bidi-category      . "ON")
184     (mirrored           . t)
185     (chinese-cns11643-1 . #x2261)       ; 
186     (ucs                . #x2215)       ; ∕
187     ))
188 (define-char
189   '((name               . "SET MINUS")
190     (general-category   symbol math) ; Informative Category
191     (bidi-category      . "ON")
192     (mirrored           . t)
193     (ucs                . #x2216)       ; ∖
194     ))
195 (define-char
196   '((name               . "ASTERISK OPERATOR")
197     (general-category   symbol math) ; Informative Category
198     (bidi-category      . "ON")
199     (mirrored           . nil)
200     (ucs                . #x2217)       ; ∗
201     ))
202 (define-char
203   '((name               . "RING OPERATOR")
204     (general-category   symbol math) ; Informative Category
205     (bidi-category      . "ON")
206     (mirrored           . nil)
207     (ucs                . #x2218)       ; ∘
208     ))
209 (define-char
210   '((name               . "BULLET OPERATOR")
211     (general-category   symbol math) ; Informative Category
212     (bidi-category      . "ON")
213     (mirrored           . nil)
214     (ucs                . #x2219)       ; ∙
215     ))
216 (define-char
217   '((name               . "SQUARE ROOT")
218     (general-category   symbol math) ; Informative Category
219     (bidi-category      . "ON")
220     (mirrored           . t)
221     (chinese-gb2312             . #x214C)       ; 
222     (japanese-jisx0208          . #x2265)       ; 
223     (korean-ksc5601             . #x216E)       ; 
224     (chinese-cns11643-1         . #x2235)       ; 
225     (japanese-jisx0208-1990     . #x2265)       ; √
226     (ucs                        . #x221A)       ; √
227     ))
228 (define-char
229   '((name               . "CUBE ROOT")
230     (general-category   symbol math) ; Informative Category
231     (bidi-category      . "ON")
232     (mirrored           . t)
233     (ucs                . #x221B)       ; ∛
234     ))
235 (define-char
236   '((name               . "FOURTH ROOT")
237     (general-category   symbol math) ; Informative Category
238     (bidi-category      . "ON")
239     (mirrored           . t)
240     (ucs                . #x221C)       ; ∜
241     ))
242 (define-char
243   '((name               . "PROPORTIONAL TO")
244     (general-category   symbol math) ; Informative Category
245     (bidi-category      . "ON")
246     (mirrored           . t)
247     (chinese-gb2312             . #x2158)       ; 
248     (japanese-jisx0208          . #x2267)       ; 
249     (korean-ksc5601             . #x2170)       ; 
250     (japanese-jisx0208-1990     . #x2267)       ; ∝
251     (ucs                        . #x221D)       ; ∝
252     ))
253 (define-char
254   '((name               . "INFINITY")
255     (general-category   symbol math) ; Informative Category
256     (bidi-category      . "ON")
257     (mirrored           . nil)
258     (japanese-jisx0208-1978     . #x2167)       ; 
259     (chinese-gb2312             . #x215E)       ; 
260     (japanese-jisx0208          . #x2167)       ; 
261     (korean-ksc5601             . #x2144)       ; 
262     (chinese-cns11643-1         . #x223C)       ; 
263     (japanese-jisx0208-1990     . #x2167)       ; ∞
264     (ucs                        . #x221E)       ; ∞
265     ))
266 (define-char
267   '((name               . "RIGHT ANGLE")
268     (general-category   symbol math) ; Informative Category
269     (bidi-category      . "ON")
270     (mirrored           . t)
271     (chinese-cns11643-1         . #x2249)       ; 
272     (japanese-jisx0213-1        . #x2D78)       ; ∟
273     (ucs                        . #x221F)       ; ∟
274     ))
275 (define-char
276   '((name               . "ANGLE")
277     (general-category   symbol math) ; Informative Category
278     (bidi-category      . "ON")
279     (mirrored           . t)
280     (chinese-gb2312             . #x214F)       ; 
281     (japanese-jisx0208          . #x225C)       ; 
282     (korean-ksc5601             . #x2150)       ; 
283     (chinese-cns11643-1         . #x2248)       ; 
284     (japanese-jisx0208-1990     . #x225C)       ; ∠
285     (ucs                        . #x2220)       ; ∠
286     ))
287 (define-char
288   '((name               . "MEASURED ANGLE")
289     (general-category   symbol math) ; Informative Category
290     (bidi-category      . "ON")
291     (mirrored           . t)
292     (ucs                . #x2221)       ; ∡
293     ))
294 (define-char
295   '((name               . "SPHERICAL ANGLE")
296     (general-category   symbol math) ; Informative Category
297     (bidi-category      . "ON")
298     (mirrored           . t)
299     (ucs                . #x2222)       ; ∢
300     ))
301 (define-char
302   '((name               . "DIVIDES")
303     (general-category   symbol math) ; Informative Category
304     (bidi-category      . "ON")
305     (mirrored           . nil)
306     (ucs                . #x2223)       ; ∣
307     ))
308 (define-char
309   '((name               . "DOES NOT DIVIDE")
310     (general-category   symbol math) ; Informative Category
311     (bidi-category      . "ON")
312     (mirrored           . t)
313     (->decomposition    #x2223 #x0338)
314     (ucs                . #x2224)       ; ∤
315     ))
316 (define-char
317   '((name               . "PARALLEL TO")
318     (general-category   symbol math) ; Informative Category
319     (bidi-category      . "ON")
320     (mirrored           . nil)
321     (chinese-gb2312             . #x214E)       ; 
322     (korean-ksc5601             . #x212B)       ; 
323     (japanese-jisx0213-1        . #x2254)       ; ∥
324     (ucs                        . #x2225)       ; ∥
325     ))
326 (define-char
327   '((name               . "NOT PARALLEL TO")
328     (general-category   symbol math) ; Informative Category
329     (bidi-category      . "ON")
330     (mirrored           . t)
331     (->decomposition    #x2225 #x0338)
332     (japanese-jisx0213-1        . #x2255)       ; ∦
333     (ucs                        . #x2226)       ; ∦
334     ))
335 (define-char
336   '((name               . "LOGICAL AND")
337     (general-category   symbol math) ; Informative Category
338     (bidi-category      . "ON")
339     (mirrored           . nil)
340     (chinese-gb2312             . #x2144)       ; 
341     (japanese-jisx0208          . #x224A)       ; 
342     (korean-ksc5601             . #x217C)       ; 
343     (japanese-jisx0208-1990     . #x224A)       ; ∧
344     (ucs                        . #x2227)       ; ∧
345     ))
346 (define-char
347   '((name               . "LOGICAL OR")
348     (general-category   symbol math) ; Informative Category
349     (bidi-category      . "ON")
350     (mirrored           . nil)
351     (chinese-gb2312             . #x2145)       ; 
352     (japanese-jisx0208          . #x224B)       ; 
353     (korean-ksc5601             . #x217D)       ; 
354     (japanese-jisx0208-1990     . #x224B)       ; ∨
355     (ucs                        . #x2228)       ; ∨
356     ))
357 (define-char
358   '((name               . "INTERSECTION")
359     (general-category   symbol math) ; Informative Category
360     (bidi-category      . "ON")
361     (mirrored           . nil)
362     (chinese-gb2312             . #x2149)       ; 
363     (japanese-jisx0208          . #x2241)       ; 
364     (korean-ksc5601             . #x217B)       ; 
365     (chinese-cns11643-1         . #x2245)       ; 
366     (japanese-jisx0208-1990     . #x2241)       ; ∩
367     (ucs                        . #x2229)       ; ∩
368     ))
369 (define-char
370   '((name               . "UNION")
371     (general-category   symbol math) ; Informative Category
372     (bidi-category      . "ON")
373     (mirrored           . nil)
374     (chinese-gb2312             . #x2148)       ; 
375     (japanese-jisx0208          . #x2240)       ; 
376     (korean-ksc5601             . #x217A)       ; 
377     (chinese-cns11643-1         . #x2246)       ; 
378     (japanese-jisx0208-1990     . #x2240)       ; ∪
379     (ucs                        . #x222A)       ; ∪
380     ))
381 (define-char
382   '((name               . "INTEGRAL")
383     (general-category   symbol math) ; Informative Category
384     (bidi-category      . "ON")
385     (mirrored           . t)
386     (chinese-gb2312             . #x2152)       ; 
387     (japanese-jisx0208          . #x2269)       ; 
388     (korean-ksc5601             . #x2172)       ; 
389     (chinese-cns11643-1         . #x224D)       ; 
390     (japanese-jisx0208-1990     . #x2269)       ; ∫
391     (ucs                        . #x222B)       ; ∫
392     ))
393 (define-char
394   '((name               . "DOUBLE INTEGRAL")
395     (general-category   symbol math) ; Informative Category
396     (bidi-category      . "ON")
397     (mirrored           . t)
398     (->decomposition    compat #x222B #x222B)
399     (japanese-jisx0208          . #x226A)       ; 
400     (korean-ksc5601             . #x2173)       ; 
401     (japanese-jisx0208-1990     . #x226A)       ; ∬
402     (ucs                        . #x222C)       ; ∬
403     ))
404 (define-char
405   '((name               . "TRIPLE INTEGRAL")
406     (general-category   symbol math) ; Informative Category
407     (bidi-category      . "ON")
408     (mirrored           . t)
409     (->decomposition    compat #x222B #x222B #x222B)
410     (ucs                . #x222D)       ; ∭
411     ))
412 (define-char
413   '((name               . "CONTOUR INTEGRAL")
414     (general-category   symbol math) ; Informative Category
415     (bidi-category      . "ON")
416     (mirrored           . t)
417     (chinese-gb2312             . #x2153)       ; 
418     (korean-ksc5601             . #x2231)       ; 
419     (chinese-cns11643-1         . #x224E)       ; 
420     (japanese-jisx0213-1        . #x2D73)       ; ∮
421     (ucs                        . #x222E)       ; ∮
422     ))
423 (define-char
424   '((name               . "SURFACE INTEGRAL")
425     (general-category   symbol math) ; Informative Category
426     (bidi-category      . "ON")
427     (mirrored           . t)
428     (->decomposition    compat #x222E #x222E)
429     (ucs                . #x222F)       ; ∯
430     ))
431 (define-char
432   '((name               . "VOLUME INTEGRAL")
433     (general-category   symbol math) ; Informative Category
434     (bidi-category      . "ON")
435     (mirrored           . t)
436     (->decomposition    compat #x222E #x222E #x222E)
437     (ucs                . #x2230)       ; ∰
438     ))
439 (define-char
440   '((name               . "CLOCKWISE INTEGRAL")
441     (general-category   symbol math) ; Informative Category
442     (bidi-category      . "ON")
443     (mirrored           . t)
444     (ucs                . #x2231)       ; ∱
445     ))
446 (define-char
447   '((name               . "CLOCKWISE CONTOUR INTEGRAL")
448     (general-category   symbol math) ; Informative Category
449     (bidi-category      . "ON")
450     (mirrored           . t)
451     (ucs                . #x2232)       ; ∲
452     ))
453 (define-char
454   '((name               . "ANTICLOCKWISE CONTOUR INTEGRAL")
455     (general-category   symbol math) ; Informative Category
456     (bidi-category      . "ON")
457     (mirrored           . t)
458     (ucs                . #x2233)       ; ∳
459     ))
460 (define-char
461   '((name               . "THEREFORE")
462     (general-category   symbol math) ; Informative Category
463     (bidi-category      . "ON")
464     (mirrored           . nil)
465     (japanese-jisx0208-1978     . #x2168)       ; 
466     (chinese-gb2312             . #x2160)       ; 
467     (japanese-jisx0208          . #x2168)       ; 
468     (korean-ksc5601             . #x2145)       ; 
469     (chinese-cns11643-1         . #x2250)       ; 
470     (japanese-jisx0208-1990     . #x2168)       ; ∴
471     (ucs                        . #x2234)       ; ∴
472     ))
473 (define-char
474   '((name               . "BECAUSE")
475     (general-category   symbol math) ; Informative Category
476     (bidi-category      . "ON")
477     (mirrored           . nil)
478     (chinese-gb2312             . #x215F)       ; 
479     (japanese-jisx0208          . #x2268)       ; 
480     (korean-ksc5601             . #x2171)       ; 
481     (chinese-cns11643-1         . #x224F)       ; 
482     (japanese-jisx0208-1990     . #x2268)       ; ∵
483     (ucs                        . #x2235)       ; ∵
484     ))
485 (define-char
486   '((name               . "RATIO")
487     (general-category   symbol math) ; Informative Category
488     (bidi-category      . "ON")
489     (mirrored           . nil)
490     (chinese-gb2312     . #x2143)       ; 
491     (ucs                . #x2236)       ; ∶
492     ))
493 (define-char
494   '((name               . "PROPORTION")
495     (general-category   symbol math) ; Informative Category
496     (bidi-category      . "ON")
497     (mirrored           . nil)
498     (chinese-gb2312     . #x214B)       ; 
499     (ucs                . #x2237)       ; ∷
500     ))
501 (define-char
502   '((name               . "DOT MINUS")
503     (general-category   symbol math) ; Informative Category
504     (bidi-category      . "ON")
505     (mirrored           . nil)
506     (ucs                . #x2238)       ; ∸
507     ))
508 (define-char
509   '((name               . "EXCESS")
510     (general-category   symbol math) ; Informative Category
511     (bidi-category      . "ON")
512     (mirrored           . t)
513     (ucs                . #x2239)       ; ∹
514     ))
515 (define-char
516   '((name               . "GEOMETRIC PROPORTION")
517     (general-category   symbol math) ; Informative Category
518     (bidi-category      . "ON")
519     (mirrored           . nil)
520     (ucs                . #x223A)       ; ∺
521     ))
522 (define-char
523   '((name               . "HOMOTHETIC")
524     (general-category   symbol math) ; Informative Category
525     (bidi-category      . "ON")
526     (mirrored           . t)
527     (ucs                . #x223B)       ; ∻
528     ))
529 (define-char
530   '((name               . "TILDE OPERATOR")
531     (general-category   symbol math) ; Informative Category
532     (bidi-category      . "ON")
533     (mirrored           . t)
534     (korean-ksc5601     . #x212D)       ; 
535     (ucs                . #x223C)       ; ∼
536     ))
537 (define-char
538   '((name               . "REVERSED TILDE")
539     (general-category   symbol math) ; Informative Category
540     (bidi-category      . "ON")
541     (mirrored           . t)
542     (iso-10646-comment  . "lazy S")
543     (chinese-gb2312             . #x2157)       ; 
544     (japanese-jisx0208          . #x2266)       ; 
545     (korean-ksc5601             . #x216F)       ; 
546     (japanese-jisx0208-1990     . #x2266)       ; ∽
547     (ucs                        . #x223D)       ; ∽
548     ))
549 (define-char
550   '((name               . "INVERTED LAZY S")
551     (general-category   symbol math) ; Informative Category
552     (bidi-category      . "ON")
553     (mirrored           . t)
554     (ucs                . #x223E)       ; ∾
555     ))
556 (define-char
557   '((name               . "SINE WAVE")
558     (general-category   symbol math) ; Informative Category
559     (bidi-category      . "ON")
560     (mirrored           . t)
561     (ucs                . #x223F)       ; ∿
562     ))
563 (define-char
564   '((name               . "WREATH PRODUCT")
565     (general-category   symbol math) ; Informative Category
566     (bidi-category      . "ON")
567     (mirrored           . t)
568     (ucs                . #x2240)       ; ≀
569     ))
570 (define-char
571   '((name               . "NOT TILDE")
572     (general-category   symbol math) ; Informative Category
573     (bidi-category      . "ON")
574     (mirrored           . t)
575     (->decomposition    #x223C #x0338)
576     (ucs                . #x2241)       ; ≁
577     ))
578 (define-char
579   '((name               . "MINUS TILDE")
580     (general-category   symbol math) ; Informative Category
581     (bidi-category      . "ON")
582     (mirrored           . t)
583     (ucs                . #x2242)       ; ≂
584     ))
585 (define-char
586   '((name               . "ASYMPTOTICALLY EQUAL TO")
587     (general-category   symbol math) ; Informative Category
588     (bidi-category      . "ON")
589     (mirrored           . t)
590     (japanese-jisx0213-1        . #x226C)       ; ≃
591     (ucs                        . #x2243)       ; ≃
592     ))
593 (define-char
594   '((name               . "NOT ASYMPTOTICALLY EQUAL TO")
595     (general-category   symbol math) ; Informative Category
596     (bidi-category      . "ON")
597     (mirrored           . t)
598     (->decomposition    #x2243 #x0338)
599     (ucs                . #x2244)       ; ≄
600     ))
601 (define-char
602   '((name               . "APPROXIMATELY EQUAL TO")
603     (general-category   symbol math) ; Informative Category
604     (bidi-category      . "ON")
605     (mirrored           . t)
606     (japanese-jisx0213-1        . #x226D)       ; ≅
607     (ucs                        . #x2245)       ; ≅
608     ))
609 (define-char
610   '((name               . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
611     (general-category   symbol math) ; Informative Category
612     (bidi-category      . "ON")
613     (mirrored           . t)
614     (ucs                . #x2246)       ; ≆
615     ))
616 (define-char
617   '((name               . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
618     (general-category   symbol math) ; Informative Category
619     (bidi-category      . "ON")
620     (mirrored           . t)
621     (->decomposition    #x2245 #x0338)
622     (ucs                . #x2247)       ; ≇
623     ))
624 (define-char
625   '((name               . "ALMOST EQUAL TO")
626     (general-category   symbol math) ; Informative Category
627     (bidi-category      . "ON")
628     (mirrored           . t)
629     (chinese-gb2312             . #x2156)       ; 
630     (japanese-jisx0213-1        . #x226E)       ; ≈
631     (ucs                        . #x2248)       ; ≈
632     ))
633 (define-char
634   '((name               . "NOT ALMOST EQUAL TO")
635     (general-category   symbol math) ; Informative Category
636     (bidi-category      . "ON")
637     (mirrored           . t)
638     (->decomposition    #x2248 #x0338)
639     (ucs                . #x2249)       ; ≉
640     ))
641 (define-char
642   '((name               . "ALMOST EQUAL OR EQUAL TO")
643     (general-category   symbol math) ; Informative Category
644     (bidi-category      . "ON")
645     (mirrored           . t)
646     (ucs                . #x224A)       ; ≊
647     ))
648 (define-char
649   '((name               . "TRIPLE TILDE")
650     (general-category   symbol math) ; Informative Category
651     (bidi-category      . "ON")
652     (mirrored           . t)
653     (ucs                . #x224B)       ; ≋
654     ))
655 (define-char
656   '((name               . "ALL EQUAL TO")
657     (general-category   symbol math) ; Informative Category
658     (bidi-category      . "ON")
659     (mirrored           . t)
660     (chinese-gb2312     . #x2155)       ; 
661     (ucs                . #x224C)       ; ≌
662     ))
663 (define-char
664   '((name               . "EQUIVALENT TO")
665     (general-category   symbol math) ; Informative Category
666     (bidi-category      . "ON")
667     (mirrored           . nil)
668     (ucs                . #x224D)       ; ≍
669     ))
670 (define-char
671   '((name               . "GEOMETRICALLY EQUIVALENT TO")
672     (general-category   symbol math) ; Informative Category
673     (bidi-category      . "ON")
674     (mirrored           . nil)
675     (ucs                . #x224E)       ; ≎
676     ))
677 (define-char
678   '((name               . "DIFFERENCE BETWEEN")
679     (general-category   symbol math) ; Informative Category
680     (bidi-category      . "ON")
681     (mirrored           . nil)
682     (ucs                . #x224F)       ; ≏
683     ))
684 (define-char
685   '((name               . "APPROACHES THE LIMIT")
686     (general-category   symbol math) ; Informative Category
687     (bidi-category      . "ON")
688     (mirrored           . nil)
689     (ucs                . #x2250)       ; ≐
690     ))
691 (define-char
692   '((name               . "GEOMETRICALLY EQUAL TO")
693     (general-category   symbol math) ; Informative Category
694     (bidi-category      . "ON")
695     (mirrored           . nil)
696     (ucs                . #x2251)       ; ≑
697     ))
698 (define-char
699   '((name               . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
700     (general-category   symbol math) ; Informative Category
701     (bidi-category      . "ON")
702     (mirrored           . t)
703     (japanese-jisx0208          . #x2262)       ; 
704     (korean-ksc5601             . #x2156)       ; 
705     (chinese-cns11643-1         . #x223D)       ; 
706     (japanese-jisx0208-1990     . #x2262)       ; ≒
707     (ucs                        . #x2252)       ; ≒
708     ))
709 (define-char
710   '((name               . "IMAGE OF OR APPROXIMATELY EQUAL TO")
711     (general-category   symbol math) ; Informative Category
712     (bidi-category      . "ON")
713     (mirrored           . t)
714     (ucs                . #x2253)       ; ≓
715     ))
716 (define-char
717   '((name               . "COLON EQUALS")
718     (general-category   symbol math) ; Informative Category
719     (bidi-category      . "ON")
720     (mirrored           . t)
721     (ucs                . #x2254)       ; ≔
722     ))
723 (define-char
724   '((name               . "EQUALS COLON")
725     (general-category   symbol math) ; Informative Category
726     (bidi-category      . "ON")
727     (mirrored           . t)
728     (ucs                . #x2255)       ; ≕
729     ))
730 (define-char
731   '((name               . "RING IN EQUAL TO")
732     (general-category   symbol math) ; Informative Category
733     (bidi-category      . "ON")
734     (mirrored           . nil)
735     (ucs                . #x2256)       ; ≖
736     ))
737 (define-char
738   '((name               . "RING EQUAL TO")
739     (general-category   symbol math) ; Informative Category
740     (bidi-category      . "ON")
741     (mirrored           . nil)
742     (ucs                . #x2257)       ; ≗
743     ))
744 (define-char
745   '((name               . "CORRESPONDS TO")
746     (general-category   symbol math) ; Informative Category
747     (bidi-category      . "ON")
748     (mirrored           . nil)
749     (ucs                . #x2258)       ; ≘
750     ))
751 (define-char
752   '((name               . "ESTIMATES")
753     (general-category   symbol math) ; Informative Category
754     (bidi-category      . "ON")
755     (mirrored           . nil)
756     (ucs                . #x2259)       ; ≙
757     ))
758 (define-char
759   '((name               . "EQUIANGULAR TO")
760     (general-category   symbol math) ; Informative Category
761     (bidi-category      . "ON")
762     (mirrored           . nil)
763     (ucs                . #x225A)       ; ≚
764     ))
765 (define-char
766   '((name               . "STAR EQUALS")
767     (general-category   symbol math) ; Informative Category
768     (bidi-category      . "ON")
769     (mirrored           . nil)
770     (ucs                . #x225B)       ; ≛
771     ))
772 (define-char
773   '((name               . "DELTA EQUAL TO")
774     (general-category   symbol math) ; Informative Category
775     (bidi-category      . "ON")
776     (mirrored           . nil)
777     (ucs                . #x225C)       ; ≜
778     ))
779 (define-char
780   '((name               . "EQUAL TO BY DEFINITION")
781     (general-category   symbol math) ; Informative Category
782     (bidi-category      . "ON")
783     (mirrored           . nil)
784     (ucs                . #x225D)       ; ≝
785     ))
786 (define-char
787   '((name               . "MEASURED BY")
788     (general-category   symbol math) ; Informative Category
789     (bidi-category      . "ON")
790     (mirrored           . nil)
791     (ucs                . #x225E)       ; ≞
792     ))
793 (define-char
794   '((name               . "QUESTIONED EQUAL TO")
795     (general-category   symbol math) ; Informative Category
796     (bidi-category      . "ON")
797     (mirrored           . t)
798     (ucs                . #x225F)       ; ≟
799     ))
800 (define-char
801   '((name               . "NOT EQUAL TO")
802     (general-category   symbol math) ; Informative Category
803     (bidi-category      . "ON")
804     (mirrored           . t)
805     (->decomposition    #x003D #x0338)
806     (japanese-jisx0208-1978     . #x2162)       ; 
807     (chinese-gb2312             . #x2159)       ; 
808     (japanese-jisx0208          . #x2162)       ; 
809     (korean-ksc5601             . #x2141)       ; 
810     (chinese-cns11643-1         . #x223B)       ; 
811     (japanese-jisx0208-1990     . #x2162)       ; ≠
812     (ucs                        . #x2260)       ; ≠
813     ))
814 (define-char
815   '((name               . "IDENTICAL TO")
816     (general-category   symbol math) ; Informative Category
817     (bidi-category      . "ON")
818     (mirrored           . nil)
819     (chinese-gb2312             . #x2154)       ; 
820     (japanese-jisx0208          . #x2261)       ; 
821     (korean-ksc5601             . #x2155)       ; 
822     (chinese-cns11643-1         . #x223E)       ; 
823     (japanese-jisx0208-1990     . #x2261)       ; ≡
824     (ucs                        . #x2261)       ; ≡
825     ))
826 (define-char
827   '((name               . "NOT IDENTICAL TO")
828     (general-category   symbol math) ; Informative Category
829     (bidi-category      . "ON")
830     (mirrored           . t)
831     (->decomposition    #x2261 #x0338)
832     (japanese-jisx0213-1        . #x226B)       ; ≢
833     (ucs                        . #x2262)       ; ≢
834     ))
835 (define-char
836   '((name               . "STRICTLY EQUIVALENT TO")
837     (general-category   symbol math) ; Informative Category
838     (bidi-category      . "ON")
839     (mirrored           . nil)
840     (ucs                . #x2263)       ; ≣
841     ))
842 (define-char
843   '((name               . "LESS-THAN OR EQUAL TO")
844     (general-category   symbol math) ; Informative Category
845     (bidi-category      . "ON")
846     (mirrored           . t)
847     (chinese-gb2312     . #x215C)       ; 
848     (korean-ksc5601     . #x2142)       ; 
849     (ucs                . #x2264)       ; ≤
850     ))
851 (define-char
852   '((name               . "GREATER-THAN OR EQUAL TO")
853     (general-category   symbol math) ; Informative Category
854     (bidi-category      . "ON")
855     (mirrored           . t)
856     (chinese-gb2312     . #x215D)       ; 
857     (korean-ksc5601     . #x2143)       ; 
858     (ucs                . #x2265)       ; ≥
859     ))
860 (define-char
861   '((name               . "LESS-THAN OVER EQUAL TO")
862     (general-category   symbol math) ; Informative Category
863     (bidi-category      . "ON")
864     (mirrored           . t)
865     (japanese-jisx0208-1978     . #x2165)       ; 
866     (japanese-jisx0208          . #x2165)       ; 
867     (chinese-cns11643-1         . #x2239)       ; 
868     (japanese-jisx0208-1990     . #x2165)       ; ≦
869     (ucs                        . #x2266)       ; ≦
870     ))
871 (define-char
872   '((name               . "GREATER-THAN OVER EQUAL TO")
873     (general-category   symbol math) ; Informative Category
874     (bidi-category      . "ON")
875     (mirrored           . t)
876     (japanese-jisx0208-1978     . #x2166)       ; 
877     (japanese-jisx0208          . #x2166)       ; 
878     (chinese-cns11643-1         . #x223A)       ; 
879     (japanese-jisx0208-1990     . #x2166)       ; ≧
880     (ucs                        . #x2267)       ; ≧
881     ))
882 (define-char
883   '((name               . "LESS-THAN BUT NOT EQUAL TO")
884     (general-category   symbol math) ; Informative Category
885     (bidi-category      . "ON")
886     (mirrored           . t)
887     (ucs                . #x2268)       ; ≨
888     ))
889 (define-char
890   '((name               . "GREATER-THAN BUT NOT EQUAL TO")
891     (general-category   symbol math) ; Informative Category
892     (bidi-category      . "ON")
893     (mirrored           . t)
894     (ucs                . #x2269)       ; ≩
895     ))
896 (define-char
897   '((name               . "MUCH LESS-THAN")
898     (general-category   symbol math) ; Informative Category
899     (bidi-category      . "ON")
900     (mirrored           . t)
901     (japanese-jisx0208          . #x2263)       ; 
902     (korean-ksc5601             . #x216C)       ; 
903     (japanese-jisx0208-1990     . #x2263)       ; ≪
904     (ucs                        . #x226A)       ; ≪
905     ))
906 (define-char
907   '((name               . "MUCH GREATER-THAN")
908     (general-category   symbol math) ; Informative Category
909     (bidi-category      . "ON")
910     (mirrored           . t)
911     (japanese-jisx0208          . #x2264)       ; 
912     (korean-ksc5601             . #x216D)       ; 
913     (japanese-jisx0208-1990     . #x2264)       ; ≫
914     (ucs                        . #x226B)       ; ≫
915     ))
916 (define-char
917   '((name               . "BETWEEN")
918     (general-category   symbol math) ; Informative Category
919     (bidi-category      . "ON")
920     (mirrored           . nil)
921     (ucs                . #x226C)       ; ≬
922     ))
923 (define-char
924   '((name               . "NOT EQUIVALENT TO")
925     (general-category   symbol math) ; Informative Category
926     (bidi-category      . "ON")
927     (mirrored           . nil)
928     (->decomposition    #x224D #x0338)
929     (ucs                . #x226D)       ; ≭
930     ))
931 (define-char
932   '((name               . "NOT LESS-THAN")
933     (general-category   symbol math) ; Informative Category
934     (bidi-category      . "ON")
935     (mirrored           . t)
936     (->decomposition    #x003C #x0338)
937     (chinese-gb2312     . #x215A)       ; 
938     (ucs                . #x226E)       ; ≮
939     ))
940 (define-char
941   '((name               . "NOT GREATER-THAN")
942     (general-category   symbol math) ; Informative Category
943     (bidi-category      . "ON")
944     (mirrored           . t)
945     (->decomposition    #x003E #x0338)
946     (chinese-gb2312     . #x215B)       ; 
947     (ucs                . #x226F)       ; ≯
948     ))
949 (define-char
950   '((name               . "NEITHER LESS-THAN NOR EQUAL TO")
951     (general-category   symbol math) ; Informative Category
952     (bidi-category      . "ON")
953     (mirrored           . t)
954     (->decomposition    #x2264 #x0338)
955     (ucs                . #x2270)       ; ≰
956     ))
957 (define-char
958   '((name               . "NEITHER GREATER-THAN NOR EQUAL TO")
959     (general-category   symbol math) ; Informative Category
960     (bidi-category      . "ON")
961     (mirrored           . t)
962     (->decomposition    #x2265 #x0338)
963     (ucs                . #x2271)       ; ≱
964     ))
965 (define-char
966   '((name               . "LESS-THAN OR EQUIVALENT TO")
967     (general-category   symbol math) ; Informative Category
968     (bidi-category      . "ON")
969     (mirrored           . t)
970     (ucs                . #x2272)       ; ≲
971     ))
972 (define-char
973   '((name               . "GREATER-THAN OR EQUIVALENT TO")
974     (general-category   symbol math) ; Informative Category
975     (bidi-category      . "ON")
976     (mirrored           . t)
977     (ucs                . #x2273)       ; ≳
978     ))
979 (define-char
980   '((name               . "NEITHER LESS-THAN NOR EQUIVALENT TO")
981     (general-category   symbol math) ; Informative Category
982     (bidi-category      . "ON")
983     (mirrored           . t)
984     (->decomposition    #x2272 #x0338)
985     (ucs                . #x2274)       ; ≴
986     ))
987 (define-char
988   '((name               . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
989     (general-category   symbol math) ; Informative Category
990     (bidi-category      . "ON")
991     (mirrored           . t)
992     (->decomposition    #x2273 #x0338)
993     (ucs                . #x2275)       ; ≵
994     ))
995 (define-char
996   '((name               . "LESS-THAN OR GREATER-THAN")
997     (general-category   symbol math) ; Informative Category
998     (bidi-category      . "ON")
999     (mirrored           . t)
1000     (japanese-jisx0213-1        . #x226F)       ; ≶
1001     (ucs                        . #x2276)       ; ≶
1002     ))
1003 (define-char
1004   '((name               . "GREATER-THAN OR LESS-THAN")
1005     (general-category   symbol math) ; Informative Category
1006     (bidi-category      . "ON")
1007     (mirrored           . t)
1008     (japanese-jisx0213-1        . #x2270)       ; ≷
1009     (ucs                        . #x2277)       ; ≷
1010     ))
1011 (define-char
1012   '((name               . "NEITHER LESS-THAN NOR GREATER-THAN")
1013     (general-category   symbol math) ; Informative Category
1014     (bidi-category      . "ON")
1015     (mirrored           . t)
1016     (->decomposition    #x2276 #x0338)
1017     (ucs                . #x2278)       ; ≸
1018     ))
1019 (define-char
1020   '((name               . "NEITHER GREATER-THAN NOR LESS-THAN")
1021     (general-category   symbol math) ; Informative Category
1022     (bidi-category      . "ON")
1023     (mirrored           . t)
1024     (->decomposition    #x2277 #x0338)
1025     (ucs                . #x2279)       ; ≹
1026     ))
1027 (define-char
1028   '((name               . "PRECEDES")
1029     (general-category   symbol math) ; Informative Category
1030     (bidi-category      . "ON")
1031     (mirrored           . t)
1032     (ucs                . #x227A)       ; ≺
1033     ))
1034 (define-char
1035   '((name               . "SUCCEEDS")
1036     (general-category   symbol math) ; Informative Category
1037     (bidi-category      . "ON")
1038     (mirrored           . t)
1039     (ucs                . #x227B)       ; ≻
1040     ))
1041 (define-char
1042   '((name               . "PRECEDES OR EQUAL TO")
1043     (general-category   symbol math) ; Informative Category
1044     (bidi-category      . "ON")
1045     (mirrored           . t)
1046     (ucs                . #x227C)       ; ≼
1047     ))
1048 (define-char
1049   '((name               . "SUCCEEDS OR EQUAL TO")
1050     (general-category   symbol math) ; Informative Category
1051     (bidi-category      . "ON")
1052     (mirrored           . t)
1053     (ucs                . #x227D)       ; ≽
1054     ))
1055 (define-char
1056   '((name               . "PRECEDES OR EQUIVALENT TO")
1057     (general-category   symbol math) ; Informative Category
1058     (bidi-category      . "ON")
1059     (mirrored           . t)
1060     (ucs                . #x227E)       ; ≾
1061     ))
1062 (define-char
1063   '((name               . "SUCCEEDS OR EQUIVALENT TO")
1064     (general-category   symbol math) ; Informative Category
1065     (bidi-category      . "ON")
1066     (mirrored           . t)
1067     (ucs                . #x227F)       ; ≿
1068     ))
1069 (define-char
1070   '((name               . "DOES NOT PRECEDE")
1071     (general-category   symbol math) ; Informative Category
1072     (bidi-category      . "ON")
1073     (mirrored           . t)
1074     (->decomposition    #x227A #x0338)
1075     (ucs                . #x2280)       ; ⊀
1076     ))
1077 (define-char
1078   '((name               . "DOES NOT SUCCEED")
1079     (general-category   symbol math) ; Informative Category
1080     (bidi-category      . "ON")
1081     (mirrored           . t)
1082     (->decomposition    #x227B #x0338)
1083     (ucs                . #x2281)       ; ⊁
1084     ))
1085 (define-char
1086   '((name               . "SUBSET OF")
1087     (general-category   symbol math) ; Informative Category
1088     (bidi-category      . "ON")
1089     (mirrored           . t)
1090     (japanese-jisx0208          . #x223E)       ; 
1091     (korean-ksc5601             . #x2178)       ; 
1092     (japanese-jisx0208-1990     . #x223E)       ; ⊂
1093     (ucs                        . #x2282)       ; ⊂
1094     ))
1095 (define-char
1096   '((name               . "SUPERSET OF")
1097     (general-category   symbol math) ; Informative Category
1098     (bidi-category      . "ON")
1099     (mirrored           . t)
1100     (japanese-jisx0208          . #x223F)       ; 
1101     (korean-ksc5601             . #x2179)       ; 
1102     (japanese-jisx0208-1990     . #x223F)       ; ⊃
1103     (ucs                        . #x2283)       ; ⊃
1104     ))
1105 (define-char
1106   '((name               . "NOT A SUBSET OF")
1107     (general-category   symbol math) ; Informative Category
1108     (bidi-category      . "ON")
1109     (mirrored           . t)
1110     (->decomposition    #x2282 #x0338)
1111     (japanese-jisx0213-1        . #x2242)       ; ⊄
1112     (ucs                        . #x2284)       ; ⊄
1113     ))
1114 (define-char
1115   '((name               . "NOT A SUPERSET OF")
1116     (general-category   symbol math) ; Informative Category
1117     (bidi-category      . "ON")
1118     (mirrored           . t)
1119     (->decomposition    #x2283 #x0338)
1120     (japanese-jisx0213-1        . #x2243)       ; ⊅
1121     (ucs                        . #x2285)       ; ⊅
1122     ))
1123 (define-char
1124   '((name               . "SUBSET OF OR EQUAL TO")
1125     (general-category   symbol math) ; Informative Category
1126     (bidi-category      . "ON")
1127     (mirrored           . t)
1128     (japanese-jisx0208          . #x223C)       ; 
1129     (korean-ksc5601             . #x2176)       ; 
1130     (japanese-jisx0208-1990     . #x223C)       ; ⊆
1131     (ucs                        . #x2286)       ; ⊆
1132     ))
1133 (define-char
1134   '((name               . "SUPERSET OF OR EQUAL TO")
1135     (general-category   symbol math) ; Informative Category
1136     (bidi-category      . "ON")
1137     (mirrored           . t)
1138     (japanese-jisx0208          . #x223D)       ; 
1139     (korean-ksc5601             . #x2177)       ; 
1140     (japanese-jisx0208-1990     . #x223D)       ; ⊇
1141     (ucs                        . #x2287)       ; ⊇
1142     ))
1143 (define-char
1144   '((name               . "NEITHER A SUBSET OF NOR EQUAL TO")
1145     (general-category   symbol math) ; Informative Category
1146     (bidi-category      . "ON")
1147     (mirrored           . t)
1148     (->decomposition    #x2286 #x0338)
1149     (ucs                . #x2288)       ; ⊈
1150     ))
1151 (define-char
1152   '((name               . "NEITHER A SUPERSET OF NOR EQUAL TO")
1153     (general-category   symbol math) ; Informative Category
1154     (bidi-category      . "ON")
1155     (mirrored           . t)
1156     (->decomposition    #x2287 #x0338)
1157     (ucs                . #x2289)       ; ⊉
1158     ))
1159 (define-char
1160   '((name               . "SUBSET OF WITH NOT EQUAL TO")
1161     (general-category   symbol math) ; Informative Category
1162     (bidi-category      . "ON")
1163     (mirrored           . t)
1164     (japanese-jisx0213-1        . #x2244)       ; ⊊
1165     (ucs                        . #x228A)       ; ⊊
1166     ))
1167 (define-char
1168   '((name               . "SUPERSET OF WITH NOT EQUAL TO")
1169     (general-category   symbol math) ; Informative Category
1170     (bidi-category      . "ON")
1171     (mirrored           . t)
1172     (japanese-jisx0213-1        . #x2245)       ; ⊋
1173     (ucs                        . #x228B)       ; ⊋
1174     ))
1175 (define-char
1176   '((name               . "MULTISET")
1177     (general-category   symbol math) ; Informative Category
1178     (bidi-category      . "ON")
1179     (mirrored           . t)
1180     (ucs                . #x228C)       ; ⊌
1181     ))
1182 (define-char
1183   '((name               . "MULTISET MULTIPLICATION")
1184     (general-category   symbol math) ; Informative Category
1185     (bidi-category      . "ON")
1186     (mirrored           . nil)
1187     (ucs                . #x228D)       ; ⊍
1188     ))
1189 (define-char
1190   '((name               . "MULTISET UNION")
1191     (general-category   symbol math) ; Informative Category
1192     (bidi-category      . "ON")
1193     (mirrored           . nil)
1194     (ucs                . #x228E)       ; ⊎
1195     ))
1196 (define-char
1197   '((name               . "SQUARE IMAGE OF")
1198     (general-category   symbol math) ; Informative Category
1199     (bidi-category      . "ON")
1200     (mirrored           . t)
1201     (ucs                . #x228F)       ; ⊏
1202     ))
1203 (define-char
1204   '((name               . "SQUARE ORIGINAL OF")
1205     (general-category   symbol math) ; Informative Category
1206     (bidi-category      . "ON")
1207     (mirrored           . t)
1208     (ucs                . #x2290)       ; ⊐
1209     ))
1210 (define-char
1211   '((name               . "SQUARE IMAGE OF OR EQUAL TO")
1212     (general-category   symbol math) ; Informative Category
1213     (bidi-category      . "ON")
1214     (mirrored           . t)
1215     (ucs                . #x2291)       ; ⊑
1216     ))
1217 (define-char
1218   '((name               . "SQUARE ORIGINAL OF OR EQUAL TO")
1219     (general-category   symbol math) ; Informative Category
1220     (bidi-category      . "ON")
1221     (mirrored           . t)
1222     (ucs                . #x2292)       ; ⊒
1223     ))
1224 (define-char
1225   '((name               . "SQUARE CAP")
1226     (general-category   symbol math) ; Informative Category
1227     (bidi-category      . "ON")
1228     (mirrored           . nil)
1229     (ucs                . #x2293)       ; ⊓
1230     ))
1231 (define-char
1232   '((name               . "SQUARE CUP")
1233     (general-category   symbol math) ; Informative Category
1234     (bidi-category      . "ON")
1235     (mirrored           . nil)
1236     (ucs                . #x2294)       ; ⊔
1237     ))
1238 (define-char
1239   '((name               . "CIRCLED PLUS")
1240     (general-category   symbol math) ; Informative Category
1241     (bidi-category      . "ON")
1242     (mirrored           . nil)
1243     (chinese-cns11643-1         . #x2253)       ; 
1244     (japanese-jisx0213-1        . #x2251)       ; ⊕
1245     (ucs                        . #x2295)       ; ⊕
1246     ))
1247 (define-char
1248   '((name               . "CIRCLED MINUS")
1249     (general-category   symbol math) ; Informative Category
1250     (bidi-category      . "ON")
1251     (mirrored           . nil)
1252     (japanese-jisx0213-1        . #x2252)       ; ⊖
1253     (ucs                        . #x2296)       ; ⊖
1254     ))
1255 (define-char
1256   '((name               . "CIRCLED TIMES")
1257     (general-category   symbol math) ; Informative Category
1258     (bidi-category      . "ON")
1259     (mirrored           . nil)
1260     (japanese-jisx0213-1        . #x2253)       ; ⊗
1261     (ucs                        . #x2297)       ; ⊗
1262     ))
1263 (define-char
1264   '((name               . "CIRCLED DIVISION SLASH")
1265     (general-category   symbol math) ; Informative Category
1266     (bidi-category      . "ON")
1267     (mirrored           . t)
1268     (ucs                . #x2298)       ; ⊘
1269     ))
1270 (define-char
1271   '((name               . "CIRCLED DOT OPERATOR")
1272     (general-category   symbol math) ; Informative Category
1273     (bidi-category      . "ON")
1274     (mirrored           . nil)
1275     (chinese-gb2312     . #x2151)       ; 
1276     (korean-ksc5601     . #x2241)       ; 
1277     (chinese-cns11643-1 . #x2254)       ; 
1278     (ucs                . #x2299)       ; ⊙
1279     ))
1280 (define-char
1281   '((name               . "CIRCLED RING OPERATOR")
1282     (general-category   symbol math) ; Informative Category
1283     (bidi-category      . "ON")
1284     (mirrored           . nil)
1285     (ucs                . #x229A)       ; ⊚
1286     ))
1287 (define-char
1288   '((name               . "CIRCLED ASTERISK OPERATOR")
1289     (general-category   symbol math) ; Informative Category
1290     (bidi-category      . "ON")
1291     (mirrored           . nil)
1292     (ucs                . #x229B)       ; ⊛
1293     ))
1294 (define-char
1295   '((name               . "CIRCLED EQUALS")
1296     (general-category   symbol math) ; Informative Category
1297     (bidi-category      . "ON")
1298     (mirrored           . nil)
1299     (ucs                . #x229C)       ; ⊜
1300     ))
1301 (define-char
1302   '((name               . "CIRCLED DASH")
1303     (general-category   symbol math) ; Informative Category
1304     (bidi-category      . "ON")
1305     (mirrored           . nil)
1306     (ucs                . #x229D)       ; ⊝
1307     ))
1308 (define-char
1309   '((name               . "SQUARED PLUS")
1310     (general-category   symbol math) ; Informative Category
1311     (bidi-category      . "ON")
1312     (mirrored           . nil)
1313     (ucs                . #x229E)       ; ⊞
1314     ))
1315 (define-char
1316   '((name               . "SQUARED MINUS")
1317     (general-category   symbol math) ; Informative Category
1318     (bidi-category      . "ON")
1319     (mirrored           . nil)
1320     (ucs                . #x229F)       ; ⊟
1321     ))
1322 (define-char
1323   '((name               . "SQUARED TIMES")
1324     (general-category   symbol math) ; Informative Category
1325     (bidi-category      . "ON")
1326     (mirrored           . nil)
1327     (ucs                . #x22A0)       ; ⊠
1328     ))
1329 (define-char
1330   '((name               . "SQUARED DOT OPERATOR")
1331     (general-category   symbol math) ; Informative Category
1332     (bidi-category      . "ON")
1333     (mirrored           . nil)
1334     (ucs                . #x22A1)       ; ⊡
1335     ))
1336 (define-char
1337   '((name               . "RIGHT TACK")
1338     (general-category   symbol math) ; Informative Category
1339     (bidi-category      . "ON")
1340     (mirrored           . t)
1341     (ucs                . #x22A2)       ; ⊢
1342     ))
1343 (define-char
1344   '((name               . "LEFT TACK")
1345     (general-category   symbol math) ; Informative Category
1346     (bidi-category      . "ON")
1347     (mirrored           . t)
1348     (ucs                . #x22A3)       ; ⊣
1349     ))
1350 (define-char
1351   '((name               . "DOWN TACK")
1352     (general-category   symbol math) ; Informative Category
1353     (bidi-category      . "ON")
1354     (mirrored           . nil)
1355     (ucs                . #x22A4)       ; ⊤
1356     ))
1357 (define-char
1358   '((name               . "UP TACK")
1359     (general-category   symbol math) ; Informative Category
1360     (bidi-category      . "ON")
1361     (mirrored           . nil)
1362     (chinese-gb2312             . #x214D)       ; 
1363     (japanese-jisx0208          . #x225D)       ; 
1364     (korean-ksc5601             . #x2151)       ; 
1365     (chinese-cns11643-1         . #x2247)       ; 
1366     (japanese-jisx0208-1990     . #x225D)       ; ⊥
1367     (ucs                        . #x22A5)       ; ⊥
1368     ))
1369 (define-char
1370   '((name               . "ASSERTION")
1371     (general-category   symbol math) ; Informative Category
1372     (bidi-category      . "ON")
1373     (mirrored           . t)
1374     (ucs                . #x22A6)       ; ⊦
1375     ))
1376 (define-char
1377   '((name               . "MODELS")
1378     (general-category   symbol math) ; Informative Category
1379     (bidi-category      . "ON")
1380     (mirrored           . t)
1381     (ucs                . #x22A7)       ; ⊧
1382     ))
1383 (define-char
1384   '((name               . "TRUE")
1385     (general-category   symbol math) ; Informative Category
1386     (bidi-category      . "ON")
1387     (mirrored           . t)
1388     (ucs                . #x22A8)       ; ⊨
1389     ))
1390 (define-char
1391   '((name               . "FORCES")
1392     (general-category   symbol math) ; Informative Category
1393     (bidi-category      . "ON")
1394     (mirrored           . t)
1395     (ucs                . #x22A9)       ; ⊩
1396     ))
1397 (define-char
1398   '((name               . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
1399     (general-category   symbol math) ; Informative Category
1400     (bidi-category      . "ON")
1401     (mirrored           . t)
1402     (ucs                . #x22AA)       ; ⊪
1403     ))
1404 (define-char
1405   '((name               . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1406     (general-category   symbol math) ; Informative Category
1407     (bidi-category      . "ON")
1408     (mirrored           . t)
1409     (ucs                . #x22AB)       ; ⊫
1410     ))
1411 (define-char
1412   '((name               . "DOES NOT PROVE")
1413     (general-category   symbol math) ; Informative Category
1414     (bidi-category      . "ON")
1415     (mirrored           . t)
1416     (->decomposition    #x22A2 #x0338)
1417     (ucs                . #x22AC)       ; ⊬
1418     ))
1419 (define-char
1420   '((name               . "NOT TRUE")
1421     (general-category   symbol math) ; Informative Category
1422     (bidi-category      . "ON")
1423     (mirrored           . t)
1424     (->decomposition    #x22A8 #x0338)
1425     (ucs                . #x22AD)       ; ⊭
1426     ))
1427 (define-char
1428   '((name               . "DOES NOT FORCE")
1429     (general-category   symbol math) ; Informative Category
1430     (bidi-category      . "ON")
1431     (mirrored           . t)
1432     (->decomposition    #x22A9 #x0338)
1433     (ucs                . #x22AE)       ; ⊮
1434     ))
1435 (define-char
1436   '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1437     (general-category   symbol math) ; Informative Category
1438     (bidi-category      . "ON")
1439     (mirrored           . t)
1440     (->decomposition    #x22AB #x0338)
1441     (ucs                . #x22AF)       ; ⊯
1442     ))
1443 (define-char
1444   '((name               . "PRECEDES UNDER RELATION")
1445     (general-category   symbol math) ; Informative Category
1446     (bidi-category      . "ON")
1447     (mirrored           . t)
1448     (ucs                . #x22B0)       ; ⊰
1449     ))
1450 (define-char
1451   '((name               . "SUCCEEDS UNDER RELATION")
1452     (general-category   symbol math) ; Informative Category
1453     (bidi-category      . "ON")
1454     (mirrored           . t)
1455     (ucs                . #x22B1)       ; ⊱
1456     ))
1457 (define-char
1458   '((name               . "NORMAL SUBGROUP OF")
1459     (general-category   symbol math) ; Informative Category
1460     (bidi-category      . "ON")
1461     (mirrored           . t)
1462     (ucs                . #x22B2)       ; ⊲
1463     ))
1464 (define-char
1465   '((name               . "CONTAINS AS NORMAL SUBGROUP")
1466     (general-category   symbol math) ; Informative Category
1467     (bidi-category      . "ON")
1468     (mirrored           . t)
1469     (ucs                . #x22B3)       ; ⊳
1470     ))
1471 (define-char
1472   '((name               . "NORMAL SUBGROUP OF OR EQUAL TO")
1473     (general-category   symbol math) ; Informative Category
1474     (bidi-category      . "ON")
1475     (mirrored           . t)
1476     (ucs                . #x22B4)       ; ⊴
1477     ))
1478 (define-char
1479   '((name               . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
1480     (general-category   symbol math) ; Informative Category
1481     (bidi-category      . "ON")
1482     (mirrored           . t)
1483     (ucs                . #x22B5)       ; ⊵
1484     ))
1485 (define-char
1486   '((name               . "ORIGINAL OF")
1487     (general-category   symbol math) ; Informative Category
1488     (bidi-category      . "ON")
1489     (mirrored           . t)
1490     (ucs                . #x22B6)       ; ⊶
1491     ))
1492 (define-char
1493   '((name               . "IMAGE OF")
1494     (general-category   symbol math) ; Informative Category
1495     (bidi-category      . "ON")
1496     (mirrored           . t)
1497     (ucs                . #x22B7)       ; ⊷
1498     ))
1499 (define-char
1500   '((name               . "MULTIMAP")
1501     (general-category   symbol math) ; Informative Category
1502     (bidi-category      . "ON")
1503     (mirrored           . t)
1504     (ucs                . #x22B8)       ; ⊸
1505     ))
1506 (define-char
1507   '((name               . "HERMITIAN CONJUGATE MATRIX")
1508     (general-category   symbol math) ; Informative Category
1509     (bidi-category      . "ON")
1510     (mirrored           . nil)
1511     (ucs                . #x22B9)       ; ⊹
1512     ))
1513 (define-char
1514   '((name               . "INTERCALATE")
1515     (general-category   symbol math) ; Informative Category
1516     (bidi-category      . "ON")
1517     (mirrored           . nil)
1518     (ucs                . #x22BA)       ; ⊺
1519     ))
1520 (define-char
1521   '((name               . "XOR")
1522     (general-category   symbol math) ; Informative Category
1523     (bidi-category      . "ON")
1524     (mirrored           . nil)
1525     (ucs                . #x22BB)       ; ⊻
1526     ))
1527 (define-char
1528   '((name               . "NAND")
1529     (general-category   symbol math) ; Informative Category
1530     (bidi-category      . "ON")
1531     (mirrored           . nil)
1532     (ucs                . #x22BC)       ; ⊼
1533     ))
1534 (define-char
1535   '((name               . "NOR")
1536     (general-category   symbol math) ; Informative Category
1537     (bidi-category      . "ON")
1538     (mirrored           . nil)
1539     (ucs                . #x22BD)       ; ⊽
1540     ))
1541 (define-char
1542   '((name               . "RIGHT ANGLE WITH ARC")
1543     (general-category   symbol math) ; Informative Category
1544     (bidi-category      . "ON")
1545     (mirrored           . t)
1546     (ucs                . #x22BE)       ; ⊾
1547     ))
1548 (define-char
1549   '((name               . "RIGHT TRIANGLE")
1550     (general-category   symbol math) ; Informative Category
1551     (bidi-category      . "ON")
1552     (mirrored           . t)
1553     (chinese-cns11643-1         . #x224A)       ; 
1554     (japanese-jisx0213-1        . #x2D79)       ; ⊿
1555     (ucs                        . #x22BF)       ; ⊿
1556     ))
1557 (define-char
1558   '((name               . "N-ARY LOGICAL AND")
1559     (general-category   symbol math) ; Informative Category
1560     (bidi-category      . "ON")
1561     (mirrored           . nil)
1562     (ucs                . #x22C0)       ; ⋀
1563     ))
1564 (define-char
1565   '((name               . "N-ARY LOGICAL OR")
1566     (general-category   symbol math) ; Informative Category
1567     (bidi-category      . "ON")
1568     (mirrored           . nil)
1569     (ucs                . #x22C1)       ; ⋁
1570     ))
1571 (define-char
1572   '((name               . "N-ARY INTERSECTION")
1573     (general-category   symbol math) ; Informative Category
1574     (bidi-category      . "ON")
1575     (mirrored           . nil)
1576     (ucs                . #x22C2)       ; ⋂
1577     ))
1578 (define-char
1579   '((name               . "N-ARY UNION")
1580     (general-category   symbol math) ; Informative Category
1581     (bidi-category      . "ON")
1582     (mirrored           . nil)
1583     (ucs                . #x22C3)       ; ⋃
1584     ))
1585 (define-char
1586   '((name               . "DIAMOND OPERATOR")
1587     (general-category   symbol math) ; Informative Category
1588     (bidi-category      . "ON")
1589     (mirrored           . nil)
1590     (ucs                . #x22C4)       ; ⋄
1591     ))
1592 (define-char
1593   '((name               . "DOT OPERATOR")
1594     (general-category   symbol math) ; Informative Category
1595     (bidi-category      . "ON")
1596     (mirrored           . nil)
1597     (ucs                . #x22C5)       ; ⋅
1598     ))
1599 (define-char
1600   '((name               . "STAR OPERATOR")
1601     (general-category   symbol math) ; Informative Category
1602     (bidi-category      . "ON")
1603     (mirrored           . nil)
1604     (ucs                . #x22C6)       ; ⋆
1605     ))
1606 (define-char
1607   '((name               . "DIVISION TIMES")
1608     (general-category   symbol math) ; Informative Category
1609     (bidi-category      . "ON")
1610     (mirrored           . nil)
1611     (ucs                . #x22C7)       ; ⋇
1612     ))
1613 (define-char
1614   '((name               . "BOWTIE")
1615     (general-category   symbol math) ; Informative Category
1616     (bidi-category      . "ON")
1617     (mirrored           . nil)
1618     (ucs                . #x22C8)       ; ⋈
1619     ))
1620 (define-char
1621   '((name               . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
1622     (general-category   symbol math) ; Informative Category
1623     (bidi-category      . "ON")
1624     (mirrored           . t)
1625     (ucs                . #x22C9)       ; ⋉
1626     ))
1627 (define-char
1628   '((name               . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
1629     (general-category   symbol math) ; Informative Category
1630     (bidi-category      . "ON")
1631     (mirrored           . t)
1632     (ucs                . #x22CA)       ; ⋊
1633     ))
1634 (define-char
1635   '((name               . "LEFT SEMIDIRECT PRODUCT")
1636     (general-category   symbol math) ; Informative Category
1637     (bidi-category      . "ON")
1638     (mirrored           . t)
1639     (ucs                . #x22CB)       ; ⋋
1640     ))
1641 (define-char
1642   '((name               . "RIGHT SEMIDIRECT PRODUCT")
1643     (general-category   symbol math) ; Informative Category
1644     (bidi-category      . "ON")
1645     (mirrored           . t)
1646     (ucs                . #x22CC)       ; ⋌
1647     ))
1648 (define-char
1649   '((name               . "REVERSED TILDE EQUALS")
1650     (general-category   symbol math) ; Informative Category
1651     (bidi-category      . "ON")
1652     (mirrored           . t)
1653     (ucs                . #x22CD)       ; ⋍
1654     ))
1655 (define-char
1656   '((name               . "CURLY LOGICAL OR")
1657     (general-category   symbol math) ; Informative Category
1658     (bidi-category      . "ON")
1659     (mirrored           . nil)
1660     (ucs                . #x22CE)       ; ⋎
1661     ))
1662 (define-char
1663   '((name               . "CURLY LOGICAL AND")
1664     (general-category   symbol math) ; Informative Category
1665     (bidi-category      . "ON")
1666     (mirrored           . nil)
1667     (ucs                . #x22CF)       ; ⋏
1668     ))
1669 (define-char
1670   '((name               . "DOUBLE SUBSET")
1671     (general-category   symbol math) ; Informative Category
1672     (bidi-category      . "ON")
1673     (mirrored           . t)
1674     (ucs                . #x22D0)       ; ⋐
1675     ))
1676 (define-char
1677   '((name               . "DOUBLE SUPERSET")
1678     (general-category   symbol math) ; Informative Category
1679     (bidi-category      . "ON")
1680     (mirrored           . t)
1681     (ucs                . #x22D1)       ; ⋑
1682     ))
1683 (define-char
1684   '((name               . "DOUBLE INTERSECTION")
1685     (general-category   symbol math) ; Informative Category
1686     (bidi-category      . "ON")
1687     (mirrored           . nil)
1688     (ucs                . #x22D2)       ; ⋒
1689     ))
1690 (define-char
1691   '((name               . "DOUBLE UNION")
1692     (general-category   symbol math) ; Informative Category
1693     (bidi-category      . "ON")
1694     (mirrored           . nil)
1695     (ucs                . #x22D3)       ; ⋓
1696     ))
1697 (define-char
1698   '((name               . "PITCHFORK")
1699     (general-category   symbol math) ; Informative Category
1700     (bidi-category      . "ON")
1701     (mirrored           . nil)
1702     (ucs                . #x22D4)       ; ⋔
1703     ))
1704 (define-char
1705   '((name               . "EQUAL AND PARALLEL TO")
1706     (general-category   symbol math) ; Informative Category
1707     (bidi-category      . "ON")
1708     (mirrored           . nil)
1709     (ucs                . #x22D5)       ; ⋕
1710     ))
1711 (define-char
1712   '((name               . "LESS-THAN WITH DOT")
1713     (general-category   symbol math) ; Informative Category
1714     (bidi-category      . "ON")
1715     (mirrored           . t)
1716     (ucs                . #x22D6)       ; ⋖
1717     ))
1718 (define-char
1719   '((name               . "GREATER-THAN WITH DOT")
1720     (general-category   symbol math) ; Informative Category
1721     (bidi-category      . "ON")
1722     (mirrored           . t)
1723     (ucs                . #x22D7)       ; ⋗
1724     ))
1725 (define-char
1726   '((name               . "VERY MUCH LESS-THAN")
1727     (general-category   symbol math) ; Informative Category
1728     (bidi-category      . "ON")
1729     (mirrored           . t)
1730     (ucs                . #x22D8)       ; ⋘
1731     ))
1732 (define-char
1733   '((name               . "VERY MUCH GREATER-THAN")
1734     (general-category   symbol math) ; Informative Category
1735     (bidi-category      . "ON")
1736     (mirrored           . t)
1737     (ucs                . #x22D9)       ; ⋙
1738     ))
1739 (define-char
1740   '((name               . "LESS-THAN EQUAL TO OR GREATER-THAN")
1741     (general-category   symbol math) ; Informative Category
1742     (bidi-category      . "ON")
1743     (mirrored           . t)
1744     (japanese-jisx0213-1        . #x2776)       ; ⋚
1745     (ucs                        . #x22DA)       ; ⋚
1746     ))
1747 (define-char
1748   '((name               . "GREATER-THAN EQUAL TO OR LESS-THAN")
1749     (general-category   symbol math) ; Informative Category
1750     (bidi-category      . "ON")
1751     (mirrored           . t)
1752     (japanese-jisx0213-1        . #x2777)       ; ⋛
1753     (ucs                        . #x22DB)       ; ⋛
1754     ))
1755 (define-char
1756   '((name               . "EQUAL TO OR LESS-THAN")
1757     (general-category   symbol math) ; Informative Category
1758     (bidi-category      . "ON")
1759     (mirrored           . t)
1760     (ucs                . #x22DC)       ; ⋜
1761     ))
1762 (define-char
1763   '((name               . "EQUAL TO OR GREATER-THAN")
1764     (general-category   symbol math) ; Informative Category
1765     (bidi-category      . "ON")
1766     (mirrored           . t)
1767     (ucs                . #x22DD)       ; ⋝
1768     ))
1769 (define-char
1770   '((name               . "EQUAL TO OR PRECEDES")
1771     (general-category   symbol math) ; Informative Category
1772     (bidi-category      . "ON")
1773     (mirrored           . t)
1774     (ucs                . #x22DE)       ; ⋞
1775     ))
1776 (define-char
1777   '((name               . "EQUAL TO OR SUCCEEDS")
1778     (general-category   symbol math) ; Informative Category
1779     (bidi-category      . "ON")
1780     (mirrored           . t)
1781     (ucs                . #x22DF)       ; ⋟
1782     ))
1783 (define-char
1784   '((name               . "DOES NOT PRECEDE OR EQUAL")
1785     (general-category   symbol math) ; Informative Category
1786     (bidi-category      . "ON")
1787     (mirrored           . t)
1788     (->decomposition    #x227C #x0338)
1789     (ucs                . #x22E0)       ; ⋠
1790     ))
1791 (define-char
1792   '((name               . "DOES NOT SUCCEED OR EQUAL")
1793     (general-category   symbol math) ; Informative Category
1794     (bidi-category      . "ON")
1795     (mirrored           . t)
1796     (->decomposition    #x227D #x0338)
1797     (ucs                . #x22E1)       ; ⋡
1798     ))
1799 (define-char
1800   '((name               . "NOT SQUARE IMAGE OF OR EQUAL TO")
1801     (general-category   symbol math) ; Informative Category
1802     (bidi-category      . "ON")
1803     (mirrored           . t)
1804     (->decomposition    #x2291 #x0338)
1805     (ucs                . #x22E2)       ; ⋢
1806     ))
1807 (define-char
1808   '((name               . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
1809     (general-category   symbol math) ; Informative Category
1810     (bidi-category      . "ON")
1811     (mirrored           . t)
1812     (->decomposition    #x2292 #x0338)
1813     (ucs                . #x22E3)       ; ⋣
1814     ))
1815 (define-char
1816   '((name               . "SQUARE IMAGE OF OR NOT EQUAL TO")
1817     (general-category   symbol math) ; Informative Category
1818     (bidi-category      . "ON")
1819     (mirrored           . t)
1820     (ucs                . #x22E4)       ; ⋤
1821     ))
1822 (define-char
1823   '((name               . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
1824     (general-category   symbol math) ; Informative Category
1825     (bidi-category      . "ON")
1826     (mirrored           . t)
1827     (ucs                . #x22E5)       ; ⋥
1828     ))
1829 (define-char
1830   '((name               . "LESS-THAN BUT NOT EQUIVALENT TO")
1831     (general-category   symbol math) ; Informative Category
1832     (bidi-category      . "ON")
1833     (mirrored           . t)
1834     (ucs                . #x22E6)       ; ⋦
1835     ))
1836 (define-char
1837   '((name               . "GREATER-THAN BUT NOT EQUIVALENT TO")
1838     (general-category   symbol math) ; Informative Category
1839     (bidi-category      . "ON")
1840     (mirrored           . t)
1841     (ucs                . #x22E7)       ; ⋧
1842     ))
1843 (define-char
1844   '((name               . "PRECEDES BUT NOT EQUIVALENT TO")
1845     (general-category   symbol math) ; Informative Category
1846     (bidi-category      . "ON")
1847     (mirrored           . t)
1848     (ucs                . #x22E8)       ; ⋨
1849     ))
1850 (define-char
1851   '((name               . "SUCCEEDS BUT NOT EQUIVALENT TO")
1852     (general-category   symbol math) ; Informative Category
1853     (bidi-category      . "ON")
1854     (mirrored           . t)
1855     (ucs                . #x22E9)       ; ⋩
1856     ))
1857 (define-char
1858   '((name               . "NOT NORMAL SUBGROUP OF")
1859     (general-category   symbol math) ; Informative Category
1860     (bidi-category      . "ON")
1861     (mirrored           . t)
1862     (->decomposition    #x22B2 #x0338)
1863     (ucs                . #x22EA)       ; ⋪
1864     ))
1865 (define-char
1866   '((name               . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
1867     (general-category   symbol math) ; Informative Category
1868     (bidi-category      . "ON")
1869     (mirrored           . t)
1870     (->decomposition    #x22B3 #x0338)
1871     (ucs                . #x22EB)       ; ⋫
1872     ))
1873 (define-char
1874   '((name               . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
1875     (general-category   symbol math) ; Informative Category
1876     (bidi-category      . "ON")
1877     (mirrored           . t)
1878     (->decomposition    #x22B4 #x0338)
1879     (ucs                . #x22EC)       ; ⋬
1880     ))
1881 (define-char
1882   '((name               . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
1883     (general-category   symbol math) ; Informative Category
1884     (bidi-category      . "ON")
1885     (mirrored           . t)
1886     (->decomposition    #x22B5 #x0338)
1887     (ucs                . #x22ED)       ; ⋭
1888     ))
1889 (define-char
1890   '((name               . "VERTICAL ELLIPSIS")
1891     (general-category   symbol math) ; Informative Category
1892     (bidi-category      . "ON")
1893     (mirrored           . nil)
1894     (ucs                . #x22EE)       ; ⋮
1895     ))
1896 (define-char
1897   '((name               . "MIDLINE HORIZONTAL ELLIPSIS")
1898     (general-category   symbol math) ; Informative Category
1899     (bidi-category      . "ON")
1900     (mirrored           . nil)
1901     (ucs                . #x22EF)       ; ⋯
1902     ))
1903 (define-char
1904   '((name               . "UP RIGHT DIAGONAL ELLIPSIS")
1905     (general-category   symbol math) ; Informative Category
1906     (bidi-category      . "ON")
1907     (mirrored           . t)
1908     (ucs                . #x22F0)       ; ⋰
1909     ))
1910 (define-char
1911   '((name               . "DOWN RIGHT DIAGONAL ELLIPSIS")
1912     (general-category   symbol math) ; Informative Category
1913     (bidi-category      . "ON")
1914     (mirrored           . t)
1915     (ucs                . #x22F1)       ; ⋱
1916     ))