projects / chise / xemacs-chise.git- / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
(TILDE OPERATOR): Unify C1-2244 and Big5-A1E3.
[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     (chinese-cns11643-1 . #x2244)       ; 
551     (chinese-big5       . #xA1E3)       ; 
552     (ucs                . #x223C)       ; ∼
553     ))
554 (define-char
555   '((name               . "REVERSED TILDE")
556     (general-category   symbol math) ; Informative Category
557     (bidi-category      . "ON")
558     (mirrored           . t)
559     (iso-10646-comment  . "lazy S")
560     (chinese-gb2312             . #x2157)       ; 
561     (japanese-jisx0208          . #x2266)       ; 
562     (korean-ksc5601             . #x216F)       ; 
563     (japanese-jisx0208-1990     . #x2266)       ; 
564     (ucs                        . #x223D)       ; ∽
565     ))
566 (define-char
567   '((name               . "INVERTED LAZY S")
568     (general-category   symbol math) ; Informative Category
569     (bidi-category      . "ON")
570     (mirrored           . t)
571     (ucs                . #x223E)       ; ∾
572     ))
573 (define-char
574   '((name               . "SINE WAVE")
575     (general-category   symbol math) ; Informative Category
576     (bidi-category      . "ON")
577     (mirrored           . t)
578     (ucs                . #x223F)       ; ∿
579     ))
580 (define-char
581   '((name               . "WREATH PRODUCT")
582     (general-category   symbol math) ; Informative Category
583     (bidi-category      . "ON")
584     (mirrored           . t)
585     (ucs                . #x2240)       ; ≀
586     ))
587 (define-char
588   '((name               . "NOT TILDE")
589     (general-category   symbol math) ; Informative Category
590     (bidi-category      . "ON")
591     (mirrored           . t)
592     (->decomposition    #x223C #x0338)
593     (ucs                . #x2241)       ; ≁
594     ))
595 (define-char
596   '((name               . "MINUS TILDE")
597     (general-category   symbol math) ; Informative Category
598     (bidi-category      . "ON")
599     (mirrored           . t)
600     (ucs                . #x2242)       ; ≂
601     ))
602 (define-char
603   '((name               . "ASYMPTOTICALLY EQUAL TO")
604     (general-category   symbol math) ; Informative Category
605     (bidi-category      . "ON")
606     (mirrored           . t)
607     (japanese-jisx0213-1        . #x226C)       ; 
608     (ucs                        . #x2243)       ; ≃
609     ))
610 (define-char
611   '((name               . "NOT ASYMPTOTICALLY EQUAL TO")
612     (general-category   symbol math) ; Informative Category
613     (bidi-category      . "ON")
614     (mirrored           . t)
615     (->decomposition    #x2243 #x0338)
616     (ucs                . #x2244)       ; ≄
617     ))
618 (define-char
619   '((name               . "APPROXIMATELY EQUAL TO")
620     (general-category   symbol math) ; Informative Category
621     (bidi-category      . "ON")
622     (mirrored           . t)
623     (japanese-jisx0213-1        . #x226D)       ; 
624     (ucs                        . #x2245)       ; ≅
625     ))
626 (define-char
627   '((name               . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
628     (general-category   symbol math) ; Informative Category
629     (bidi-category      . "ON")
630     (mirrored           . t)
631     (ucs                . #x2246)       ; ≆
632     ))
633 (define-char
634   '((name               . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
635     (general-category   symbol math) ; Informative Category
636     (bidi-category      . "ON")
637     (mirrored           . t)
638     (->decomposition    #x2245 #x0338)
639     (ucs                . #x2247)       ; ≇
640     ))
641 (define-char
642   '((name               . "ALMOST EQUAL TO")
643     (general-category   symbol math) ; Informative Category
644     (bidi-category      . "ON")
645     (mirrored           . t)
646     (chinese-gb2312             . #x2156)       ; 
647     (japanese-jisx0213-1        . #x226E)       ; 
648     (ucs                        . #x2248)       ; ≈
649     ))
650 (define-char
651   '((name               . "NOT ALMOST EQUAL TO")
652     (general-category   symbol math) ; Informative Category
653     (bidi-category      . "ON")
654     (mirrored           . t)
655     (->decomposition    #x2248 #x0338)
656     (ucs                . #x2249)       ; ≉
657     ))
658 (define-char
659   '((name               . "ALMOST EQUAL OR EQUAL TO")
660     (general-category   symbol math) ; Informative Category
661     (bidi-category      . "ON")
662     (mirrored           . t)
663     (ucs                . #x224A)       ; ≊
664     ))
665 (define-char
666   '((name               . "TRIPLE TILDE")
667     (general-category   symbol math) ; Informative Category
668     (bidi-category      . "ON")
669     (mirrored           . t)
670     (ucs                . #x224B)       ; ≋
671     ))
672 (define-char
673   '((name               . "ALL EQUAL TO")
674     (general-category   symbol math) ; Informative Category
675     (bidi-category      . "ON")
676     (mirrored           . t)
677     (chinese-gb2312     . #x2155)       ; 
678     (ucs                . #x224C)       ; ≌
679     ))
680 (define-char
681   '((name               . "EQUIVALENT TO")
682     (general-category   symbol math) ; Informative Category
683     (bidi-category      . "ON")
684     (mirrored           . nil)
685     (ucs                . #x224D)       ; ≍
686     ))
687 (define-char
688   '((name               . "GEOMETRICALLY EQUIVALENT TO")
689     (general-category   symbol math) ; Informative Category
690     (bidi-category      . "ON")
691     (mirrored           . nil)
692     (ucs                . #x224E)       ; ≎
693     ))
694 (define-char
695   '((name               . "DIFFERENCE BETWEEN")
696     (general-category   symbol math) ; Informative Category
697     (bidi-category      . "ON")
698     (mirrored           . nil)
699     (ucs                . #x224F)       ; ≏
700     ))
701 (define-char
702   '((name               . "APPROACHES THE LIMIT")
703     (general-category   symbol math) ; Informative Category
704     (bidi-category      . "ON")
705     (mirrored           . nil)
706     (ucs                . #x2250)       ; ≐
707     ))
708 (define-char
709   '((name               . "GEOMETRICALLY EQUAL TO")
710     (general-category   symbol math) ; Informative Category
711     (bidi-category      . "ON")
712     (mirrored           . nil)
713     (ucs                . #x2251)       ; ≑
714     ))
715 (define-char
716   '((name               . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
717     (general-category   symbol math) ; Informative Category
718     (bidi-category      . "ON")
719     (mirrored           . t)
720     (japanese-jisx0208          . #x2262)       ; 
721     (korean-ksc5601             . #x2156)       ; 
722     (chinese-cns11643-1         . #x223D)       ; 
723     (japanese-jisx0208-1990     . #x2262)       ; 
724     (chinese-big5               . #xA1DC)       ; 
725     (ucs                        . #x2252)       ; ≒
726     ))
727 (define-char
728   '((name               . "IMAGE OF OR APPROXIMATELY EQUAL TO")
729     (general-category   symbol math) ; Informative Category
730     (bidi-category      . "ON")
731     (mirrored           . t)
732     (ucs                . #x2253)       ; ≓
733     ))
734 (define-char
735   '((name               . "COLON EQUALS")
736     (general-category   symbol math) ; Informative Category
737     (bidi-category      . "ON")
738     (mirrored           . t)
739     (ucs                . #x2254)       ; ≔
740     ))
741 (define-char
742   '((name               . "EQUALS COLON")
743     (general-category   symbol math) ; Informative Category
744     (bidi-category      . "ON")
745     (mirrored           . t)
746     (ucs                . #x2255)       ; ≕
747     ))
748 (define-char
749   '((name               . "RING IN EQUAL TO")
750     (general-category   symbol math) ; Informative Category
751     (bidi-category      . "ON")
752     (mirrored           . nil)
753     (ucs                . #x2256)       ; ≖
754     ))
755 (define-char
756   '((name               . "RING EQUAL TO")
757     (general-category   symbol math) ; Informative Category
758     (bidi-category      . "ON")
759     (mirrored           . nil)
760     (ucs                . #x2257)       ; ≗
761     ))
762 (define-char
763   '((name               . "CORRESPONDS TO")
764     (general-category   symbol math) ; Informative Category
765     (bidi-category      . "ON")
766     (mirrored           . nil)
767     (ucs                . #x2258)       ; ≘
768     ))
769 (define-char
770   '((name               . "ESTIMATES")
771     (general-category   symbol math) ; Informative Category
772     (bidi-category      . "ON")
773     (mirrored           . nil)
774     (ucs                . #x2259)       ; ≙
775     ))
776 (define-char
777   '((name               . "EQUIANGULAR TO")
778     (general-category   symbol math) ; Informative Category
779     (bidi-category      . "ON")
780     (mirrored           . nil)
781     (ucs                . #x225A)       ; ≚
782     ))
783 (define-char
784   '((name               . "STAR EQUALS")
785     (general-category   symbol math) ; Informative Category
786     (bidi-category      . "ON")
787     (mirrored           . nil)
788     (ucs                . #x225B)       ; ≛
789     ))
790 (define-char
791   '((name               . "DELTA EQUAL TO")
792     (general-category   symbol math) ; Informative Category
793     (bidi-category      . "ON")
794     (mirrored           . nil)
795     (ucs                . #x225C)       ; ≜
796     ))
797 (define-char
798   '((name               . "EQUAL TO BY DEFINITION")
799     (general-category   symbol math) ; Informative Category
800     (bidi-category      . "ON")
801     (mirrored           . nil)
802     (ucs                . #x225D)       ; ≝
803     ))
804 (define-char
805   '((name               . "MEASURED BY")
806     (general-category   symbol math) ; Informative Category
807     (bidi-category      . "ON")
808     (mirrored           . nil)
809     (ucs                . #x225E)       ; ≞
810     ))
811 (define-char
812   '((name               . "QUESTIONED EQUAL TO")
813     (general-category   symbol math) ; Informative Category
814     (bidi-category      . "ON")
815     (mirrored           . t)
816     (ucs                . #x225F)       ; ≟
817     ))
818 (define-char
819   '((name               . "NOT EQUAL TO")
820     (general-category   symbol math) ; Informative Category
821     (bidi-category      . "ON")
822     (mirrored           . t)
823     (->decomposition    #x003D #x0338)
824     (japanese-jisx0208-1978     . #x2162)       ; 
825     (chinese-gb2312             . #x2159)       ; 
826     (japanese-jisx0208          . #x2162)       ; 
827     (korean-ksc5601             . #x2141)       ; 
828     (chinese-cns11643-1         . #x223B)       ; 
829     (japanese-jisx0208-1990     . #x2162)       ; 
830     (chinese-big5               . #xA1DA)       ; 
831     (ucs                        . #x2260)       ; ≠
832     ))
833 (define-char
834   '((name               . "IDENTICAL TO")
835     (general-category   symbol math) ; Informative Category
836     (bidi-category      . "ON")
837     (mirrored           . nil)
838     (chinese-gb2312             . #x2154)       ; 
839     (japanese-jisx0208          . #x2261)       ; 
840     (korean-ksc5601             . #x2155)       ; 
841     (chinese-cns11643-1         . #x223E)       ; 
842     (japanese-jisx0208-1990     . #x2261)       ; 
843     (chinese-big5               . #xA1DD)       ; 
844     (ucs                        . #x2261)       ; ≡
845     ))
846 (define-char
847   '((name               . "NOT IDENTICAL TO")
848     (general-category   symbol math) ; Informative Category
849     (bidi-category      . "ON")
850     (mirrored           . t)
851     (->decomposition    #x2261 #x0338)
852     (japanese-jisx0213-1        . #x226B)       ; 
853     (ucs                        . #x2262)       ; ≢
854     ))
855 (define-char
856   '((name               . "STRICTLY EQUIVALENT TO")
857     (general-category   symbol math) ; Informative Category
858     (bidi-category      . "ON")
859     (mirrored           . nil)
860     (ucs                . #x2263)       ; ≣
861     ))
862 (define-char
863   '((name               . "LESS-THAN OR EQUAL TO")
864     (general-category   symbol math) ; Informative Category
865     (bidi-category      . "ON")
866     (mirrored           . t)
867     (chinese-gb2312     . #x215C)       ; 
868     (korean-ksc5601     . #x2142)       ; 
869     (ucs                . #x2264)       ; ≤
870     ))
871 (define-char
872   '((name               . "GREATER-THAN OR EQUAL TO")
873     (general-category   symbol math) ; Informative Category
874     (bidi-category      . "ON")
875     (mirrored           . t)
876     (chinese-gb2312     . #x215D)       ; 
877     (korean-ksc5601     . #x2143)       ; 
878     (ucs                . #x2265)       ; ≥
879     ))
880 (define-char
881   '((name               . "LESS-THAN OVER EQUAL TO")
882     (general-category   symbol math) ; Informative Category
883     (bidi-category      . "ON")
884     (mirrored           . t)
885     (japanese-jisx0208-1978     . #x2165)       ; 
886     (japanese-jisx0208          . #x2165)       ; 
887     (chinese-cns11643-1         . #x2239)       ; 
888     (japanese-jisx0208-1990     . #x2165)       ; 
889     (chinese-big5               . #xA1D8)       ; 
890     (ucs                        . #x2266)       ; ≦
891     ))
892 (define-char
893   '((name               . "GREATER-THAN OVER EQUAL TO")
894     (general-category   symbol math) ; Informative Category
895     (bidi-category      . "ON")
896     (mirrored           . t)
897     (japanese-jisx0208-1978     . #x2166)       ; 
898     (japanese-jisx0208          . #x2166)       ; 
899     (chinese-cns11643-1         . #x223A)       ; 
900     (japanese-jisx0208-1990     . #x2166)       ; 
901     (chinese-big5               . #xA1D9)       ; 
902     (ucs                        . #x2267)       ; ≧
903     ))
904 (define-char
905   '((name               . "LESS-THAN BUT NOT EQUAL TO")
906     (general-category   symbol math) ; Informative Category
907     (bidi-category      . "ON")
908     (mirrored           . t)
909     (ucs                . #x2268)       ; ≨
910     ))
911 (define-char
912   '((name               . "GREATER-THAN BUT NOT EQUAL TO")
913     (general-category   symbol math) ; Informative Category
914     (bidi-category      . "ON")
915     (mirrored           . t)
916     (ucs                . #x2269)       ; ≩
917     ))
918 (define-char
919   '((name               . "MUCH LESS-THAN")
920     (general-category   symbol math) ; Informative Category
921     (bidi-category      . "ON")
922     (mirrored           . t)
923     (japanese-jisx0208          . #x2263)       ; 
924     (korean-ksc5601             . #x216C)       ; 
925     (japanese-jisx0208-1990     . #x2263)       ; 
926     (ucs                        . #x226A)       ; ≪
927     ))
928 (define-char
929   '((name               . "MUCH GREATER-THAN")
930     (general-category   symbol math) ; Informative Category
931     (bidi-category      . "ON")
932     (mirrored           . t)
933     (japanese-jisx0208          . #x2264)       ; 
934     (korean-ksc5601             . #x216D)       ; 
935     (japanese-jisx0208-1990     . #x2264)       ; 
936     (ucs                        . #x226B)       ; ≫
937     ))
938 (define-char
939   '((name               . "BETWEEN")
940     (general-category   symbol math) ; Informative Category
941     (bidi-category      . "ON")
942     (mirrored           . nil)
943     (ucs                . #x226C)       ; ≬
944     ))
945 (define-char
946   '((name               . "NOT EQUIVALENT TO")
947     (general-category   symbol math) ; Informative Category
948     (bidi-category      . "ON")
949     (mirrored           . nil)
950     (->decomposition    #x224D #x0338)
951     (ucs                . #x226D)       ; ≭
952     ))
953 (define-char
954   '((name               . "NOT LESS-THAN")
955     (general-category   symbol math) ; Informative Category
956     (bidi-category      . "ON")
957     (mirrored           . t)
958     (->decomposition    #x003C #x0338)
959     (chinese-gb2312     . #x215A)       ; 
960     (ucs                . #x226E)       ; ≮
961     ))
962 (define-char
963   '((name               . "NOT GREATER-THAN")
964     (general-category   symbol math) ; Informative Category
965     (bidi-category      . "ON")
966     (mirrored           . t)
967     (->decomposition    #x003E #x0338)
968     (chinese-gb2312     . #x215B)       ; 
969     (ucs                . #x226F)       ; ≯
970     ))
971 (define-char
972   '((name               . "NEITHER LESS-THAN NOR EQUAL TO")
973     (general-category   symbol math) ; Informative Category
974     (bidi-category      . "ON")
975     (mirrored           . t)
976     (->decomposition    #x2264 #x0338)
977     (ucs                . #x2270)       ; ≰
978     ))
979 (define-char
980   '((name               . "NEITHER GREATER-THAN NOR EQUAL TO")
981     (general-category   symbol math) ; Informative Category
982     (bidi-category      . "ON")
983     (mirrored           . t)
984     (->decomposition    #x2265 #x0338)
985     (ucs                . #x2271)       ; ≱
986     ))
987 (define-char
988   '((name               . "LESS-THAN OR EQUIVALENT TO")
989     (general-category   symbol math) ; Informative Category
990     (bidi-category      . "ON")
991     (mirrored           . t)
992     (ucs                . #x2272)       ; ≲
993     ))
994 (define-char
995   '((name               . "GREATER-THAN OR EQUIVALENT TO")
996     (general-category   symbol math) ; Informative Category
997     (bidi-category      . "ON")
998     (mirrored           . t)
999     (ucs                . #x2273)       ; ≳
1000     ))
1001 (define-char
1002   '((name               . "NEITHER LESS-THAN NOR EQUIVALENT TO")
1003     (general-category   symbol math) ; Informative Category
1004     (bidi-category      . "ON")
1005     (mirrored           . t)
1006     (->decomposition    #x2272 #x0338)
1007     (ucs                . #x2274)       ; ≴
1008     ))
1009 (define-char
1010   '((name               . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
1011     (general-category   symbol math) ; Informative Category
1012     (bidi-category      . "ON")
1013     (mirrored           . t)
1014     (->decomposition    #x2273 #x0338)
1015     (ucs                . #x2275)       ; ≵
1016     ))
1017 (define-char
1018   '((name               . "LESS-THAN OR GREATER-THAN")
1019     (general-category   symbol math) ; Informative Category
1020     (bidi-category      . "ON")
1021     (mirrored           . t)
1022     (japanese-jisx0213-1        . #x226F)       ; 
1023     (ucs                        . #x2276)       ; ≶
1024     ))
1025 (define-char
1026   '((name               . "GREATER-THAN OR LESS-THAN")
1027     (general-category   symbol math) ; Informative Category
1028     (bidi-category      . "ON")
1029     (mirrored           . t)
1030     (japanese-jisx0213-1        . #x2270)       ; 
1031     (ucs                        . #x2277)       ; ≷
1032     ))
1033 (define-char
1034   '((name               . "NEITHER LESS-THAN NOR GREATER-THAN")
1035     (general-category   symbol math) ; Informative Category
1036     (bidi-category      . "ON")
1037     (mirrored           . t)
1038     (->decomposition    #x2276 #x0338)
1039     (ucs                . #x2278)       ; ≸
1040     ))
1041 (define-char
1042   '((name               . "NEITHER GREATER-THAN NOR LESS-THAN")
1043     (general-category   symbol math) ; Informative Category
1044     (bidi-category      . "ON")
1045     (mirrored           . t)
1046     (->decomposition    #x2277 #x0338)
1047     (ucs                . #x2279)       ; ≹
1048     ))
1049 (define-char
1050   '((name               . "PRECEDES")
1051     (general-category   symbol math) ; Informative Category
1052     (bidi-category      . "ON")
1053     (mirrored           . t)
1054     (ucs                . #x227A)       ; ≺
1055     ))
1056 (define-char
1057   '((name               . "SUCCEEDS")
1058     (general-category   symbol math) ; Informative Category
1059     (bidi-category      . "ON")
1060     (mirrored           . t)
1061     (ucs                . #x227B)       ; ≻
1062     ))
1063 (define-char
1064   '((name               . "PRECEDES OR EQUAL TO")
1065     (general-category   symbol math) ; Informative Category
1066     (bidi-category      . "ON")
1067     (mirrored           . t)
1068     (ucs                . #x227C)       ; ≼
1069     ))
1070 (define-char
1071   '((name               . "SUCCEEDS OR EQUAL TO")
1072     (general-category   symbol math) ; Informative Category
1073     (bidi-category      . "ON")
1074     (mirrored           . t)
1075     (ucs                . #x227D)       ; ≽
1076     ))
1077 (define-char
1078   '((name               . "PRECEDES OR EQUIVALENT TO")
1079     (general-category   symbol math) ; Informative Category
1080     (bidi-category      . "ON")
1081     (mirrored           . t)
1082     (ucs                . #x227E)       ; ≾
1083     ))
1084 (define-char
1085   '((name               . "SUCCEEDS OR EQUIVALENT TO")
1086     (general-category   symbol math) ; Informative Category
1087     (bidi-category      . "ON")
1088     (mirrored           . t)
1089     (ucs                . #x227F)       ; ≿
1090     ))
1091 (define-char
1092   '((name               . "DOES NOT PRECEDE")
1093     (general-category   symbol math) ; Informative Category
1094     (bidi-category      . "ON")
1095     (mirrored           . t)
1096     (->decomposition    #x227A #x0338)
1097     (ucs                . #x2280)       ; ⊀
1098     ))
1099 (define-char
1100   '((name               . "DOES NOT SUCCEED")
1101     (general-category   symbol math) ; Informative Category
1102     (bidi-category      . "ON")
1103     (mirrored           . t)
1104     (->decomposition    #x227B #x0338)
1105     (ucs                . #x2281)       ; ⊁
1106     ))
1107 (define-char
1108   '((name               . "SUBSET OF")
1109     (general-category   symbol math) ; Informative Category
1110     (bidi-category      . "ON")
1111     (mirrored           . t)
1112     (japanese-jisx0208          . #x223E)       ; 
1113     (korean-ksc5601             . #x2178)       ; 
1114     (japanese-jisx0208-1990     . #x223E)       ; 
1115     (ucs                        . #x2282)       ; ⊂
1116     ))
1117 (define-char
1118   '((name               . "SUPERSET OF")
1119     (general-category   symbol math) ; Informative Category
1120     (bidi-category      . "ON")
1121     (mirrored           . t)
1122     (japanese-jisx0208          . #x223F)       ; 
1123     (korean-ksc5601             . #x2179)       ; 
1124     (japanese-jisx0208-1990     . #x223F)       ; 
1125     (ucs                        . #x2283)       ; ⊃
1126     ))
1127 (define-char
1128   '((name               . "NOT A SUBSET OF")
1129     (general-category   symbol math) ; Informative Category
1130     (bidi-category      . "ON")
1131     (mirrored           . t)
1132     (->decomposition    #x2282 #x0338)
1133     (japanese-jisx0213-1        . #x2242)       ; 
1134     (ucs                        . #x2284)       ; ⊄
1135     ))
1136 (define-char
1137   '((name               . "NOT A SUPERSET OF")
1138     (general-category   symbol math) ; Informative Category
1139     (bidi-category      . "ON")
1140     (mirrored           . t)
1141     (->decomposition    #x2283 #x0338)
1142     (japanese-jisx0213-1        . #x2243)       ; 
1143     (ucs                        . #x2285)       ; ⊅
1144     ))
1145 (define-char
1146   '((name               . "SUBSET OF OR EQUAL TO")
1147     (general-category   symbol math) ; Informative Category
1148     (bidi-category      . "ON")
1149     (mirrored           . t)
1150     (japanese-jisx0208          . #x223C)       ; 
1151     (korean-ksc5601             . #x2176)       ; 
1152     (japanese-jisx0208-1990     . #x223C)       ; 
1153     (ucs                        . #x2286)       ; ⊆
1154     ))
1155 (define-char
1156   '((name               . "SUPERSET OF OR EQUAL TO")
1157     (general-category   symbol math) ; Informative Category
1158     (bidi-category      . "ON")
1159     (mirrored           . t)
1160     (japanese-jisx0208          . #x223D)       ; 
1161     (korean-ksc5601             . #x2177)       ; 
1162     (japanese-jisx0208-1990     . #x223D)       ; 
1163     (ucs                        . #x2287)       ; ⊇
1164     ))
1165 (define-char
1166   '((name               . "NEITHER A SUBSET OF NOR EQUAL TO")
1167     (general-category   symbol math) ; Informative Category
1168     (bidi-category      . "ON")
1169     (mirrored           . t)
1170     (->decomposition    #x2286 #x0338)
1171     (ucs                . #x2288)       ; ⊈
1172     ))
1173 (define-char
1174   '((name               . "NEITHER A SUPERSET OF NOR EQUAL TO")
1175     (general-category   symbol math) ; Informative Category
1176     (bidi-category      . "ON")
1177     (mirrored           . t)
1178     (->decomposition    #x2287 #x0338)
1179     (ucs                . #x2289)       ; ⊉
1180     ))
1181 (define-char
1182   '((name               . "SUBSET OF WITH NOT EQUAL TO")
1183     (general-category   symbol math) ; Informative Category
1184     (bidi-category      . "ON")
1185     (mirrored           . t)
1186     (japanese-jisx0213-1        . #x2244)       ; 
1187     (ucs                        . #x228A)       ; ⊊
1188     ))
1189 (define-char
1190   '((name               . "SUPERSET OF WITH NOT EQUAL TO")
1191     (general-category   symbol math) ; Informative Category
1192     (bidi-category      . "ON")
1193     (mirrored           . t)
1194     (japanese-jisx0213-1        . #x2245)       ; 
1195     (ucs                        . #x228B)       ; ⊋
1196     ))
1197 (define-char
1198   '((name               . "MULTISET")
1199     (general-category   symbol math) ; Informative Category
1200     (bidi-category      . "ON")
1201     (mirrored           . t)
1202     (ucs                . #x228C)       ; ⊌
1203     ))
1204 (define-char
1205   '((name               . "MULTISET MULTIPLICATION")
1206     (general-category   symbol math) ; Informative Category
1207     (bidi-category      . "ON")
1208     (mirrored           . nil)
1209     (ucs                . #x228D)       ; ⊍
1210     ))
1211 (define-char
1212   '((name               . "MULTISET UNION")
1213     (general-category   symbol math) ; Informative Category
1214     (bidi-category      . "ON")
1215     (mirrored           . nil)
1216     (ucs                . #x228E)       ; ⊎
1217     ))
1218 (define-char
1219   '((name               . "SQUARE IMAGE OF")
1220     (general-category   symbol math) ; Informative Category
1221     (bidi-category      . "ON")
1222     (mirrored           . t)
1223     (ucs                . #x228F)       ; ⊏
1224     ))
1225 (define-char
1226   '((name               . "SQUARE ORIGINAL OF")
1227     (general-category   symbol math) ; Informative Category
1228     (bidi-category      . "ON")
1229     (mirrored           . t)
1230     (ucs                . #x2290)       ; ⊐
1231     ))
1232 (define-char
1233   '((name               . "SQUARE IMAGE OF OR EQUAL TO")
1234     (general-category   symbol math) ; Informative Category
1235     (bidi-category      . "ON")
1236     (mirrored           . t)
1237     (ucs                . #x2291)       ; ⊑
1238     ))
1239 (define-char
1240   '((name               . "SQUARE ORIGINAL OF OR EQUAL TO")
1241     (general-category   symbol math) ; Informative Category
1242     (bidi-category      . "ON")
1243     (mirrored           . t)
1244     (ucs                . #x2292)       ; ⊒
1245     ))
1246 (define-char
1247   '((name               . "SQUARE CAP")
1248     (general-category   symbol math) ; Informative Category
1249     (bidi-category      . "ON")
1250     (mirrored           . nil)
1251     (ucs                . #x2293)       ; ⊓
1252     ))
1253 (define-char
1254   '((name               . "SQUARE CUP")
1255     (general-category   symbol math) ; Informative Category
1256     (bidi-category      . "ON")
1257     (mirrored           . nil)
1258     (ucs                . #x2294)       ; ⊔
1259     ))
1260 (define-char
1261   '((name               . "CIRCLED PLUS")
1262     (general-category   symbol math) ; Informative Category
1263     (bidi-category      . "ON")
1264     (mirrored           . nil)
1265     (chinese-cns11643-1         . #x2253)       ; 
1266     (japanese-jisx0213-1        . #x2251)       ; 
1267     (chinese-big5               . #xA1F2)       ; 
1268     (ucs                        . #x2295)       ; ⊕
1269     ))
1270 (define-char
1271   '((name               . "CIRCLED MINUS")
1272     (general-category   symbol math) ; Informative Category
1273     (bidi-category      . "ON")
1274     (mirrored           . nil)
1275     (japanese-jisx0213-1        . #x2252)       ; 
1276     (ucs                        . #x2296)       ; ⊖
1277     ))
1278 (define-char
1279   '((name               . "CIRCLED TIMES")
1280     (general-category   symbol math) ; Informative Category
1281     (bidi-category      . "ON")
1282     (mirrored           . nil)
1283     (japanese-jisx0213-1        . #x2253)       ; 
1284     (ucs                        . #x2297)       ; ⊗
1285     ))
1286 (define-char
1287   '((name               . "CIRCLED DIVISION SLASH")
1288     (general-category   symbol math) ; Informative Category
1289     (bidi-category      . "ON")
1290     (mirrored           . t)
1291     (ucs                . #x2298)       ; ⊘
1292     ))
1293 (define-char
1294   '((name               . "CIRCLED DOT OPERATOR")
1295     (general-category   symbol math) ; Informative Category
1296     (bidi-category      . "ON")
1297     (mirrored           . nil)
1298     (chinese-gb2312     . #x2151)       ; 
1299     (korean-ksc5601     . #x2241)       ; 
1300     (chinese-cns11643-1 . #x2254)       ; 
1301     (chinese-big5       . #xA1F3)       ; 
1302     (ucs                . #x2299)       ; ⊙
1303     ))
1304 (define-char
1305   '((name               . "CIRCLED RING OPERATOR")
1306     (general-category   symbol math) ; Informative Category
1307     (bidi-category      . "ON")
1308     (mirrored           . nil)
1309     (ucs                . #x229A)       ; ⊚
1310     ))
1311 (define-char
1312   '((name               . "CIRCLED ASTERISK OPERATOR")
1313     (general-category   symbol math) ; Informative Category
1314     (bidi-category      . "ON")
1315     (mirrored           . nil)
1316     (ucs                . #x229B)       ; ⊛
1317     ))
1318 (define-char
1319   '((name               . "CIRCLED EQUALS")
1320     (general-category   symbol math) ; Informative Category
1321     (bidi-category      . "ON")
1322     (mirrored           . nil)
1323     (ucs                . #x229C)       ; ⊜
1324     ))
1325 (define-char
1326   '((name               . "CIRCLED DASH")
1327     (general-category   symbol math) ; Informative Category
1328     (bidi-category      . "ON")
1329     (mirrored           . nil)
1330     (ucs                . #x229D)       ; ⊝
1331     ))
1332 (define-char
1333   '((name               . "SQUARED PLUS")
1334     (general-category   symbol math) ; Informative Category
1335     (bidi-category      . "ON")
1336     (mirrored           . nil)
1337     (ucs                . #x229E)       ; ⊞
1338     ))
1339 (define-char
1340   '((name               . "SQUARED MINUS")
1341     (general-category   symbol math) ; Informative Category
1342     (bidi-category      . "ON")
1343     (mirrored           . nil)
1344     (ucs                . #x229F)       ; ⊟
1345     ))
1346 (define-char
1347   '((name               . "SQUARED TIMES")
1348     (general-category   symbol math) ; Informative Category
1349     (bidi-category      . "ON")
1350     (mirrored           . nil)
1351     (ucs                . #x22A0)       ; ⊠
1352     ))
1353 (define-char
1354   '((name               . "SQUARED DOT OPERATOR")
1355     (general-category   symbol math) ; Informative Category
1356     (bidi-category      . "ON")
1357     (mirrored           . nil)
1358     (ucs                . #x22A1)       ; ⊡
1359     ))
1360 (define-char
1361   '((name               . "RIGHT TACK")
1362     (general-category   symbol math) ; Informative Category
1363     (bidi-category      . "ON")
1364     (mirrored           . t)
1365     (ucs                . #x22A2)       ; ⊢
1366     ))
1367 (define-char
1368   '((name               . "LEFT TACK")
1369     (general-category   symbol math) ; Informative Category
1370     (bidi-category      . "ON")
1371     (mirrored           . t)
1372     (ucs                . #x22A3)       ; ⊣
1373     ))
1374 (define-char
1375   '((name               . "DOWN TACK")
1376     (general-category   symbol math) ; Informative Category
1377     (bidi-category      . "ON")
1378     (mirrored           . nil)
1379     (ucs                . #x22A4)       ; ⊤
1380     ))
1381 (define-char
1382   '((name               . "UP TACK")
1383     (general-category   symbol math) ; Informative Category
1384     (bidi-category      . "ON")
1385     (mirrored           . nil)
1386     (chinese-gb2312             . #x214D)       ; 
1387     (japanese-jisx0208          . #x225D)       ; 
1388     (korean-ksc5601             . #x2151)       ; 
1389     (chinese-cns11643-1         . #x2247)       ; 
1390     (japanese-jisx0208-1990     . #x225D)       ; 
1391     (chinese-big5               . #xA1E6)       ; 
1392     (ucs                        . #x22A5)       ; ⊥
1393     ))
1394 (define-char
1395   '((name               . "ASSERTION")
1396     (general-category   symbol math) ; Informative Category
1397     (bidi-category      . "ON")
1398     (mirrored           . t)
1399     (ucs                . #x22A6)       ; ⊦
1400     ))
1401 (define-char
1402   '((name               . "MODELS")
1403     (general-category   symbol math) ; Informative Category
1404     (bidi-category      . "ON")
1405     (mirrored           . t)
1406     (ucs                . #x22A7)       ; ⊧
1407     ))
1408 (define-char
1409   '((name               . "TRUE")
1410     (general-category   symbol math) ; Informative Category
1411     (bidi-category      . "ON")
1412     (mirrored           . t)
1413     (ucs                . #x22A8)       ; ⊨
1414     ))
1415 (define-char
1416   '((name               . "FORCES")
1417     (general-category   symbol math) ; Informative Category
1418     (bidi-category      . "ON")
1419     (mirrored           . t)
1420     (ucs                . #x22A9)       ; ⊩
1421     ))
1422 (define-char
1423   '((name               . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
1424     (general-category   symbol math) ; Informative Category
1425     (bidi-category      . "ON")
1426     (mirrored           . t)
1427     (ucs                . #x22AA)       ; ⊪
1428     ))
1429 (define-char
1430   '((name               . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1431     (general-category   symbol math) ; Informative Category
1432     (bidi-category      . "ON")
1433     (mirrored           . t)
1434     (ucs                . #x22AB)       ; ⊫
1435     ))
1436 (define-char
1437   '((name               . "DOES NOT PROVE")
1438     (general-category   symbol math) ; Informative Category
1439     (bidi-category      . "ON")
1440     (mirrored           . t)
1441     (->decomposition    #x22A2 #x0338)
1442     (ucs                . #x22AC)       ; ⊬
1443     ))
1444 (define-char
1445   '((name               . "NOT TRUE")
1446     (general-category   symbol math) ; Informative Category
1447     (bidi-category      . "ON")
1448     (mirrored           . t)
1449     (->decomposition    #x22A8 #x0338)
1450     (ucs                . #x22AD)       ; ⊭
1451     ))
1452 (define-char
1453   '((name               . "DOES NOT FORCE")
1454     (general-category   symbol math) ; Informative Category
1455     (bidi-category      . "ON")
1456     (mirrored           . t)
1457     (->decomposition    #x22A9 #x0338)
1458     (ucs                . #x22AE)       ; ⊮
1459     ))
1460 (define-char
1461   '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1462     (general-category   symbol math) ; Informative Category
1463     (bidi-category      . "ON")
1464     (mirrored           . t)
1465     (->decomposition    #x22AB #x0338)
1466     (ucs                . #x22AF)       ; ⊯
1467     ))
1468 (define-char
1469   '((name               . "PRECEDES UNDER RELATION")
1470     (general-category   symbol math) ; Informative Category
1471     (bidi-category      . "ON")
1472     (mirrored           . t)
1473     (ucs                . #x22B0)       ; ⊰
1474     ))
1475 (define-char
1476   '((name               . "SUCCEEDS UNDER RELATION")
1477     (general-category   symbol math) ; Informative Category
1478     (bidi-category      . "ON")
1479     (mirrored           . t)
1480     (ucs                . #x22B1)       ; ⊱
1481     ))
1482 (define-char
1483   '((name               . "NORMAL SUBGROUP OF")
1484     (general-category   symbol math) ; Informative Category
1485     (bidi-category      . "ON")
1486     (mirrored           . t)
1487     (ucs                . #x22B2)       ; ⊲
1488     ))
1489 (define-char
1490   '((name               . "CONTAINS AS NORMAL SUBGROUP")
1491     (general-category   symbol math) ; Informative Category
1492     (bidi-category      . "ON")
1493     (mirrored           . t)
1494     (ucs                . #x22B3)       ; ⊳
1495     ))
1496 (define-char
1497   '((name               . "NORMAL SUBGROUP OF OR EQUAL TO")
1498     (general-category   symbol math) ; Informative Category
1499     (bidi-category      . "ON")
1500     (mirrored           . t)
1501     (ucs                . #x22B4)       ; ⊴
1502     ))
1503 (define-char
1504   '((name               . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
1505     (general-category   symbol math) ; Informative Category
1506     (bidi-category      . "ON")
1507     (mirrored           . t)
1508     (ucs                . #x22B5)       ; ⊵
1509     ))
1510 (define-char
1511   '((name               . "ORIGINAL OF")
1512     (general-category   symbol math) ; Informative Category
1513     (bidi-category      . "ON")
1514     (mirrored           . t)
1515     (ucs                . #x22B6)       ; ⊶
1516     ))
1517 (define-char
1518   '((name               . "IMAGE OF")
1519     (general-category   symbol math) ; Informative Category
1520     (bidi-category      . "ON")
1521     (mirrored           . t)
1522     (ucs                . #x22B7)       ; ⊷
1523     ))
1524 (define-char
1525   '((name               . "MULTIMAP")
1526     (general-category   symbol math) ; Informative Category
1527     (bidi-category      . "ON")
1528     (mirrored           . t)
1529     (ucs                . #x22B8)       ; ⊸
1530     ))
1531 (define-char
1532   '((name               . "HERMITIAN CONJUGATE MATRIX")
1533     (general-category   symbol math) ; Informative Category
1534     (bidi-category      . "ON")
1535     (mirrored           . nil)
1536     (ucs                . #x22B9)       ; ⊹
1537     ))
1538 (define-char
1539   '((name               . "INTERCALATE")
1540     (general-category   symbol math) ; Informative Category
1541     (bidi-category      . "ON")
1542     (mirrored           . nil)
1543     (ucs                . #x22BA)       ; ⊺
1544     ))
1545 (define-char
1546   '((name               . "XOR")
1547     (general-category   symbol math) ; Informative Category
1548     (bidi-category      . "ON")
1549     (mirrored           . nil)
1550     (ucs                . #x22BB)       ; ⊻
1551     ))
1552 (define-char
1553   '((name               . "NAND")
1554     (general-category   symbol math) ; Informative Category
1555     (bidi-category      . "ON")
1556     (mirrored           . nil)
1557     (ucs                . #x22BC)       ; ⊼
1558     ))
1559 (define-char
1560   '((name               . "NOR")
1561     (general-category   symbol math) ; Informative Category
1562     (bidi-category      . "ON")
1563     (mirrored           . nil)
1564     (ucs                . #x22BD)       ; ⊽
1565     ))
1566 (define-char
1567   '((name               . "RIGHT ANGLE WITH ARC")
1568     (general-category   symbol math) ; Informative Category
1569     (bidi-category      . "ON")
1570     (mirrored           . t)
1571     (ucs                . #x22BE)       ; ⊾
1572     ))
1573 (define-char
1574   '((name               . "RIGHT TRIANGLE")
1575     (general-category   symbol math) ; Informative Category
1576     (bidi-category      . "ON")
1577     (mirrored           . t)
1578     (chinese-cns11643-1         . #x224A)       ; 
1579     (japanese-jisx0213-1        . #x2D79)       ; 
1580     (chinese-big5               . #xA1E9)       ; 
1581     (ucs                        . #x22BF)       ; ⊿
1582     ))
1583 (define-char
1584   '((name               . "N-ARY LOGICAL AND")
1585     (general-category   symbol math) ; Informative Category
1586     (bidi-category      . "ON")
1587     (mirrored           . nil)
1588     (ucs                . #x22C0)       ; ⋀
1589     ))
1590 (define-char
1591   '((name               . "N-ARY LOGICAL OR")
1592     (general-category   symbol math) ; Informative Category
1593     (bidi-category      . "ON")
1594     (mirrored           . nil)
1595     (ucs                . #x22C1)       ; ⋁
1596     ))
1597 (define-char
1598   '((name               . "N-ARY INTERSECTION")
1599     (general-category   symbol math) ; Informative Category
1600     (bidi-category      . "ON")
1601     (mirrored           . nil)
1602     (ucs                . #x22C2)       ; ⋂
1603     ))
1604 (define-char
1605   '((name               . "N-ARY UNION")
1606     (general-category   symbol math) ; Informative Category
1607     (bidi-category      . "ON")
1608     (mirrored           . nil)
1609     (ucs                . #x22C3)       ; ⋃
1610     ))
1611 (define-char
1612   '((name               . "DIAMOND OPERATOR")
1613     (general-category   symbol math) ; Informative Category
1614     (bidi-category      . "ON")
1615     (mirrored           . nil)
1616     (ucs                . #x22C4)       ; ⋄
1617     ))
1618 (define-char
1619   '((name               . "DOT OPERATOR")
1620     (general-category   symbol math) ; Informative Category
1621     (bidi-category      . "ON")
1622     (mirrored           . nil)
1623     (ucs                . #x22C5)       ; ⋅
1624     ))
1625 (define-char
1626   '((name               . "STAR OPERATOR")
1627     (general-category   symbol math) ; Informative Category
1628     (bidi-category      . "ON")
1629     (mirrored           . nil)
1630     (ucs                . #x22C6)       ; ⋆
1631     ))
1632 (define-char
1633   '((name               . "DIVISION TIMES")
1634     (general-category   symbol math) ; Informative Category
1635     (bidi-category      . "ON")
1636     (mirrored           . nil)
1637     (ucs                . #x22C7)       ; ⋇
1638     ))
1639 (define-char
1640   '((name               . "BOWTIE")
1641     (general-category   symbol math) ; Informative Category
1642     (bidi-category      . "ON")
1643     (mirrored           . nil)
1644     (ucs                . #x22C8)       ; ⋈
1645     ))
1646 (define-char
1647   '((name               . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
1648     (general-category   symbol math) ; Informative Category
1649     (bidi-category      . "ON")
1650     (mirrored           . t)
1651     (ucs                . #x22C9)       ; ⋉
1652     ))
1653 (define-char
1654   '((name               . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
1655     (general-category   symbol math) ; Informative Category
1656     (bidi-category      . "ON")
1657     (mirrored           . t)
1658     (ucs                . #x22CA)       ; ⋊
1659     ))
1660 (define-char
1661   '((name               . "LEFT SEMIDIRECT PRODUCT")
1662     (general-category   symbol math) ; Informative Category
1663     (bidi-category      . "ON")
1664     (mirrored           . t)
1665     (ucs                . #x22CB)       ; ⋋
1666     ))
1667 (define-char
1668   '((name               . "RIGHT SEMIDIRECT PRODUCT")
1669     (general-category   symbol math) ; Informative Category
1670     (bidi-category      . "ON")
1671     (mirrored           . t)
1672     (ucs                . #x22CC)       ; ⋌
1673     ))
1674 (define-char
1675   '((name               . "REVERSED TILDE EQUALS")
1676     (general-category   symbol math) ; Informative Category
1677     (bidi-category      . "ON")
1678     (mirrored           . t)
1679     (ucs                . #x22CD)       ; ⋍
1680     ))
1681 (define-char
1682   '((name               . "CURLY LOGICAL OR")
1683     (general-category   symbol math) ; Informative Category
1684     (bidi-category      . "ON")
1685     (mirrored           . nil)
1686     (ucs                . #x22CE)       ; ⋎
1687     ))
1688 (define-char
1689   '((name               . "CURLY LOGICAL AND")
1690     (general-category   symbol math) ; Informative Category
1691     (bidi-category      . "ON")
1692     (mirrored           . nil)
1693     (ucs                . #x22CF)       ; ⋏
1694     ))
1695 (define-char
1696   '((name               . "DOUBLE SUBSET")
1697     (general-category   symbol math) ; Informative Category
1698     (bidi-category      . "ON")
1699     (mirrored           . t)
1700     (ucs                . #x22D0)       ; ⋐
1701     ))
1702 (define-char
1703   '((name               . "DOUBLE SUPERSET")
1704     (general-category   symbol math) ; Informative Category
1705     (bidi-category      . "ON")
1706     (mirrored           . t)
1707     (ucs                . #x22D1)       ; ⋑
1708     ))
1709 (define-char
1710   '((name               . "DOUBLE INTERSECTION")
1711     (general-category   symbol math) ; Informative Category
1712     (bidi-category      . "ON")
1713     (mirrored           . nil)
1714     (ucs                . #x22D2)       ; ⋒
1715     ))
1716 (define-char
1717   '((name               . "DOUBLE UNION")
1718     (general-category   symbol math) ; Informative Category
1719     (bidi-category      . "ON")
1720     (mirrored           . nil)
1721     (ucs                . #x22D3)       ; ⋓
1722     ))
1723 (define-char
1724   '((name               . "PITCHFORK")
1725     (general-category   symbol math) ; Informative Category
1726     (bidi-category      . "ON")
1727     (mirrored           . nil)
1728     (ucs                . #x22D4)       ; ⋔
1729     ))
1730 (define-char
1731   '((name               . "EQUAL AND PARALLEL TO")
1732     (general-category   symbol math) ; Informative Category
1733     (bidi-category      . "ON")
1734     (mirrored           . nil)
1735     (ucs                . #x22D5)       ; ⋕
1736     ))
1737 (define-char
1738   '((name               . "LESS-THAN WITH DOT")
1739     (general-category   symbol math) ; Informative Category
1740     (bidi-category      . "ON")
1741     (mirrored           . t)
1742     (ucs                . #x22D6)       ; ⋖
1743     ))
1744 (define-char
1745   '((name               . "GREATER-THAN WITH DOT")
1746     (general-category   symbol math) ; Informative Category
1747     (bidi-category      . "ON")
1748     (mirrored           . t)
1749     (ucs                . #x22D7)       ; ⋗
1750     ))
1751 (define-char
1752   '((name               . "VERY MUCH LESS-THAN")
1753     (general-category   symbol math) ; Informative Category
1754     (bidi-category      . "ON")
1755     (mirrored           . t)
1756     (ucs                . #x22D8)       ; ⋘
1757     ))
1758 (define-char
1759   '((name               . "VERY MUCH GREATER-THAN")
1760     (general-category   symbol math) ; Informative Category
1761     (bidi-category      . "ON")
1762     (mirrored           . t)
1763     (ucs                . #x22D9)       ; ⋙
1764     ))
1765 (define-char
1766   '((name               . "LESS-THAN EQUAL TO OR GREATER-THAN")
1767     (general-category   symbol math) ; Informative Category
1768     (bidi-category      . "ON")
1769     (mirrored           . t)
1770     (japanese-jisx0213-1        . #x2776)       ; 
1771     (ucs                        . #x22DA)       ; ⋚
1772     ))
1773 (define-char
1774   '((name               . "GREATER-THAN EQUAL TO OR LESS-THAN")
1775     (general-category   symbol math) ; Informative Category
1776     (bidi-category      . "ON")
1777     (mirrored           . t)
1778     (japanese-jisx0213-1        . #x2777)       ; 
1779     (ucs                        . #x22DB)       ; ⋛
1780     ))
1781 (define-char
1782   '((name               . "EQUAL TO OR LESS-THAN")
1783     (general-category   symbol math) ; Informative Category
1784     (bidi-category      . "ON")
1785     (mirrored           . t)
1786     (ucs                . #x22DC)       ; ⋜
1787     ))
1788 (define-char
1789   '((name               . "EQUAL TO OR GREATER-THAN")
1790     (general-category   symbol math) ; Informative Category
1791     (bidi-category      . "ON")
1792     (mirrored           . t)
1793     (ucs                . #x22DD)       ; ⋝
1794     ))
1795 (define-char
1796   '((name               . "EQUAL TO OR PRECEDES")
1797     (general-category   symbol math) ; Informative Category
1798     (bidi-category      . "ON")
1799     (mirrored           . t)
1800     (ucs                . #x22DE)       ; ⋞
1801     ))
1802 (define-char
1803   '((name               . "EQUAL TO OR SUCCEEDS")
1804     (general-category   symbol math) ; Informative Category
1805     (bidi-category      . "ON")
1806     (mirrored           . t)
1807     (ucs                . #x22DF)       ; ⋟
1808     ))
1809 (define-char
1810   '((name               . "DOES NOT PRECEDE OR EQUAL")
1811     (general-category   symbol math) ; Informative Category
1812     (bidi-category      . "ON")
1813     (mirrored           . t)
1814     (->decomposition    #x227C #x0338)
1815     (ucs                . #x22E0)       ; ⋠
1816     ))
1817 (define-char
1818   '((name               . "DOES NOT SUCCEED OR EQUAL")
1819     (general-category   symbol math) ; Informative Category
1820     (bidi-category      . "ON")
1821     (mirrored           . t)
1822     (->decomposition    #x227D #x0338)
1823     (ucs                . #x22E1)       ; ⋡
1824     ))
1825 (define-char
1826   '((name               . "NOT SQUARE IMAGE OF OR EQUAL TO")
1827     (general-category   symbol math) ; Informative Category
1828     (bidi-category      . "ON")
1829     (mirrored           . t)
1830     (->decomposition    #x2291 #x0338)
1831     (ucs                . #x22E2)       ; ⋢
1832     ))
1833 (define-char
1834   '((name               . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
1835     (general-category   symbol math) ; Informative Category
1836     (bidi-category      . "ON")
1837     (mirrored           . t)
1838     (->decomposition    #x2292 #x0338)
1839     (ucs                . #x22E3)       ; ⋣
1840     ))
1841 (define-char
1842   '((name               . "SQUARE IMAGE OF OR NOT EQUAL TO")
1843     (general-category   symbol math) ; Informative Category
1844     (bidi-category      . "ON")
1845     (mirrored           . t)
1846     (ucs                . #x22E4)       ; ⋤
1847     ))
1848 (define-char
1849   '((name               . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
1850     (general-category   symbol math) ; Informative Category
1851     (bidi-category      . "ON")
1852     (mirrored           . t)
1853     (ucs                . #x22E5)       ; ⋥
1854     ))
1855 (define-char
1856   '((name               . "LESS-THAN BUT NOT EQUIVALENT TO")
1857     (general-category   symbol math) ; Informative Category
1858     (bidi-category      . "ON")
1859     (mirrored           . t)
1860     (ucs                . #x22E6)       ; ⋦
1861     ))
1862 (define-char
1863   '((name               . "GREATER-THAN BUT NOT EQUIVALENT TO")
1864     (general-category   symbol math) ; Informative Category
1865     (bidi-category      . "ON")
1866     (mirrored           . t)
1867     (ucs                . #x22E7)       ; ⋧
1868     ))
1869 (define-char
1870   '((name               . "PRECEDES BUT NOT EQUIVALENT TO")
1871     (general-category   symbol math) ; Informative Category
1872     (bidi-category      . "ON")
1873     (mirrored           . t)
1874     (ucs                . #x22E8)       ; ⋨
1875     ))
1876 (define-char
1877   '((name               . "SUCCEEDS BUT NOT EQUIVALENT TO")
1878     (general-category   symbol math) ; Informative Category
1879     (bidi-category      . "ON")
1880     (mirrored           . t)
1881     (ucs                . #x22E9)       ; ⋩
1882     ))
1883 (define-char
1884   '((name               . "NOT NORMAL SUBGROUP OF")
1885     (general-category   symbol math) ; Informative Category
1886     (bidi-category      . "ON")
1887     (mirrored           . t)
1888     (->decomposition    #x22B2 #x0338)
1889     (ucs                . #x22EA)       ; ⋪
1890     ))
1891 (define-char
1892   '((name               . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
1893     (general-category   symbol math) ; Informative Category
1894     (bidi-category      . "ON")
1895     (mirrored           . t)
1896     (->decomposition    #x22B3 #x0338)
1897     (ucs                . #x22EB)       ; ⋫
1898     ))
1899 (define-char
1900   '((name               . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
1901     (general-category   symbol math) ; Informative Category
1902     (bidi-category      . "ON")
1903     (mirrored           . t)
1904     (->decomposition    #x22B4 #x0338)
1905     (ucs                . #x22EC)       ; ⋬
1906     ))
1907 (define-char
1908   '((name               . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
1909     (general-category   symbol math) ; Informative Category
1910     (bidi-category      . "ON")
1911     (mirrored           . t)
1912     (->decomposition    #x22B5 #x0338)
1913     (ucs                . #x22ED)       ; ⋭
1914     ))
1915 (define-char
1916   '((name               . "VERTICAL ELLIPSIS")
1917     (general-category   symbol math) ; Informative Category
1918     (bidi-category      . "ON")
1919     (mirrored           . nil)
1920     (ucs                . #x22EE)       ; ⋮
1921     ))
1922 (define-char
1923   '((name               . "MIDLINE HORIZONTAL ELLIPSIS")
1924     (general-category   symbol math) ; Informative Category
1925     (bidi-category      . "ON")
1926     (mirrored           . nil)
1927     (ucs                . #x22EF)       ; ⋯
1928     ))
1929 (define-char
1930   '((name               . "UP RIGHT DIAGONAL ELLIPSIS")
1931     (general-category   symbol math) ; Informative Category
1932     (bidi-category      . "ON")
1933     (mirrored           . t)
1934     (ucs                . #x22F0)       ; ⋰
1935     ))
1936 (define-char
1937   '((name               . "DOWN RIGHT DIAGONAL ELLIPSIS")
1938     (general-category   symbol math) ; Informative Category
1939     (bidi-category      . "ON")
1940     (mirrored           . t)
1941     (ucs                . #x22F1)       ; ⋱
1942     ))