1 ;; -*- coding: utf-8-mcs -*-
4 (general-category symbol math) ; Informative Category
8 (=jis-x0208-1983 . #x224F) ;
10 (=jis-x0208-1990 . #x224F) ;
11 (=jef-china3 . #x7FDC) ;
14 '((name . "COMPLEMENT")
15 (general-category symbol math) ; Informative Category
16 (bidi-category . "ON")
21 '((name . "PARTIAL DIFFERENTIAL")
22 (general-category symbol math) ; Informative Category
23 (bidi-category . "ON")
26 (=jis-x0208-1983 . #x225F) ;
27 (=ks-x1001 . #x2153) ;
28 (=jis-x0208-1990 . #x225F) ;
29 (=jef-china3 . #x7FE1) ;
32 '((name . "THERE EXISTS")
33 (general-category symbol math) ; Informative Category
34 (bidi-category . "ON")
37 (=jis-x0208-1983 . #x2250) ;
38 (=ks-x1001 . #x2224) ;
39 (=jis-x0208-1990 . #x2250) ;
40 (=jef-china3 . #x7FDD) ;
43 '((name . "THERE DOES NOT EXIST")
44 (general-category symbol math) ; Informative Category
45 (bidi-category . "ON")
47 (->decomposition #x2203 #x0338)
51 '((name . "EMPTY SET")
52 (general-category symbol math) ; Informative Category
53 (bidi-category . "ON")
56 (=jis-x0213-1-2000 . #x2247) ;
59 '((name . "INCREMENT")
60 (general-category symbol math) ; Informative Category
61 (bidi-category . "ON")
67 (general-category symbol math) ; Informative Category
68 (bidi-category . "ON")
71 (=jis-x0208-1983 . #x2260) ;
72 (=ks-x1001 . #x2154) ;
73 (=jis-x0208-1990 . #x2260) ;
74 (=jef-china3 . #x7FE2) ;
77 '((name . "ELEMENT OF")
78 (general-category symbol math) ; Informative Category
79 (bidi-category . "ON")
83 (=jis-x0208-1983 . #x223A) ;
84 (=ks-x1001 . #x2174) ;
85 (=jis-x0208-1990 . #x223A) ;
86 (=jef-china3 . #x7FD0) ;
89 '((name . "NOT AN ELEMENT OF")
90 (general-category symbol math) ; Informative Category
91 (bidi-category . "ON")
93 (->decomposition #x2208 #x0338)
95 (=jis-x0213-1-2000 . #x2246) ;
98 '((name . "SMALL ELEMENT OF")
99 (general-category symbol math) ; Informative Category
100 (bidi-category . "ON")
105 '((name . "CONTAINS AS MEMBER")
106 (general-category symbol math) ; Informative Category
107 (bidi-category . "ON")
110 (=jis-x0208-1983 . #x223B) ;
111 (=ks-x1001 . #x2175) ;
112 (=jis-x0208-1990 . #x223B) ;
113 (=jef-china3 . #x7FD1) ;
116 '((name . "DOES NOT CONTAIN AS MEMBER")
117 (general-category symbol math) ; Informative Category
118 (bidi-category . "ON")
120 (->decomposition #x220B #x0338)
124 '((name . "SMALL CONTAINS AS MEMBER")
125 (general-category symbol math) ; Informative Category
126 (bidi-category . "ON")
131 '((name . "END OF PROOF")
132 (general-category symbol math) ; Informative Category
133 (bidi-category . "ON")
138 '((name . "N-ARY PRODUCT")
139 (general-category symbol math) ; Informative Category
140 (bidi-category . "ON")
144 (=ks-x1001 . #x2233) ;
147 '((name . "N-ARY COPRODUCT")
148 (general-category symbol math) ; Informative Category
149 (bidi-category . "ON")
154 '((name . "N-ARY SUMMATION")
155 (general-category symbol math) ; Informative Category
156 (bidi-category . "ON")
160 (=ks-x1001 . #x2232) ;
163 '((name . "MINUS SIGN")
164 (general-category symbol math) ; Informative Category
165 (bidi-category . "ET")
168 (=jis-x0208 . #x215D) ;
171 '((name . "MINUS-OR-PLUS SIGN")
172 (general-category symbol math) ; Informative Category
173 (bidi-category . "ET")
176 (=jis-x0213-1-2000 . #x235B) ;
179 '((name . "DOT PLUS")
180 (general-category symbol math) ; Informative Category
181 (bidi-category . "ON")
186 '((name . "DIVISION SLASH")
187 (general-category symbol math) ; Informative Category
188 (bidi-category . "ON")
191 (=cns11643-1 . #x2261) ;
195 '((name . "SET MINUS")
196 (general-category symbol math) ; Informative Category
197 (bidi-category . "ON")
202 '((name . "ASTERISK OPERATOR")
203 (general-category symbol math) ; Informative Category
204 (bidi-category . "ON")
209 '((name . "RING OPERATOR")
210 (general-category symbol math) ; Informative Category
211 (bidi-category . "ON")
216 '((name . "BULLET OPERATOR")
217 (general-category symbol math) ; Informative Category
218 (bidi-category . "ON")
223 '((name . "SQUARE ROOT")
224 (general-category symbol math) ; Informative Category
225 (bidi-category . "ON")
229 (=jis-x0208-1983 . #x2265) ;
230 (=ks-x1001 . #x216E) ;
231 (=jis-x0208-1990 . #x2265) ;
232 (=cns11643-1 . #x2235) ;
236 '((name . "CUBE ROOT")
237 (general-category symbol math) ; Informative Category
238 (bidi-category . "ON")
243 '((name . "FOURTH ROOT")
244 (general-category symbol math) ; Informative Category
245 (bidi-category . "ON")
250 '((name . "PROPORTIONAL TO")
251 (general-category symbol math) ; Informative Category
252 (bidi-category . "ON")
256 (=jis-x0208-1983 . #x2267) ;
257 (=ks-x1001 . #x2170) ;
258 (=jis-x0208-1990 . #x2267) ;
259 (=jef-china3 . #x7FE7) ;
262 '((name . "INFINITY")
263 (general-category symbol math) ; Informative Category
264 (bidi-category . "ON")
267 (=jis-x0208 . #x2167) ;
269 (=ks-x1001 . #x2144) ;
270 (=cns11643-1 . #x223C) ;
274 '((name . "RIGHT ANGLE")
275 (general-category symbol math) ; Informative Category
276 (bidi-category . "ON")
279 (=cns11643-1 . #x2249) ;
280 (=jis-x0213-1-2000 . #x2D78) ;
285 (general-category symbol math) ; Informative Category
286 (bidi-category . "ON")
290 (=jis-x0208-1983 . #x225C) ;
291 (=ks-x1001 . #x2150) ;
292 (=jis-x0208-1990 . #x225C) ;
293 (=cns11643-1 . #x2248) ;
295 (=jef-china3 . #x7FDE) ;
298 '((name . "MEASURED ANGLE")
299 (general-category symbol math) ; Informative Category
300 (bidi-category . "ON")
305 '((name . "SPHERICAL ANGLE")
306 (general-category symbol math) ; Informative Category
307 (bidi-category . "ON")
313 (general-category symbol math) ; Informative Category
314 (bidi-category . "ON")
320 '((name . "DOES NOT DIVIDE")
321 (general-category symbol math) ; Informative Category
322 (bidi-category . "ON")
324 (->decomposition #x2223 #x0338)
328 '((name . "PARALLEL TO")
329 (general-category symbol math) ; Informative Category
330 (bidi-category . "ON")
334 (=ks-x1001 . #x212B) ;
335 (=jis-x0213-1-2000 . #x2254) ;
339 '((name . "NOT PARALLEL TO")
340 (general-category symbol math) ; Informative Category
341 (bidi-category . "ON")
343 (->decomposition #x2225 #x0338)
345 (=jis-x0213-1-2000 . #x2255) ;
348 '((name . "LOGICAL AND")
349 (general-category symbol math) ; Informative Category
350 (bidi-category . "ON")
354 (=jis-x0208-1983 . #x224A) ;
355 (=ks-x1001 . #x217C) ;
356 (=jis-x0208-1990 . #x224A) ;
359 '((name . "LOGICAL OR")
360 (general-category symbol math) ; Informative Category
361 (bidi-category . "ON")
365 (=jis-x0208-1983 . #x224B) ;
366 (=ks-x1001 . #x217D) ;
367 (=jis-x0208-1990 . #x224B) ;
370 '((name . "INTERSECTION")
371 (general-category symbol math) ; Informative Category
372 (bidi-category . "ON")
376 (=jis-x0208-1983 . #x2241) ;
377 (=ks-x1001 . #x217B) ;
378 (=jis-x0208-1990 . #x2241) ;
379 (=cns11643-1 . #x2245) ;
384 (general-category symbol math) ; Informative Category
385 (bidi-category . "ON")
389 (=jis-x0208-1983 . #x2240) ;
390 (=ks-x1001 . #x217A) ;
391 (=jis-x0208-1990 . #x2240) ;
392 (=cns11643-1 . #x2246) ;
396 '((name . "INTEGRAL")
397 (general-category symbol math) ; Informative Category
398 (bidi-category . "ON")
402 (=jis-x0208-1983 . #x2269) ;
403 (=ks-x1001 . #x2172) ;
404 (=jis-x0208-1990 . #x2269) ;
405 (=cns11643-1 . #x224D) ;
407 (=jef-china3 . #x7FE8) ;
410 '((name . "DOUBLE INTEGRAL")
411 (general-category symbol math) ; Informative Category
412 (bidi-category . "ON")
414 (->decomposition compat #x222B #x222B)
416 (=jis-x0208-1983 . #x226A) ;
417 (=ks-x1001 . #x2173) ;
418 (=jis-x0208-1990 . #x226A) ;
419 (=jef-china3 . #x7FE9) ;
422 '((name . "TRIPLE INTEGRAL")
423 (general-category symbol math) ; Informative Category
424 (bidi-category . "ON")
426 (->decomposition compat #x222B #x222B #x222B)
430 '((name . "CONTOUR INTEGRAL")
431 (general-category symbol math) ; Informative Category
432 (bidi-category . "ON")
436 (=ks-x1001 . #x2231) ;
437 (=cns11643-1 . #x224E) ;
438 (=jis-x0213-1-2000 . #x2D73) ;
442 '((name . "SURFACE INTEGRAL")
443 (general-category symbol math) ; Informative Category
444 (bidi-category . "ON")
446 (->decomposition compat #x222E #x222E)
450 '((name . "VOLUME INTEGRAL")
451 (general-category symbol math) ; Informative Category
452 (bidi-category . "ON")
454 (->decomposition compat #x222E #x222E #x222E)
458 '((name . "CLOCKWISE INTEGRAL")
459 (general-category symbol math) ; Informative Category
460 (bidi-category . "ON")
465 '((name . "CLOCKWISE CONTOUR INTEGRAL")
466 (general-category symbol math) ; Informative Category
467 (bidi-category . "ON")
472 '((name . "ANTICLOCKWISE CONTOUR INTEGRAL")
473 (general-category symbol math) ; Informative Category
474 (bidi-category . "ON")
479 '((name . "THEREFORE")
480 (general-category symbol math) ; Informative Category
481 (bidi-category . "ON")
484 (=jis-x0208 . #x2168) ;
486 (=ks-x1001 . #x2145) ;
487 (=cns11643-1 . #x2250) ;
492 (general-category symbol math) ; Informative Category
493 (bidi-category . "ON")
497 (=jis-x0208-1983 . #x2268) ;
498 (=ks-x1001 . #x2171) ;
499 (=jis-x0208-1990 . #x2268) ;
500 (=cns11643-1 . #x224F) ;
505 (general-category symbol math) ; Informative Category
506 (bidi-category . "ON")
512 '((name . "PROPORTION")
513 (general-category symbol math) ; Informative Category
514 (bidi-category . "ON")
520 '((name . "DOT MINUS")
521 (general-category symbol math) ; Informative Category
522 (bidi-category . "ON")
528 (general-category symbol math) ; Informative Category
529 (bidi-category . "ON")
534 '((name . "GEOMETRIC PROPORTION")
535 (general-category symbol math) ; Informative Category
536 (bidi-category . "ON")
541 '((name . "HOMOTHETIC")
542 (general-category symbol math) ; Informative Category
543 (bidi-category . "ON")
548 '((name . "TILDE OPERATOR")
549 (general-category symbol math) ; Informative Category
550 (bidi-category . "ON")
553 (=ks-x1001 . #x212D) ;
554 (=cns11643-1 . #x2244) ;
556 (=ucs@big5 . #xFF5E) ; ∼
559 '((name . "REVERSED TILDE")
560 (general-category symbol math) ; Informative Category
561 (bidi-category . "ON")
563 (iso-10646-comment . "lazy S")
566 (=jis-x0208-1983 . #x2266) ;
567 (=ks-x1001 . #x216F) ;
568 (=jis-x0208-1990 . #x2266) ;
569 (=jef-china3 . #x7FE6) ;
572 '((name . "INVERTED LAZY S")
573 (general-category symbol math) ; Informative Category
574 (bidi-category . "ON")
579 '((name . "SINE WAVE")
580 (general-category symbol math) ; Informative Category
581 (bidi-category . "ON")
586 '((name . "WREATH PRODUCT")
587 (general-category symbol math) ; Informative Category
588 (bidi-category . "ON")
593 '((name . "NOT TILDE")
594 (general-category symbol math) ; Informative Category
595 (bidi-category . "ON")
597 (->decomposition #x223C #x0338)
601 '((name . "MINUS TILDE")
602 (general-category symbol math) ; Informative Category
603 (bidi-category . "ON")
608 '((name . "ASYMPTOTICALLY EQUAL TO")
609 (general-category symbol math) ; Informative Category
610 (bidi-category . "ON")
613 (=jis-x0213-1-2000 . #x226C) ;
616 '((name . "NOT ASYMPTOTICALLY EQUAL TO")
617 (general-category symbol math) ; Informative Category
618 (bidi-category . "ON")
620 (->decomposition #x2243 #x0338)
624 '((name . "APPROXIMATELY EQUAL TO")
625 (general-category symbol math) ; Informative Category
626 (bidi-category . "ON")
629 (=jis-x0213-1-2000 . #x226D) ;
632 '((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
633 (general-category symbol math) ; Informative Category
634 (bidi-category . "ON")
639 '((name . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
640 (general-category symbol math) ; Informative Category
641 (bidi-category . "ON")
643 (->decomposition #x2245 #x0338)
647 '((name . "ALMOST EQUAL TO")
648 (general-category symbol math) ; Informative Category
649 (bidi-category . "ON")
653 (=jis-x0213-1-2000 . #x226E) ;
656 '((name . "NOT ALMOST EQUAL TO")
657 (general-category symbol math) ; Informative Category
658 (bidi-category . "ON")
660 (->decomposition #x2248 #x0338)
664 '((name . "ALMOST EQUAL OR EQUAL TO")
665 (general-category symbol math) ; Informative Category
666 (bidi-category . "ON")
671 '((name . "TRIPLE TILDE")
672 (general-category symbol math) ; Informative Category
673 (bidi-category . "ON")
678 '((name . "ALL EQUAL TO")
679 (general-category symbol math) ; Informative Category
680 (bidi-category . "ON")
686 '((name . "EQUIVALENT TO")
687 (general-category symbol math) ; Informative Category
688 (bidi-category . "ON")
693 '((name . "GEOMETRICALLY EQUIVALENT TO")
694 (general-category symbol math) ; Informative Category
695 (bidi-category . "ON")
700 '((name . "DIFFERENCE BETWEEN")
701 (general-category symbol math) ; Informative Category
702 (bidi-category . "ON")
707 '((name . "APPROACHES THE LIMIT")
708 (general-category symbol math) ; Informative Category
709 (bidi-category . "ON")
714 '((name . "GEOMETRICALLY EQUAL TO")
715 (general-category symbol math) ; Informative Category
716 (bidi-category . "ON")
721 '((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
722 (general-category symbol math) ; Informative Category
723 (bidi-category . "ON")
726 (=jis-x0208-1983 . #x2262) ;
727 (=ks-x1001 . #x2156) ;
728 (=jis-x0208-1990 . #x2262) ;
729 (=cns11643-1 . #x223D) ;
733 '((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
734 (general-category symbol math) ; Informative Category
735 (bidi-category . "ON")
740 '((name . "COLON EQUALS")
741 (general-category symbol math) ; Informative Category
742 (bidi-category . "ON")
747 '((name . "EQUALS COLON")
748 (general-category symbol math) ; Informative Category
749 (bidi-category . "ON")
754 '((name . "RING IN EQUAL TO")
755 (general-category symbol math) ; Informative Category
756 (bidi-category . "ON")
761 '((name . "RING EQUAL TO")
762 (general-category symbol math) ; Informative Category
763 (bidi-category . "ON")
768 '((name . "CORRESPONDS TO")
769 (general-category symbol math) ; Informative Category
770 (bidi-category . "ON")
775 '((name . "ESTIMATES")
776 (general-category symbol math) ; Informative Category
777 (bidi-category . "ON")
782 '((name . "EQUIANGULAR TO")
783 (general-category symbol math) ; Informative Category
784 (bidi-category . "ON")
789 '((name . "STAR EQUALS")
790 (general-category symbol math) ; Informative Category
791 (bidi-category . "ON")
796 '((name . "DELTA EQUAL TO")
797 (general-category symbol math) ; Informative Category
798 (bidi-category . "ON")
803 '((name . "EQUAL TO BY DEFINITION")
804 (general-category symbol math) ; Informative Category
805 (bidi-category . "ON")
810 '((name . "MEASURED BY")
811 (general-category symbol math) ; Informative Category
812 (bidi-category . "ON")
817 '((name . "QUESTIONED EQUAL TO")
818 (general-category symbol math) ; Informative Category
819 (bidi-category . "ON")
824 '((name . "NOT EQUAL TO")
825 (general-category symbol math) ; Informative Category
826 (bidi-category . "ON")
828 (->decomposition #x003D #x0338)
830 (=jis-x0208 . #x2162) ;
832 (=ks-x1001 . #x2141) ;
833 (=cns11643-1 . #x223B) ;
837 '((name . "IDENTICAL TO")
838 (general-category symbol math) ; Informative Category
839 (bidi-category . "ON")
843 (=jis-x0208-1983 . #x2261) ;
844 (=ks-x1001 . #x2155) ;
845 (=jis-x0208-1990 . #x2261) ;
846 (=cns11643-1 . #x223E) ;
850 '((name . "NOT IDENTICAL TO")
851 (general-category symbol math) ; Informative Category
852 (bidi-category . "ON")
854 (->decomposition #x2261 #x0338)
856 (=jis-x0213-1-2000 . #x226B) ;
859 '((name . "STRICTLY EQUIVALENT TO")
860 (general-category symbol math) ; Informative Category
861 (bidi-category . "ON")
866 '((name . "LESS-THAN OR EQUAL TO")
867 (general-category symbol math) ; Informative Category
868 (bidi-category . "ON")
872 (=ks-x1001 . #x2142) ;
875 '((name . "GREATER-THAN OR EQUAL TO")
876 (general-category symbol math) ; Informative Category
877 (bidi-category . "ON")
881 (=ks-x1001 . #x2143) ;
884 '((name . "LESS-THAN OVER EQUAL TO")
885 (general-category symbol math) ; Informative Category
886 (bidi-category . "ON")
889 (=jis-x0208 . #x2165) ;
890 (=cns11643-1 . #x2239) ;
894 '((name . "GREATER-THAN OVER EQUAL TO")
895 (general-category symbol math) ; Informative Category
896 (bidi-category . "ON")
899 (=jis-x0208 . #x2166) ;
900 (=cns11643-1 . #x223A) ;
904 '((name . "LESS-THAN BUT NOT EQUAL TO")
905 (general-category symbol math) ; Informative Category
906 (bidi-category . "ON")
911 '((name . "GREATER-THAN BUT NOT EQUAL TO")
912 (general-category symbol math) ; Informative Category
913 (bidi-category . "ON")
918 '((name . "MUCH LESS-THAN")
919 (general-category symbol math) ; Informative Category
920 (bidi-category . "ON")
923 (=jis-x0208-1983 . #x2263) ;
924 (=ks-x1001 . #x216C) ;
925 (=jis-x0208-1990 . #x2263) ;
926 (=jef-china3 . #x7FE3) ;
929 '((name . "MUCH GREATER-THAN")
930 (general-category symbol math) ; Informative Category
931 (bidi-category . "ON")
934 (=jis-x0208-1983 . #x2264) ;
935 (=ks-x1001 . #x216D) ;
936 (=jis-x0208-1990 . #x2264) ;
937 (=jef-china3 . #x7FE4) ;
941 (general-category symbol math) ; Informative Category
942 (bidi-category . "ON")
947 '((name . "NOT EQUIVALENT TO")
948 (general-category symbol math) ; Informative Category
949 (bidi-category . "ON")
951 (->decomposition #x224D #x0338)
955 '((name . "NOT LESS-THAN")
956 (general-category symbol math) ; Informative Category
957 (bidi-category . "ON")
959 (->decomposition #x003C #x0338)
964 '((name . "NOT GREATER-THAN")
965 (general-category symbol math) ; Informative Category
966 (bidi-category . "ON")
968 (->decomposition #x003E #x0338)
973 '((name . "NEITHER LESS-THAN NOR EQUAL TO")
974 (general-category symbol math) ; Informative Category
975 (bidi-category . "ON")
977 (->decomposition #x2264 #x0338)
981 '((name . "NEITHER GREATER-THAN NOR EQUAL TO")
982 (general-category symbol math) ; Informative Category
983 (bidi-category . "ON")
985 (->decomposition #x2265 #x0338)
989 '((name . "LESS-THAN OR EQUIVALENT TO")
990 (general-category symbol math) ; Informative Category
991 (bidi-category . "ON")
996 '((name . "GREATER-THAN OR EQUIVALENT TO")
997 (general-category symbol math) ; Informative Category
998 (bidi-category . "ON")
1003 '((name . "NEITHER LESS-THAN NOR EQUIVALENT TO")
1004 (general-category symbol math) ; Informative Category
1005 (bidi-category . "ON")
1007 (->decomposition #x2272 #x0338)
1011 '((name . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
1012 (general-category symbol math) ; Informative Category
1013 (bidi-category . "ON")
1015 (->decomposition #x2273 #x0338)
1019 '((name . "LESS-THAN OR GREATER-THAN")
1020 (general-category symbol math) ; Informative Category
1021 (bidi-category . "ON")
1024 (=jis-x0213-1-2000 . #x226F) ;
1027 '((name . "GREATER-THAN OR LESS-THAN")
1028 (general-category symbol math) ; Informative Category
1029 (bidi-category . "ON")
1032 (=jis-x0213-1-2000 . #x2270) ;
1035 '((name . "NEITHER LESS-THAN NOR GREATER-THAN")
1036 (general-category symbol math) ; Informative Category
1037 (bidi-category . "ON")
1039 (->decomposition #x2276 #x0338)
1043 '((name . "NEITHER GREATER-THAN NOR LESS-THAN")
1044 (general-category symbol math) ; Informative Category
1045 (bidi-category . "ON")
1047 (->decomposition #x2277 #x0338)
1051 '((name . "PRECEDES")
1052 (general-category symbol math) ; Informative Category
1053 (bidi-category . "ON")
1058 '((name . "SUCCEEDS")
1059 (general-category symbol math) ; Informative Category
1060 (bidi-category . "ON")
1065 '((name . "PRECEDES OR EQUAL TO")
1066 (general-category symbol math) ; Informative Category
1067 (bidi-category . "ON")
1072 '((name . "SUCCEEDS OR EQUAL TO")
1073 (general-category symbol math) ; Informative Category
1074 (bidi-category . "ON")
1079 '((name . "PRECEDES OR EQUIVALENT TO")
1080 (general-category symbol math) ; Informative Category
1081 (bidi-category . "ON")
1086 '((name . "SUCCEEDS OR EQUIVALENT TO")
1087 (general-category symbol math) ; Informative Category
1088 (bidi-category . "ON")
1093 '((name . "DOES NOT PRECEDE")
1094 (general-category symbol math) ; Informative Category
1095 (bidi-category . "ON")
1097 (->decomposition #x227A #x0338)
1101 '((name . "DOES NOT SUCCEED")
1102 (general-category symbol math) ; Informative Category
1103 (bidi-category . "ON")
1105 (->decomposition #x227B #x0338)
1109 '((name . "SUBSET OF")
1110 (general-category symbol math) ; Informative Category
1111 (bidi-category . "ON")
1114 (=jis-x0208-1983 . #x223E) ;
1115 (=ks-x1001 . #x2178) ;
1116 (=jis-x0208-1990 . #x223E) ;
1117 (=jef-china3 . #x7FD4) ;
1120 '((name . "SUPERSET OF")
1121 (general-category symbol math) ; Informative Category
1122 (bidi-category . "ON")
1125 (=jis-x0208-1983 . #x223F) ;
1126 (=ks-x1001 . #x2179) ;
1127 (=jis-x0208-1990 . #x223F) ;
1128 (=jef-china3 . #x7FD5) ;
1131 '((name . "NOT A SUBSET OF")
1132 (general-category symbol math) ; Informative Category
1133 (bidi-category . "ON")
1135 (->decomposition #x2282 #x0338)
1137 (=jis-x0213-1-2000 . #x2242) ;
1140 '((name . "NOT A SUPERSET OF")
1141 (general-category symbol math) ; Informative Category
1142 (bidi-category . "ON")
1144 (->decomposition #x2283 #x0338)
1146 (=jis-x0213-1-2000 . #x2243) ;
1149 '((name . "SUBSET OF OR EQUAL TO")
1150 (general-category symbol math) ; Informative Category
1151 (bidi-category . "ON")
1154 (=jis-x0208-1983 . #x223C) ;
1155 (=ks-x1001 . #x2176) ;
1156 (=jis-x0208-1990 . #x223C) ;
1157 (=jef-china3 . #x7FD2) ;
1160 '((name . "SUPERSET OF OR EQUAL TO")
1161 (general-category symbol math) ; Informative Category
1162 (bidi-category . "ON")
1165 (=jis-x0208-1983 . #x223D) ;
1166 (=ks-x1001 . #x2177) ;
1167 (=jis-x0208-1990 . #x223D) ;
1168 (=jef-china3 . #x7FD3) ;
1171 '((name . "NEITHER A SUBSET OF NOR EQUAL TO")
1172 (general-category symbol math) ; Informative Category
1173 (bidi-category . "ON")
1175 (->decomposition #x2286 #x0338)
1179 '((name . "NEITHER A SUPERSET OF NOR EQUAL TO")
1180 (general-category symbol math) ; Informative Category
1181 (bidi-category . "ON")
1183 (->decomposition #x2287 #x0338)
1187 '((name . "SUBSET OF WITH NOT EQUAL TO")
1188 (general-category symbol math) ; Informative Category
1189 (bidi-category . "ON")
1192 (=jis-x0213-1-2000 . #x2244) ;
1195 '((name . "SUPERSET OF WITH NOT EQUAL TO")
1196 (general-category symbol math) ; Informative Category
1197 (bidi-category . "ON")
1200 (=jis-x0213-1-2000 . #x2245) ;
1203 '((name . "MULTISET")
1204 (general-category symbol math) ; Informative Category
1205 (bidi-category . "ON")
1210 '((name . "MULTISET MULTIPLICATION")
1211 (general-category symbol math) ; Informative Category
1212 (bidi-category . "ON")
1217 '((name . "MULTISET UNION")
1218 (general-category symbol math) ; Informative Category
1219 (bidi-category . "ON")
1224 '((name . "SQUARE IMAGE OF")
1225 (general-category symbol math) ; Informative Category
1226 (bidi-category . "ON")
1231 '((name . "SQUARE ORIGINAL OF")
1232 (general-category symbol math) ; Informative Category
1233 (bidi-category . "ON")
1238 '((name . "SQUARE IMAGE OF OR EQUAL TO")
1239 (general-category symbol math) ; Informative Category
1240 (bidi-category . "ON")
1245 '((name . "SQUARE ORIGINAL OF OR EQUAL TO")
1246 (general-category symbol math) ; Informative Category
1247 (bidi-category . "ON")
1252 '((name . "SQUARE CAP")
1253 (general-category symbol math) ; Informative Category
1254 (bidi-category . "ON")
1259 '((name . "SQUARE CUP")
1260 (general-category symbol math) ; Informative Category
1261 (bidi-category . "ON")
1266 '((name . "CIRCLED PLUS")
1267 (general-category symbol math) ; Informative Category
1268 (bidi-category . "ON")
1271 (=cns11643-1 . #x2253) ;
1272 (=jis-x0213-1-2000 . #x2251) ;
1276 '((name . "CIRCLED MINUS")
1277 (general-category symbol math) ; Informative Category
1278 (bidi-category . "ON")
1281 (=jis-x0213-1-2000 . #x2252) ;
1284 '((name . "CIRCLED TIMES")
1285 (general-category symbol math) ; Informative Category
1286 (bidi-category . "ON")
1289 (=jis-x0213-1-2000 . #x2253) ;
1292 '((name . "CIRCLED DIVISION SLASH")
1293 (general-category symbol math) ; Informative Category
1294 (bidi-category . "ON")
1299 '((name . "CIRCLED DOT OPERATOR")
1300 (general-category symbol math) ; Informative Category
1301 (bidi-category . "ON")
1304 (=gb2312 . #x2151) ;
1305 (=ks-x1001 . #x2241) ;
1306 (=cns11643-1 . #x2254) ;
1310 '((name . "CIRCLED RING OPERATOR")
1311 (general-category symbol math) ; Informative Category
1312 (bidi-category . "ON")
1317 '((name . "CIRCLED ASTERISK OPERATOR")
1318 (general-category symbol math) ; Informative Category
1319 (bidi-category . "ON")
1324 '((name . "CIRCLED EQUALS")
1325 (general-category symbol math) ; Informative Category
1326 (bidi-category . "ON")
1331 '((name . "CIRCLED DASH")
1332 (general-category symbol math) ; Informative Category
1333 (bidi-category . "ON")
1338 '((name . "SQUARED PLUS")
1339 (general-category symbol math) ; Informative Category
1340 (bidi-category . "ON")
1345 '((name . "SQUARED MINUS")
1346 (general-category symbol math) ; Informative Category
1347 (bidi-category . "ON")
1352 '((name . "SQUARED TIMES")
1353 (general-category symbol math) ; Informative Category
1354 (bidi-category . "ON")
1359 '((name . "SQUARED DOT OPERATOR")
1360 (general-category symbol math) ; Informative Category
1361 (bidi-category . "ON")
1366 '((name . "RIGHT TACK")
1367 (general-category symbol math) ; Informative Category
1368 (bidi-category . "ON")
1373 '((name . "LEFT TACK")
1374 (general-category symbol math) ; Informative Category
1375 (bidi-category . "ON")
1380 '((name . "DOWN TACK")
1381 (general-category symbol math) ; Informative Category
1382 (bidi-category . "ON")
1387 '((name . "UP TACK")
1388 (general-category symbol math) ; Informative Category
1389 (bidi-category . "ON")
1392 (=gb2312 . #x214D) ;
1393 (=jis-x0208-1983 . #x225D) ;
1394 (=ks-x1001 . #x2151) ;
1395 (=jis-x0208-1990 . #x225D) ;
1396 (=cns11643-1 . #x2247) ;
1400 '((name . "ASSERTION")
1401 (general-category symbol math) ; Informative Category
1402 (bidi-category . "ON")
1408 (general-category symbol math) ; Informative Category
1409 (bidi-category . "ON")
1415 (general-category symbol math) ; Informative Category
1416 (bidi-category . "ON")
1422 (general-category symbol math) ; Informative Category
1423 (bidi-category . "ON")
1428 '((name . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
1429 (general-category symbol math) ; Informative Category
1430 (bidi-category . "ON")
1435 '((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1436 (general-category symbol math) ; Informative Category
1437 (bidi-category . "ON")
1442 '((name . "DOES NOT PROVE")
1443 (general-category symbol math) ; Informative Category
1444 (bidi-category . "ON")
1446 (->decomposition #x22A2 #x0338)
1450 '((name . "NOT TRUE")
1451 (general-category symbol math) ; Informative Category
1452 (bidi-category . "ON")
1454 (->decomposition #x22A8 #x0338)
1458 '((name . "DOES NOT FORCE")
1459 (general-category symbol math) ; Informative Category
1460 (bidi-category . "ON")
1462 (->decomposition #x22A9 #x0338)
1466 '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1467 (general-category symbol math) ; Informative Category
1468 (bidi-category . "ON")
1470 (->decomposition #x22AB #x0338)
1474 '((name . "PRECEDES UNDER RELATION")
1475 (general-category symbol math) ; Informative Category
1476 (bidi-category . "ON")
1481 '((name . "SUCCEEDS UNDER RELATION")
1482 (general-category symbol math) ; Informative Category
1483 (bidi-category . "ON")
1488 '((name . "NORMAL SUBGROUP OF")
1489 (general-category symbol math) ; Informative Category
1490 (bidi-category . "ON")
1495 '((name . "CONTAINS AS NORMAL SUBGROUP")
1496 (general-category symbol math) ; Informative Category
1497 (bidi-category . "ON")
1502 '((name . "NORMAL SUBGROUP OF OR EQUAL TO")
1503 (general-category symbol math) ; Informative Category
1504 (bidi-category . "ON")
1509 '((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
1510 (general-category symbol math) ; Informative Category
1511 (bidi-category . "ON")
1516 '((name . "ORIGINAL OF")
1517 (general-category symbol math) ; Informative Category
1518 (bidi-category . "ON")
1523 '((name . "IMAGE OF")
1524 (general-category symbol math) ; Informative Category
1525 (bidi-category . "ON")
1530 '((name . "MULTIMAP")
1531 (general-category symbol math) ; Informative Category
1532 (bidi-category . "ON")
1537 '((name . "HERMITIAN CONJUGATE MATRIX")
1538 (general-category symbol math) ; Informative Category
1539 (bidi-category . "ON")
1544 '((name . "INTERCALATE")
1545 (general-category symbol math) ; Informative Category
1546 (bidi-category . "ON")
1552 (general-category symbol math) ; Informative Category
1553 (bidi-category . "ON")
1559 (general-category symbol math) ; Informative Category
1560 (bidi-category . "ON")
1566 (general-category symbol math) ; Informative Category
1567 (bidi-category . "ON")
1572 '((name . "RIGHT ANGLE WITH ARC")
1573 (general-category symbol math) ; Informative Category
1574 (bidi-category . "ON")
1579 '((name . "RIGHT TRIANGLE")
1580 (general-category symbol math) ; Informative Category
1581 (bidi-category . "ON")
1584 (=cns11643-1 . #x224A) ;
1585 (=jis-x0213-1-2000 . #x2D79) ;
1589 '((name . "N-ARY LOGICAL AND")
1590 (general-category symbol math) ; Informative Category
1591 (bidi-category . "ON")
1594 (=jef-china3 . #x7FD8) ;
1597 '((name . "N-ARY LOGICAL OR")
1598 (general-category symbol math) ; Informative Category
1599 (bidi-category . "ON")
1602 (=jef-china3 . #x7FD9) ;
1605 '((name . "N-ARY INTERSECTION")
1606 (general-category symbol math) ; Informative Category
1607 (bidi-category . "ON")
1610 (=jef-china3 . #x7FD7) ;
1613 '((name . "N-ARY UNION")
1614 (general-category symbol math) ; Informative Category
1615 (bidi-category . "ON")
1618 (=jef-china3 . #x7FD6) ;
1621 '((name . "DIAMOND OPERATOR")
1622 (general-category symbol math) ; Informative Category
1623 (bidi-category . "ON")
1628 '((name . "DOT OPERATOR")
1629 (general-category symbol math) ; Informative Category
1630 (bidi-category . "ON")
1635 '((name . "STAR OPERATOR")
1636 (general-category symbol math) ; Informative Category
1637 (bidi-category . "ON")
1642 '((name . "DIVISION TIMES")
1643 (general-category symbol math) ; Informative Category
1644 (bidi-category . "ON")
1650 (general-category symbol math) ; Informative Category
1651 (bidi-category . "ON")
1656 '((name . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
1657 (general-category symbol math) ; Informative Category
1658 (bidi-category . "ON")
1663 '((name . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
1664 (general-category symbol math) ; Informative Category
1665 (bidi-category . "ON")
1670 '((name . "LEFT SEMIDIRECT PRODUCT")
1671 (general-category symbol math) ; Informative Category
1672 (bidi-category . "ON")
1677 '((name . "RIGHT SEMIDIRECT PRODUCT")
1678 (general-category symbol math) ; Informative Category
1679 (bidi-category . "ON")
1684 '((name . "REVERSED TILDE EQUALS")
1685 (general-category symbol math) ; Informative Category
1686 (bidi-category . "ON")
1691 '((name . "CURLY LOGICAL OR")
1692 (general-category symbol math) ; Informative Category
1693 (bidi-category . "ON")
1698 '((name . "CURLY LOGICAL AND")
1699 (general-category symbol math) ; Informative Category
1700 (bidi-category . "ON")
1705 '((name . "DOUBLE SUBSET")
1706 (general-category symbol math) ; Informative Category
1707 (bidi-category . "ON")
1712 '((name . "DOUBLE SUPERSET")
1713 (general-category symbol math) ; Informative Category
1714 (bidi-category . "ON")
1719 '((name . "DOUBLE INTERSECTION")
1720 (general-category symbol math) ; Informative Category
1721 (bidi-category . "ON")
1726 '((name . "DOUBLE UNION")
1727 (general-category symbol math) ; Informative Category
1728 (bidi-category . "ON")
1733 '((name . "PITCHFORK")
1734 (general-category symbol math) ; Informative Category
1735 (bidi-category . "ON")
1740 '((name . "EQUAL AND PARALLEL TO")
1741 (general-category symbol math) ; Informative Category
1742 (bidi-category . "ON")
1747 '((name . "LESS-THAN WITH DOT")
1748 (general-category symbol math) ; Informative Category
1749 (bidi-category . "ON")
1754 '((name . "GREATER-THAN WITH DOT")
1755 (general-category symbol math) ; Informative Category
1756 (bidi-category . "ON")
1761 '((name . "VERY MUCH LESS-THAN")
1762 (general-category symbol math) ; Informative Category
1763 (bidi-category . "ON")
1768 '((name . "VERY MUCH GREATER-THAN")
1769 (general-category symbol math) ; Informative Category
1770 (bidi-category . "ON")
1775 '((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
1776 (general-category symbol math) ; Informative Category
1777 (bidi-category . "ON")
1780 (=jis-x0213-1-2000 . #x2776) ;
1783 '((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
1784 (general-category symbol math) ; Informative Category
1785 (bidi-category . "ON")
1788 (=jis-x0213-1-2000 . #x2777) ;
1791 '((name . "EQUAL TO OR LESS-THAN")
1792 (general-category symbol math) ; Informative Category
1793 (bidi-category . "ON")
1798 '((name . "EQUAL TO OR GREATER-THAN")
1799 (general-category symbol math) ; Informative Category
1800 (bidi-category . "ON")
1805 '((name . "EQUAL TO OR PRECEDES")
1806 (general-category symbol math) ; Informative Category
1807 (bidi-category . "ON")
1812 '((name . "EQUAL TO OR SUCCEEDS")
1813 (general-category symbol math) ; Informative Category
1814 (bidi-category . "ON")
1819 '((name . "DOES NOT PRECEDE OR EQUAL")
1820 (general-category symbol math) ; Informative Category
1821 (bidi-category . "ON")
1823 (->decomposition #x227C #x0338)
1827 '((name . "DOES NOT SUCCEED OR EQUAL")
1828 (general-category symbol math) ; Informative Category
1829 (bidi-category . "ON")
1831 (->decomposition #x227D #x0338)
1835 '((name . "NOT SQUARE IMAGE OF OR EQUAL TO")
1836 (general-category symbol math) ; Informative Category
1837 (bidi-category . "ON")
1839 (->decomposition #x2291 #x0338)
1843 '((name . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
1844 (general-category symbol math) ; Informative Category
1845 (bidi-category . "ON")
1847 (->decomposition #x2292 #x0338)
1851 '((name . "SQUARE IMAGE OF OR NOT EQUAL TO")
1852 (general-category symbol math) ; Informative Category
1853 (bidi-category . "ON")
1858 '((name . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
1859 (general-category symbol math) ; Informative Category
1860 (bidi-category . "ON")
1865 '((name . "LESS-THAN BUT NOT EQUIVALENT TO")
1866 (general-category symbol math) ; Informative Category
1867 (bidi-category . "ON")
1872 '((name . "GREATER-THAN BUT NOT EQUIVALENT TO")
1873 (general-category symbol math) ; Informative Category
1874 (bidi-category . "ON")
1879 '((name . "PRECEDES BUT NOT EQUIVALENT TO")
1880 (general-category symbol math) ; Informative Category
1881 (bidi-category . "ON")
1886 '((name . "SUCCEEDS BUT NOT EQUIVALENT TO")
1887 (general-category symbol math) ; Informative Category
1888 (bidi-category . "ON")
1893 '((name . "NOT NORMAL SUBGROUP OF")
1894 (general-category symbol math) ; Informative Category
1895 (bidi-category . "ON")
1897 (->decomposition #x22B2 #x0338)
1901 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
1902 (general-category symbol math) ; Informative Category
1903 (bidi-category . "ON")
1905 (->decomposition #x22B3 #x0338)
1909 '((name . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
1910 (general-category symbol math) ; Informative Category
1911 (bidi-category . "ON")
1913 (->decomposition #x22B4 #x0338)
1917 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
1918 (general-category symbol math) ; Informative Category
1919 (bidi-category . "ON")
1921 (->decomposition #x22B5 #x0338)
1925 '((name . "VERTICAL ELLIPSIS")
1926 (general-category symbol math) ; Informative Category
1927 (bidi-category . "ON")
1932 '((name . "MIDLINE HORIZONTAL ELLIPSIS")
1933 (general-category symbol math) ; Informative Category
1934 (bidi-category . "ON")
1939 '((name . "UP RIGHT DIAGONAL ELLIPSIS")
1940 (general-category symbol math) ; Informative Category
1941 (bidi-category . "ON")
1946 '((name . "DOWN RIGHT DIAGONAL ELLIPSIS")
1947 (general-category symbol math) ; Informative Category
1948 (bidi-category . "ON")