4 (general-category symbol math) ; Informative Category
7 (japanese-jisx0208 #x22 #x4F) ;
8 (korean-ksc5601 #x22 #x23) ;
11 '((name . "COMPLEMENT")
13 (general-category symbol math) ; Informative Category
14 (bidi-category . "ON")
18 '((name . "PARTIAL DIFFERENTIAL")
20 (general-category symbol math) ; Informative Category
21 (bidi-category . "ON")
23 (japanese-jisx0208 #x22 #x5F) ;
24 (korean-ksc5601 #x21 #x53) ;
27 '((name . "THERE EXISTS")
29 (general-category symbol math) ; Informative Category
30 (bidi-category . "ON")
32 (japanese-jisx0208 #x22 #x50) ;
33 (korean-ksc5601 #x22 #x24) ;
36 '((name . "THERE DOES NOT EXIST")
38 (general-category symbol math) ; Informative Category
39 (bidi-category . "ON")
41 (->decomposition #x2203 #x0338)
44 '((name . "EMPTY SET")
46 (general-category symbol math) ; Informative Category
47 (bidi-category . "ON")
49 (japanese-jisx0213-1 #x22 #x47) ; ∅
52 '((name . "INCREMENT")
54 (general-category symbol math) ; Informative Category
55 (bidi-category . "ON")
61 (general-category symbol math) ; Informative Category
62 (bidi-category . "ON")
64 (japanese-jisx0208 #x22 #x60) ;
65 (korean-ksc5601 #x21 #x54) ;
68 '((name . "ELEMENT OF")
70 (general-category symbol math) ; Informative Category
71 (bidi-category . "ON")
73 (chinese-gb2312 #x21 #x4A) ;
74 (japanese-jisx0208 #x22 #x3A) ;
75 (korean-ksc5601 #x21 #x74) ;
78 '((name . "NOT AN ELEMENT OF")
80 (general-category symbol math) ; Informative Category
81 (bidi-category . "ON")
83 (->decomposition #x2208 #x0338)
84 (japanese-jisx0213-1 #x22 #x46) ; ∉
87 '((name . "SMALL ELEMENT OF")
89 (general-category symbol math) ; Informative Category
90 (bidi-category . "ON")
94 '((name . "CONTAINS AS MEMBER")
96 (general-category symbol math) ; Informative Category
97 (bidi-category . "ON")
99 (japanese-jisx0208 #x22 #x3B) ;
100 (korean-ksc5601 #x21 #x75) ;
103 '((name . "DOES NOT CONTAIN AS MEMBER")
105 (general-category symbol math) ; Informative Category
106 (bidi-category . "ON")
108 (->decomposition #x220B #x0338)
111 '((name . "SMALL CONTAINS AS MEMBER")
113 (general-category symbol math) ; Informative Category
114 (bidi-category . "ON")
118 '((name . "END OF PROOF")
120 (general-category symbol math) ; Informative Category
121 (bidi-category . "ON")
125 '((name . "N-ARY PRODUCT")
127 (general-category symbol math) ; Informative Category
128 (bidi-category . "ON")
130 (chinese-gb2312 #x21 #x47) ;
131 (korean-ksc5601 #x22 #x33) ;
134 '((name . "N-ARY COPRODUCT")
136 (general-category symbol math) ; Informative Category
137 (bidi-category . "ON")
141 '((name . "N-ARY SUMMATION")
143 (general-category symbol math) ; Informative Category
144 (bidi-category . "ON")
146 (chinese-gb2312 #x21 #x46) ;
147 (korean-ksc5601 #x22 #x32) ;
150 '((name . "MINUS SIGN")
152 (general-category symbol math) ; Informative Category
153 (bidi-category . "ET")
155 (japanese-jisx0208-1978 #x21 #x5D) ;
156 (japanese-jisx0208 #x21 #x5D) ;
159 '((name . "MINUS-OR-PLUS SIGN")
161 (general-category symbol math) ; Informative Category
162 (bidi-category . "ET")
164 (japanese-jisx0213-1 #x23 #x5B) ; ∓
167 '((name . "DOT PLUS")
169 (general-category symbol math) ; Informative Category
170 (bidi-category . "ON")
174 '((name . "DIVISION SLASH")
176 (general-category symbol math) ; Informative Category
177 (bidi-category . "ON")
179 (chinese-cns11643-1 #x22 #x61) ;
182 '((name . "SET MINUS")
184 (general-category symbol math) ; Informative Category
185 (bidi-category . "ON")
189 '((name . "ASTERISK OPERATOR")
191 (general-category symbol math) ; Informative Category
192 (bidi-category . "ON")
196 '((name . "RING OPERATOR")
198 (general-category symbol math) ; Informative Category
199 (bidi-category . "ON")
203 '((name . "BULLET OPERATOR")
205 (general-category symbol math) ; Informative Category
206 (bidi-category . "ON")
210 '((name . "SQUARE ROOT")
212 (general-category symbol math) ; Informative Category
213 (bidi-category . "ON")
215 (chinese-gb2312 #x21 #x4C) ;
216 (japanese-jisx0208 #x22 #x65) ;
217 (korean-ksc5601 #x21 #x6E) ;
218 (chinese-cns11643-1 #x22 #x35) ;
221 '((name . "CUBE ROOT")
223 (general-category symbol math) ; Informative Category
224 (bidi-category . "ON")
228 '((name . "FOURTH ROOT")
230 (general-category symbol math) ; Informative Category
231 (bidi-category . "ON")
235 '((name . "PROPORTIONAL TO")
237 (general-category symbol math) ; Informative Category
238 (bidi-category . "ON")
240 (chinese-gb2312 #x21 #x58) ;
241 (japanese-jisx0208 #x22 #x67) ;
242 (korean-ksc5601 #x21 #x70) ;
245 '((name . "INFINITY")
247 (general-category symbol math) ; Informative Category
248 (bidi-category . "ON")
250 (japanese-jisx0208-1978 #x21 #x67) ;
251 (chinese-gb2312 #x21 #x5E) ;
252 (japanese-jisx0208 #x21 #x67) ;
253 (korean-ksc5601 #x21 #x44) ;
254 (chinese-cns11643-1 #x22 #x3C) ;
257 '((name . "RIGHT ANGLE")
259 (general-category symbol math) ; Informative Category
260 (bidi-category . "ON")
262 (chinese-cns11643-1 #x22 #x49) ;
263 (japanese-jisx0213-1 #x2D #x78) ; ∟
268 (general-category symbol math) ; Informative Category
269 (bidi-category . "ON")
271 (chinese-gb2312 #x21 #x4F) ;
272 (japanese-jisx0208 #x22 #x5C) ;
273 (korean-ksc5601 #x21 #x50) ;
274 (chinese-cns11643-1 #x22 #x48) ;
277 '((name . "MEASURED ANGLE")
279 (general-category symbol math) ; Informative Category
280 (bidi-category . "ON")
284 '((name . "SPHERICAL ANGLE")
286 (general-category symbol math) ; Informative Category
287 (bidi-category . "ON")
293 (general-category symbol math) ; Informative Category
294 (bidi-category . "ON")
298 '((name . "DOES NOT DIVIDE")
300 (general-category symbol math) ; Informative Category
301 (bidi-category . "ON")
303 (->decomposition #x2223 #x0338)
306 '((name . "PARALLEL TO")
308 (general-category symbol math) ; Informative Category
309 (bidi-category . "ON")
311 (chinese-gb2312 #x21 #x4E) ;
312 (korean-ksc5601 #x21 #x2B) ;
313 (japanese-jisx0213-1 #x22 #x54) ; ∥
316 '((name . "NOT PARALLEL TO")
318 (general-category symbol math) ; Informative Category
319 (bidi-category . "ON")
321 (->decomposition #x2225 #x0338)
322 (japanese-jisx0213-1 #x22 #x55) ; ∦
325 '((name . "LOGICAL AND")
327 (general-category symbol math) ; Informative Category
328 (bidi-category . "ON")
330 (chinese-gb2312 #x21 #x44) ;
331 (japanese-jisx0208 #x22 #x4A) ;
332 (korean-ksc5601 #x21 #x7C) ;
335 '((name . "LOGICAL OR")
337 (general-category symbol math) ; Informative Category
338 (bidi-category . "ON")
340 (chinese-gb2312 #x21 #x45) ;
341 (japanese-jisx0208 #x22 #x4B) ;
342 (korean-ksc5601 #x21 #x7D) ;
345 '((name . "INTERSECTION")
347 (general-category symbol math) ; Informative Category
348 (bidi-category . "ON")
350 (chinese-gb2312 #x21 #x49) ;
351 (japanese-jisx0208 #x22 #x41) ;
352 (korean-ksc5601 #x21 #x7B) ;
353 (chinese-cns11643-1 #x22 #x45) ;
358 (general-category symbol math) ; Informative Category
359 (bidi-category . "ON")
361 (chinese-gb2312 #x21 #x48) ;
362 (japanese-jisx0208 #x22 #x40) ;
363 (korean-ksc5601 #x21 #x7A) ;
364 (chinese-cns11643-1 #x22 #x46) ;
367 '((name . "INTEGRAL")
369 (general-category symbol math) ; Informative Category
370 (bidi-category . "ON")
372 (chinese-gb2312 #x21 #x52) ;
373 (japanese-jisx0208 #x22 #x69) ;
374 (korean-ksc5601 #x21 #x72) ;
375 (chinese-cns11643-1 #x22 #x4D) ;
378 '((name . "DOUBLE INTEGRAL")
380 (general-category symbol math) ; Informative Category
381 (bidi-category . "ON")
383 (->decomposition compat #x222B #x222B)
384 (japanese-jisx0208 #x22 #x6A) ;
385 (korean-ksc5601 #x21 #x73) ;
388 '((name . "TRIPLE INTEGRAL")
390 (general-category symbol math) ; Informative Category
391 (bidi-category . "ON")
393 (->decomposition compat #x222B #x222B #x222B)
396 '((name . "CONTOUR INTEGRAL")
398 (general-category symbol math) ; Informative Category
399 (bidi-category . "ON")
401 (chinese-gb2312 #x21 #x53) ;
402 (korean-ksc5601 #x22 #x31) ;
403 (chinese-cns11643-1 #x22 #x4E) ;
404 (japanese-jisx0213-1 #x2D #x73) ; ∮
407 '((name . "SURFACE INTEGRAL")
409 (general-category symbol math) ; Informative Category
410 (bidi-category . "ON")
412 (->decomposition compat #x222E #x222E)
415 '((name . "VOLUME INTEGRAL")
417 (general-category symbol math) ; Informative Category
418 (bidi-category . "ON")
420 (->decomposition compat #x222E #x222E #x222E)
423 '((name . "CLOCKWISE INTEGRAL")
425 (general-category symbol math) ; Informative Category
426 (bidi-category . "ON")
430 '((name . "CLOCKWISE CONTOUR INTEGRAL")
432 (general-category symbol math) ; Informative Category
433 (bidi-category . "ON")
437 '((name . "ANTICLOCKWISE CONTOUR INTEGRAL")
439 (general-category symbol math) ; Informative Category
440 (bidi-category . "ON")
444 '((name . "THEREFORE")
446 (general-category symbol math) ; Informative Category
447 (bidi-category . "ON")
449 (japanese-jisx0208-1978 #x21 #x68) ;
450 (chinese-gb2312 #x21 #x60) ;
451 (japanese-jisx0208 #x21 #x68) ;
452 (korean-ksc5601 #x21 #x45) ;
453 (chinese-cns11643-1 #x22 #x50) ;
458 (general-category symbol math) ; Informative Category
459 (bidi-category . "ON")
461 (chinese-gb2312 #x21 #x5F) ;
462 (japanese-jisx0208 #x22 #x68) ;
463 (korean-ksc5601 #x21 #x71) ;
464 (chinese-cns11643-1 #x22 #x4F) ;
469 (general-category symbol math) ; Informative Category
470 (bidi-category . "ON")
472 (chinese-gb2312 #x21 #x43) ;
475 '((name . "PROPORTION")
477 (general-category symbol math) ; Informative Category
478 (bidi-category . "ON")
480 (chinese-gb2312 #x21 #x4B) ;
483 '((name . "DOT MINUS")
485 (general-category symbol math) ; Informative Category
486 (bidi-category . "ON")
492 (general-category symbol math) ; Informative Category
493 (bidi-category . "ON")
497 '((name . "GEOMETRIC PROPORTION")
499 (general-category symbol math) ; Informative Category
500 (bidi-category . "ON")
504 '((name . "HOMOTHETIC")
506 (general-category symbol math) ; Informative Category
507 (bidi-category . "ON")
511 '((name . "TILDE OPERATOR")
513 (general-category symbol math) ; Informative Category
514 (bidi-category . "ON")
516 (korean-ksc5601 #x21 #x2D) ;
519 '((name . "REVERSED TILDE")
521 (general-category symbol math) ; Informative Category
522 (bidi-category . "ON")
524 (iso-10646-comment . "lazy S")
525 (chinese-gb2312 #x21 #x57) ;
526 (japanese-jisx0208 #x22 #x66) ;
527 (korean-ksc5601 #x21 #x6F) ;
530 '((name . "INVERTED LAZY S")
532 (general-category symbol math) ; Informative Category
533 (bidi-category . "ON")
537 '((name . "SINE WAVE")
539 (general-category symbol math) ; Informative Category
540 (bidi-category . "ON")
544 '((name . "WREATH PRODUCT")
546 (general-category symbol math) ; Informative Category
547 (bidi-category . "ON")
551 '((name . "NOT TILDE")
553 (general-category symbol math) ; Informative Category
554 (bidi-category . "ON")
556 (->decomposition #x223C #x0338)
559 '((name . "MINUS TILDE")
561 (general-category symbol math) ; Informative Category
562 (bidi-category . "ON")
566 '((name . "ASYMPTOTICALLY EQUAL TO")
568 (general-category symbol math) ; Informative Category
569 (bidi-category . "ON")
571 (japanese-jisx0213-1 #x22 #x6C) ; ≃
574 '((name . "NOT ASYMPTOTICALLY EQUAL TO")
576 (general-category symbol math) ; Informative Category
577 (bidi-category . "ON")
579 (->decomposition #x2243 #x0338)
582 '((name . "APPROXIMATELY EQUAL TO")
584 (general-category symbol math) ; Informative Category
585 (bidi-category . "ON")
587 (japanese-jisx0213-1 #x22 #x6D) ; ≅
590 '((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
592 (general-category symbol math) ; Informative Category
593 (bidi-category . "ON")
597 '((name . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
599 (general-category symbol math) ; Informative Category
600 (bidi-category . "ON")
602 (->decomposition #x2245 #x0338)
605 '((name . "ALMOST EQUAL TO")
607 (general-category symbol math) ; Informative Category
608 (bidi-category . "ON")
610 (chinese-gb2312 #x21 #x56) ;
611 (japanese-jisx0213-1 #x22 #x6E) ; ≈
614 '((name . "NOT ALMOST EQUAL TO")
616 (general-category symbol math) ; Informative Category
617 (bidi-category . "ON")
619 (->decomposition #x2248 #x0338)
622 '((name . "ALMOST EQUAL OR EQUAL TO")
624 (general-category symbol math) ; Informative Category
625 (bidi-category . "ON")
629 '((name . "TRIPLE TILDE")
631 (general-category symbol math) ; Informative Category
632 (bidi-category . "ON")
636 '((name . "ALL EQUAL TO")
638 (general-category symbol math) ; Informative Category
639 (bidi-category . "ON")
641 (chinese-gb2312 #x21 #x55) ;
644 '((name . "EQUIVALENT TO")
646 (general-category symbol math) ; Informative Category
647 (bidi-category . "ON")
651 '((name . "GEOMETRICALLY EQUIVALENT TO")
653 (general-category symbol math) ; Informative Category
654 (bidi-category . "ON")
658 '((name . "DIFFERENCE BETWEEN")
660 (general-category symbol math) ; Informative Category
661 (bidi-category . "ON")
665 '((name . "APPROACHES THE LIMIT")
667 (general-category symbol math) ; Informative Category
668 (bidi-category . "ON")
672 '((name . "GEOMETRICALLY EQUAL TO")
674 (general-category symbol math) ; Informative Category
675 (bidi-category . "ON")
679 '((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
681 (general-category symbol math) ; Informative Category
682 (bidi-category . "ON")
684 (japanese-jisx0208 #x22 #x62) ;
685 (korean-ksc5601 #x21 #x56) ;
686 (chinese-cns11643-1 #x22 #x3D) ;
689 '((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
691 (general-category symbol math) ; Informative Category
692 (bidi-category . "ON")
696 '((name . "COLON EQUALS")
698 (general-category symbol math) ; Informative Category
699 (bidi-category . "ON")
703 '((name . "EQUALS COLON")
705 (general-category symbol math) ; Informative Category
706 (bidi-category . "ON")
710 '((name . "RING IN EQUAL TO")
712 (general-category symbol math) ; Informative Category
713 (bidi-category . "ON")
717 '((name . "RING EQUAL TO")
719 (general-category symbol math) ; Informative Category
720 (bidi-category . "ON")
724 '((name . "CORRESPONDS TO")
726 (general-category symbol math) ; Informative Category
727 (bidi-category . "ON")
731 '((name . "ESTIMATES")
733 (general-category symbol math) ; Informative Category
734 (bidi-category . "ON")
738 '((name . "EQUIANGULAR TO")
740 (general-category symbol math) ; Informative Category
741 (bidi-category . "ON")
745 '((name . "STAR EQUALS")
747 (general-category symbol math) ; Informative Category
748 (bidi-category . "ON")
752 '((name . "DELTA EQUAL TO")
754 (general-category symbol math) ; Informative Category
755 (bidi-category . "ON")
759 '((name . "EQUAL TO BY DEFINITION")
761 (general-category symbol math) ; Informative Category
762 (bidi-category . "ON")
766 '((name . "MEASURED BY")
768 (general-category symbol math) ; Informative Category
769 (bidi-category . "ON")
773 '((name . "QUESTIONED EQUAL TO")
775 (general-category symbol math) ; Informative Category
776 (bidi-category . "ON")
780 '((name . "NOT EQUAL TO")
782 (general-category symbol math) ; Informative Category
783 (bidi-category . "ON")
785 (->decomposition #x003D #x0338)
786 (japanese-jisx0208-1978 #x21 #x62) ;
787 (chinese-gb2312 #x21 #x59) ;
788 (japanese-jisx0208 #x21 #x62) ;
789 (korean-ksc5601 #x21 #x41) ;
790 (chinese-cns11643-1 #x22 #x3B) ;
793 '((name . "IDENTICAL TO")
795 (general-category symbol math) ; Informative Category
796 (bidi-category . "ON")
798 (chinese-gb2312 #x21 #x54) ;
799 (japanese-jisx0208 #x22 #x61) ;
800 (korean-ksc5601 #x21 #x55) ;
801 (chinese-cns11643-1 #x22 #x3E) ;
804 '((name . "NOT IDENTICAL TO")
806 (general-category symbol math) ; Informative Category
807 (bidi-category . "ON")
809 (->decomposition #x2261 #x0338)
810 (japanese-jisx0213-1 #x22 #x6B) ; ≢
813 '((name . "STRICTLY EQUIVALENT TO")
815 (general-category symbol math) ; Informative Category
816 (bidi-category . "ON")
820 '((name . "LESS-THAN OR EQUAL TO")
822 (general-category symbol math) ; Informative Category
823 (bidi-category . "ON")
825 (chinese-gb2312 #x21 #x5C) ;
826 (korean-ksc5601 #x21 #x42) ;
829 '((name . "GREATER-THAN OR EQUAL TO")
831 (general-category symbol math) ; Informative Category
832 (bidi-category . "ON")
834 (chinese-gb2312 #x21 #x5D) ;
835 (korean-ksc5601 #x21 #x43) ;
838 '((name . "LESS-THAN OVER EQUAL TO")
840 (general-category symbol math) ; Informative Category
841 (bidi-category . "ON")
843 (japanese-jisx0208-1978 #x21 #x65) ;
844 (japanese-jisx0208 #x21 #x65) ;
845 (chinese-cns11643-1 #x22 #x39) ;
848 '((name . "GREATER-THAN OVER EQUAL TO")
850 (general-category symbol math) ; Informative Category
851 (bidi-category . "ON")
853 (japanese-jisx0208-1978 #x21 #x66) ;
854 (japanese-jisx0208 #x21 #x66) ;
855 (chinese-cns11643-1 #x22 #x3A) ;
858 '((name . "LESS-THAN BUT NOT EQUAL TO")
860 (general-category symbol math) ; Informative Category
861 (bidi-category . "ON")
865 '((name . "GREATER-THAN BUT NOT EQUAL TO")
867 (general-category symbol math) ; Informative Category
868 (bidi-category . "ON")
872 '((name . "MUCH LESS-THAN")
874 (general-category symbol math) ; Informative Category
875 (bidi-category . "ON")
877 (japanese-jisx0208 #x22 #x63) ;
878 (korean-ksc5601 #x21 #x6C) ;
881 '((name . "MUCH GREATER-THAN")
883 (general-category symbol math) ; Informative Category
884 (bidi-category . "ON")
886 (japanese-jisx0208 #x22 #x64) ;
887 (korean-ksc5601 #x21 #x6D) ;
892 (general-category symbol math) ; Informative Category
893 (bidi-category . "ON")
897 '((name . "NOT EQUIVALENT TO")
899 (general-category symbol math) ; Informative Category
900 (bidi-category . "ON")
902 (->decomposition #x224D #x0338)
905 '((name . "NOT LESS-THAN")
907 (general-category symbol math) ; Informative Category
908 (bidi-category . "ON")
910 (->decomposition #x003C #x0338)
911 (chinese-gb2312 #x21 #x5A) ;
914 '((name . "NOT GREATER-THAN")
916 (general-category symbol math) ; Informative Category
917 (bidi-category . "ON")
919 (->decomposition #x003E #x0338)
920 (chinese-gb2312 #x21 #x5B) ;
923 '((name . "NEITHER LESS-THAN NOR EQUAL TO")
925 (general-category symbol math) ; Informative Category
926 (bidi-category . "ON")
928 (->decomposition #x2264 #x0338)
931 '((name . "NEITHER GREATER-THAN NOR EQUAL TO")
933 (general-category symbol math) ; Informative Category
934 (bidi-category . "ON")
936 (->decomposition #x2265 #x0338)
939 '((name . "LESS-THAN OR EQUIVALENT TO")
941 (general-category symbol math) ; Informative Category
942 (bidi-category . "ON")
946 '((name . "GREATER-THAN OR EQUIVALENT TO")
948 (general-category symbol math) ; Informative Category
949 (bidi-category . "ON")
953 '((name . "NEITHER LESS-THAN NOR EQUIVALENT TO")
955 (general-category symbol math) ; Informative Category
956 (bidi-category . "ON")
958 (->decomposition #x2272 #x0338)
961 '((name . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
963 (general-category symbol math) ; Informative Category
964 (bidi-category . "ON")
966 (->decomposition #x2273 #x0338)
969 '((name . "LESS-THAN OR GREATER-THAN")
971 (general-category symbol math) ; Informative Category
972 (bidi-category . "ON")
974 (japanese-jisx0213-1 #x22 #x6F) ; ≶
977 '((name . "GREATER-THAN OR LESS-THAN")
979 (general-category symbol math) ; Informative Category
980 (bidi-category . "ON")
982 (japanese-jisx0213-1 #x22 #x70) ; ≷
985 '((name . "NEITHER LESS-THAN NOR GREATER-THAN")
987 (general-category symbol math) ; Informative Category
988 (bidi-category . "ON")
990 (->decomposition #x2276 #x0338)
993 '((name . "NEITHER GREATER-THAN NOR LESS-THAN")
995 (general-category symbol math) ; Informative Category
996 (bidi-category . "ON")
998 (->decomposition #x2277 #x0338)
1001 '((name . "PRECEDES")
1003 (general-category symbol math) ; Informative Category
1004 (bidi-category . "ON")
1008 '((name . "SUCCEEDS")
1010 (general-category symbol math) ; Informative Category
1011 (bidi-category . "ON")
1015 '((name . "PRECEDES OR EQUAL TO")
1017 (general-category symbol math) ; Informative Category
1018 (bidi-category . "ON")
1022 '((name . "SUCCEEDS OR EQUAL TO")
1024 (general-category symbol math) ; Informative Category
1025 (bidi-category . "ON")
1029 '((name . "PRECEDES OR EQUIVALENT TO")
1031 (general-category symbol math) ; Informative Category
1032 (bidi-category . "ON")
1036 '((name . "SUCCEEDS OR EQUIVALENT TO")
1038 (general-category symbol math) ; Informative Category
1039 (bidi-category . "ON")
1043 '((name . "DOES NOT PRECEDE")
1045 (general-category symbol math) ; Informative Category
1046 (bidi-category . "ON")
1048 (->decomposition #x227A #x0338)
1051 '((name . "DOES NOT SUCCEED")
1053 (general-category symbol math) ; Informative Category
1054 (bidi-category . "ON")
1056 (->decomposition #x227B #x0338)
1059 '((name . "SUBSET OF")
1061 (general-category symbol math) ; Informative Category
1062 (bidi-category . "ON")
1064 (japanese-jisx0208 #x22 #x3E) ;
1065 (korean-ksc5601 #x21 #x78) ;
1068 '((name . "SUPERSET OF")
1070 (general-category symbol math) ; Informative Category
1071 (bidi-category . "ON")
1073 (japanese-jisx0208 #x22 #x3F) ;
1074 (korean-ksc5601 #x21 #x79) ;
1077 '((name . "NOT A SUBSET OF")
1079 (general-category symbol math) ; Informative Category
1080 (bidi-category . "ON")
1082 (->decomposition #x2282 #x0338)
1083 (japanese-jisx0213-1 #x22 #x42) ; ⊄
1086 '((name . "NOT A SUPERSET OF")
1088 (general-category symbol math) ; Informative Category
1089 (bidi-category . "ON")
1091 (->decomposition #x2283 #x0338)
1092 (japanese-jisx0213-1 #x22 #x43) ; ⊅
1095 '((name . "SUBSET OF OR EQUAL TO")
1097 (general-category symbol math) ; Informative Category
1098 (bidi-category . "ON")
1100 (japanese-jisx0208 #x22 #x3C) ;
1101 (korean-ksc5601 #x21 #x76) ;
1104 '((name . "SUPERSET OF OR EQUAL TO")
1106 (general-category symbol math) ; Informative Category
1107 (bidi-category . "ON")
1109 (japanese-jisx0208 #x22 #x3D) ;
1110 (korean-ksc5601 #x21 #x77) ;
1113 '((name . "NEITHER A SUBSET OF NOR EQUAL TO")
1115 (general-category symbol math) ; Informative Category
1116 (bidi-category . "ON")
1118 (->decomposition #x2286 #x0338)
1121 '((name . "NEITHER A SUPERSET OF NOR EQUAL TO")
1123 (general-category symbol math) ; Informative Category
1124 (bidi-category . "ON")
1126 (->decomposition #x2287 #x0338)
1129 '((name . "SUBSET OF WITH NOT EQUAL TO")
1131 (general-category symbol math) ; Informative Category
1132 (bidi-category . "ON")
1134 (japanese-jisx0213-1 #x22 #x44) ; ⊊
1137 '((name . "SUPERSET OF WITH NOT EQUAL TO")
1139 (general-category symbol math) ; Informative Category
1140 (bidi-category . "ON")
1142 (japanese-jisx0213-1 #x22 #x45) ; ⊋
1145 '((name . "MULTISET")
1147 (general-category symbol math) ; Informative Category
1148 (bidi-category . "ON")
1152 '((name . "MULTISET MULTIPLICATION")
1154 (general-category symbol math) ; Informative Category
1155 (bidi-category . "ON")
1159 '((name . "MULTISET UNION")
1161 (general-category symbol math) ; Informative Category
1162 (bidi-category . "ON")
1166 '((name . "SQUARE IMAGE OF")
1168 (general-category symbol math) ; Informative Category
1169 (bidi-category . "ON")
1173 '((name . "SQUARE ORIGINAL OF")
1175 (general-category symbol math) ; Informative Category
1176 (bidi-category . "ON")
1180 '((name . "SQUARE IMAGE OF OR EQUAL TO")
1182 (general-category symbol math) ; Informative Category
1183 (bidi-category . "ON")
1187 '((name . "SQUARE ORIGINAL OF OR EQUAL TO")
1189 (general-category symbol math) ; Informative Category
1190 (bidi-category . "ON")
1194 '((name . "SQUARE CAP")
1196 (general-category symbol math) ; Informative Category
1197 (bidi-category . "ON")
1201 '((name . "SQUARE CUP")
1203 (general-category symbol math) ; Informative Category
1204 (bidi-category . "ON")
1208 '((name . "CIRCLED PLUS")
1210 (general-category symbol math) ; Informative Category
1211 (bidi-category . "ON")
1213 (chinese-cns11643-1 #x22 #x53) ;
1214 (japanese-jisx0213-1 #x22 #x51) ; ⊕
1217 '((name . "CIRCLED MINUS")
1219 (general-category symbol math) ; Informative Category
1220 (bidi-category . "ON")
1222 (japanese-jisx0213-1 #x22 #x52) ; ⊖
1225 '((name . "CIRCLED TIMES")
1227 (general-category symbol math) ; Informative Category
1228 (bidi-category . "ON")
1230 (japanese-jisx0213-1 #x22 #x53) ; ⊗
1233 '((name . "CIRCLED DIVISION SLASH")
1235 (general-category symbol math) ; Informative Category
1236 (bidi-category . "ON")
1240 '((name . "CIRCLED DOT OPERATOR")
1242 (general-category symbol math) ; Informative Category
1243 (bidi-category . "ON")
1245 (chinese-gb2312 #x21 #x51) ;
1246 (korean-ksc5601 #x22 #x41) ;
1247 (chinese-cns11643-1 #x22 #x54) ;
1250 '((name . "CIRCLED RING OPERATOR")
1252 (general-category symbol math) ; Informative Category
1253 (bidi-category . "ON")
1257 '((name . "CIRCLED ASTERISK OPERATOR")
1259 (general-category symbol math) ; Informative Category
1260 (bidi-category . "ON")
1264 '((name . "CIRCLED EQUALS")
1266 (general-category symbol math) ; Informative Category
1267 (bidi-category . "ON")
1271 '((name . "CIRCLED DASH")
1273 (general-category symbol math) ; Informative Category
1274 (bidi-category . "ON")
1278 '((name . "SQUARED PLUS")
1280 (general-category symbol math) ; Informative Category
1281 (bidi-category . "ON")
1285 '((name . "SQUARED MINUS")
1287 (general-category symbol math) ; Informative Category
1288 (bidi-category . "ON")
1292 '((name . "SQUARED TIMES")
1294 (general-category symbol math) ; Informative Category
1295 (bidi-category . "ON")
1299 '((name . "SQUARED DOT OPERATOR")
1301 (general-category symbol math) ; Informative Category
1302 (bidi-category . "ON")
1306 '((name . "RIGHT TACK")
1308 (general-category symbol math) ; Informative Category
1309 (bidi-category . "ON")
1313 '((name . "LEFT TACK")
1315 (general-category symbol math) ; Informative Category
1316 (bidi-category . "ON")
1320 '((name . "DOWN TACK")
1322 (general-category symbol math) ; Informative Category
1323 (bidi-category . "ON")
1327 '((name . "UP TACK")
1329 (general-category symbol math) ; Informative Category
1330 (bidi-category . "ON")
1332 (chinese-gb2312 #x21 #x4D) ;
1333 (japanese-jisx0208 #x22 #x5D) ;
1334 (korean-ksc5601 #x21 #x51) ;
1335 (chinese-cns11643-1 #x22 #x47) ;
1338 '((name . "ASSERTION")
1340 (general-category symbol math) ; Informative Category
1341 (bidi-category . "ON")
1347 (general-category symbol math) ; Informative Category
1348 (bidi-category . "ON")
1354 (general-category symbol math) ; Informative Category
1355 (bidi-category . "ON")
1361 (general-category symbol math) ; Informative Category
1362 (bidi-category . "ON")
1366 '((name . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
1368 (general-category symbol math) ; Informative Category
1369 (bidi-category . "ON")
1373 '((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1375 (general-category symbol math) ; Informative Category
1376 (bidi-category . "ON")
1380 '((name . "DOES NOT PROVE")
1382 (general-category symbol math) ; Informative Category
1383 (bidi-category . "ON")
1385 (->decomposition #x22A2 #x0338)
1388 '((name . "NOT TRUE")
1390 (general-category symbol math) ; Informative Category
1391 (bidi-category . "ON")
1393 (->decomposition #x22A8 #x0338)
1396 '((name . "DOES NOT FORCE")
1398 (general-category symbol math) ; Informative Category
1399 (bidi-category . "ON")
1401 (->decomposition #x22A9 #x0338)
1404 '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1406 (general-category symbol math) ; Informative Category
1407 (bidi-category . "ON")
1409 (->decomposition #x22AB #x0338)
1412 '((name . "PRECEDES UNDER RELATION")
1414 (general-category symbol math) ; Informative Category
1415 (bidi-category . "ON")
1419 '((name . "SUCCEEDS UNDER RELATION")
1421 (general-category symbol math) ; Informative Category
1422 (bidi-category . "ON")
1426 '((name . "NORMAL SUBGROUP OF")
1428 (general-category symbol math) ; Informative Category
1429 (bidi-category . "ON")
1433 '((name . "CONTAINS AS NORMAL SUBGROUP")
1435 (general-category symbol math) ; Informative Category
1436 (bidi-category . "ON")
1440 '((name . "NORMAL SUBGROUP OF OR EQUAL TO")
1442 (general-category symbol math) ; Informative Category
1443 (bidi-category . "ON")
1447 '((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
1449 (general-category symbol math) ; Informative Category
1450 (bidi-category . "ON")
1454 '((name . "ORIGINAL OF")
1456 (general-category symbol math) ; Informative Category
1457 (bidi-category . "ON")
1461 '((name . "IMAGE OF")
1463 (general-category symbol math) ; Informative Category
1464 (bidi-category . "ON")
1468 '((name . "MULTIMAP")
1470 (general-category symbol math) ; Informative Category
1471 (bidi-category . "ON")
1475 '((name . "HERMITIAN CONJUGATE MATRIX")
1477 (general-category symbol math) ; Informative Category
1478 (bidi-category . "ON")
1482 '((name . "INTERCALATE")
1484 (general-category symbol math) ; Informative Category
1485 (bidi-category . "ON")
1491 (general-category symbol math) ; Informative Category
1492 (bidi-category . "ON")
1498 (general-category symbol math) ; Informative Category
1499 (bidi-category . "ON")
1505 (general-category symbol math) ; Informative Category
1506 (bidi-category . "ON")
1510 '((name . "RIGHT ANGLE WITH ARC")
1512 (general-category symbol math) ; Informative Category
1513 (bidi-category . "ON")
1517 '((name . "RIGHT TRIANGLE")
1519 (general-category symbol math) ; Informative Category
1520 (bidi-category . "ON")
1522 (chinese-cns11643-1 #x22 #x4A) ;
1523 (japanese-jisx0213-1 #x2D #x79) ; ⊿
1526 '((name . "N-ARY LOGICAL AND")
1528 (general-category symbol math) ; Informative Category
1529 (bidi-category . "ON")
1533 '((name . "N-ARY LOGICAL OR")
1535 (general-category symbol math) ; Informative Category
1536 (bidi-category . "ON")
1540 '((name . "N-ARY INTERSECTION")
1542 (general-category symbol math) ; Informative Category
1543 (bidi-category . "ON")
1547 '((name . "N-ARY UNION")
1549 (general-category symbol math) ; Informative Category
1550 (bidi-category . "ON")
1554 '((name . "DIAMOND OPERATOR")
1556 (general-category symbol math) ; Informative Category
1557 (bidi-category . "ON")
1561 '((name . "DOT OPERATOR")
1563 (general-category symbol math) ; Informative Category
1564 (bidi-category . "ON")
1568 '((name . "STAR OPERATOR")
1570 (general-category symbol math) ; Informative Category
1571 (bidi-category . "ON")
1575 '((name . "DIVISION TIMES")
1577 (general-category symbol math) ; Informative Category
1578 (bidi-category . "ON")
1584 (general-category symbol math) ; Informative Category
1585 (bidi-category . "ON")
1589 '((name . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
1591 (general-category symbol math) ; Informative Category
1592 (bidi-category . "ON")
1596 '((name . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
1598 (general-category symbol math) ; Informative Category
1599 (bidi-category . "ON")
1603 '((name . "LEFT SEMIDIRECT PRODUCT")
1605 (general-category symbol math) ; Informative Category
1606 (bidi-category . "ON")
1610 '((name . "RIGHT SEMIDIRECT PRODUCT")
1612 (general-category symbol math) ; Informative Category
1613 (bidi-category . "ON")
1617 '((name . "REVERSED TILDE EQUALS")
1619 (general-category symbol math) ; Informative Category
1620 (bidi-category . "ON")
1624 '((name . "CURLY LOGICAL OR")
1626 (general-category symbol math) ; Informative Category
1627 (bidi-category . "ON")
1631 '((name . "CURLY LOGICAL AND")
1633 (general-category symbol math) ; Informative Category
1634 (bidi-category . "ON")
1638 '((name . "DOUBLE SUBSET")
1640 (general-category symbol math) ; Informative Category
1641 (bidi-category . "ON")
1645 '((name . "DOUBLE SUPERSET")
1647 (general-category symbol math) ; Informative Category
1648 (bidi-category . "ON")
1652 '((name . "DOUBLE INTERSECTION")
1654 (general-category symbol math) ; Informative Category
1655 (bidi-category . "ON")
1659 '((name . "DOUBLE UNION")
1661 (general-category symbol math) ; Informative Category
1662 (bidi-category . "ON")
1666 '((name . "PITCHFORK")
1668 (general-category symbol math) ; Informative Category
1669 (bidi-category . "ON")
1673 '((name . "EQUAL AND PARALLEL TO")
1675 (general-category symbol math) ; Informative Category
1676 (bidi-category . "ON")
1680 '((name . "LESS-THAN WITH DOT")
1682 (general-category symbol math) ; Informative Category
1683 (bidi-category . "ON")
1687 '((name . "GREATER-THAN WITH DOT")
1689 (general-category symbol math) ; Informative Category
1690 (bidi-category . "ON")
1694 '((name . "VERY MUCH LESS-THAN")
1696 (general-category symbol math) ; Informative Category
1697 (bidi-category . "ON")
1701 '((name . "VERY MUCH GREATER-THAN")
1703 (general-category symbol math) ; Informative Category
1704 (bidi-category . "ON")
1708 '((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
1710 (general-category symbol math) ; Informative Category
1711 (bidi-category . "ON")
1713 (japanese-jisx0213-1 #x27 #x76) ; ⋚
1716 '((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
1718 (general-category symbol math) ; Informative Category
1719 (bidi-category . "ON")
1721 (japanese-jisx0213-1 #x27 #x77) ; ⋛
1724 '((name . "EQUAL TO OR LESS-THAN")
1726 (general-category symbol math) ; Informative Category
1727 (bidi-category . "ON")
1731 '((name . "EQUAL TO OR GREATER-THAN")
1733 (general-category symbol math) ; Informative Category
1734 (bidi-category . "ON")
1738 '((name . "EQUAL TO OR PRECEDES")
1740 (general-category symbol math) ; Informative Category
1741 (bidi-category . "ON")
1745 '((name . "EQUAL TO OR SUCCEEDS")
1747 (general-category symbol math) ; Informative Category
1748 (bidi-category . "ON")
1752 '((name . "DOES NOT PRECEDE OR EQUAL")
1754 (general-category symbol math) ; Informative Category
1755 (bidi-category . "ON")
1757 (->decomposition #x227C #x0338)
1760 '((name . "DOES NOT SUCCEED OR EQUAL")
1762 (general-category symbol math) ; Informative Category
1763 (bidi-category . "ON")
1765 (->decomposition #x227D #x0338)
1768 '((name . "NOT SQUARE IMAGE OF OR EQUAL TO")
1770 (general-category symbol math) ; Informative Category
1771 (bidi-category . "ON")
1773 (->decomposition #x2291 #x0338)
1776 '((name . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
1778 (general-category symbol math) ; Informative Category
1779 (bidi-category . "ON")
1781 (->decomposition #x2292 #x0338)
1784 '((name . "SQUARE IMAGE OF OR NOT EQUAL TO")
1786 (general-category symbol math) ; Informative Category
1787 (bidi-category . "ON")
1791 '((name . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
1793 (general-category symbol math) ; Informative Category
1794 (bidi-category . "ON")
1798 '((name . "LESS-THAN BUT NOT EQUIVALENT TO")
1800 (general-category symbol math) ; Informative Category
1801 (bidi-category . "ON")
1805 '((name . "GREATER-THAN BUT NOT EQUIVALENT TO")
1807 (general-category symbol math) ; Informative Category
1808 (bidi-category . "ON")
1812 '((name . "PRECEDES BUT NOT EQUIVALENT TO")
1814 (general-category symbol math) ; Informative Category
1815 (bidi-category . "ON")
1819 '((name . "SUCCEEDS BUT NOT EQUIVALENT TO")
1821 (general-category symbol math) ; Informative Category
1822 (bidi-category . "ON")
1826 '((name . "NOT NORMAL SUBGROUP OF")
1828 (general-category symbol math) ; Informative Category
1829 (bidi-category . "ON")
1831 (->decomposition #x22B2 #x0338)
1834 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
1836 (general-category symbol math) ; Informative Category
1837 (bidi-category . "ON")
1839 (->decomposition #x22B3 #x0338)
1842 '((name . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
1844 (general-category symbol math) ; Informative Category
1845 (bidi-category . "ON")
1847 (->decomposition #x22B4 #x0338)
1850 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
1852 (general-category symbol math) ; Informative Category
1853 (bidi-category . "ON")
1855 (->decomposition #x22B5 #x0338)
1858 '((name . "VERTICAL ELLIPSIS")
1860 (general-category symbol math) ; Informative Category
1861 (bidi-category . "ON")
1865 '((name . "MIDLINE HORIZONTAL ELLIPSIS")
1867 (general-category symbol math) ; Informative Category
1868 (bidi-category . "ON")
1872 '((name . "UP RIGHT DIAGONAL ELLIPSIS")
1874 (general-category symbol math) ; Informative Category
1875 (bidi-category . "ON")
1879 '((name . "DOWN RIGHT DIAGONAL ELLIPSIS")
1881 (general-category symbol math) ; Informative Category
1882 (bidi-category . "ON")