1 ;; -*- coding: utf-8-mcs-er -*-
4 (general-category symbol math) ; Informative Category
14 (=jis-x0208@1983 . #x224F) ; &J90-224F; [02-47]
15 (=ks-x1001 . #x2223) ; &I-K0-2223; [02-03]
16 (=jis-x0208@1990 . #x224F) ; &I-J90-224F; [02-47]
17 (=jef-china3 . #x7FDC) ; &I-JC3-7FDC;
18 (=ucs@jis . #x2200) ; &J90-224F;
19 (=ucs@ks . #x2200) ; &J90-224F;
26 '((name . "COMPLEMENT")
27 (general-category symbol math) ; Informative Category
28 (bidi-category . "ON")
33 '((name . "PARTIAL DIFFERENTIAL")
34 (general-category symbol math) ; Informative Category
35 (bidi-category . "ON")
41 ((name . "PARTIAL DIFFERENTIAL")
44 (=jis-x0208@1983 . #x225F) ; &J90-225F; [02-63]
45 (=ks-x1001 . #x2153) ; &I-K0-2153; [01-51]
46 (=jis-x0208@1990 . #x225F) ; &I-J90-225F; [02-63]
47 (=jef-china3 . #x7FE1) ; &I-JC3-7FE1;
48 (=ucs@jis . #x2202) ; &J90-225F;
49 (=ucs@ks . #x2202) ; &J90-225F;
51 ((name . "PARTIAL DIFFERENTIAL")
56 '((name . "THERE EXISTS")
57 (general-category symbol math) ; Informative Category
58 (bidi-category . "ON")
64 ((name . "THERE EXISTS")
67 (=jis-x0208@1983 . #x2250) ; &J90-2250; [02-48]
68 (=ks-x1001 . #x2224) ; &I-K0-2224; [02-04]
69 (=jis-x0208@1990 . #x2250) ; &I-J90-2250; [02-48]
70 (=jef-china3 . #x7FDD) ; &I-JC3-7FDD;
71 (=ucs@jis . #x2203) ; &J90-2250;
72 (=ucs@ks . #x2203) ; &J90-2250;
74 ((name . "THERE EXISTS")
79 '((name . "THERE DOES NOT EXIST")
80 (general-category symbol math) ; Informative Category
81 (bidi-category . "ON")
84 ((name . "THERE EXISTS")
87 ((name . "COMBINING LONG SOLIDUS OVERLAY")
93 '((name . "EMPTY SET")
94 (general-category symbol math) ; Informative Category
95 (bidi-category . "ON")
101 ((name . "EMPTY SET")
104 (=jis-x0213-1-2000 . #x2247) ; &JX1-2247; [02-39]
105 (=ucs@jis . #x2205) ; &JX1-2247;
107 ((name . "EMPTY SET")
112 '((name . "INCREMENT")
113 (general-category symbol math) ; Informative Category
114 (bidi-category . "ON")
120 (general-category symbol math) ; Informative Category
121 (bidi-category . "ON")
130 (=jis-x0208@1983 . #x2260) ; &J90-2260; [02-64]
131 (=ks-x1001 . #x2154) ; &I-K0-2154; [01-52]
132 (=jis-x0208@1990 . #x2260) ; &I-J90-2260; [02-64]
133 (=jef-china3 . #x7FE2) ; &I-JC3-7FE2;
134 (=ucs@jis . #x2207) ; &J90-2260;
135 (=ucs@ks . #x2207) ; &J90-2260;
142 '((name . "ELEMENT OF")
143 (general-category symbol math) ; Informative Category
144 (bidi-category . "ON")
150 ((name . "ELEMENT OF")
153 (=gb2312 . #x214A) ; &J90-223A; [01-42]
154 (=jis-x0208@1983 . #x223A) ; &I-J83-223A; [02-26]
155 (=ks-x1001 . #x2174) ; &I-K0-2174; [01-84]
156 (=jis-x0208@1990 . #x223A) ; &I-J90-223A; [02-26]
157 (=jef-china3 . #x7FD0) ; &I-JC3-7FD0;
158 (=ucs@gb . #x2208) ; &J90-223A;
159 (=ucs@jis . #x2208) ; &J90-223A;
160 (=ucs@ks . #x2208) ; &J90-223A;
162 ((name . "ELEMENT OF")
167 '((name . "NOT AN ELEMENT OF")
168 (general-category symbol math) ; Informative Category
169 (bidi-category . "ON")
172 ((name . "ELEMENT OF")
175 ((name . "COMBINING LONG SOLIDUS OVERLAY")
182 ((name . "NOT AN ELEMENT OF")
185 (=jis-x0213-1-2000 . #x2246) ; &JX1-2246; [02-38]
186 (=ucs@jis . #x2209) ; &JX1-2246;
188 ((name . "NOT AN ELEMENT OF")
193 '((name . "SMALL ELEMENT OF")
194 (general-category symbol math) ; Informative Category
195 (bidi-category . "ON")
200 '((name . "CONTAINS AS MEMBER")
201 (general-category symbol math) ; Informative Category
202 (bidi-category . "ON")
208 ((name . "CONTAINS AS MEMBER")
211 (=jis-x0208@1983 . #x223B) ; &J90-223B; [02-27]
212 (=ks-x1001 . #x2175) ; &I-K0-2175; [01-85]
213 (=jis-x0208@1990 . #x223B) ; &I-J90-223B; [02-27]
214 (=jef-china3 . #x7FD1) ; &I-JC3-7FD1;
215 (=ucs@jis . #x220B) ; &J90-223B;
216 (=ucs@ks . #x220B) ; &J90-223B;
218 ((name . "CONTAINS AS MEMBER")
223 '((name . "DOES NOT CONTAIN AS MEMBER")
224 (general-category symbol math) ; Informative Category
225 (bidi-category . "ON")
228 ((name . "CONTAINS AS MEMBER")
231 ((name . "COMBINING LONG SOLIDUS OVERLAY")
237 '((name . "SMALL CONTAINS AS MEMBER")
238 (general-category symbol math) ; Informative Category
239 (bidi-category . "ON")
244 '((name . "END OF PROOF")
245 (general-category symbol math) ; Informative Category
246 (bidi-category . "ON")
251 '((name . "N-ARY PRODUCT")
252 (general-category symbol math) ; Informative Category
253 (bidi-category . "ON")
259 ((name . "N-ARY PRODUCT")
262 (=gb2312 . #x2147) ; &K0-2233; [01-39]
263 (=ks-x1001 . #x2233) ; &I-K0-2233; [02-19]
264 (=ucs@gb . #x220F) ; &K0-2233;
265 (=ucs@ks . #x220F) ; &K0-2233;
267 ((name . "N-ARY PRODUCT")
272 '((name . "N-ARY COPRODUCT")
273 (general-category symbol math) ; Informative Category
274 (bidi-category . "ON")
279 '((name . "N-ARY SUMMATION")
280 (general-category symbol math) ; Informative Category
281 (bidi-category . "ON")
287 ((name . "N-ARY SUMMATION")
290 (=gb2312 . #x2146) ; &K0-2232; [01-38]
291 (=ks-x1001 . #x2232) ; &I-K0-2232; [02-18]
292 (=ucs@gb . #x2211) ; &K0-2232;
293 (=ucs@ks . #x2211) ; &K0-2232;
295 ((name . "N-ARY SUMMATION")
300 '((name . "MINUS SIGN")
301 (general-category symbol math) ; Informative Category
302 (bidi-category . "ET")
308 ((name . "MINUS SIGN")
311 (=jis-x0208 . #x215D) ; &J90-215D; [01-61]
312 (=ucs@jis . #x2212) ; &J90-215D;
314 ((name . "MINUS SIGN")
319 '((name . "MINUS-OR-PLUS SIGN")
320 (general-category symbol math) ; Informative Category
321 (bidi-category . "ET")
327 ((name . "MINUS-OR-PLUS SIGN")
330 (=jis-x0213-1-2000 . #x235B) ; &JX1-235B; [03-59]
331 (=ucs@jis . #x2213) ; &JX1-235B;
333 ((name . "MINUS-OR-PLUS SIGN")
338 '((name . "DOT PLUS")
339 (general-category symbol math) ; Informative Category
340 (bidi-category . "ON")
345 '((name . "DIVISION SLASH")
346 (general-category symbol math) ; Informative Category
347 (bidi-category . "ON")
353 ((name . "DIVISION SLASH")
356 (=cns11643-1 . #x2261) ; &C1-2261; [02-65]
357 (=big5 . #xA241) ; &I-B-A241;
358 (=ucs@cns . #x2215) ; &C1-2261;
359 (=ucs@big5 . #x2215) ; &C1-2261;
361 ((name . "DIVISION SLASH")
366 '((name . "SET MINUS")
367 (general-category symbol math) ; Informative Category
368 (bidi-category . "ON")
373 '((name . "ASTERISK OPERATOR")
374 (general-category symbol math) ; Informative Category
375 (bidi-category . "ON")
380 '((name . "RING OPERATOR")
381 (general-category symbol math) ; Informative Category
382 (bidi-category . "ON")
387 '((name . "BULLET OPERATOR")
388 (general-category symbol math) ; Informative Category
389 (bidi-category . "ON")
394 '((name . "SQUARE ROOT")
395 (general-category symbol math) ; Informative Category
396 (bidi-category . "ON")
402 ((name . "SQUARE ROOT")
405 (=gb2312 . #x214C) ; &J90-2265; [01-44]
406 (=jis-x0208@1983 . #x2265) ; &I-J83-2265; [02-69]
407 (=ks-x1001 . #x216E) ; &I-K0-216E; [01-78]
408 (=jis-x0208@1990 . #x2265) ; &I-J90-2265; [02-69]
409 (=cns11643-1 . #x2235) ; &I-C1-2235; [02-21]
410 (=big5 . #xA1D4) ; &I-B-A1D4;
411 (=ucs@gb . #x221A) ; &J90-2265;
412 (=ucs@cns . #x221A) ; &J90-2265;
413 (=ucs@jis . #x221A) ; &J90-2265;
414 (=ucs@ks . #x221A) ; &J90-2265;
415 (=ucs@big5 . #x221A) ; &J90-2265;
417 ((name . "SQUARE ROOT")
422 '((name . "CUBE ROOT")
423 (general-category symbol math) ; Informative Category
424 (bidi-category . "ON")
429 '((name . "FOURTH ROOT")
430 (general-category symbol math) ; Informative Category
431 (bidi-category . "ON")
436 '((name . "PROPORTIONAL TO")
437 (general-category symbol math) ; Informative Category
438 (bidi-category . "ON")
444 ((name . "PROPORTIONAL TO")
447 (=gb2312 . #x2158) ; &J90-2267; [01-56]
448 (=jis-x0208@1983 . #x2267) ; &I-J83-2267; [02-71]
449 (=ks-x1001 . #x2170) ; &I-K0-2170; [01-80]
450 (=jis-x0208@1990 . #x2267) ; &I-J90-2267; [02-71]
451 (=jef-china3 . #x7FE7) ; &I-JC3-7FE7;
452 (=ucs@gb . #x221D) ; &J90-2267;
453 (=ucs@jis . #x221D) ; &J90-2267;
454 (=ucs@ks . #x221D) ; &J90-2267;
456 ((name . "PROPORTIONAL TO")
461 '((name . "INFINITY")
462 (general-category symbol math) ; Informative Category
463 (bidi-category . "ON")
472 (=jis-x0208 . #x2167) ; &J90-2167; [01-71]
473 (=gb2312 . #x215E) ; &I-G0-215E; [01-62]
474 (=ks-x1001 . #x2144) ; &I-K0-2144; [01-36]
475 (=cns11643-1 . #x223C) ; &I-C1-223C; [02-28]
476 (=big5 . #xA1DB) ; &I-B-A1DB;
477 (=ucs@gb . #x221E) ; &J90-2167;
478 (=ucs@cns . #x221E) ; &J90-2167;
479 (=ucs@jis . #x221E) ; &J90-2167;
480 (=ucs@ks . #x221E) ; &J90-2167;
481 (=ucs@big5 . #x221E) ; &J90-2167;
488 '((name . "RIGHT ANGLE")
489 (general-category symbol math) ; Informative Category
490 (bidi-category . "ON")
496 ((name . "RIGHT ANGLE")
499 (=cns11643-1 . #x2249) ; &JX1-2D78; [02-41]
500 (=jis-x0213-1-2000 . #x2D78) ; &I-JX1-2D78; [13-88]
501 (=big5 . #xA1E8) ; &I-B-A1E8;
502 (=ucs@cns . #x221F) ; &JX1-2D78;
503 (=ucs@jis . #x221F) ; &JX1-2D78;
504 (=ucs@big5 . #x221F) ; &JX1-2D78;
506 ((name . "RIGHT ANGLE")
512 (general-category symbol math) ; Informative Category
513 (bidi-category . "ON")
522 (=gb2312 . #x214F) ; &J90-225C; [01-47]
523 (=jis-x0208@1983 . #x225C) ; &I-J83-225C; [02-60]
524 (=ks-x1001 . #x2150) ; &I-K0-2150; [01-48]
525 (=jis-x0208@1990 . #x225C) ; &I-J90-225C; [02-60]
526 (=cns11643-1 . #x2248) ; &I-C1-2248; [02-40]
527 (=big5 . #xA1E7) ; &I-B-A1E7;
528 (=jef-china3 . #x7FDE) ; &I-JC3-7FDE;
529 (=ucs@gb . #x2220) ; &J90-225C;
530 (=ucs@cns . #x2220) ; &J90-225C;
531 (=ucs@jis . #x2220) ; &J90-225C;
532 (=ucs@ks . #x2220) ; &J90-225C;
533 (=ucs@big5 . #x2220) ; &J90-225C;
540 '((name . "MEASURED ANGLE")
541 (general-category symbol math) ; Informative Category
542 (bidi-category . "ON")
547 '((name . "SPHERICAL ANGLE")
548 (general-category symbol math) ; Informative Category
549 (bidi-category . "ON")
555 (general-category symbol math) ; Informative Category
556 (bidi-category . "ON")
565 (=big5 . #xA1FD) ; &B-A1FD;
566 (=ucs@big5 . #x2223) ; &B-A1FD;
573 '((name . "DOES NOT DIVIDE")
574 (general-category symbol math) ; Informative Category
575 (bidi-category . "ON")
581 ((name . "COMBINING LONG SOLIDUS OVERLAY")
587 '((name . "PARALLEL TO")
588 (general-category symbol math) ; Informative Category
589 (bidi-category . "ON")
595 ((name . "PARALLEL TO")
598 (=gb2312 . #x214E) ; &JX1-2254; [01-46]
599 (=ks-x1001 . #x212B) ; &I-K0-212B; [01-11]
600 (=jis-x0213-1-2000 . #x2254) ; &I-JX1-2254; [02-52]
601 (=big5 . #xA1FC) ; &I-B-A1FC;
602 (=ucs@gb . #x2225) ; &JX1-2254;
603 (=ucs@jis . #x2225) ; &JX1-2254;
604 (=ucs@ks . #x2225) ; &JX1-2254;
605 (=ucs@big5 . #x2225) ; &JX1-2254;
607 ((name . "PARALLEL TO")
612 '((name . "NOT PARALLEL TO")
613 (general-category symbol math) ; Informative Category
614 (bidi-category . "ON")
617 ((name . "PARALLEL TO")
620 ((name . "COMBINING LONG SOLIDUS OVERLAY")
627 ((name . "NOT PARALLEL TO")
630 (=jis-x0213-1-2000 . #x2255) ; &JX1-2255; [02-53]
631 (=ucs@jis . #x2226) ; &JX1-2255;
633 ((name . "NOT PARALLEL TO")
638 '((name . "LOGICAL AND")
639 (general-category symbol math) ; Informative Category
640 (bidi-category . "ON")
646 ((name . "LOGICAL AND")
649 (=gb2312 . #x2144) ; &J90-224A; [01-36]
650 (=jis-x0208@1983 . #x224A) ; &I-J83-224A; [02-42]
651 (=ks-x1001 . #x217C) ; &I-K0-217C; [01-92]
652 (=jis-x0208@1990 . #x224A) ; &I-J90-224A; [02-42]
653 (=jef-china3 . #x7FD8) ; &I-JC3-7FD8;
654 (=ucs@gb . #x2227) ; &J90-224A;
655 (=ucs@jis . #x2227) ; &J90-224A;
656 (=ucs@ks . #x2227) ; &J90-224A;
658 ((name . "LOGICAL AND")
663 '((name . "LOGICAL OR")
664 (general-category symbol math) ; Informative Category
665 (bidi-category . "ON")
671 ((name . "LOGICAL OR")
674 (=gb2312 . #x2145) ; &J90-224B; [01-37]
675 (=jis-x0208@1983 . #x224B) ; &I-J83-224B; [02-43]
676 (=ks-x1001 . #x217D) ; &I-K0-217D; [01-93]
677 (=jis-x0208@1990 . #x224B) ; &I-J90-224B; [02-43]
678 (=jef-china3 . #x7FD9) ; &I-JC3-7FD9;
679 (=ucs@gb . #x2228) ; &J90-224B;
680 (=ucs@jis . #x2228) ; &J90-224B;
681 (=ucs@ks . #x2228) ; &J90-224B;
683 ((name . "LOGICAL OR")
688 '((name . "INTERSECTION")
689 (general-category symbol math) ; Informative Category
690 (bidi-category . "ON")
696 ((name . "INTERSECTION")
699 (=gb2312 . #x2149) ; &J90-2241; [01-41]
700 (=jis-x0208@1983 . #x2241) ; &I-J83-2241; [02-33]
701 (=ks-x1001 . #x217B) ; &I-K0-217B; [01-91]
702 (=jis-x0208@1990 . #x2241) ; &I-J90-2241; [02-33]
703 (=cns11643-1 . #x2245) ; &I-C1-2245; [02-37]
704 (=big5 . #xA1E4) ; &I-B-A1E4;
705 (=jef-china3 . #x7FD7) ; &I-JC3-7FD7;
706 (=ucs@gb . #x2229) ; &J90-2241;
707 (=ucs@cns . #x2229) ; &J90-2241;
708 (=ucs@jis . #x2229) ; &J90-2241;
709 (=ucs@ks . #x2229) ; &J90-2241;
710 (=ucs@big5 . #x2229) ; &J90-2241;
712 ((name . "INTERSECTION")
718 (general-category symbol math) ; Informative Category
719 (bidi-category . "ON")
728 (=gb2312 . #x2148) ; &J90-2240; [01-40]
729 (=jis-x0208@1983 . #x2240) ; &I-J83-2240; [02-32]
730 (=ks-x1001 . #x217A) ; &I-K0-217A; [01-90]
731 (=jis-x0208@1990 . #x2240) ; &I-J90-2240; [02-32]
732 (=cns11643-1 . #x2246) ; &I-C1-2246; [02-38]
733 (=big5 . #xA1E5) ; &I-B-A1E5;
734 (=jef-china3 . #x7FD6) ; &I-JC3-7FD6;
735 (=ucs@gb . #x222A) ; &J90-2240;
736 (=ucs@cns . #x222A) ; &J90-2240;
737 (=ucs@jis . #x222A) ; &J90-2240;
738 (=ucs@ks . #x222A) ; &J90-2240;
739 (=ucs@big5 . #x222A) ; &J90-2240;
746 '((name . "INTEGRAL")
747 (general-category symbol math) ; Informative Category
748 (bidi-category . "ON")
757 (=gb2312 . #x2152) ; &J90-2269; [01-50]
758 (=jis-x0208@1983 . #x2269) ; &I-J83-2269; [02-73]
759 (=ks-x1001 . #x2172) ; &I-K0-2172; [01-82]
760 (=jis-x0208@1990 . #x2269) ; &I-J90-2269; [02-73]
761 (=cns11643-1 . #x224D) ; &I-C1-224D; [02-45]
762 (=big5 . #xA1EC) ; &I-B-A1EC;
763 (=jef-china3 . #x7FE8) ; &I-JC3-7FE8;
764 (=ucs@gb . #x222B) ; &J90-2269;
765 (=ucs@cns . #x222B) ; &J90-2269;
766 (=ucs@jis . #x222B) ; &J90-2269;
767 (=ucs@ks . #x222B) ; &J90-2269;
768 (=ucs@big5 . #x222B) ; &J90-2269;
775 '((name . "DOUBLE INTEGRAL")
776 (general-category symbol math) ; Informative Category
777 (bidi-category . "ON")
779 (=>decomposition@compat
790 ((name . "DOUBLE INTEGRAL")
793 (=jis-x0208@1983 . #x226A) ; &J90-226A; [02-74]
794 (=ks-x1001 . #x2173) ; &I-K0-2173; [01-83]
795 (=jis-x0208@1990 . #x226A) ; &I-J90-226A; [02-74]
796 (=jef-china3 . #x7FE9) ; &I-JC3-7FE9;
797 (=ucs@jis . #x222C) ; &J90-226A;
798 (=ucs@ks . #x222C) ; &J90-226A;
800 ((name . "DOUBLE INTEGRAL")
805 '((name . "TRIPLE INTEGRAL")
806 (general-category symbol math) ; Informative Category
807 (bidi-category . "ON")
809 (=>decomposition@compat
822 '((name . "CONTOUR INTEGRAL")
823 (general-category symbol math) ; Informative Category
824 (bidi-category . "ON")
830 ((name . "CONTOUR INTEGRAL")
833 (=gb2312 . #x2153) ; &JX1-2D73; [01-51]
834 (=ks-x1001 . #x2231) ; &I-K0-2231; [02-17]
835 (=cns11643-1 . #x224E) ; &I-C1-224E; [02-46]
836 (=jis-x0213-1-2000 . #x2D73) ; &I-JX1-2D73; [13-83]
837 (=big5 . #xA1ED) ; &I-B-A1ED;
838 (=ucs@gb . #x222E) ; &JX1-2D73;
839 (=ucs@cns . #x222E) ; &JX1-2D73;
840 (=ucs@jis . #x222E) ; &JX1-2D73;
841 (=ucs@ks . #x222E) ; &JX1-2D73;
842 (=ucs@big5 . #x222E) ; &JX1-2D73;
844 ((name . "CONTOUR INTEGRAL")
849 '((name . "SURFACE INTEGRAL")
850 (general-category symbol math) ; Informative Category
851 (bidi-category . "ON")
853 (=>decomposition@compat
854 ((name . "CONTOUR INTEGRAL")
857 ((name . "CONTOUR INTEGRAL")
863 '((name . "VOLUME INTEGRAL")
864 (general-category symbol math) ; Informative Category
865 (bidi-category . "ON")
867 (=>decomposition@compat
868 ((name . "CONTOUR INTEGRAL")
871 ((name . "CONTOUR INTEGRAL")
874 ((name . "CONTOUR INTEGRAL")
880 '((name . "CLOCKWISE INTEGRAL")
881 (general-category symbol math) ; Informative Category
882 (bidi-category . "ON")
887 '((name . "CLOCKWISE CONTOUR INTEGRAL")
888 (general-category symbol math) ; Informative Category
889 (bidi-category . "ON")
894 '((name . "ANTICLOCKWISE CONTOUR INTEGRAL")
895 (general-category symbol math) ; Informative Category
896 (bidi-category . "ON")
901 '((name . "THEREFORE")
902 (general-category symbol math) ; Informative Category
903 (bidi-category . "ON")
909 ((name . "THEREFORE")
912 (=jis-x0208 . #x2168) ; &J90-2168; [01-72]
913 (=gb2312 . #x2160) ; &I-G0-2160; [01-64]
914 (=ks-x1001 . #x2145) ; &I-K0-2145; [01-37]
915 (=cns11643-1 . #x2250) ; &I-C1-2250; [02-48]
916 (=big5 . #xA1EF) ; &I-B-A1EF;
917 (=ucs@gb . #x2234) ; &J90-2168;
918 (=ucs@cns . #x2234) ; &J90-2168;
919 (=ucs@jis . #x2234) ; &J90-2168;
920 (=ucs@ks . #x2234) ; &J90-2168;
921 (=ucs@big5 . #x2234) ; &J90-2168;
923 ((name . "THEREFORE")
929 (general-category symbol math) ; Informative Category
930 (bidi-category . "ON")
939 (=gb2312 . #x215F) ; &J90-2268; [01-63]
940 (=jis-x0208@1983 . #x2268) ; &I-J83-2268; [02-72]
941 (=ks-x1001 . #x2171) ; &I-K0-2171; [01-81]
942 (=jis-x0208@1990 . #x2268) ; &I-J90-2268; [02-72]
943 (=cns11643-1 . #x224F) ; &I-C1-224F; [02-47]
944 (=big5 . #xA1EE) ; &I-B-A1EE;
945 (=ucs@gb . #x2235) ; &J90-2268;
946 (=ucs@cns . #x2235) ; &J90-2268;
947 (=ucs@jis . #x2235) ; &J90-2268;
948 (=ucs@ks . #x2235) ; &J90-2268;
949 (=ucs@big5 . #x2235) ; &J90-2268;
957 (general-category symbol math) ; Informative Category
958 (bidi-category . "ON")
967 (=gb2312 . #x2143) ; &G0-2143; [01-35]
968 (=ucs@gb . #x2236) ; &G0-2143;
975 '((name . "PROPORTION")
976 (general-category symbol math) ; Informative Category
977 (bidi-category . "ON")
983 ((name . "PROPORTION")
986 (=gb2312 . #x214B) ; &G0-214B; [01-43]
987 (=ucs@gb . #x2237) ; &G0-214B;
989 ((name . "PROPORTION")
994 '((name . "DOT MINUS")
995 (general-category symbol math) ; Informative Category
996 (bidi-category . "ON")
1002 (general-category symbol math) ; Informative Category
1003 (bidi-category . "ON")
1008 '((name . "GEOMETRIC PROPORTION")
1009 (general-category symbol math) ; Informative Category
1010 (bidi-category . "ON")
1015 '((name . "HOMOTHETIC")
1016 (general-category symbol math) ; Informative Category
1017 (bidi-category . "ON")
1022 '((name . "TILDE OPERATOR")
1023 (general-category symbol math) ; Informative Category
1024 (bidi-category . "ON")
1030 ((name . "TILDE OPERATOR")
1033 (=ks-x1001 . #x212D) ; &C1-2244; [01-13]
1034 (=cns11643-1 . #x2244) ; &I-C1-2244; [02-36]
1035 (=big5 . #xA1E3) ; &I-B-A1E3;
1036 (=ucs@cns . #xFF5E) ; &C1-2244;
1037 (=ucs@ks . #x223C) ; &C1-2244;
1038 (=ucs@big5 . #xFF5E) ; &C1-2244;
1040 ((name . "TILDE OPERATOR")
1045 '((name . "REVERSED TILDE")
1046 (general-category symbol math) ; Informative Category
1047 (bidi-category . "ON")
1049 (iso-10646-comment . "lazy S")
1054 ((name . "REVERSED TILDE")
1057 (=gb2312 . #x2157) ; &J90-2266; [01-55]
1058 (=jis-x0208@1983 . #x2266) ; &I-J83-2266; [02-70]
1059 (=ks-x1001 . #x216F) ; &I-K0-216F; [01-79]
1060 (=jis-x0208@1990 . #x2266) ; &I-J90-2266; [02-70]
1061 (=jef-china3 . #x7FE6) ; &I-JC3-7FE6;
1062 (=ucs@gb . #x223D) ; &J90-2266;
1063 (=ucs@jis . #x223D) ; &J90-2266;
1064 (=ucs@ks . #x223D) ; &J90-2266;
1066 ((name . "REVERSED TILDE")
1071 '((name . "INVERTED LAZY S")
1072 (general-category symbol math) ; Informative Category
1073 (bidi-category . "ON")
1078 '((name . "SINE WAVE")
1079 (general-category symbol math) ; Informative Category
1080 (bidi-category . "ON")
1085 '((name . "WREATH PRODUCT")
1086 (general-category symbol math) ; Informative Category
1087 (bidi-category . "ON")
1092 '((name . "NOT TILDE")
1093 (general-category symbol math) ; Informative Category
1094 (bidi-category . "ON")
1097 ((name . "TILDE OPERATOR")
1100 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1106 '((name . "MINUS TILDE")
1107 (general-category symbol math) ; Informative Category
1108 (bidi-category . "ON")
1113 '((name . "ASYMPTOTICALLY EQUAL TO")
1114 (general-category symbol math) ; Informative Category
1115 (bidi-category . "ON")
1121 ((name . "ASYMPTOTICALLY EQUAL TO")
1124 (=jis-x0213-1-2000 . #x226C) ; &JX1-226C; [02-76]
1125 (=ucs@jis . #x2243) ; &JX1-226C;
1127 ((name . "ASYMPTOTICALLY EQUAL TO")
1132 '((name . "NOT ASYMPTOTICALLY EQUAL TO")
1133 (general-category symbol math) ; Informative Category
1134 (bidi-category . "ON")
1137 ((name . "ASYMPTOTICALLY EQUAL TO")
1140 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1146 '((name . "APPROXIMATELY EQUAL TO")
1147 (general-category symbol math) ; Informative Category
1148 (bidi-category . "ON")
1154 ((name . "APPROXIMATELY EQUAL TO")
1157 (=jis-x0213-1-2000 . #x226D) ; &JX1-226D; [02-77]
1158 (=ucs@jis . #x2245) ; &JX1-226D;
1160 ((name . "APPROXIMATELY EQUAL TO")
1165 '((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
1166 (general-category symbol math) ; Informative Category
1167 (bidi-category . "ON")
1172 '((name . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
1173 (general-category symbol math) ; Informative Category
1174 (bidi-category . "ON")
1177 ((name . "APPROXIMATELY EQUAL TO")
1180 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1186 '((name . "ALMOST EQUAL TO")
1187 (general-category symbol math) ; Informative Category
1188 (bidi-category . "ON")
1194 ((name . "ALMOST EQUAL TO")
1197 (=gb2312 . #x2156) ; &JX1-226E; [01-54]
1198 (=jis-x0213-1-2000 . #x226E) ; &I-JX1-226E; [02-78]
1199 (=ucs@gb . #x2248) ; &JX1-226E;
1200 (=ucs@jis . #x2248) ; &JX1-226E;
1202 ((name . "ALMOST EQUAL TO")
1207 '((name . "NOT ALMOST EQUAL TO")
1208 (general-category symbol math) ; Informative Category
1209 (bidi-category . "ON")
1212 ((name . "ALMOST EQUAL TO")
1215 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1221 '((name . "ALMOST EQUAL OR EQUAL TO")
1222 (general-category symbol math) ; Informative Category
1223 (bidi-category . "ON")
1228 '((name . "TRIPLE TILDE")
1229 (general-category symbol math) ; Informative Category
1230 (bidi-category . "ON")
1235 '((name . "ALL EQUAL TO")
1236 (general-category symbol math) ; Informative Category
1237 (bidi-category . "ON")
1243 ((name . "ALL EQUAL TO")
1246 (=gb2312 . #x2155) ; &G0-2155; [01-53]
1247 (=ucs@gb . #x224C) ; &G0-2155;
1249 ((name . "ALL EQUAL TO")
1254 '((name . "EQUIVALENT TO")
1255 (general-category symbol math) ; Informative Category
1256 (bidi-category . "ON")
1261 '((name . "GEOMETRICALLY EQUIVALENT TO")
1262 (general-category symbol math) ; Informative Category
1263 (bidi-category . "ON")
1268 '((name . "DIFFERENCE BETWEEN")
1269 (general-category symbol math) ; Informative Category
1270 (bidi-category . "ON")
1275 '((name . "APPROACHES THE LIMIT")
1276 (general-category symbol math) ; Informative Category
1277 (bidi-category . "ON")
1282 '((name . "GEOMETRICALLY EQUAL TO")
1283 (general-category symbol math) ; Informative Category
1284 (bidi-category . "ON")
1289 '((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1290 (general-category symbol math) ; Informative Category
1291 (bidi-category . "ON")
1297 ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1300 (=jis-x0208@1983 . #x2262) ; &J90-2262; [02-66]
1301 (=ks-x1001 . #x2156) ; &I-K0-2156; [01-54]
1302 (=jis-x0208@1990 . #x2262) ; &I-J90-2262; [02-66]
1303 (=cns11643-1 . #x223D) ; &I-C1-223D; [02-29]
1304 (=big5 . #xA1DC) ; &I-B-A1DC;
1305 (=ucs@cns . #x2252) ; &J90-2262;
1306 (=ucs@jis . #x2252) ; &J90-2262;
1307 (=ucs@ks . #x2252) ; &J90-2262;
1308 (=ucs@big5 . #x2252) ; &J90-2262;
1310 ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1315 '((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
1316 (general-category symbol math) ; Informative Category
1317 (bidi-category . "ON")
1322 '((name . "COLON EQUALS")
1323 (general-category symbol math) ; Informative Category
1324 (bidi-category . "ON")
1329 '((name . "EQUALS COLON")
1330 (general-category symbol math) ; Informative Category
1331 (bidi-category . "ON")
1336 '((name . "RING IN EQUAL TO")
1337 (general-category symbol math) ; Informative Category
1338 (bidi-category . "ON")
1343 '((name . "RING EQUAL TO")
1344 (general-category symbol math) ; Informative Category
1345 (bidi-category . "ON")
1350 '((name . "CORRESPONDS TO")
1351 (general-category symbol math) ; Informative Category
1352 (bidi-category . "ON")
1357 '((name . "ESTIMATES")
1358 (general-category symbol math) ; Informative Category
1359 (bidi-category . "ON")
1364 '((name . "EQUIANGULAR TO")
1365 (general-category symbol math) ; Informative Category
1366 (bidi-category . "ON")
1371 '((name . "STAR EQUALS")
1372 (general-category symbol math) ; Informative Category
1373 (bidi-category . "ON")
1378 '((name . "DELTA EQUAL TO")
1379 (general-category symbol math) ; Informative Category
1380 (bidi-category . "ON")
1385 '((name . "EQUAL TO BY DEFINITION")
1386 (general-category symbol math) ; Informative Category
1387 (bidi-category . "ON")
1392 '((name . "MEASURED BY")
1393 (general-category symbol math) ; Informative Category
1394 (bidi-category . "ON")
1399 '((name . "QUESTIONED EQUAL TO")
1400 (general-category symbol math) ; Informative Category
1401 (bidi-category . "ON")
1406 '((name . "NOT EQUAL TO")
1407 (general-category symbol math) ; Informative Category
1408 (bidi-category . "ON")
1411 ((name . "EQUALS SIGN")
1414 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1421 ((name . "NOT EQUAL TO")
1425 ((name . "FULLWIDTH EQUALS SIGN")
1428 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1431 (=jis-x0208 . #x2162) ; &J90-2162; [01-66]
1432 (=gb2312 . #x2159) ; &I-G0-2159; [01-57]
1433 (=ks-x1001 . #x2141) ; &I-K0-2141; [01-33]
1434 (=cns11643-1 . #x223B) ; &I-C1-223B; [02-27]
1435 (=big5 . #xA1DA) ; &I-B-A1DA;
1436 (=ucs@gb . #x2260) ; &J90-2162;
1437 (=ucs@cns . #x2260) ; &J90-2162;
1438 (=ucs@jis . #x2260) ; &J90-2162;
1439 (=ucs@ks . #x2260) ; &J90-2162;
1440 (=ucs@big5 . #x2260) ; &J90-2162;
1442 ((name . "NOT EQUAL TO")
1447 '((name . "IDENTICAL TO")
1448 (general-category symbol math) ; Informative Category
1449 (bidi-category . "ON")
1455 ((name . "IDENTICAL TO")
1458 (=gb2312 . #x2154) ; &J90-2261; [01-52]
1459 (=jis-x0208@1983 . #x2261) ; &I-J83-2261; [02-65]
1460 (=ks-x1001 . #x2155) ; &I-K0-2155; [01-53]
1461 (=jis-x0208@1990 . #x2261) ; &I-J90-2261; [02-65]
1462 (=cns11643-1 . #x223E) ; &I-C1-223E; [02-30]
1463 (=big5 . #xA1DD) ; &I-B-A1DD;
1464 (=ucs@gb . #x2261) ; &J90-2261;
1465 (=ucs@cns . #x2261) ; &J90-2261;
1466 (=ucs@jis . #x2261) ; &J90-2261;
1467 (=ucs@ks . #x2261) ; &J90-2261;
1468 (=ucs@big5 . #x2261) ; &J90-2261;
1470 ((name . "IDENTICAL TO")
1475 '((name . "NOT IDENTICAL TO")
1476 (general-category symbol math) ; Informative Category
1477 (bidi-category . "ON")
1480 ((name . "IDENTICAL TO")
1483 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1490 ((name . "NOT IDENTICAL TO")
1494 ((=gb2312 . #x2154) ; &J90-2261; [01-52]
1495 (=jis-x0208@1983 . #x2261) ; &I-J83-2261; [02-65]
1496 (=ks-x1001 . #x2155) ; &I-K0-2155; [01-53]
1497 (=cns11643-1 . #x223E) ; &I-C1-223E; [02-30]
1499 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1502 (=jis-x0213-1-2000 . #x226B) ; &JX1-226B; [02-75]
1503 (=ucs@jis . #x2262) ; &JX1-226B;
1505 ((name . "NOT IDENTICAL TO")
1510 '((name . "STRICTLY EQUIVALENT TO")
1511 (general-category symbol math) ; Informative Category
1512 (bidi-category . "ON")
1517 '((name . "LESS-THAN OR EQUAL TO")
1518 (general-category symbol math) ; Informative Category
1519 (bidi-category . "ON")
1525 ((name . "LESS-THAN OR EQUAL TO")
1528 (=gb2312 . #x215C) ; &K0-2142; [01-60]
1529 (=ks-x1001 . #x2142) ; &I-K0-2142; [01-34]
1530 (=ucs@gb . #x2264) ; &K0-2142;
1531 (=ucs@ks . #x2264) ; &K0-2142;
1533 ((name . "LESS-THAN OR EQUAL TO")
1538 '((name . "GREATER-THAN OR EQUAL TO")
1539 (general-category symbol math) ; Informative Category
1540 (bidi-category . "ON")
1546 ((name . "GREATER-THAN OR EQUAL TO")
1549 (=gb2312 . #x215D) ; &K0-2143; [01-61]
1550 (=ks-x1001 . #x2143) ; &I-K0-2143; [01-35]
1551 (=ucs@gb . #x2265) ; &K0-2143;
1552 (=ucs@ks . #x2265) ; &K0-2143;
1554 ((name . "GREATER-THAN OR EQUAL TO")
1559 '((name . "LESS-THAN OVER EQUAL TO")
1560 (general-category symbol math) ; Informative Category
1561 (bidi-category . "ON")
1567 ((name . "LESS-THAN OVER EQUAL TO")
1570 (=jis-x0208 . #x2165) ; &J90-2165; [01-69]
1571 (=cns11643-1 . #x2239) ; &I-C1-2239; [02-25]
1572 (=big5 . #xA1D8) ; &I-B-A1D8;
1573 (=ucs@cns . #x2266) ; &J90-2165;
1574 (=ucs@jis . #x2266) ; &J90-2165;
1575 (=ucs@big5 . #x2266) ; &J90-2165;
1577 ((name . "LESS-THAN OVER EQUAL TO")
1582 '((name . "GREATER-THAN OVER EQUAL TO")
1583 (general-category symbol math) ; Informative Category
1584 (bidi-category . "ON")
1590 ((name . "GREATER-THAN OVER EQUAL TO")
1593 (=jis-x0208 . #x2166) ; &J90-2166; [01-70]
1594 (=cns11643-1 . #x223A) ; &I-C1-223A; [02-26]
1595 (=big5 . #xA1D9) ; &I-B-A1D9;
1596 (=ucs@cns . #x2267) ; &J90-2166;
1597 (=ucs@jis . #x2267) ; &J90-2166;
1598 (=ucs@big5 . #x2267) ; &J90-2166;
1600 ((name . "GREATER-THAN OVER EQUAL TO")
1605 '((name . "LESS-THAN BUT NOT EQUAL TO")
1606 (general-category symbol math) ; Informative Category
1607 (bidi-category . "ON")
1612 '((name . "GREATER-THAN BUT NOT EQUAL TO")
1613 (general-category symbol math) ; Informative Category
1614 (bidi-category . "ON")
1619 '((name . "MUCH LESS-THAN")
1620 (general-category symbol math) ; Informative Category
1621 (bidi-category . "ON")
1627 ((name . "MUCH LESS-THAN")
1630 (=jis-x0208@1983 . #x2263) ; &J90-2263; [02-67]
1631 (=ks-x1001 . #x216C) ; &I-K0-216C; [01-76]
1632 (=jis-x0208@1990 . #x2263) ; &I-J90-2263; [02-67]
1633 (=jef-china3 . #x7FE3) ; &I-JC3-7FE3;
1634 (=ucs@jis . #x226A) ; &J90-2263;
1635 (=ucs@ks . #x226A) ; &J90-2263;
1637 ((name . "MUCH LESS-THAN")
1642 '((name . "MUCH GREATER-THAN")
1643 (general-category symbol math) ; Informative Category
1644 (bidi-category . "ON")
1650 ((name . "MUCH GREATER-THAN")
1653 (=jis-x0208@1983 . #x2264) ; &J90-2264; [02-68]
1654 (=ks-x1001 . #x216D) ; &I-K0-216D; [01-77]
1655 (=jis-x0208@1990 . #x2264) ; &I-J90-2264; [02-68]
1656 (=jef-china3 . #x7FE4) ; &I-JC3-7FE4;
1657 (=ucs@jis . #x226B) ; &J90-2264;
1658 (=ucs@ks . #x226B) ; &J90-2264;
1660 ((name . "MUCH GREATER-THAN")
1665 '((name . "BETWEEN")
1666 (general-category symbol math) ; Informative Category
1667 (bidi-category . "ON")
1672 '((name . "NOT EQUIVALENT TO")
1673 (general-category symbol math) ; Informative Category
1674 (bidi-category . "ON")
1677 ((name . "EQUIVALENT TO")
1680 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1686 '((name . "NOT LESS-THAN")
1687 (general-category symbol math) ; Informative Category
1688 (bidi-category . "ON")
1691 ((name . "LESS-THAN SIGN")
1694 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1701 ((name . "NOT LESS-THAN")
1705 ((name . "FULLWIDTH LESS-THAN SIGN")
1708 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1711 (=gb2312 . #x215A) ; &G0-215A; [01-58]
1712 (=ucs@gb . #x226E) ; &G0-215A;
1714 ((name . "NOT LESS-THAN")
1719 '((name . "NOT GREATER-THAN")
1720 (general-category symbol math) ; Informative Category
1721 (bidi-category . "ON")
1724 ((name . "GREATER-THAN SIGN")
1727 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1734 ((name . "NOT GREATER-THAN")
1738 ((name . "FULLWIDTH GREATER-THAN SIGN")
1741 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1744 (=gb2312 . #x215B) ; &G0-215B; [01-59]
1745 (=ucs@gb . #x226F) ; &G0-215B;
1747 ((name . "NOT GREATER-THAN")
1752 '((name . "NEITHER LESS-THAN NOR EQUAL TO")
1753 (general-category symbol math) ; Informative Category
1754 (bidi-category . "ON")
1757 ((name . "LESS-THAN OR EQUAL TO")
1760 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1766 '((name . "NEITHER GREATER-THAN NOR EQUAL TO")
1767 (general-category symbol math) ; Informative Category
1768 (bidi-category . "ON")
1771 ((name . "GREATER-THAN OR EQUAL TO")
1774 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1780 '((name . "LESS-THAN OR EQUIVALENT TO")
1781 (general-category symbol math) ; Informative Category
1782 (bidi-category . "ON")
1787 '((name . "GREATER-THAN OR EQUIVALENT TO")
1788 (general-category symbol math) ; Informative Category
1789 (bidi-category . "ON")
1794 '((name . "NEITHER LESS-THAN NOR EQUIVALENT TO")
1795 (general-category symbol math) ; Informative Category
1796 (bidi-category . "ON")
1799 ((name . "LESS-THAN OR EQUIVALENT TO")
1802 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1808 '((name . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
1809 (general-category symbol math) ; Informative Category
1810 (bidi-category . "ON")
1813 ((name . "GREATER-THAN OR EQUIVALENT TO")
1816 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1822 '((name . "LESS-THAN OR GREATER-THAN")
1823 (general-category symbol math) ; Informative Category
1824 (bidi-category . "ON")
1830 ((name . "LESS-THAN OR GREATER-THAN")
1833 (=jis-x0213-1-2000 . #x226F) ; &JX1-226F; [02-79]
1834 (=ucs@jis . #x2276) ; &JX1-226F;
1836 ((name . "LESS-THAN OR GREATER-THAN")
1841 '((name . "GREATER-THAN OR LESS-THAN")
1842 (general-category symbol math) ; Informative Category
1843 (bidi-category . "ON")
1849 ((name . "GREATER-THAN OR LESS-THAN")
1852 (=jis-x0213-1-2000 . #x2270) ; &JX1-2270; [02-80]
1853 (=ucs@jis . #x2277) ; &JX1-2270;
1855 ((name . "GREATER-THAN OR LESS-THAN")
1860 '((name . "NEITHER LESS-THAN NOR GREATER-THAN")
1861 (general-category symbol math) ; Informative Category
1862 (bidi-category . "ON")
1865 ((name . "LESS-THAN OR GREATER-THAN")
1868 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1874 '((name . "NEITHER GREATER-THAN NOR LESS-THAN")
1875 (general-category symbol math) ; Informative Category
1876 (bidi-category . "ON")
1879 ((name . "GREATER-THAN OR LESS-THAN")
1882 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1888 '((name . "PRECEDES")
1889 (general-category symbol math) ; Informative Category
1890 (bidi-category . "ON")
1895 '((name . "SUCCEEDS")
1896 (general-category symbol math) ; Informative Category
1897 (bidi-category . "ON")
1902 '((name . "PRECEDES OR EQUAL TO")
1903 (general-category symbol math) ; Informative Category
1904 (bidi-category . "ON")
1909 '((name . "SUCCEEDS OR EQUAL TO")
1910 (general-category symbol math) ; Informative Category
1911 (bidi-category . "ON")
1916 '((name . "PRECEDES OR EQUIVALENT TO")
1917 (general-category symbol math) ; Informative Category
1918 (bidi-category . "ON")
1923 '((name . "SUCCEEDS OR EQUIVALENT TO")
1924 (general-category symbol math) ; Informative Category
1925 (bidi-category . "ON")
1930 '((name . "DOES NOT PRECEDE")
1931 (general-category symbol math) ; Informative Category
1932 (bidi-category . "ON")
1935 ((name . "PRECEDES")
1938 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1944 '((name . "DOES NOT SUCCEED")
1945 (general-category symbol math) ; Informative Category
1946 (bidi-category . "ON")
1949 ((name . "SUCCEEDS")
1952 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1958 '((name . "SUBSET OF")
1959 (general-category symbol math) ; Informative Category
1960 (bidi-category . "ON")
1966 ((name . "SUBSET OF")
1969 (=jis-x0208@1983 . #x223E) ; &J90-223E; [02-30]
1970 (=ks-x1001 . #x2178) ; &I-K0-2178; [01-88]
1971 (=jis-x0208@1990 . #x223E) ; &I-J90-223E; [02-30]
1972 (=jef-china3 . #x7FD4) ; &I-JC3-7FD4;
1973 (=ucs@jis . #x2282) ; &J90-223E;
1974 (=ucs@ks . #x2282) ; &J90-223E;
1976 ((name . "SUBSET OF")
1981 '((name . "SUPERSET OF")
1982 (general-category symbol math) ; Informative Category
1983 (bidi-category . "ON")
1989 ((name . "SUPERSET OF")
1992 (=jis-x0208@1983 . #x223F) ; &J90-223F; [02-31]
1993 (=ks-x1001 . #x2179) ; &I-K0-2179; [01-89]
1994 (=jis-x0208@1990 . #x223F) ; &I-J90-223F; [02-31]
1995 (=jef-china3 . #x7FD5) ; &I-JC3-7FD5;
1996 (=ucs@jis . #x2283) ; &J90-223F;
1997 (=ucs@ks . #x2283) ; &J90-223F;
1999 ((name . "SUPERSET OF")
2004 '((name . "NOT A SUBSET OF")
2005 (general-category symbol math) ; Informative Category
2006 (bidi-category . "ON")
2009 ((name . "SUBSET OF")
2012 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2019 ((name . "NOT A SUBSET OF")
2022 (=jis-x0213-1-2000 . #x2242) ; &JX1-2242; [02-34]
2023 (=ucs@jis . #x2284) ; &JX1-2242;
2025 ((name . "NOT A SUBSET OF")
2030 '((name . "NOT A SUPERSET OF")
2031 (general-category symbol math) ; Informative Category
2032 (bidi-category . "ON")
2035 ((name . "SUPERSET OF")
2038 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2045 ((name . "NOT A SUPERSET OF")
2048 (=jis-x0213-1-2000 . #x2243) ; &JX1-2243; [02-35]
2049 (=ucs@jis . #x2285) ; &JX1-2243;
2051 ((name . "NOT A SUPERSET OF")
2056 '((name . "SUBSET OF OR EQUAL TO")
2057 (general-category symbol math) ; Informative Category
2058 (bidi-category . "ON")
2064 ((name . "SUBSET OF OR EQUAL TO")
2067 (=jis-x0208@1983 . #x223C) ; &J90-223C; [02-28]
2068 (=ks-x1001 . #x2176) ; &I-K0-2176; [01-86]
2069 (=jis-x0208@1990 . #x223C) ; &I-J90-223C; [02-28]
2070 (=jef-china3 . #x7FD2) ; &I-JC3-7FD2;
2071 (=ucs@jis . #x2286) ; &J90-223C;
2072 (=ucs@ks . #x2286) ; &J90-223C;
2074 ((name . "SUBSET OF OR EQUAL TO")
2079 '((name . "SUPERSET OF OR EQUAL TO")
2080 (general-category symbol math) ; Informative Category
2081 (bidi-category . "ON")
2087 ((name . "SUPERSET OF OR EQUAL TO")
2090 (=jis-x0208@1983 . #x223D) ; &J90-223D; [02-29]
2091 (=ks-x1001 . #x2177) ; &I-K0-2177; [01-87]
2092 (=jis-x0208@1990 . #x223D) ; &I-J90-223D; [02-29]
2093 (=jef-china3 . #x7FD3) ; &I-JC3-7FD3;
2094 (=ucs@jis . #x2287) ; &J90-223D;
2095 (=ucs@ks . #x2287) ; &J90-223D;
2097 ((name . "SUPERSET OF OR EQUAL TO")
2102 '((name . "NEITHER A SUBSET OF NOR EQUAL TO")
2103 (general-category symbol math) ; Informative Category
2104 (bidi-category . "ON")
2107 ((name . "SUBSET OF OR EQUAL TO")
2110 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2116 '((name . "NEITHER A SUPERSET OF NOR EQUAL TO")
2117 (general-category symbol math) ; Informative Category
2118 (bidi-category . "ON")
2121 ((name . "SUPERSET OF OR EQUAL TO")
2124 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2130 '((name . "SUBSET OF WITH NOT EQUAL TO")
2131 (general-category symbol math) ; Informative Category
2132 (bidi-category . "ON")
2138 ((name . "SUBSET OF WITH NOT EQUAL TO")
2141 (=jis-x0213-1-2000 . #x2244) ; &JX1-2244; [02-36]
2142 (=ucs@jis . #x228A) ; &JX1-2244;
2144 ((name . "SUBSET OF WITH NOT EQUAL TO")
2149 '((name . "SUPERSET OF WITH NOT EQUAL TO")
2150 (general-category symbol math) ; Informative Category
2151 (bidi-category . "ON")
2157 ((name . "SUPERSET OF WITH NOT EQUAL TO")
2160 (=jis-x0213-1-2000 . #x2245) ; &JX1-2245; [02-37]
2161 (=ucs@jis . #x228B) ; &JX1-2245;
2163 ((name . "SUPERSET OF WITH NOT EQUAL TO")
2168 '((name . "MULTISET")
2169 (general-category symbol math) ; Informative Category
2170 (bidi-category . "ON")
2175 '((name . "MULTISET MULTIPLICATION")
2176 (general-category symbol math) ; Informative Category
2177 (bidi-category . "ON")
2182 '((name . "MULTISET UNION")
2183 (general-category symbol math) ; Informative Category
2184 (bidi-category . "ON")
2189 '((name . "SQUARE IMAGE OF")
2190 (general-category symbol math) ; Informative Category
2191 (bidi-category . "ON")
2196 '((name . "SQUARE ORIGINAL OF")
2197 (general-category symbol math) ; Informative Category
2198 (bidi-category . "ON")
2203 '((name . "SQUARE IMAGE OF OR EQUAL TO")
2204 (general-category symbol math) ; Informative Category
2205 (bidi-category . "ON")
2210 '((name . "SQUARE ORIGINAL OF OR EQUAL TO")
2211 (general-category symbol math) ; Informative Category
2212 (bidi-category . "ON")
2217 '((name . "SQUARE CAP")
2218 (general-category symbol math) ; Informative Category
2219 (bidi-category . "ON")
2224 '((name . "SQUARE CUP")
2225 (general-category symbol math) ; Informative Category
2226 (bidi-category . "ON")
2231 '((name . "CIRCLED PLUS")
2232 (general-category symbol math) ; Informative Category
2233 (bidi-category . "ON")
2239 ((name . "CIRCLED PLUS")
2242 (=cns11643-1 . #x2253) ; &JX1-2251; [02-51]
2243 (=jis-x0213-1-2000 . #x2251) ; &I-JX1-2251; [02-49]
2244 (=big5 . #xA1F2) ; &I-B-A1F2;
2245 (=ucs@cns . #x2295) ; &JX1-2251;
2246 (=ucs@jis . #x2295) ; &JX1-2251;
2247 (=ucs@big5 . #x2295) ; &JX1-2251;
2249 ((name . "CIRCLED PLUS")
2254 '((name . "CIRCLED MINUS")
2255 (general-category symbol math) ; Informative Category
2256 (bidi-category . "ON")
2262 ((name . "CIRCLED MINUS")
2265 (=jis-x0213-1-2000 . #x2252) ; &JX1-2252; [02-50]
2266 (=ucs@jis . #x2296) ; &JX1-2252;
2268 ((name . "CIRCLED MINUS")
2273 '((name . "CIRCLED TIMES")
2274 (general-category symbol math) ; Informative Category
2275 (bidi-category . "ON")
2281 ((name . "CIRCLED TIMES")
2284 (=jis-x0213-1-2000 . #x2253) ; &JX1-2253; [02-51]
2285 (=ucs@jis . #x2297) ; &JX1-2253;
2287 ((name . "CIRCLED TIMES")
2292 '((name . "CIRCLED DIVISION SLASH")
2293 (general-category symbol math) ; Informative Category
2294 (bidi-category . "ON")
2299 '((name . "CIRCLED DOT OPERATOR")
2300 (general-category symbol math) ; Informative Category
2301 (bidi-category . "ON")
2307 ((name . "CIRCLED DOT OPERATOR")
2310 (=gb2312 . #x2151) ; &C1-2254; [01-49]
2311 (=ks-x1001 . #x2241) ; &I-K0-2241; [02-33]
2312 (=cns11643-1 . #x2254) ; &I-C1-2254; [02-52]
2313 (=big5 . #xA1F3) ; &I-B-A1F3;
2314 (=ucs@gb . #x2299) ; &C1-2254;
2315 (=ucs@cns . #x2299) ; &C1-2254;
2316 (=ucs@ks . #x2299) ; &C1-2254;
2317 (=ucs@big5 . #x2299) ; &C1-2254;
2319 ((name . "CIRCLED DOT OPERATOR")
2324 '((name . "CIRCLED RING OPERATOR")
2325 (general-category symbol math) ; Informative Category
2326 (bidi-category . "ON")
2331 '((name . "CIRCLED ASTERISK OPERATOR")
2332 (general-category symbol math) ; Informative Category
2333 (bidi-category . "ON")
2338 '((name . "CIRCLED EQUALS")
2339 (general-category symbol math) ; Informative Category
2340 (bidi-category . "ON")
2345 '((name . "CIRCLED DASH")
2346 (general-category symbol math) ; Informative Category
2347 (bidi-category . "ON")
2352 '((name . "SQUARED PLUS")
2353 (general-category symbol math) ; Informative Category
2354 (bidi-category . "ON")
2359 '((name . "SQUARED MINUS")
2360 (general-category symbol math) ; Informative Category
2361 (bidi-category . "ON")
2366 '((name . "SQUARED TIMES")
2367 (general-category symbol math) ; Informative Category
2368 (bidi-category . "ON")
2373 '((name . "SQUARED DOT OPERATOR")
2374 (general-category symbol math) ; Informative Category
2375 (bidi-category . "ON")
2380 '((name . "RIGHT TACK")
2381 (general-category symbol math) ; Informative Category
2382 (bidi-category . "ON")
2387 '((name . "LEFT TACK")
2388 (general-category symbol math) ; Informative Category
2389 (bidi-category . "ON")
2394 '((name . "DOWN TACK")
2395 (general-category symbol math) ; Informative Category
2396 (bidi-category . "ON")
2401 '((name . "UP TACK")
2402 (general-category symbol math) ; Informative Category
2403 (bidi-category . "ON")
2412 (=gb2312 . #x214D) ; &J90-225D; [01-45]
2413 (=jis-x0208@1983 . #x225D) ; &I-J83-225D; [02-61]
2414 (=ks-x1001 . #x2151) ; &I-K0-2151; [01-49]
2415 (=jis-x0208@1990 . #x225D) ; &I-J90-225D; [02-61]
2416 (=cns11643-1 . #x2247) ; &I-C1-2247; [02-39]
2417 (=big5 . #xA1E6) ; &I-B-A1E6;
2418 (=ucs@gb . #x22A5) ; &J90-225D;
2419 (=ucs@cns . #x22A5) ; &J90-225D;
2420 (=ucs@jis . #x22A5) ; &J90-225D;
2421 (=ucs@ks . #x22A5) ; &J90-225D;
2422 (=ucs@big5 . #x22A5) ; &J90-225D;
2429 '((name . "ASSERTION")
2430 (general-category symbol math) ; Informative Category
2431 (bidi-category . "ON")
2437 (general-category symbol math) ; Informative Category
2438 (bidi-category . "ON")
2444 (general-category symbol math) ; Informative Category
2445 (bidi-category . "ON")
2451 (general-category symbol math) ; Informative Category
2452 (bidi-category . "ON")
2457 '((name . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
2458 (general-category symbol math) ; Informative Category
2459 (bidi-category . "ON")
2464 '((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2465 (general-category symbol math) ; Informative Category
2466 (bidi-category . "ON")
2471 '((name . "DOES NOT PROVE")
2472 (general-category symbol math) ; Informative Category
2473 (bidi-category . "ON")
2476 ((name . "RIGHT TACK")
2479 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2485 '((name . "NOT TRUE")
2486 (general-category symbol math) ; Informative Category
2487 (bidi-category . "ON")
2493 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2499 '((name . "DOES NOT FORCE")
2500 (general-category symbol math) ; Informative Category
2501 (bidi-category . "ON")
2507 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2513 '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2514 (general-category symbol math) ; Informative Category
2515 (bidi-category . "ON")
2518 ((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2521 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2527 '((name . "PRECEDES UNDER RELATION")
2528 (general-category symbol math) ; Informative Category
2529 (bidi-category . "ON")
2534 '((name . "SUCCEEDS UNDER RELATION")
2535 (general-category symbol math) ; Informative Category
2536 (bidi-category . "ON")
2541 '((name . "NORMAL SUBGROUP OF")
2542 (general-category symbol math) ; Informative Category
2543 (bidi-category . "ON")
2548 '((name . "CONTAINS AS NORMAL SUBGROUP")
2549 (general-category symbol math) ; Informative Category
2550 (bidi-category . "ON")
2555 '((name . "NORMAL SUBGROUP OF OR EQUAL TO")
2556 (general-category symbol math) ; Informative Category
2557 (bidi-category . "ON")
2562 '((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
2563 (general-category symbol math) ; Informative Category
2564 (bidi-category . "ON")
2569 '((name . "ORIGINAL OF")
2570 (general-category symbol math) ; Informative Category
2571 (bidi-category . "ON")
2576 '((name . "IMAGE OF")
2577 (general-category symbol math) ; Informative Category
2578 (bidi-category . "ON")
2583 '((name . "MULTIMAP")
2584 (general-category symbol math) ; Informative Category
2585 (bidi-category . "ON")
2590 '((name . "HERMITIAN CONJUGATE MATRIX")
2591 (general-category symbol math) ; Informative Category
2592 (bidi-category . "ON")
2597 '((name . "INTERCALATE")
2598 (general-category symbol math) ; Informative Category
2599 (bidi-category . "ON")
2605 (general-category symbol math) ; Informative Category
2606 (bidi-category . "ON")
2612 (general-category symbol math) ; Informative Category
2613 (bidi-category . "ON")
2619 (general-category symbol math) ; Informative Category
2620 (bidi-category . "ON")
2625 '((name . "RIGHT ANGLE WITH ARC")
2626 (general-category symbol math) ; Informative Category
2627 (bidi-category . "ON")
2632 '((name . "RIGHT TRIANGLE")
2633 (general-category symbol math) ; Informative Category
2634 (bidi-category . "ON")
2640 ((name . "RIGHT TRIANGLE")
2643 (=cns11643-1 . #x224A) ; &JX1-2D79; [02-42]
2644 (=jis-x0213-1-2000 . #x2D79) ; &I-JX1-2D79; [13-89]
2645 (=big5 . #xA1E9) ; &I-B-A1E9;
2646 (=ucs@cns . #x22BF) ; &JX1-2D79;
2647 (=ucs@jis . #x22BF) ; &JX1-2D79;
2648 (=ucs@big5 . #x22BF) ; &JX1-2D79;
2650 ((name . "RIGHT TRIANGLE")
2655 '((name . "N-ARY LOGICAL AND")
2656 (general-category symbol math) ; Informative Category
2657 (bidi-category . "ON")
2662 '((name . "N-ARY LOGICAL OR")
2663 (general-category symbol math) ; Informative Category
2664 (bidi-category . "ON")
2669 '((name . "N-ARY INTERSECTION")
2670 (general-category symbol math) ; Informative Category
2671 (bidi-category . "ON")
2676 '((name . "N-ARY UNION")
2677 (general-category symbol math) ; Informative Category
2678 (bidi-category . "ON")
2683 '((name . "DIAMOND OPERATOR")
2684 (general-category symbol math) ; Informative Category
2685 (bidi-category . "ON")
2690 '((name . "DOT OPERATOR")
2691 (general-category symbol math) ; Informative Category
2692 (bidi-category . "ON")
2697 '((name . "STAR OPERATOR")
2698 (general-category symbol math) ; Informative Category
2699 (bidi-category . "ON")
2704 '((name . "DIVISION TIMES")
2705 (general-category symbol math) ; Informative Category
2706 (bidi-category . "ON")
2712 (general-category symbol math) ; Informative Category
2713 (bidi-category . "ON")
2718 '((name . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
2719 (general-category symbol math) ; Informative Category
2720 (bidi-category . "ON")
2725 '((name . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
2726 (general-category symbol math) ; Informative Category
2727 (bidi-category . "ON")
2732 '((name . "LEFT SEMIDIRECT PRODUCT")
2733 (general-category symbol math) ; Informative Category
2734 (bidi-category . "ON")
2739 '((name . "RIGHT SEMIDIRECT PRODUCT")
2740 (general-category symbol math) ; Informative Category
2741 (bidi-category . "ON")
2746 '((name . "REVERSED TILDE EQUALS")
2747 (general-category symbol math) ; Informative Category
2748 (bidi-category . "ON")
2753 '((name . "CURLY LOGICAL OR")
2754 (general-category symbol math) ; Informative Category
2755 (bidi-category . "ON")
2760 '((name . "CURLY LOGICAL AND")
2761 (general-category symbol math) ; Informative Category
2762 (bidi-category . "ON")
2767 '((name . "DOUBLE SUBSET")
2768 (general-category symbol math) ; Informative Category
2769 (bidi-category . "ON")
2774 '((name . "DOUBLE SUPERSET")
2775 (general-category symbol math) ; Informative Category
2776 (bidi-category . "ON")
2781 '((name . "DOUBLE INTERSECTION")
2782 (general-category symbol math) ; Informative Category
2783 (bidi-category . "ON")
2788 '((name . "DOUBLE UNION")
2789 (general-category symbol math) ; Informative Category
2790 (bidi-category . "ON")
2795 '((name . "PITCHFORK")
2796 (general-category symbol math) ; Informative Category
2797 (bidi-category . "ON")
2802 '((name . "EQUAL AND PARALLEL TO")
2803 (general-category symbol math) ; Informative Category
2804 (bidi-category . "ON")
2809 '((name . "LESS-THAN WITH DOT")
2810 (general-category symbol math) ; Informative Category
2811 (bidi-category . "ON")
2816 '((name . "GREATER-THAN WITH DOT")
2817 (general-category symbol math) ; Informative Category
2818 (bidi-category . "ON")
2823 '((name . "VERY MUCH LESS-THAN")
2824 (general-category symbol math) ; Informative Category
2825 (bidi-category . "ON")
2830 '((name . "VERY MUCH GREATER-THAN")
2831 (general-category symbol math) ; Informative Category
2832 (bidi-category . "ON")
2837 '((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
2838 (general-category symbol math) ; Informative Category
2839 (bidi-category . "ON")
2845 ((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
2848 (=jis-x0213-1-2000 . #x2776) ; &JX1-2776; [07-86]
2849 (=ucs@jis . #x22DA) ; &JX1-2776;
2851 ((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
2856 '((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
2857 (general-category symbol math) ; Informative Category
2858 (bidi-category . "ON")
2864 ((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
2867 (=jis-x0213-1-2000 . #x2777) ; &JX1-2777; [07-87]
2868 (=ucs@jis . #x22DB) ; &JX1-2777;
2870 ((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
2875 '((name . "EQUAL TO OR LESS-THAN")
2876 (general-category symbol math) ; Informative Category
2877 (bidi-category . "ON")
2882 '((name . "EQUAL TO OR GREATER-THAN")
2883 (general-category symbol math) ; Informative Category
2884 (bidi-category . "ON")
2889 '((name . "EQUAL TO OR PRECEDES")
2890 (general-category symbol math) ; Informative Category
2891 (bidi-category . "ON")
2896 '((name . "EQUAL TO OR SUCCEEDS")
2897 (general-category symbol math) ; Informative Category
2898 (bidi-category . "ON")
2903 '((name . "DOES NOT PRECEDE OR EQUAL")
2904 (general-category symbol math) ; Informative Category
2905 (bidi-category . "ON")
2908 ((name . "PRECEDES OR EQUAL TO")
2911 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2917 '((name . "DOES NOT SUCCEED OR EQUAL")
2918 (general-category symbol math) ; Informative Category
2919 (bidi-category . "ON")
2922 ((name . "SUCCEEDS OR EQUAL TO")
2925 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2931 '((name . "NOT SQUARE IMAGE OF OR EQUAL TO")
2932 (general-category symbol math) ; Informative Category
2933 (bidi-category . "ON")
2936 ((name . "SQUARE IMAGE OF OR EQUAL TO")
2939 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2945 '((name . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
2946 (general-category symbol math) ; Informative Category
2947 (bidi-category . "ON")
2950 ((name . "SQUARE ORIGINAL OF OR EQUAL TO")
2953 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2959 '((name . "SQUARE IMAGE OF OR NOT EQUAL TO")
2960 (general-category symbol math) ; Informative Category
2961 (bidi-category . "ON")
2966 '((name . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
2967 (general-category symbol math) ; Informative Category
2968 (bidi-category . "ON")
2973 '((name . "LESS-THAN BUT NOT EQUIVALENT TO")
2974 (general-category symbol math) ; Informative Category
2975 (bidi-category . "ON")
2980 '((name . "GREATER-THAN BUT NOT EQUIVALENT TO")
2981 (general-category symbol math) ; Informative Category
2982 (bidi-category . "ON")
2987 '((name . "PRECEDES BUT NOT EQUIVALENT TO")
2988 (general-category symbol math) ; Informative Category
2989 (bidi-category . "ON")
2994 '((name . "SUCCEEDS BUT NOT EQUIVALENT TO")
2995 (general-category symbol math) ; Informative Category
2996 (bidi-category . "ON")
3001 '((name . "NOT NORMAL SUBGROUP OF")
3002 (general-category symbol math) ; Informative Category
3003 (bidi-category . "ON")
3006 ((name . "NORMAL SUBGROUP OF")
3009 ((name . "COMBINING LONG SOLIDUS OVERLAY")
3015 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
3016 (general-category symbol math) ; Informative Category
3017 (bidi-category . "ON")
3020 ((name . "CONTAINS AS NORMAL SUBGROUP")
3023 ((name . "COMBINING LONG SOLIDUS OVERLAY")
3029 '((name . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
3030 (general-category symbol math) ; Informative Category
3031 (bidi-category . "ON")
3034 ((name . "NORMAL SUBGROUP OF OR EQUAL TO")
3037 ((name . "COMBINING LONG SOLIDUS OVERLAY")
3043 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
3044 (general-category symbol math) ; Informative Category
3045 (bidi-category . "ON")
3048 ((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
3051 ((name . "COMBINING LONG SOLIDUS OVERLAY")
3057 '((name . "VERTICAL ELLIPSIS")
3058 (general-category symbol math) ; Informative Category
3059 (bidi-category . "ON")
3064 '((name . "MIDLINE HORIZONTAL ELLIPSIS")
3065 (general-category symbol math) ; Informative Category
3066 (bidi-category . "ON")
3071 '((name . "UP RIGHT DIAGONAL ELLIPSIS")
3072 (general-category symbol math) ; Informative Category
3073 (bidi-category . "ON")
3078 '((name . "DOWN RIGHT DIAGONAL ELLIPSIS")
3079 (general-category symbol math) ; Informative Category
3080 (bidi-category . "ON")