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