3 (general-category symbol math) ; Informative Category
6 (japanese-jisx0208 . #x224F) ;
7 (korean-ksc5601 . #x2223) ;
8 (japanese-jisx0208-1990 . #x224F) ;
9 (china3-jef . #x7FDC) ;
13 '((name . "COMPLEMENT")
14 (general-category symbol math) ; Informative Category
15 (bidi-category . "ON")
20 '((name . "PARTIAL DIFFERENTIAL")
21 (general-category symbol math) ; Informative Category
22 (bidi-category . "ON")
24 (japanese-jisx0208 . #x225F) ;
25 (korean-ksc5601 . #x2153) ;
26 (japanese-jisx0208-1990 . #x225F) ;
27 (china3-jef . #x7FE1) ;
31 '((name . "THERE EXISTS")
32 (general-category symbol math) ; Informative Category
33 (bidi-category . "ON")
35 (japanese-jisx0208 . #x2250) ;
36 (korean-ksc5601 . #x2224) ;
37 (japanese-jisx0208-1990 . #x2250) ;
38 (china3-jef . #x7FDD) ;
42 '((name . "THERE DOES NOT EXIST")
43 (general-category symbol math) ; Informative Category
44 (bidi-category . "ON")
46 (->decomposition #x2203 #x0338)
50 '((name . "EMPTY SET")
51 (general-category symbol math) ; Informative Category
52 (bidi-category . "ON")
54 (japanese-jisx0213-1 . #x2247) ;
58 '((name . "INCREMENT")
59 (general-category symbol math) ; Informative Category
60 (bidi-category . "ON")
66 (general-category symbol math) ; Informative Category
67 (bidi-category . "ON")
69 (japanese-jisx0208 . #x2260) ;
70 (korean-ksc5601 . #x2154) ;
71 (japanese-jisx0208-1990 . #x2260) ;
72 (china3-jef . #x7FE2) ;
76 '((name . "ELEMENT OF")
77 (general-category symbol math) ; Informative Category
78 (bidi-category . "ON")
80 (chinese-gb2312 . #x214A) ;
81 (japanese-jisx0208 . #x223A) ;
82 (korean-ksc5601 . #x2174) ;
83 (japanese-jisx0208-1990 . #x223A) ;
84 (china3-jef . #x7FD0) ;
88 '((name . "NOT AN ELEMENT OF")
89 (general-category symbol math) ; Informative Category
90 (bidi-category . "ON")
92 (->decomposition #x2208 #x0338)
93 (japanese-jisx0213-1 . #x2246) ;
97 '((name . "SMALL ELEMENT OF")
98 (general-category symbol math) ; Informative Category
99 (bidi-category . "ON")
104 '((name . "CONTAINS AS MEMBER")
105 (general-category symbol math) ; Informative Category
106 (bidi-category . "ON")
108 (japanese-jisx0208 . #x223B) ;
109 (korean-ksc5601 . #x2175) ;
110 (japanese-jisx0208-1990 . #x223B) ;
111 (china3-jef . #x7FD1) ;
115 '((name . "DOES NOT CONTAIN AS MEMBER")
116 (general-category symbol math) ; Informative Category
117 (bidi-category . "ON")
119 (->decomposition #x220B #x0338)
123 '((name . "SMALL CONTAINS AS MEMBER")
124 (general-category symbol math) ; Informative Category
125 (bidi-category . "ON")
130 '((name . "END OF PROOF")
131 (general-category symbol math) ; Informative Category
132 (bidi-category . "ON")
137 '((name . "N-ARY PRODUCT")
138 (general-category symbol math) ; Informative Category
139 (bidi-category . "ON")
141 (chinese-gb2312 . #x2147) ;
142 (korean-ksc5601 . #x2233) ;
146 '((name . "N-ARY COPRODUCT")
147 (general-category symbol math) ; Informative Category
148 (bidi-category . "ON")
153 '((name . "N-ARY SUMMATION")
154 (general-category symbol math) ; Informative Category
155 (bidi-category . "ON")
157 (chinese-gb2312 . #x2146) ;
158 (korean-ksc5601 . #x2232) ;
162 '((name . "MINUS SIGN")
163 (general-category symbol math) ; Informative Category
164 (bidi-category . "ET")
166 (=jis-x0208 . #x215D) ;
170 '((name . "MINUS-OR-PLUS SIGN")
171 (general-category symbol math) ; Informative Category
172 (bidi-category . "ET")
174 (japanese-jisx0213-1 . #x235B) ;
178 '((name . "DOT PLUS")
179 (general-category symbol math) ; Informative Category
180 (bidi-category . "ON")
185 '((name . "DIVISION SLASH")
186 (general-category symbol math) ; Informative Category
187 (bidi-category . "ON")
189 (chinese-cns11643-1 . #x2261) ;
190 (chinese-big5 . #xA241) ;
194 '((name . "SET MINUS")
195 (general-category symbol math) ; Informative Category
196 (bidi-category . "ON")
201 '((name . "ASTERISK OPERATOR")
202 (general-category symbol math) ; Informative Category
203 (bidi-category . "ON")
208 '((name . "RING OPERATOR")
209 (general-category symbol math) ; Informative Category
210 (bidi-category . "ON")
215 '((name . "BULLET OPERATOR")
216 (general-category symbol math) ; Informative Category
217 (bidi-category . "ON")
222 '((name . "SQUARE ROOT")
223 (general-category symbol math) ; Informative Category
224 (bidi-category . "ON")
226 (chinese-gb2312 . #x214C) ;
227 (japanese-jisx0208 . #x2265) ;
228 (korean-ksc5601 . #x216E) ;
229 (chinese-cns11643-1 . #x2235) ;
230 (japanese-jisx0208-1990 . #x2265) ;
231 (chinese-big5 . #xA1D4) ;
235 '((name . "CUBE ROOT")
236 (general-category symbol math) ; Informative Category
237 (bidi-category . "ON")
242 '((name . "FOURTH ROOT")
243 (general-category symbol math) ; Informative Category
244 (bidi-category . "ON")
249 '((name . "PROPORTIONAL TO")
250 (general-category symbol math) ; Informative Category
251 (bidi-category . "ON")
253 (chinese-gb2312 . #x2158) ;
254 (japanese-jisx0208 . #x2267) ;
255 (korean-ksc5601 . #x2170) ;
256 (japanese-jisx0208-1990 . #x2267) ;
257 (china3-jef . #x7FE7) ;
261 '((name . "INFINITY")
262 (general-category symbol math) ; Informative Category
263 (bidi-category . "ON")
265 (chinese-gb2312 . #x215E) ;
266 (=jis-x0208 . #x2167) ;
267 (korean-ksc5601 . #x2144) ;
268 (chinese-cns11643-1 . #x223C) ;
269 (chinese-big5 . #xA1DB) ;
273 '((name . "RIGHT ANGLE")
274 (general-category symbol math) ; Informative Category
275 (bidi-category . "ON")
277 (chinese-cns11643-1 . #x2249) ;
278 (japanese-jisx0213-1 . #x2D78) ;
279 (chinese-big5 . #xA1E8) ;
284 (general-category symbol math) ; Informative Category
285 (bidi-category . "ON")
287 (chinese-gb2312 . #x214F) ;
288 (japanese-jisx0208 . #x225C) ;
289 (korean-ksc5601 . #x2150) ;
290 (chinese-cns11643-1 . #x2248) ;
291 (japanese-jisx0208-1990 . #x225C) ;
292 (chinese-big5 . #xA1E7) ;
293 (china3-jef . #x7FDE) ;
297 '((name . "MEASURED ANGLE")
298 (general-category symbol math) ; Informative Category
299 (bidi-category . "ON")
304 '((name . "SPHERICAL ANGLE")
305 (general-category symbol math) ; Informative Category
306 (bidi-category . "ON")
312 (general-category symbol math) ; Informative Category
313 (bidi-category . "ON")
315 (chinese-big5 . #xA1FD) ;
319 '((name . "DOES NOT DIVIDE")
320 (general-category symbol math) ; Informative Category
321 (bidi-category . "ON")
323 (->decomposition #x2223 #x0338)
327 '((name . "PARALLEL TO")
328 (general-category symbol math) ; Informative Category
329 (bidi-category . "ON")
331 (chinese-gb2312 . #x214E) ;
332 (korean-ksc5601 . #x212B) ;
333 (japanese-jisx0213-1 . #x2254) ;
334 (chinese-big5 . #xA1FC) ;
338 '((name . "NOT PARALLEL TO")
339 (general-category symbol math) ; Informative Category
340 (bidi-category . "ON")
342 (->decomposition #x2225 #x0338)
343 (japanese-jisx0213-1 . #x2255) ;
347 '((name . "LOGICAL AND")
348 (general-category symbol math) ; Informative Category
349 (bidi-category . "ON")
351 (chinese-gb2312 . #x2144) ;
352 (japanese-jisx0208 . #x224A) ;
353 (korean-ksc5601 . #x217C) ;
354 (japanese-jisx0208-1990 . #x224A) ;
358 '((name . "LOGICAL OR")
359 (general-category symbol math) ; Informative Category
360 (bidi-category . "ON")
362 (chinese-gb2312 . #x2145) ;
363 (japanese-jisx0208 . #x224B) ;
364 (korean-ksc5601 . #x217D) ;
365 (japanese-jisx0208-1990 . #x224B) ;
369 '((name . "INTERSECTION")
370 (general-category symbol math) ; Informative Category
371 (bidi-category . "ON")
373 (chinese-gb2312 . #x2149) ;
374 (japanese-jisx0208 . #x2241) ;
375 (korean-ksc5601 . #x217B) ;
376 (chinese-cns11643-1 . #x2245) ;
377 (japanese-jisx0208-1990 . #x2241) ;
378 (chinese-big5 . #xA1E4) ;
383 (general-category symbol math) ; Informative Category
384 (bidi-category . "ON")
386 (chinese-gb2312 . #x2148) ;
387 (japanese-jisx0208 . #x2240) ;
388 (korean-ksc5601 . #x217A) ;
389 (chinese-cns11643-1 . #x2246) ;
390 (japanese-jisx0208-1990 . #x2240) ;
391 (chinese-big5 . #xA1E5) ;
395 '((name . "INTEGRAL")
396 (general-category symbol math) ; Informative Category
397 (bidi-category . "ON")
399 (chinese-gb2312 . #x2152) ;
400 (japanese-jisx0208 . #x2269) ;
401 (korean-ksc5601 . #x2172) ;
402 (chinese-cns11643-1 . #x224D) ;
403 (japanese-jisx0208-1990 . #x2269) ;
404 (chinese-big5 . #xA1EC) ;
405 (china3-jef . #x7FE8) ;
409 '((name . "DOUBLE INTEGRAL")
410 (general-category symbol math) ; Informative Category
411 (bidi-category . "ON")
413 (->decomposition compat #x222B #x222B)
414 (japanese-jisx0208 . #x226A) ;
415 (korean-ksc5601 . #x2173) ;
416 (japanese-jisx0208-1990 . #x226A) ;
417 (china3-jef . #x7FE9) ;
421 '((name . "TRIPLE INTEGRAL")
422 (general-category symbol math) ; Informative Category
423 (bidi-category . "ON")
425 (->decomposition compat #x222B #x222B #x222B)
429 '((name . "CONTOUR INTEGRAL")
430 (general-category symbol math) ; Informative Category
431 (bidi-category . "ON")
433 (chinese-gb2312 . #x2153) ;
434 (korean-ksc5601 . #x2231) ;
435 (chinese-cns11643-1 . #x224E) ;
436 (japanese-jisx0213-1 . #x2D73) ;
437 (chinese-big5 . #xA1ED) ;
441 '((name . "SURFACE INTEGRAL")
442 (general-category symbol math) ; Informative Category
443 (bidi-category . "ON")
445 (->decomposition compat #x222E #x222E)
449 '((name . "VOLUME INTEGRAL")
450 (general-category symbol math) ; Informative Category
451 (bidi-category . "ON")
453 (->decomposition compat #x222E #x222E #x222E)
457 '((name . "CLOCKWISE INTEGRAL")
458 (general-category symbol math) ; Informative Category
459 (bidi-category . "ON")
464 '((name . "CLOCKWISE CONTOUR INTEGRAL")
465 (general-category symbol math) ; Informative Category
466 (bidi-category . "ON")
471 '((name . "ANTICLOCKWISE CONTOUR INTEGRAL")
472 (general-category symbol math) ; Informative Category
473 (bidi-category . "ON")
478 '((name . "THEREFORE")
479 (general-category symbol math) ; Informative Category
480 (bidi-category . "ON")
482 (chinese-gb2312 . #x2160) ;
483 (=jis-x0208 . #x2168) ;
484 (korean-ksc5601 . #x2145) ;
485 (chinese-cns11643-1 . #x2250) ;
486 (chinese-big5 . #xA1EF) ;
491 (general-category symbol math) ; Informative Category
492 (bidi-category . "ON")
494 (chinese-gb2312 . #x215F) ;
495 (japanese-jisx0208 . #x2268) ;
496 (korean-ksc5601 . #x2171) ;
497 (chinese-cns11643-1 . #x224F) ;
498 (japanese-jisx0208-1990 . #x2268) ;
499 (chinese-big5 . #xA1EE) ;
504 (general-category symbol math) ; Informative Category
505 (bidi-category . "ON")
507 (chinese-gb2312 . #x2143) ;
511 '((name . "PROPORTION")
512 (general-category symbol math) ; Informative Category
513 (bidi-category . "ON")
515 (chinese-gb2312 . #x214B) ;
519 '((name . "DOT MINUS")
520 (general-category symbol math) ; Informative Category
521 (bidi-category . "ON")
527 (general-category symbol math) ; Informative Category
528 (bidi-category . "ON")
533 '((name . "GEOMETRIC PROPORTION")
534 (general-category symbol math) ; Informative Category
535 (bidi-category . "ON")
540 '((name . "HOMOTHETIC")
541 (general-category symbol math) ; Informative Category
542 (bidi-category . "ON")
547 '((name . "TILDE OPERATOR")
548 (general-category symbol math) ; Informative Category
549 (bidi-category . "ON")
551 (korean-ksc5601 . #x212D) ;
552 (chinese-cns11643-1 . #x2244) ;
553 (chinese-big5 . #xA1E3) ;
554 (ucs-big5 . #xFF5E) ; ∼
558 '((name . "REVERSED TILDE")
559 (general-category symbol math) ; Informative Category
560 (bidi-category . "ON")
562 (iso-10646-comment . "lazy S")
563 (chinese-gb2312 . #x2157) ;
564 (japanese-jisx0208 . #x2266) ;
565 (korean-ksc5601 . #x216F) ;
566 (japanese-jisx0208-1990 . #x2266) ;
567 (china3-jef . #x7FE6) ;
571 '((name . "INVERTED LAZY S")
572 (general-category symbol math) ; Informative Category
573 (bidi-category . "ON")
578 '((name . "SINE WAVE")
579 (general-category symbol math) ; Informative Category
580 (bidi-category . "ON")
585 '((name . "WREATH PRODUCT")
586 (general-category symbol math) ; Informative Category
587 (bidi-category . "ON")
592 '((name . "NOT TILDE")
593 (general-category symbol math) ; Informative Category
594 (bidi-category . "ON")
596 (->decomposition #x223C #x0338)
600 '((name . "MINUS TILDE")
601 (general-category symbol math) ; Informative Category
602 (bidi-category . "ON")
607 '((name . "ASYMPTOTICALLY EQUAL TO")
608 (general-category symbol math) ; Informative Category
609 (bidi-category . "ON")
611 (japanese-jisx0213-1 . #x226C) ;
615 '((name . "NOT ASYMPTOTICALLY EQUAL TO")
616 (general-category symbol math) ; Informative Category
617 (bidi-category . "ON")
619 (->decomposition #x2243 #x0338)
623 '((name . "APPROXIMATELY EQUAL TO")
624 (general-category symbol math) ; Informative Category
625 (bidi-category . "ON")
627 (japanese-jisx0213-1 . #x226D) ;
631 '((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
632 (general-category symbol math) ; Informative Category
633 (bidi-category . "ON")
638 '((name . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
639 (general-category symbol math) ; Informative Category
640 (bidi-category . "ON")
642 (->decomposition #x2245 #x0338)
646 '((name . "ALMOST EQUAL TO")
647 (general-category symbol math) ; Informative Category
648 (bidi-category . "ON")
650 (chinese-gb2312 . #x2156) ;
651 (japanese-jisx0213-1 . #x226E) ;
655 '((name . "NOT ALMOST EQUAL TO")
656 (general-category symbol math) ; Informative Category
657 (bidi-category . "ON")
659 (->decomposition #x2248 #x0338)
663 '((name . "ALMOST EQUAL OR EQUAL TO")
664 (general-category symbol math) ; Informative Category
665 (bidi-category . "ON")
670 '((name . "TRIPLE TILDE")
671 (general-category symbol math) ; Informative Category
672 (bidi-category . "ON")
677 '((name . "ALL EQUAL TO")
678 (general-category symbol math) ; Informative Category
679 (bidi-category . "ON")
681 (chinese-gb2312 . #x2155) ;
685 '((name . "EQUIVALENT TO")
686 (general-category symbol math) ; Informative Category
687 (bidi-category . "ON")
692 '((name . "GEOMETRICALLY EQUIVALENT TO")
693 (general-category symbol math) ; Informative Category
694 (bidi-category . "ON")
699 '((name . "DIFFERENCE BETWEEN")
700 (general-category symbol math) ; Informative Category
701 (bidi-category . "ON")
706 '((name . "APPROACHES THE LIMIT")
707 (general-category symbol math) ; Informative Category
708 (bidi-category . "ON")
713 '((name . "GEOMETRICALLY EQUAL TO")
714 (general-category symbol math) ; Informative Category
715 (bidi-category . "ON")
720 '((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
721 (general-category symbol math) ; Informative Category
722 (bidi-category . "ON")
724 (japanese-jisx0208 . #x2262) ;
725 (korean-ksc5601 . #x2156) ;
726 (chinese-cns11643-1 . #x223D) ;
727 (japanese-jisx0208-1990 . #x2262) ;
728 (chinese-big5 . #xA1DC) ;
732 '((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
733 (general-category symbol math) ; Informative Category
734 (bidi-category . "ON")
739 '((name . "COLON EQUALS")
740 (general-category symbol math) ; Informative Category
741 (bidi-category . "ON")
746 '((name . "EQUALS COLON")
747 (general-category symbol math) ; Informative Category
748 (bidi-category . "ON")
753 '((name . "RING IN EQUAL TO")
754 (general-category symbol math) ; Informative Category
755 (bidi-category . "ON")
760 '((name . "RING EQUAL TO")
761 (general-category symbol math) ; Informative Category
762 (bidi-category . "ON")
767 '((name . "CORRESPONDS TO")
768 (general-category symbol math) ; Informative Category
769 (bidi-category . "ON")
774 '((name . "ESTIMATES")
775 (general-category symbol math) ; Informative Category
776 (bidi-category . "ON")
781 '((name . "EQUIANGULAR TO")
782 (general-category symbol math) ; Informative Category
783 (bidi-category . "ON")
788 '((name . "STAR EQUALS")
789 (general-category symbol math) ; Informative Category
790 (bidi-category . "ON")
795 '((name . "DELTA EQUAL TO")
796 (general-category symbol math) ; Informative Category
797 (bidi-category . "ON")
802 '((name . "EQUAL TO BY DEFINITION")
803 (general-category symbol math) ; Informative Category
804 (bidi-category . "ON")
809 '((name . "MEASURED BY")
810 (general-category symbol math) ; Informative Category
811 (bidi-category . "ON")
816 '((name . "QUESTIONED EQUAL TO")
817 (general-category symbol math) ; Informative Category
818 (bidi-category . "ON")
823 '((name . "NOT EQUAL TO")
824 (general-category symbol math) ; Informative Category
825 (bidi-category . "ON")
827 (->decomposition #x003D #x0338)
828 (chinese-gb2312 . #x2159) ;
829 (=jis-x0208 . #x2162) ;
830 (korean-ksc5601 . #x2141) ;
831 (chinese-cns11643-1 . #x223B) ;
832 (chinese-big5 . #xA1DA) ;
836 '((name . "IDENTICAL TO")
837 (general-category symbol math) ; Informative Category
838 (bidi-category . "ON")
840 (chinese-gb2312 . #x2154) ;
841 (japanese-jisx0208 . #x2261) ;
842 (korean-ksc5601 . #x2155) ;
843 (chinese-cns11643-1 . #x223E) ;
844 (japanese-jisx0208-1990 . #x2261) ;
845 (chinese-big5 . #xA1DD) ;
849 '((name . "NOT IDENTICAL TO")
850 (general-category symbol math) ; Informative Category
851 (bidi-category . "ON")
853 (->decomposition #x2261 #x0338)
854 (japanese-jisx0213-1 . #x226B) ;
858 '((name . "STRICTLY EQUIVALENT TO")
859 (general-category symbol math) ; Informative Category
860 (bidi-category . "ON")
865 '((name . "LESS-THAN OR EQUAL TO")
866 (general-category symbol math) ; Informative Category
867 (bidi-category . "ON")
869 (chinese-gb2312 . #x215C) ;
870 (korean-ksc5601 . #x2142) ;
874 '((name . "GREATER-THAN OR EQUAL TO")
875 (general-category symbol math) ; Informative Category
876 (bidi-category . "ON")
878 (chinese-gb2312 . #x215D) ;
879 (korean-ksc5601 . #x2143) ;
883 '((name . "LESS-THAN OVER EQUAL TO")
884 (general-category symbol math) ; Informative Category
885 (bidi-category . "ON")
887 (=jis-x0208 . #x2165) ;
888 (chinese-cns11643-1 . #x2239) ;
889 (chinese-big5 . #xA1D8) ;
893 '((name . "GREATER-THAN OVER EQUAL TO")
894 (general-category symbol math) ; Informative Category
895 (bidi-category . "ON")
897 (=jis-x0208 . #x2166) ;
898 (chinese-cns11643-1 . #x223A) ;
899 (chinese-big5 . #xA1D9) ;
903 '((name . "LESS-THAN BUT NOT EQUAL TO")
904 (general-category symbol math) ; Informative Category
905 (bidi-category . "ON")
910 '((name . "GREATER-THAN BUT NOT EQUAL TO")
911 (general-category symbol math) ; Informative Category
912 (bidi-category . "ON")
917 '((name . "MUCH LESS-THAN")
918 (general-category symbol math) ; Informative Category
919 (bidi-category . "ON")
921 (japanese-jisx0208 . #x2263) ;
922 (korean-ksc5601 . #x216C) ;
923 (japanese-jisx0208-1990 . #x2263) ;
924 (china3-jef . #x7FE3) ;
928 '((name . "MUCH GREATER-THAN")
929 (general-category symbol math) ; Informative Category
930 (bidi-category . "ON")
932 (japanese-jisx0208 . #x2264) ;
933 (korean-ksc5601 . #x216D) ;
934 (japanese-jisx0208-1990 . #x2264) ;
935 (china3-jef . #x7FE4) ;
940 (general-category symbol math) ; Informative Category
941 (bidi-category . "ON")
946 '((name . "NOT EQUIVALENT TO")
947 (general-category symbol math) ; Informative Category
948 (bidi-category . "ON")
950 (->decomposition #x224D #x0338)
954 '((name . "NOT LESS-THAN")
955 (general-category symbol math) ; Informative Category
956 (bidi-category . "ON")
958 (->decomposition #x003C #x0338)
959 (chinese-gb2312 . #x215A) ;
963 '((name . "NOT GREATER-THAN")
964 (general-category symbol math) ; Informative Category
965 (bidi-category . "ON")
967 (->decomposition #x003E #x0338)
968 (chinese-gb2312 . #x215B) ;
972 '((name . "NEITHER LESS-THAN NOR EQUAL TO")
973 (general-category symbol math) ; Informative Category
974 (bidi-category . "ON")
976 (->decomposition #x2264 #x0338)
980 '((name . "NEITHER GREATER-THAN NOR EQUAL TO")
981 (general-category symbol math) ; Informative Category
982 (bidi-category . "ON")
984 (->decomposition #x2265 #x0338)
988 '((name . "LESS-THAN OR EQUIVALENT TO")
989 (general-category symbol math) ; Informative Category
990 (bidi-category . "ON")
995 '((name . "GREATER-THAN OR EQUIVALENT TO")
996 (general-category symbol math) ; Informative Category
997 (bidi-category . "ON")
1002 '((name . "NEITHER LESS-THAN NOR EQUIVALENT TO")
1003 (general-category symbol math) ; Informative Category
1004 (bidi-category . "ON")
1006 (->decomposition #x2272 #x0338)
1010 '((name . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
1011 (general-category symbol math) ; Informative Category
1012 (bidi-category . "ON")
1014 (->decomposition #x2273 #x0338)
1018 '((name . "LESS-THAN OR GREATER-THAN")
1019 (general-category symbol math) ; Informative Category
1020 (bidi-category . "ON")
1022 (japanese-jisx0213-1 . #x226F) ;
1026 '((name . "GREATER-THAN OR LESS-THAN")
1027 (general-category symbol math) ; Informative Category
1028 (bidi-category . "ON")
1030 (japanese-jisx0213-1 . #x2270) ;
1034 '((name . "NEITHER LESS-THAN NOR GREATER-THAN")
1035 (general-category symbol math) ; Informative Category
1036 (bidi-category . "ON")
1038 (->decomposition #x2276 #x0338)
1042 '((name . "NEITHER GREATER-THAN NOR LESS-THAN")
1043 (general-category symbol math) ; Informative Category
1044 (bidi-category . "ON")
1046 (->decomposition #x2277 #x0338)
1050 '((name . "PRECEDES")
1051 (general-category symbol math) ; Informative Category
1052 (bidi-category . "ON")
1057 '((name . "SUCCEEDS")
1058 (general-category symbol math) ; Informative Category
1059 (bidi-category . "ON")
1064 '((name . "PRECEDES OR EQUAL TO")
1065 (general-category symbol math) ; Informative Category
1066 (bidi-category . "ON")
1071 '((name . "SUCCEEDS OR EQUAL TO")
1072 (general-category symbol math) ; Informative Category
1073 (bidi-category . "ON")
1078 '((name . "PRECEDES OR EQUIVALENT TO")
1079 (general-category symbol math) ; Informative Category
1080 (bidi-category . "ON")
1085 '((name . "SUCCEEDS OR EQUIVALENT TO")
1086 (general-category symbol math) ; Informative Category
1087 (bidi-category . "ON")
1092 '((name . "DOES NOT PRECEDE")
1093 (general-category symbol math) ; Informative Category
1094 (bidi-category . "ON")
1096 (->decomposition #x227A #x0338)
1100 '((name . "DOES NOT SUCCEED")
1101 (general-category symbol math) ; Informative Category
1102 (bidi-category . "ON")
1104 (->decomposition #x227B #x0338)
1108 '((name . "SUBSET OF")
1109 (general-category symbol math) ; Informative Category
1110 (bidi-category . "ON")
1112 (japanese-jisx0208 . #x223E) ;
1113 (korean-ksc5601 . #x2178) ;
1114 (japanese-jisx0208-1990 . #x223E) ;
1115 (china3-jef . #x7FD4) ;
1119 '((name . "SUPERSET OF")
1120 (general-category symbol math) ; Informative Category
1121 (bidi-category . "ON")
1123 (japanese-jisx0208 . #x223F) ;
1124 (korean-ksc5601 . #x2179) ;
1125 (japanese-jisx0208-1990 . #x223F) ;
1126 (china3-jef . #x7FD5) ;
1130 '((name . "NOT A SUBSET OF")
1131 (general-category symbol math) ; Informative Category
1132 (bidi-category . "ON")
1134 (->decomposition #x2282 #x0338)
1135 (japanese-jisx0213-1 . #x2242) ;
1139 '((name . "NOT A SUPERSET OF")
1140 (general-category symbol math) ; Informative Category
1141 (bidi-category . "ON")
1143 (->decomposition #x2283 #x0338)
1144 (japanese-jisx0213-1 . #x2243) ;
1148 '((name . "SUBSET OF OR EQUAL TO")
1149 (general-category symbol math) ; Informative Category
1150 (bidi-category . "ON")
1152 (japanese-jisx0208 . #x223C) ;
1153 (korean-ksc5601 . #x2176) ;
1154 (japanese-jisx0208-1990 . #x223C) ;
1155 (china3-jef . #x7FD2) ;
1159 '((name . "SUPERSET OF OR EQUAL TO")
1160 (general-category symbol math) ; Informative Category
1161 (bidi-category . "ON")
1163 (japanese-jisx0208 . #x223D) ;
1164 (korean-ksc5601 . #x2177) ;
1165 (japanese-jisx0208-1990 . #x223D) ;
1166 (china3-jef . #x7FD3) ;
1170 '((name . "NEITHER A SUBSET OF NOR EQUAL TO")
1171 (general-category symbol math) ; Informative Category
1172 (bidi-category . "ON")
1174 (->decomposition #x2286 #x0338)
1178 '((name . "NEITHER A SUPERSET OF NOR EQUAL TO")
1179 (general-category symbol math) ; Informative Category
1180 (bidi-category . "ON")
1182 (->decomposition #x2287 #x0338)
1186 '((name . "SUBSET OF WITH NOT EQUAL TO")
1187 (general-category symbol math) ; Informative Category
1188 (bidi-category . "ON")
1190 (japanese-jisx0213-1 . #x2244) ;
1194 '((name . "SUPERSET OF WITH NOT EQUAL TO")
1195 (general-category symbol math) ; Informative Category
1196 (bidi-category . "ON")
1198 (japanese-jisx0213-1 . #x2245) ;
1202 '((name . "MULTISET")
1203 (general-category symbol math) ; Informative Category
1204 (bidi-category . "ON")
1209 '((name . "MULTISET MULTIPLICATION")
1210 (general-category symbol math) ; Informative Category
1211 (bidi-category . "ON")
1216 '((name . "MULTISET UNION")
1217 (general-category symbol math) ; Informative Category
1218 (bidi-category . "ON")
1223 '((name . "SQUARE IMAGE OF")
1224 (general-category symbol math) ; Informative Category
1225 (bidi-category . "ON")
1230 '((name . "SQUARE ORIGINAL OF")
1231 (general-category symbol math) ; Informative Category
1232 (bidi-category . "ON")
1237 '((name . "SQUARE IMAGE OF OR EQUAL TO")
1238 (general-category symbol math) ; Informative Category
1239 (bidi-category . "ON")
1244 '((name . "SQUARE ORIGINAL OF OR EQUAL TO")
1245 (general-category symbol math) ; Informative Category
1246 (bidi-category . "ON")
1251 '((name . "SQUARE CAP")
1252 (general-category symbol math) ; Informative Category
1253 (bidi-category . "ON")
1258 '((name . "SQUARE CUP")
1259 (general-category symbol math) ; Informative Category
1260 (bidi-category . "ON")
1265 '((name . "CIRCLED PLUS")
1266 (general-category symbol math) ; Informative Category
1267 (bidi-category . "ON")
1269 (chinese-cns11643-1 . #x2253) ;
1270 (japanese-jisx0213-1 . #x2251) ;
1271 (chinese-big5 . #xA1F2) ;
1275 '((name . "CIRCLED MINUS")
1276 (general-category symbol math) ; Informative Category
1277 (bidi-category . "ON")
1279 (japanese-jisx0213-1 . #x2252) ;
1283 '((name . "CIRCLED TIMES")
1284 (general-category symbol math) ; Informative Category
1285 (bidi-category . "ON")
1287 (japanese-jisx0213-1 . #x2253) ;
1291 '((name . "CIRCLED DIVISION SLASH")
1292 (general-category symbol math) ; Informative Category
1293 (bidi-category . "ON")
1298 '((name . "CIRCLED DOT OPERATOR")
1299 (general-category symbol math) ; Informative Category
1300 (bidi-category . "ON")
1302 (chinese-gb2312 . #x2151) ;
1303 (korean-ksc5601 . #x2241) ;
1304 (chinese-cns11643-1 . #x2254) ;
1305 (chinese-big5 . #xA1F3) ;
1309 '((name . "CIRCLED RING OPERATOR")
1310 (general-category symbol math) ; Informative Category
1311 (bidi-category . "ON")
1316 '((name . "CIRCLED ASTERISK OPERATOR")
1317 (general-category symbol math) ; Informative Category
1318 (bidi-category . "ON")
1323 '((name . "CIRCLED EQUALS")
1324 (general-category symbol math) ; Informative Category
1325 (bidi-category . "ON")
1330 '((name . "CIRCLED DASH")
1331 (general-category symbol math) ; Informative Category
1332 (bidi-category . "ON")
1337 '((name . "SQUARED PLUS")
1338 (general-category symbol math) ; Informative Category
1339 (bidi-category . "ON")
1344 '((name . "SQUARED MINUS")
1345 (general-category symbol math) ; Informative Category
1346 (bidi-category . "ON")
1351 '((name . "SQUARED TIMES")
1352 (general-category symbol math) ; Informative Category
1353 (bidi-category . "ON")
1358 '((name . "SQUARED DOT OPERATOR")
1359 (general-category symbol math) ; Informative Category
1360 (bidi-category . "ON")
1365 '((name . "RIGHT TACK")
1366 (general-category symbol math) ; Informative Category
1367 (bidi-category . "ON")
1372 '((name . "LEFT TACK")
1373 (general-category symbol math) ; Informative Category
1374 (bidi-category . "ON")
1379 '((name . "DOWN TACK")
1380 (general-category symbol math) ; Informative Category
1381 (bidi-category . "ON")
1386 '((name . "UP TACK")
1387 (general-category symbol math) ; Informative Category
1388 (bidi-category . "ON")
1390 (chinese-gb2312 . #x214D) ;
1391 (japanese-jisx0208 . #x225D) ;
1392 (korean-ksc5601 . #x2151) ;
1393 (chinese-cns11643-1 . #x2247) ;
1394 (japanese-jisx0208-1990 . #x225D) ;
1395 (chinese-big5 . #xA1E6) ;
1399 '((name . "ASSERTION")
1400 (general-category symbol math) ; Informative Category
1401 (bidi-category . "ON")
1407 (general-category symbol math) ; Informative Category
1408 (bidi-category . "ON")
1414 (general-category symbol math) ; Informative Category
1415 (bidi-category . "ON")
1421 (general-category symbol math) ; Informative Category
1422 (bidi-category . "ON")
1427 '((name . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
1428 (general-category symbol math) ; Informative Category
1429 (bidi-category . "ON")
1434 '((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1435 (general-category symbol math) ; Informative Category
1436 (bidi-category . "ON")
1441 '((name . "DOES NOT PROVE")
1442 (general-category symbol math) ; Informative Category
1443 (bidi-category . "ON")
1445 (->decomposition #x22A2 #x0338)
1449 '((name . "NOT TRUE")
1450 (general-category symbol math) ; Informative Category
1451 (bidi-category . "ON")
1453 (->decomposition #x22A8 #x0338)
1457 '((name . "DOES NOT FORCE")
1458 (general-category symbol math) ; Informative Category
1459 (bidi-category . "ON")
1461 (->decomposition #x22A9 #x0338)
1465 '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1466 (general-category symbol math) ; Informative Category
1467 (bidi-category . "ON")
1469 (->decomposition #x22AB #x0338)
1473 '((name . "PRECEDES UNDER RELATION")
1474 (general-category symbol math) ; Informative Category
1475 (bidi-category . "ON")
1480 '((name . "SUCCEEDS UNDER RELATION")
1481 (general-category symbol math) ; Informative Category
1482 (bidi-category . "ON")
1487 '((name . "NORMAL SUBGROUP OF")
1488 (general-category symbol math) ; Informative Category
1489 (bidi-category . "ON")
1494 '((name . "CONTAINS AS NORMAL SUBGROUP")
1495 (general-category symbol math) ; Informative Category
1496 (bidi-category . "ON")
1501 '((name . "NORMAL SUBGROUP OF OR EQUAL TO")
1502 (general-category symbol math) ; Informative Category
1503 (bidi-category . "ON")
1508 '((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
1509 (general-category symbol math) ; Informative Category
1510 (bidi-category . "ON")
1515 '((name . "ORIGINAL OF")
1516 (general-category symbol math) ; Informative Category
1517 (bidi-category . "ON")
1522 '((name . "IMAGE OF")
1523 (general-category symbol math) ; Informative Category
1524 (bidi-category . "ON")
1529 '((name . "MULTIMAP")
1530 (general-category symbol math) ; Informative Category
1531 (bidi-category . "ON")
1536 '((name . "HERMITIAN CONJUGATE MATRIX")
1537 (general-category symbol math) ; Informative Category
1538 (bidi-category . "ON")
1543 '((name . "INTERCALATE")
1544 (general-category symbol math) ; Informative Category
1545 (bidi-category . "ON")
1551 (general-category symbol math) ; Informative Category
1552 (bidi-category . "ON")
1558 (general-category symbol math) ; Informative Category
1559 (bidi-category . "ON")
1565 (general-category symbol math) ; Informative Category
1566 (bidi-category . "ON")
1571 '((name . "RIGHT ANGLE WITH ARC")
1572 (general-category symbol math) ; Informative Category
1573 (bidi-category . "ON")
1578 '((name . "RIGHT TRIANGLE")
1579 (general-category symbol math) ; Informative Category
1580 (bidi-category . "ON")
1582 (chinese-cns11643-1 . #x224A) ;
1583 (japanese-jisx0213-1 . #x2D79) ;
1584 (chinese-big5 . #xA1E9) ;
1588 '((name . "N-ARY LOGICAL AND")
1589 (general-category symbol math) ; Informative Category
1590 (bidi-category . "ON")
1592 (china3-jef . #x7FD8) ;
1596 '((name . "N-ARY LOGICAL OR")
1597 (general-category symbol math) ; Informative Category
1598 (bidi-category . "ON")
1600 (china3-jef . #x7FD9) ;
1604 '((name . "N-ARY INTERSECTION")
1605 (general-category symbol math) ; Informative Category
1606 (bidi-category . "ON")
1608 (china3-jef . #x7FD7) ;
1612 '((name . "N-ARY UNION")
1613 (general-category symbol math) ; Informative Category
1614 (bidi-category . "ON")
1616 (china3-jef . #x7FD6) ;
1620 '((name . "DIAMOND OPERATOR")
1621 (general-category symbol math) ; Informative Category
1622 (bidi-category . "ON")
1627 '((name . "DOT OPERATOR")
1628 (general-category symbol math) ; Informative Category
1629 (bidi-category . "ON")
1634 '((name . "STAR OPERATOR")
1635 (general-category symbol math) ; Informative Category
1636 (bidi-category . "ON")
1641 '((name . "DIVISION TIMES")
1642 (general-category symbol math) ; Informative Category
1643 (bidi-category . "ON")
1649 (general-category symbol math) ; Informative Category
1650 (bidi-category . "ON")
1655 '((name . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
1656 (general-category symbol math) ; Informative Category
1657 (bidi-category . "ON")
1662 '((name . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
1663 (general-category symbol math) ; Informative Category
1664 (bidi-category . "ON")
1669 '((name . "LEFT SEMIDIRECT PRODUCT")
1670 (general-category symbol math) ; Informative Category
1671 (bidi-category . "ON")
1676 '((name . "RIGHT SEMIDIRECT PRODUCT")
1677 (general-category symbol math) ; Informative Category
1678 (bidi-category . "ON")
1683 '((name . "REVERSED TILDE EQUALS")
1684 (general-category symbol math) ; Informative Category
1685 (bidi-category . "ON")
1690 '((name . "CURLY LOGICAL OR")
1691 (general-category symbol math) ; Informative Category
1692 (bidi-category . "ON")
1697 '((name . "CURLY LOGICAL AND")
1698 (general-category symbol math) ; Informative Category
1699 (bidi-category . "ON")
1704 '((name . "DOUBLE SUBSET")
1705 (general-category symbol math) ; Informative Category
1706 (bidi-category . "ON")
1711 '((name . "DOUBLE SUPERSET")
1712 (general-category symbol math) ; Informative Category
1713 (bidi-category . "ON")
1718 '((name . "DOUBLE INTERSECTION")
1719 (general-category symbol math) ; Informative Category
1720 (bidi-category . "ON")
1725 '((name . "DOUBLE UNION")
1726 (general-category symbol math) ; Informative Category
1727 (bidi-category . "ON")
1732 '((name . "PITCHFORK")
1733 (general-category symbol math) ; Informative Category
1734 (bidi-category . "ON")
1739 '((name . "EQUAL AND PARALLEL TO")
1740 (general-category symbol math) ; Informative Category
1741 (bidi-category . "ON")
1746 '((name . "LESS-THAN WITH DOT")
1747 (general-category symbol math) ; Informative Category
1748 (bidi-category . "ON")
1753 '((name . "GREATER-THAN WITH DOT")
1754 (general-category symbol math) ; Informative Category
1755 (bidi-category . "ON")
1760 '((name . "VERY MUCH LESS-THAN")
1761 (general-category symbol math) ; Informative Category
1762 (bidi-category . "ON")
1767 '((name . "VERY MUCH GREATER-THAN")
1768 (general-category symbol math) ; Informative Category
1769 (bidi-category . "ON")
1774 '((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
1775 (general-category symbol math) ; Informative Category
1776 (bidi-category . "ON")
1778 (japanese-jisx0213-1 . #x2776) ;
1782 '((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
1783 (general-category symbol math) ; Informative Category
1784 (bidi-category . "ON")
1786 (japanese-jisx0213-1 . #x2777) ;
1790 '((name . "EQUAL TO OR LESS-THAN")
1791 (general-category symbol math) ; Informative Category
1792 (bidi-category . "ON")
1797 '((name . "EQUAL TO OR GREATER-THAN")
1798 (general-category symbol math) ; Informative Category
1799 (bidi-category . "ON")
1804 '((name . "EQUAL TO OR PRECEDES")
1805 (general-category symbol math) ; Informative Category
1806 (bidi-category . "ON")
1811 '((name . "EQUAL TO OR SUCCEEDS")
1812 (general-category symbol math) ; Informative Category
1813 (bidi-category . "ON")
1818 '((name . "DOES NOT PRECEDE OR EQUAL")
1819 (general-category symbol math) ; Informative Category
1820 (bidi-category . "ON")
1822 (->decomposition #x227C #x0338)
1826 '((name . "DOES NOT SUCCEED OR EQUAL")
1827 (general-category symbol math) ; Informative Category
1828 (bidi-category . "ON")
1830 (->decomposition #x227D #x0338)
1834 '((name . "NOT SQUARE IMAGE OF OR EQUAL TO")
1835 (general-category symbol math) ; Informative Category
1836 (bidi-category . "ON")
1838 (->decomposition #x2291 #x0338)
1842 '((name . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
1843 (general-category symbol math) ; Informative Category
1844 (bidi-category . "ON")
1846 (->decomposition #x2292 #x0338)
1850 '((name . "SQUARE IMAGE OF OR NOT EQUAL TO")
1851 (general-category symbol math) ; Informative Category
1852 (bidi-category . "ON")
1857 '((name . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
1858 (general-category symbol math) ; Informative Category
1859 (bidi-category . "ON")
1864 '((name . "LESS-THAN BUT NOT EQUIVALENT TO")
1865 (general-category symbol math) ; Informative Category
1866 (bidi-category . "ON")
1871 '((name . "GREATER-THAN BUT NOT EQUIVALENT TO")
1872 (general-category symbol math) ; Informative Category
1873 (bidi-category . "ON")
1878 '((name . "PRECEDES BUT NOT EQUIVALENT TO")
1879 (general-category symbol math) ; Informative Category
1880 (bidi-category . "ON")
1885 '((name . "SUCCEEDS BUT NOT EQUIVALENT TO")
1886 (general-category symbol math) ; Informative Category
1887 (bidi-category . "ON")
1892 '((name . "NOT NORMAL SUBGROUP OF")
1893 (general-category symbol math) ; Informative Category
1894 (bidi-category . "ON")
1896 (->decomposition #x22B2 #x0338)
1900 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
1901 (general-category symbol math) ; Informative Category
1902 (bidi-category . "ON")
1904 (->decomposition #x22B3 #x0338)
1908 '((name . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
1909 (general-category symbol math) ; Informative Category
1910 (bidi-category . "ON")
1912 (->decomposition #x22B4 #x0338)
1916 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
1917 (general-category symbol math) ; Informative Category
1918 (bidi-category . "ON")
1920 (->decomposition #x22B5 #x0338)
1924 '((name . "VERTICAL ELLIPSIS")
1925 (general-category symbol math) ; Informative Category
1926 (bidi-category . "ON")
1931 '((name . "MIDLINE HORIZONTAL ELLIPSIS")
1932 (general-category symbol math) ; Informative Category
1933 (bidi-category . "ON")
1938 '((name . "UP RIGHT DIAGONAL ELLIPSIS")
1939 (general-category symbol math) ; Informative Category
1940 (bidi-category . "ON")
1945 '((name . "DOWN RIGHT DIAGONAL ELLIPSIS")
1946 (general-category symbol math) ; Informative Category
1947 (bidi-category . "ON")