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 (=jis-x0213-1 . #x224F) ; &I-JX1-224F; [02-47]
18 (=jef-china3 . #x7FDC) ; &I-JC3-7FDC;
19 (=ucs@jis . #x2200) ; &J90-224F;
20 (=ucs@ks . #x2200) ; &J90-224F;
27 '((name . "COMPLEMENT")
28 (general-category symbol math) ; Informative Category
29 (bidi-category . "ON")
34 '((name . "PARTIAL DIFFERENTIAL")
35 (general-category symbol math) ; Informative Category
36 (bidi-category . "ON")
42 ((name . "PARTIAL DIFFERENTIAL")
45 (=jis-x0208@1983 . #x225F) ; &J90-225F; [02-63]
46 (=ks-x1001 . #x2153) ; &I-K0-2153; [01-51]
47 (=jis-x0208@1990 . #x225F) ; &I-J90-225F; [02-63]
48 (=jis-x0213-1 . #x225F) ; &I-JX1-225F; [02-63]
49 (=jef-china3 . #x7FE1) ; &I-JC3-7FE1;
50 (=ucs@jis . #x2202) ; &J90-225F;
51 (=ucs@ks . #x2202) ; &J90-225F;
53 ((name . "PARTIAL DIFFERENTIAL")
58 '((name . "THERE EXISTS")
59 (general-category symbol math) ; Informative Category
60 (bidi-category . "ON")
66 ((name . "THERE EXISTS")
69 (=jis-x0208@1983 . #x2250) ; &J90-2250; [02-48]
70 (=ks-x1001 . #x2224) ; &I-K0-2224; [02-04]
71 (=jis-x0208@1990 . #x2250) ; &I-J90-2250; [02-48]
72 (=jis-x0213-1 . #x2250) ; &I-JX1-2250; [02-48]
73 (=jef-china3 . #x7FDD) ; &I-JC3-7FDD;
74 (=ucs@jis . #x2203) ; &J90-2250;
75 (=ucs@ks . #x2203) ; &J90-2250;
77 ((name . "THERE EXISTS")
82 '((name . "THERE DOES NOT EXIST")
83 (general-category symbol math) ; Informative Category
84 (bidi-category . "ON")
87 ((name . "THERE EXISTS")
90 ((name . "COMBINING LONG SOLIDUS OVERLAY")
96 '((name . "EMPTY SET")
97 (general-category symbol math) ; Informative Category
98 (bidi-category . "ON")
104 ((name . "EMPTY SET")
107 (=jis-x0213-1 . #x2247) ; &JX1-2247; [02-39]
108 (=ucs@jis . #x2205) ; &JX1-2247;
110 ((name . "EMPTY SET")
115 '((name . "INCREMENT")
116 (general-category symbol math) ; Informative Category
117 (bidi-category . "ON")
123 (general-category symbol math) ; Informative Category
124 (bidi-category . "ON")
133 (=jis-x0208@1983 . #x2260) ; &J90-2260; [02-64]
134 (=ks-x1001 . #x2154) ; &I-K0-2154; [01-52]
135 (=jis-x0208@1990 . #x2260) ; &I-J90-2260; [02-64]
136 (=jis-x0213-1 . #x2260) ; &I-JX1-2260; [02-64]
137 (=jef-china3 . #x7FE2) ; &I-JC3-7FE2;
138 (=ucs@jis . #x2207) ; &J90-2260;
139 (=ucs@ks . #x2207) ; &J90-2260;
146 '((name . "ELEMENT OF")
147 (general-category symbol math) ; Informative Category
148 (bidi-category . "ON")
154 ((name . "ELEMENT OF")
157 (=gb2312 . #x214A) ; &J90-223A; [01-42]
158 (=jis-x0208@1983 . #x223A) ; &I-J83-223A; [02-26]
159 (=ks-x1001 . #x2174) ; &I-K0-2174; [01-84]
160 (=jis-x0208@1990 . #x223A) ; &I-J90-223A; [02-26]
161 (=jis-x0213-1 . #x223A) ; &I-JX1-223A; [02-26]
162 (=jef-china3 . #x7FD0) ; &I-JC3-7FD0;
163 (=ucs@gb . #x2208) ; &J90-223A;
164 (=ucs@jis . #x2208) ; &J90-223A;
165 (=ucs@ks . #x2208) ; &J90-223A;
167 ((name . "ELEMENT OF")
172 '((name . "NOT AN ELEMENT OF")
173 (general-category symbol math) ; Informative Category
174 (bidi-category . "ON")
177 ((name . "ELEMENT OF")
180 ((name . "COMBINING LONG SOLIDUS OVERLAY")
187 ((name . "NOT AN ELEMENT OF")
190 (=jis-x0213-1 . #x2246) ; &JX1-2246; [02-38]
191 (=ucs@jis . #x2209) ; &JX1-2246;
193 ((name . "NOT AN ELEMENT OF")
198 '((name . "SMALL ELEMENT OF")
199 (general-category symbol math) ; Informative Category
200 (bidi-category . "ON")
205 '((name . "CONTAINS AS MEMBER")
206 (general-category symbol math) ; Informative Category
207 (bidi-category . "ON")
213 ((name . "CONTAINS AS MEMBER")
216 (=jis-x0208@1983 . #x223B) ; &J90-223B; [02-27]
217 (=ks-x1001 . #x2175) ; &I-K0-2175; [01-85]
218 (=jis-x0208@1990 . #x223B) ; &I-J90-223B; [02-27]
219 (=jis-x0213-1 . #x223B) ; &I-JX1-223B; [02-27]
220 (=jef-china3 . #x7FD1) ; &I-JC3-7FD1;
221 (=ucs@jis . #x220B) ; &J90-223B;
222 (=ucs@ks . #x220B) ; &J90-223B;
224 ((name . "CONTAINS AS MEMBER")
229 '((name . "DOES NOT CONTAIN AS MEMBER")
230 (general-category symbol math) ; Informative Category
231 (bidi-category . "ON")
234 ((name . "CONTAINS AS MEMBER")
237 ((name . "COMBINING LONG SOLIDUS OVERLAY")
243 '((name . "SMALL CONTAINS AS MEMBER")
244 (general-category symbol math) ; Informative Category
245 (bidi-category . "ON")
250 '((name . "END OF PROOF")
251 (general-category symbol math) ; Informative Category
252 (bidi-category . "ON")
257 '((name . "N-ARY PRODUCT")
258 (general-category symbol math) ; Informative Category
259 (bidi-category . "ON")
265 ((name . "N-ARY PRODUCT")
268 (=gb2312 . #x2147) ; &K0-2233; [01-39]
269 (=ks-x1001 . #x2233) ; &I-K0-2233; [02-19]
270 (=ucs@gb . #x220F) ; &K0-2233;
271 (=ucs@ks . #x220F) ; &K0-2233;
273 ((name . "N-ARY PRODUCT")
278 '((name . "N-ARY COPRODUCT")
279 (general-category symbol math) ; Informative Category
280 (bidi-category . "ON")
285 '((name . "N-ARY SUMMATION")
286 (general-category symbol math) ; Informative Category
287 (bidi-category . "ON")
293 ((name . "N-ARY SUMMATION")
296 (=gb2312 . #x2146) ; &K0-2232; [01-38]
297 (=ks-x1001 . #x2232) ; &I-K0-2232; [02-18]
298 (=ucs@gb . #x2211) ; &K0-2232;
299 (=ucs@ks . #x2211) ; &K0-2232;
301 ((name . "N-ARY SUMMATION")
306 '((name . "MINUS SIGN")
307 (general-category symbol math) ; Informative Category
308 (bidi-category . "ET")
314 ((name . "MINUS SIGN")
317 (=jis-x0208 . #x215D) ; &J90-215D; [01-61]
318 (=jis-x0213-1 . #x215D) ; &I-JX1-215D; [01-61]
319 (=ucs@jis . #x2212) ; &J90-215D;
321 ((name . "MINUS SIGN")
326 '((name . "MINUS-OR-PLUS SIGN")
327 (general-category symbol math) ; Informative Category
328 (bidi-category . "ET")
334 ((name . "MINUS-OR-PLUS SIGN")
337 (=jis-x0213-1 . #x235B) ; &JX1-235B; [03-59]
338 (=ucs@jis . #x2213) ; &JX1-235B;
340 ((name . "MINUS-OR-PLUS SIGN")
345 '((name . "DOT PLUS")
346 (general-category symbol math) ; Informative Category
347 (bidi-category . "ON")
352 '((name . "DIVISION SLASH")
353 (general-category symbol math) ; Informative Category
354 (bidi-category . "ON")
360 ((name . "DIVISION SLASH")
363 (=cns11643-1 . #x2261) ; &C1-2261; [02-65]
364 (=big5 . #xA241) ; &I-B-A241;
365 (=ucs@cns . #x2215) ; &C1-2261;
366 (=ucs@big5 . #x2215) ; &C1-2261;
368 ((name . "DIVISION SLASH")
373 '((name . "SET MINUS")
374 (general-category symbol math) ; Informative Category
375 (bidi-category . "ON")
380 '((name . "ASTERISK OPERATOR")
381 (general-category symbol math) ; Informative Category
382 (bidi-category . "ON")
387 '((name . "RING OPERATOR")
388 (general-category symbol math) ; Informative Category
389 (bidi-category . "ON")
394 '((name . "BULLET OPERATOR")
395 (general-category symbol math) ; Informative Category
396 (bidi-category . "ON")
401 '((name . "SQUARE ROOT")
402 (general-category symbol math) ; Informative Category
403 (bidi-category . "ON")
409 ((name . "SQUARE ROOT")
412 (=gb2312 . #x214C) ; &J90-2265; [01-44]
413 (=jis-x0208@1983 . #x2265) ; &I-J83-2265; [02-69]
414 (=ks-x1001 . #x216E) ; &I-K0-216E; [01-78]
415 (=jis-x0208@1990 . #x2265) ; &I-J90-2265; [02-69]
416 (=cns11643-1 . #x2235) ; &I-C1-2235; [02-21]
417 (=jis-x0213-1 . #x2265) ; &I-JX1-2265; [02-69]
418 (=big5 . #xA1D4) ; &I-B-A1D4;
419 (=ucs@gb . #x221A) ; &J90-2265;
420 (=ucs@cns . #x221A) ; &J90-2265;
421 (=ucs@jis . #x221A) ; &J90-2265;
422 (=ucs@ks . #x221A) ; &J90-2265;
423 (=ucs@big5 . #x221A) ; &J90-2265;
425 ((name . "SQUARE ROOT")
430 '((name . "CUBE ROOT")
431 (general-category symbol math) ; Informative Category
432 (bidi-category . "ON")
437 '((name . "FOURTH ROOT")
438 (general-category symbol math) ; Informative Category
439 (bidi-category . "ON")
444 '((name . "PROPORTIONAL TO")
445 (general-category symbol math) ; Informative Category
446 (bidi-category . "ON")
452 ((name . "PROPORTIONAL TO")
455 (=gb2312 . #x2158) ; &J90-2267; [01-56]
456 (=jis-x0208@1983 . #x2267) ; &I-J83-2267; [02-71]
457 (=ks-x1001 . #x2170) ; &I-K0-2170; [01-80]
458 (=jis-x0208@1990 . #x2267) ; &I-J90-2267; [02-71]
459 (=jis-x0213-1 . #x2267) ; &I-JX1-2267; [02-71]
460 (=jef-china3 . #x7FE7) ; &I-JC3-7FE7;
461 (=ucs@gb . #x221D) ; &J90-2267;
462 (=ucs@jis . #x221D) ; &J90-2267;
463 (=ucs@ks . #x221D) ; &J90-2267;
465 ((name . "PROPORTIONAL TO")
470 '((name . "INFINITY")
471 (general-category symbol math) ; Informative Category
472 (bidi-category . "ON")
481 (=jis-x0208 . #x2167) ; &J90-2167; [01-71]
482 (=gb2312 . #x215E) ; &I-G0-215E; [01-62]
483 (=ks-x1001 . #x2144) ; &I-K0-2144; [01-36]
484 (=cns11643-1 . #x223C) ; &I-C1-223C; [02-28]
485 (=jis-x0213-1 . #x2167) ; &I-JX1-2167; [01-71]
486 (=big5 . #xA1DB) ; &I-B-A1DB;
487 (=ucs@gb . #x221E) ; &J90-2167;
488 (=ucs@cns . #x221E) ; &J90-2167;
489 (=ucs@jis . #x221E) ; &J90-2167;
490 (=ucs@ks . #x221E) ; &J90-2167;
491 (=ucs@big5 . #x221E) ; &J90-2167;
498 '((name . "RIGHT ANGLE")
499 (general-category symbol math) ; Informative Category
500 (bidi-category . "ON")
506 ((name . "RIGHT ANGLE")
509 (=cns11643-1 . #x2249) ; &JX1-2D78; [02-41]
510 (=jis-x0213-1 . #x2D78) ; &I-JX1-2D78; [13-88]
511 (=big5 . #xA1E8) ; &I-B-A1E8;
512 (=ucs@cns . #x221F) ; &JX1-2D78;
513 (=ucs@jis . #x221F) ; &JX1-2D78;
514 (=ucs@big5 . #x221F) ; &JX1-2D78;
516 ((name . "RIGHT ANGLE")
522 (general-category symbol math) ; Informative Category
523 (bidi-category . "ON")
532 (=gb2312 . #x214F) ; &J90-225C; [01-47]
533 (=jis-x0208@1983 . #x225C) ; &I-J83-225C; [02-60]
534 (=ks-x1001 . #x2150) ; &I-K0-2150; [01-48]
535 (=jis-x0208@1990 . #x225C) ; &I-J90-225C; [02-60]
536 (=cns11643-1 . #x2248) ; &I-C1-2248; [02-40]
537 (=jis-x0213-1 . #x225C) ; &I-JX1-225C; [02-60]
538 (=big5 . #xA1E7) ; &I-B-A1E7;
539 (=jef-china3 . #x7FDE) ; &I-JC3-7FDE;
540 (=ucs@gb . #x2220) ; &J90-225C;
541 (=ucs@cns . #x2220) ; &J90-225C;
542 (=ucs@jis . #x2220) ; &J90-225C;
543 (=ucs@ks . #x2220) ; &J90-225C;
544 (=ucs@big5 . #x2220) ; &J90-225C;
551 '((name . "MEASURED ANGLE")
552 (general-category symbol math) ; Informative Category
553 (bidi-category . "ON")
558 '((name . "SPHERICAL ANGLE")
559 (general-category symbol math) ; Informative Category
560 (bidi-category . "ON")
566 (general-category symbol math) ; Informative Category
567 (bidi-category . "ON")
576 (=big5 . #xA1FD) ; &B-A1FD;
577 (=ucs@big5 . #x2223) ; &B-A1FD;
584 '((name . "DOES NOT DIVIDE")
585 (general-category symbol math) ; Informative Category
586 (bidi-category . "ON")
592 ((name . "COMBINING LONG SOLIDUS OVERLAY")
598 '((name . "PARALLEL TO")
599 (general-category symbol math) ; Informative Category
600 (bidi-category . "ON")
606 ((name . "PARALLEL TO")
609 (=gb2312 . #x214E) ; &JX1-2254; [01-46]
610 (=ks-x1001 . #x212B) ; &I-K0-212B; [01-11]
611 (=jis-x0213-1 . #x2254) ; &I-JX1-2254; [02-52]
612 (=big5 . #xA1FC) ; &I-B-A1FC;
613 (=ucs@gb . #x2225) ; &JX1-2254;
614 (=ucs@jis . #x2225) ; &JX1-2254;
615 (=ucs@ks . #x2225) ; &JX1-2254;
616 (=ucs@big5 . #x2225) ; &JX1-2254;
618 ((name . "PARALLEL TO")
623 '((name . "NOT PARALLEL TO")
624 (general-category symbol math) ; Informative Category
625 (bidi-category . "ON")
628 ((name . "PARALLEL TO")
631 ((name . "COMBINING LONG SOLIDUS OVERLAY")
638 ((name . "NOT PARALLEL TO")
641 (=jis-x0213-1 . #x2255) ; &JX1-2255; [02-53]
642 (=ucs@jis . #x2226) ; &JX1-2255;
644 ((name . "NOT PARALLEL TO")
649 '((name . "LOGICAL AND")
650 (general-category symbol math) ; Informative Category
651 (bidi-category . "ON")
657 ((name . "LOGICAL AND")
660 (=gb2312 . #x2144) ; &J90-224A; [01-36]
661 (=jis-x0208@1983 . #x224A) ; &I-J83-224A; [02-42]
662 (=ks-x1001 . #x217C) ; &I-K0-217C; [01-92]
663 (=jis-x0208@1990 . #x224A) ; &I-J90-224A; [02-42]
664 (=jis-x0213-1 . #x224A) ; &I-JX1-224A; [02-42]
665 (=jef-china3 . #x7FD8) ; &I-JC3-7FD8;
666 (=ucs@gb . #x2227) ; &J90-224A;
667 (=ucs@jis . #x2227) ; &J90-224A;
668 (=ucs@ks . #x2227) ; &J90-224A;
670 ((name . "LOGICAL AND")
675 '((name . "LOGICAL OR")
676 (general-category symbol math) ; Informative Category
677 (bidi-category . "ON")
683 ((name . "LOGICAL OR")
686 (=gb2312 . #x2145) ; &J90-224B; [01-37]
687 (=jis-x0208@1983 . #x224B) ; &I-J83-224B; [02-43]
688 (=ks-x1001 . #x217D) ; &I-K0-217D; [01-93]
689 (=jis-x0208@1990 . #x224B) ; &I-J90-224B; [02-43]
690 (=jis-x0213-1 . #x224B) ; &I-JX1-224B; [02-43]
691 (=jef-china3 . #x7FD9) ; &I-JC3-7FD9;
692 (=ucs@gb . #x2228) ; &J90-224B;
693 (=ucs@jis . #x2228) ; &J90-224B;
694 (=ucs@ks . #x2228) ; &J90-224B;
696 ((name . "LOGICAL OR")
701 '((name . "INTERSECTION")
702 (general-category symbol math) ; Informative Category
703 (bidi-category . "ON")
709 ((name . "INTERSECTION")
712 (=gb2312 . #x2149) ; &J90-2241; [01-41]
713 (=jis-x0208@1983 . #x2241) ; &I-J83-2241; [02-33]
714 (=ks-x1001 . #x217B) ; &I-K0-217B; [01-91]
715 (=jis-x0208@1990 . #x2241) ; &I-J90-2241; [02-33]
716 (=cns11643-1 . #x2245) ; &I-C1-2245; [02-37]
717 (=jis-x0213-1 . #x2241) ; &I-JX1-2241; [02-33]
718 (=big5 . #xA1E4) ; &I-B-A1E4;
719 (=jef-china3 . #x7FD7) ; &I-JC3-7FD7;
720 (=ucs@gb . #x2229) ; &J90-2241;
721 (=ucs@cns . #x2229) ; &J90-2241;
722 (=ucs@jis . #x2229) ; &J90-2241;
723 (=ucs@ks . #x2229) ; &J90-2241;
724 (=ucs@big5 . #x2229) ; &J90-2241;
726 ((name . "INTERSECTION")
732 (general-category symbol math) ; Informative Category
733 (bidi-category . "ON")
742 (=gb2312 . #x2148) ; &J90-2240; [01-40]
743 (=jis-x0208@1983 . #x2240) ; &I-J83-2240; [02-32]
744 (=ks-x1001 . #x217A) ; &I-K0-217A; [01-90]
745 (=jis-x0208@1990 . #x2240) ; &I-J90-2240; [02-32]
746 (=cns11643-1 . #x2246) ; &I-C1-2246; [02-38]
747 (=jis-x0213-1 . #x2240) ; &I-JX1-2240; [02-32]
748 (=big5 . #xA1E5) ; &I-B-A1E5;
749 (=jef-china3 . #x7FD6) ; &I-JC3-7FD6;
750 (=ucs@gb . #x222A) ; &J90-2240;
751 (=ucs@cns . #x222A) ; &J90-2240;
752 (=ucs@jis . #x222A) ; &J90-2240;
753 (=ucs@ks . #x222A) ; &J90-2240;
754 (=ucs@big5 . #x222A) ; &J90-2240;
761 '((name . "INTEGRAL")
762 (general-category symbol math) ; Informative Category
763 (bidi-category . "ON")
772 (=gb2312 . #x2152) ; &J90-2269; [01-50]
773 (=jis-x0208@1983 . #x2269) ; &I-J83-2269; [02-73]
774 (=ks-x1001 . #x2172) ; &I-K0-2172; [01-82]
775 (=jis-x0208@1990 . #x2269) ; &I-J90-2269; [02-73]
776 (=cns11643-1 . #x224D) ; &I-C1-224D; [02-45]
777 (=jis-x0213-1 . #x2269) ; &I-JX1-2269; [02-73]
778 (=big5 . #xA1EC) ; &I-B-A1EC;
779 (=jef-china3 . #x7FE8) ; &I-JC3-7FE8;
780 (=ucs@gb . #x222B) ; &J90-2269;
781 (=ucs@cns . #x222B) ; &J90-2269;
782 (=ucs@jis . #x222B) ; &J90-2269;
783 (=ucs@ks . #x222B) ; &J90-2269;
784 (=ucs@big5 . #x222B) ; &J90-2269;
791 '((name . "DOUBLE INTEGRAL")
792 (general-category symbol math) ; Informative Category
793 (bidi-category . "ON")
795 (=>decomposition@compat
806 ((name . "DOUBLE INTEGRAL")
809 (=jis-x0208@1983 . #x226A) ; &J90-226A; [02-74]
810 (=ks-x1001 . #x2173) ; &I-K0-2173; [01-83]
811 (=jis-x0208@1990 . #x226A) ; &I-J90-226A; [02-74]
812 (=jis-x0213-1 . #x226A) ; &I-JX1-226A; [02-74]
813 (=jef-china3 . #x7FE9) ; &I-JC3-7FE9;
814 (=ucs@jis . #x222C) ; &J90-226A;
815 (=ucs@ks . #x222C) ; &J90-226A;
817 ((name . "DOUBLE INTEGRAL")
822 '((name . "TRIPLE INTEGRAL")
823 (general-category symbol math) ; Informative Category
824 (bidi-category . "ON")
826 (=>decomposition@compat
839 '((name . "CONTOUR INTEGRAL")
840 (general-category symbol math) ; Informative Category
841 (bidi-category . "ON")
847 ((name . "CONTOUR INTEGRAL")
850 (=gb2312 . #x2153) ; &JX1-2D73; [01-51]
851 (=ks-x1001 . #x2231) ; &I-K0-2231; [02-17]
852 (=cns11643-1 . #x224E) ; &I-C1-224E; [02-46]
853 (=jis-x0213-1 . #x2D73) ; &I-JX1-2D73; [13-83]
854 (=big5 . #xA1ED) ; &I-B-A1ED;
855 (=ucs@gb . #x222E) ; &JX1-2D73;
856 (=ucs@cns . #x222E) ; &JX1-2D73;
857 (=ucs@jis . #x222E) ; &JX1-2D73;
858 (=ucs@ks . #x222E) ; &JX1-2D73;
859 (=ucs@big5 . #x222E) ; &JX1-2D73;
861 ((name . "CONTOUR INTEGRAL")
866 '((name . "SURFACE INTEGRAL")
867 (general-category symbol math) ; Informative Category
868 (bidi-category . "ON")
870 (=>decomposition@compat
871 ((name . "CONTOUR INTEGRAL")
874 ((name . "CONTOUR INTEGRAL")
880 '((name . "VOLUME INTEGRAL")
881 (general-category symbol math) ; Informative Category
882 (bidi-category . "ON")
884 (=>decomposition@compat
885 ((name . "CONTOUR INTEGRAL")
888 ((name . "CONTOUR INTEGRAL")
891 ((name . "CONTOUR INTEGRAL")
897 '((name . "CLOCKWISE INTEGRAL")
898 (general-category symbol math) ; Informative Category
899 (bidi-category . "ON")
904 '((name . "CLOCKWISE CONTOUR INTEGRAL")
905 (general-category symbol math) ; Informative Category
906 (bidi-category . "ON")
911 '((name . "ANTICLOCKWISE CONTOUR INTEGRAL")
912 (general-category symbol math) ; Informative Category
913 (bidi-category . "ON")
918 '((name . "THEREFORE")
919 (general-category symbol math) ; Informative Category
920 (bidi-category . "ON")
926 ((name . "THEREFORE")
929 (=jis-x0208 . #x2168) ; &J90-2168; [01-72]
930 (=gb2312 . #x2160) ; &I-G0-2160; [01-64]
931 (=ks-x1001 . #x2145) ; &I-K0-2145; [01-37]
932 (=cns11643-1 . #x2250) ; &I-C1-2250; [02-48]
933 (=jis-x0213-1 . #x2168) ; &I-JX1-2168; [01-72]
934 (=big5 . #xA1EF) ; &I-B-A1EF;
935 (=ucs@gb . #x2234) ; &J90-2168;
936 (=ucs@cns . #x2234) ; &J90-2168;
937 (=ucs@jis . #x2234) ; &J90-2168;
938 (=ucs@ks . #x2234) ; &J90-2168;
939 (=ucs@big5 . #x2234) ; &J90-2168;
941 ((name . "THEREFORE")
947 (general-category symbol math) ; Informative Category
948 (bidi-category . "ON")
957 (=gb2312 . #x215F) ; &J90-2268; [01-63]
958 (=jis-x0208@1983 . #x2268) ; &I-J83-2268; [02-72]
959 (=ks-x1001 . #x2171) ; &I-K0-2171; [01-81]
960 (=jis-x0208@1990 . #x2268) ; &I-J90-2268; [02-72]
961 (=cns11643-1 . #x224F) ; &I-C1-224F; [02-47]
962 (=jis-x0213-1 . #x2268) ; &I-JX1-2268; [02-72]
963 (=big5 . #xA1EE) ; &I-B-A1EE;
964 (=ucs@gb . #x2235) ; &J90-2268;
965 (=ucs@cns . #x2235) ; &J90-2268;
966 (=ucs@jis . #x2235) ; &J90-2268;
967 (=ucs@ks . #x2235) ; &J90-2268;
968 (=ucs@big5 . #x2235) ; &J90-2268;
976 (general-category symbol math) ; Informative Category
977 (bidi-category . "ON")
986 (=gb2312 . #x2143) ; &G0-2143; [01-35]
987 (=ucs@gb . #x2236) ; &G0-2143;
994 '((name . "PROPORTION")
995 (general-category symbol math) ; Informative Category
996 (bidi-category . "ON")
1002 ((name . "PROPORTION")
1005 (=gb2312 . #x214B) ; &G0-214B; [01-43]
1006 (=ucs@gb . #x2237) ; &G0-214B;
1008 ((name . "PROPORTION")
1013 '((name . "DOT MINUS")
1014 (general-category symbol math) ; Informative Category
1015 (bidi-category . "ON")
1021 (general-category symbol math) ; Informative Category
1022 (bidi-category . "ON")
1027 '((name . "GEOMETRIC PROPORTION")
1028 (general-category symbol math) ; Informative Category
1029 (bidi-category . "ON")
1034 '((name . "HOMOTHETIC")
1035 (general-category symbol math) ; Informative Category
1036 (bidi-category . "ON")
1041 '((name . "TILDE OPERATOR")
1042 (general-category symbol math) ; Informative Category
1043 (bidi-category . "ON")
1049 ((name . "TILDE OPERATOR")
1052 (=ks-x1001 . #x212D) ; &C1-2244; [01-13]
1053 (=cns11643-1 . #x2244) ; &I-C1-2244; [02-36]
1054 (=big5 . #xA1E3) ; &I-B-A1E3;
1055 (=ucs@cns . #xFF5E) ; &C1-2244;
1056 (=ucs@ks . #x223C) ; &C1-2244;
1057 (=ucs@big5 . #xFF5E) ; &C1-2244;
1059 ((name . "TILDE OPERATOR")
1064 '((name . "REVERSED TILDE")
1065 (general-category symbol math) ; Informative Category
1066 (bidi-category . "ON")
1068 (iso-10646-comment . "lazy S")
1073 ((name . "REVERSED TILDE")
1076 (=gb2312 . #x2157) ; &J90-2266; [01-55]
1077 (=jis-x0208@1983 . #x2266) ; &I-J83-2266; [02-70]
1078 (=ks-x1001 . #x216F) ; &I-K0-216F; [01-79]
1079 (=jis-x0208@1990 . #x2266) ; &I-J90-2266; [02-70]
1080 (=jis-x0213-1 . #x2266) ; &I-JX1-2266; [02-70]
1081 (=jef-china3 . #x7FE6) ; &I-JC3-7FE6;
1082 (=ucs@gb . #x223D) ; &J90-2266;
1083 (=ucs@jis . #x223D) ; &J90-2266;
1084 (=ucs@ks . #x223D) ; &J90-2266;
1086 ((name . "REVERSED TILDE")
1091 '((name . "INVERTED LAZY S")
1092 (general-category symbol math) ; Informative Category
1093 (bidi-category . "ON")
1098 '((name . "SINE WAVE")
1099 (general-category symbol math) ; Informative Category
1100 (bidi-category . "ON")
1105 '((name . "WREATH PRODUCT")
1106 (general-category symbol math) ; Informative Category
1107 (bidi-category . "ON")
1112 '((name . "NOT TILDE")
1113 (general-category symbol math) ; Informative Category
1114 (bidi-category . "ON")
1117 ((name . "TILDE OPERATOR")
1120 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1126 '((name . "MINUS TILDE")
1127 (general-category symbol math) ; Informative Category
1128 (bidi-category . "ON")
1133 '((name . "ASYMPTOTICALLY EQUAL TO")
1134 (general-category symbol math) ; Informative Category
1135 (bidi-category . "ON")
1141 ((name . "ASYMPTOTICALLY EQUAL TO")
1144 (=jis-x0213-1 . #x226C) ; &JX1-226C; [02-76]
1145 (=ucs@jis . #x2243) ; &JX1-226C;
1147 ((name . "ASYMPTOTICALLY EQUAL TO")
1152 '((name . "NOT ASYMPTOTICALLY EQUAL TO")
1153 (general-category symbol math) ; Informative Category
1154 (bidi-category . "ON")
1157 ((name . "ASYMPTOTICALLY EQUAL TO")
1160 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1166 '((name . "APPROXIMATELY EQUAL TO")
1167 (general-category symbol math) ; Informative Category
1168 (bidi-category . "ON")
1174 ((name . "APPROXIMATELY EQUAL TO")
1177 (=jis-x0213-1 . #x226D) ; &JX1-226D; [02-77]
1178 (=ucs@jis . #x2245) ; &JX1-226D;
1180 ((name . "APPROXIMATELY EQUAL TO")
1185 '((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
1186 (general-category symbol math) ; Informative Category
1187 (bidi-category . "ON")
1192 '((name . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
1193 (general-category symbol math) ; Informative Category
1194 (bidi-category . "ON")
1197 ((name . "APPROXIMATELY EQUAL TO")
1200 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1206 '((name . "ALMOST EQUAL TO")
1207 (general-category symbol math) ; Informative Category
1208 (bidi-category . "ON")
1214 ((name . "ALMOST EQUAL TO")
1217 (=gb2312 . #x2156) ; &JX1-226E; [01-54]
1218 (=jis-x0213-1 . #x226E) ; &I-JX1-226E; [02-78]
1219 (=ucs@gb . #x2248) ; &JX1-226E;
1220 (=ucs@jis . #x2248) ; &JX1-226E;
1222 ((name . "ALMOST EQUAL TO")
1227 '((name . "NOT ALMOST EQUAL TO")
1228 (general-category symbol math) ; Informative Category
1229 (bidi-category . "ON")
1232 ((name . "ALMOST EQUAL TO")
1235 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1241 '((name . "ALMOST EQUAL OR EQUAL TO")
1242 (general-category symbol math) ; Informative Category
1243 (bidi-category . "ON")
1248 '((name . "TRIPLE TILDE")
1249 (general-category symbol math) ; Informative Category
1250 (bidi-category . "ON")
1255 '((name . "ALL EQUAL TO")
1256 (general-category symbol math) ; Informative Category
1257 (bidi-category . "ON")
1263 ((name . "ALL EQUAL TO")
1266 (=gb2312 . #x2155) ; &G0-2155; [01-53]
1267 (=ucs@gb . #x224C) ; &G0-2155;
1269 ((name . "ALL EQUAL TO")
1274 '((name . "EQUIVALENT TO")
1275 (general-category symbol math) ; Informative Category
1276 (bidi-category . "ON")
1281 '((name . "GEOMETRICALLY EQUIVALENT TO")
1282 (general-category symbol math) ; Informative Category
1283 (bidi-category . "ON")
1288 '((name . "DIFFERENCE BETWEEN")
1289 (general-category symbol math) ; Informative Category
1290 (bidi-category . "ON")
1295 '((name . "APPROACHES THE LIMIT")
1296 (general-category symbol math) ; Informative Category
1297 (bidi-category . "ON")
1302 '((name . "GEOMETRICALLY EQUAL TO")
1303 (general-category symbol math) ; Informative Category
1304 (bidi-category . "ON")
1309 '((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1310 (general-category symbol math) ; Informative Category
1311 (bidi-category . "ON")
1317 ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1320 (=jis-x0208@1983 . #x2262) ; &J90-2262; [02-66]
1321 (=ks-x1001 . #x2156) ; &I-K0-2156; [01-54]
1322 (=jis-x0208@1990 . #x2262) ; &I-J90-2262; [02-66]
1323 (=cns11643-1 . #x223D) ; &I-C1-223D; [02-29]
1324 (=jis-x0213-1 . #x2262) ; &I-JX1-2262; [02-66]
1325 (=big5 . #xA1DC) ; &I-B-A1DC;
1326 (=ucs@cns . #x2252) ; &J90-2262;
1327 (=ucs@jis . #x2252) ; &J90-2262;
1328 (=ucs@ks . #x2252) ; &J90-2262;
1329 (=ucs@big5 . #x2252) ; &J90-2262;
1331 ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1336 '((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
1337 (general-category symbol math) ; Informative Category
1338 (bidi-category . "ON")
1343 '((name . "COLON EQUALS")
1344 (general-category symbol math) ; Informative Category
1345 (bidi-category . "ON")
1350 '((name . "EQUALS COLON")
1351 (general-category symbol math) ; Informative Category
1352 (bidi-category . "ON")
1357 '((name . "RING IN EQUAL TO")
1358 (general-category symbol math) ; Informative Category
1359 (bidi-category . "ON")
1364 '((name . "RING EQUAL TO")
1365 (general-category symbol math) ; Informative Category
1366 (bidi-category . "ON")
1371 '((name . "CORRESPONDS TO")
1372 (general-category symbol math) ; Informative Category
1373 (bidi-category . "ON")
1378 '((name . "ESTIMATES")
1379 (general-category symbol math) ; Informative Category
1380 (bidi-category . "ON")
1385 '((name . "EQUIANGULAR TO")
1386 (general-category symbol math) ; Informative Category
1387 (bidi-category . "ON")
1392 '((name . "STAR EQUALS")
1393 (general-category symbol math) ; Informative Category
1394 (bidi-category . "ON")
1399 '((name . "DELTA EQUAL TO")
1400 (general-category symbol math) ; Informative Category
1401 (bidi-category . "ON")
1406 '((name . "EQUAL TO BY DEFINITION")
1407 (general-category symbol math) ; Informative Category
1408 (bidi-category . "ON")
1413 '((name . "MEASURED BY")
1414 (general-category symbol math) ; Informative Category
1415 (bidi-category . "ON")
1420 '((name . "QUESTIONED EQUAL TO")
1421 (general-category symbol math) ; Informative Category
1422 (bidi-category . "ON")
1427 '((name . "NOT EQUAL TO")
1428 (general-category symbol math) ; Informative Category
1429 (bidi-category . "ON")
1432 ((name . "EQUALS SIGN")
1435 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1442 ((name . "NOT EQUAL TO")
1446 ((name . "FULLWIDTH EQUALS SIGN")
1449 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1452 (=jis-x0208 . #x2162) ; &J90-2162; [01-66]
1453 (=gb2312 . #x2159) ; &I-G0-2159; [01-57]
1454 (=ks-x1001 . #x2141) ; &I-K0-2141; [01-33]
1455 (=cns11643-1 . #x223B) ; &I-C1-223B; [02-27]
1456 (=jis-x0213-1 . #x2162) ; &I-JX1-2162; [01-66]
1457 (=big5 . #xA1DA) ; &I-B-A1DA;
1458 (=ucs@gb . #x2260) ; &J90-2162;
1459 (=ucs@cns . #x2260) ; &J90-2162;
1460 (=ucs@jis . #x2260) ; &J90-2162;
1461 (=ucs@ks . #x2260) ; &J90-2162;
1462 (=ucs@big5 . #x2260) ; &J90-2162;
1464 ((name . "NOT EQUAL TO")
1469 '((name . "IDENTICAL TO")
1470 (general-category symbol math) ; Informative Category
1471 (bidi-category . "ON")
1477 ((name . "IDENTICAL TO")
1480 (=gb2312 . #x2154) ; &J90-2261; [01-52]
1481 (=jis-x0208@1983 . #x2261) ; &I-J83-2261; [02-65]
1482 (=ks-x1001 . #x2155) ; &I-K0-2155; [01-53]
1483 (=jis-x0208@1990 . #x2261) ; &I-J90-2261; [02-65]
1484 (=cns11643-1 . #x223E) ; &I-C1-223E; [02-30]
1485 (=jis-x0213-1 . #x2261) ; &I-JX1-2261; [02-65]
1486 (=big5 . #xA1DD) ; &I-B-A1DD;
1487 (=ucs@gb . #x2261) ; &J90-2261;
1488 (=ucs@cns . #x2261) ; &J90-2261;
1489 (=ucs@jis . #x2261) ; &J90-2261;
1490 (=ucs@ks . #x2261) ; &J90-2261;
1491 (=ucs@big5 . #x2261) ; &J90-2261;
1493 ((name . "IDENTICAL TO")
1498 '((name . "NOT IDENTICAL TO")
1499 (general-category symbol math) ; Informative Category
1500 (bidi-category . "ON")
1503 ((name . "IDENTICAL TO")
1506 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1513 ((name . "NOT IDENTICAL TO")
1517 ((=gb2312 . #x2154) ; &J90-2261; [01-52]
1518 (=jis-x0208@1983 . #x2261) ; &I-J83-2261; [02-65]
1519 (=ks-x1001 . #x2155) ; &I-K0-2155; [01-53]
1520 (=cns11643-1 . #x223E) ; &I-C1-223E; [02-30]
1521 (=jis-x0213-1 . #x2261) ; &I-JX1-2261; [02-65]
1523 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1526 (=jis-x0213-1 . #x226B) ; &JX1-226B; [02-75]
1527 (=ucs@jis . #x2262) ; &JX1-226B;
1529 ((name . "NOT IDENTICAL TO")
1534 '((name . "STRICTLY EQUIVALENT TO")
1535 (general-category symbol math) ; Informative Category
1536 (bidi-category . "ON")
1541 '((name . "LESS-THAN OR EQUAL TO")
1542 (general-category symbol math) ; Informative Category
1543 (bidi-category . "ON")
1549 ((name . "LESS-THAN OR EQUAL TO")
1552 (=gb2312 . #x215C) ; &K0-2142; [01-60]
1553 (=ks-x1001 . #x2142) ; &I-K0-2142; [01-34]
1554 (=ucs@gb . #x2264) ; &K0-2142;
1555 (=ucs@ks . #x2264) ; &K0-2142;
1557 ((name . "LESS-THAN OR EQUAL TO")
1562 '((name . "GREATER-THAN OR EQUAL TO")
1563 (general-category symbol math) ; Informative Category
1564 (bidi-category . "ON")
1570 ((name . "GREATER-THAN OR EQUAL TO")
1573 (=gb2312 . #x215D) ; &K0-2143; [01-61]
1574 (=ks-x1001 . #x2143) ; &I-K0-2143; [01-35]
1575 (=ucs@gb . #x2265) ; &K0-2143;
1576 (=ucs@ks . #x2265) ; &K0-2143;
1578 ((name . "GREATER-THAN OR EQUAL TO")
1583 '((name . "LESS-THAN OVER EQUAL TO")
1584 (general-category symbol math) ; Informative Category
1585 (bidi-category . "ON")
1591 ((name . "LESS-THAN OVER EQUAL TO")
1594 (=jis-x0208 . #x2165) ; &J90-2165; [01-69]
1595 (=cns11643-1 . #x2239) ; &I-C1-2239; [02-25]
1596 (=jis-x0213-1 . #x2165) ; &I-JX1-2165; [01-69]
1597 (=big5 . #xA1D8) ; &I-B-A1D8;
1598 (=ucs@cns . #x2266) ; &J90-2165;
1599 (=ucs@jis . #x2266) ; &J90-2165;
1600 (=ucs@big5 . #x2266) ; &J90-2165;
1602 ((name . "LESS-THAN OVER EQUAL TO")
1607 '((name . "GREATER-THAN OVER EQUAL TO")
1608 (general-category symbol math) ; Informative Category
1609 (bidi-category . "ON")
1615 ((name . "GREATER-THAN OVER EQUAL TO")
1618 (=jis-x0208 . #x2166) ; &J90-2166; [01-70]
1619 (=cns11643-1 . #x223A) ; &I-C1-223A; [02-26]
1620 (=jis-x0213-1 . #x2166) ; &I-JX1-2166; [01-70]
1621 (=big5 . #xA1D9) ; &I-B-A1D9;
1622 (=ucs@cns . #x2267) ; &J90-2166;
1623 (=ucs@jis . #x2267) ; &J90-2166;
1624 (=ucs@big5 . #x2267) ; &J90-2166;
1626 ((name . "GREATER-THAN OVER EQUAL TO")
1631 '((name . "LESS-THAN BUT NOT EQUAL TO")
1632 (general-category symbol math) ; Informative Category
1633 (bidi-category . "ON")
1638 '((name . "GREATER-THAN BUT NOT EQUAL TO")
1639 (general-category symbol math) ; Informative Category
1640 (bidi-category . "ON")
1645 '((name . "MUCH LESS-THAN")
1646 (general-category symbol math) ; Informative Category
1647 (bidi-category . "ON")
1653 ((name . "MUCH LESS-THAN")
1656 (=jis-x0208@1983 . #x2263) ; &J90-2263; [02-67]
1657 (=ks-x1001 . #x216C) ; &I-K0-216C; [01-76]
1658 (=jis-x0208@1990 . #x2263) ; &I-J90-2263; [02-67]
1659 (=jis-x0213-1 . #x2263) ; &I-JX1-2263; [02-67]
1660 (=jef-china3 . #x7FE3) ; &I-JC3-7FE3;
1661 (=ucs@jis . #x226A) ; &J90-2263;
1662 (=ucs@ks . #x226A) ; &J90-2263;
1664 ((name . "MUCH LESS-THAN")
1669 '((name . "MUCH GREATER-THAN")
1670 (general-category symbol math) ; Informative Category
1671 (bidi-category . "ON")
1677 ((name . "MUCH GREATER-THAN")
1680 (=jis-x0208@1983 . #x2264) ; &J90-2264; [02-68]
1681 (=ks-x1001 . #x216D) ; &I-K0-216D; [01-77]
1682 (=jis-x0208@1990 . #x2264) ; &I-J90-2264; [02-68]
1683 (=jis-x0213-1 . #x2264) ; &I-JX1-2264; [02-68]
1684 (=jef-china3 . #x7FE4) ; &I-JC3-7FE4;
1685 (=ucs@jis . #x226B) ; &J90-2264;
1686 (=ucs@ks . #x226B) ; &J90-2264;
1688 ((name . "MUCH GREATER-THAN")
1693 '((name . "BETWEEN")
1694 (general-category symbol math) ; Informative Category
1695 (bidi-category . "ON")
1700 '((name . "NOT EQUIVALENT TO")
1701 (general-category symbol math) ; Informative Category
1702 (bidi-category . "ON")
1705 ((name . "EQUIVALENT TO")
1708 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1714 '((name . "NOT LESS-THAN")
1715 (general-category symbol math) ; Informative Category
1716 (bidi-category . "ON")
1719 ((name . "LESS-THAN SIGN")
1722 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1729 ((name . "NOT LESS-THAN")
1733 ((name . "FULLWIDTH LESS-THAN SIGN")
1736 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1739 (=gb2312 . #x215A) ; &G0-215A; [01-58]
1740 (=ucs@gb . #x226E) ; &G0-215A;
1742 ((name . "NOT LESS-THAN")
1747 '((name . "NOT GREATER-THAN")
1748 (general-category symbol math) ; Informative Category
1749 (bidi-category . "ON")
1752 ((name . "GREATER-THAN SIGN")
1755 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1762 ((name . "NOT GREATER-THAN")
1766 ((name . "FULLWIDTH GREATER-THAN SIGN")
1769 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1772 (=gb2312 . #x215B) ; &G0-215B; [01-59]
1773 (=ucs@gb . #x226F) ; &G0-215B;
1775 ((name . "NOT GREATER-THAN")
1780 '((name . "NEITHER LESS-THAN NOR EQUAL TO")
1781 (general-category symbol math) ; Informative Category
1782 (bidi-category . "ON")
1785 ((name . "LESS-THAN OR EQUAL TO")
1788 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1794 '((name . "NEITHER GREATER-THAN NOR EQUAL TO")
1795 (general-category symbol math) ; Informative Category
1796 (bidi-category . "ON")
1799 ((name . "GREATER-THAN OR EQUAL TO")
1802 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1808 '((name . "LESS-THAN OR EQUIVALENT TO")
1809 (general-category symbol math) ; Informative Category
1810 (bidi-category . "ON")
1815 '((name . "GREATER-THAN OR EQUIVALENT TO")
1816 (general-category symbol math) ; Informative Category
1817 (bidi-category . "ON")
1822 '((name . "NEITHER LESS-THAN NOR EQUIVALENT TO")
1823 (general-category symbol math) ; Informative Category
1824 (bidi-category . "ON")
1827 ((name . "LESS-THAN OR EQUIVALENT TO")
1830 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1836 '((name . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
1837 (general-category symbol math) ; Informative Category
1838 (bidi-category . "ON")
1841 ((name . "GREATER-THAN OR EQUIVALENT TO")
1844 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1850 '((name . "LESS-THAN OR GREATER-THAN")
1851 (general-category symbol math) ; Informative Category
1852 (bidi-category . "ON")
1858 ((name . "LESS-THAN OR GREATER-THAN")
1861 (=jis-x0213-1 . #x226F) ; &JX1-226F; [02-79]
1862 (=ucs@jis . #x2276) ; &JX1-226F;
1864 ((name . "LESS-THAN OR GREATER-THAN")
1869 '((name . "GREATER-THAN OR LESS-THAN")
1870 (general-category symbol math) ; Informative Category
1871 (bidi-category . "ON")
1877 ((name . "GREATER-THAN OR LESS-THAN")
1880 (=jis-x0213-1 . #x2270) ; &JX1-2270; [02-80]
1881 (=ucs@jis . #x2277) ; &JX1-2270;
1883 ((name . "GREATER-THAN OR LESS-THAN")
1888 '((name . "NEITHER LESS-THAN NOR GREATER-THAN")
1889 (general-category symbol math) ; Informative Category
1890 (bidi-category . "ON")
1893 ((name . "LESS-THAN OR GREATER-THAN")
1896 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1902 '((name . "NEITHER GREATER-THAN NOR LESS-THAN")
1903 (general-category symbol math) ; Informative Category
1904 (bidi-category . "ON")
1907 ((name . "GREATER-THAN OR LESS-THAN")
1910 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1916 '((name . "PRECEDES")
1917 (general-category symbol math) ; Informative Category
1918 (bidi-category . "ON")
1923 '((name . "SUCCEEDS")
1924 (general-category symbol math) ; Informative Category
1925 (bidi-category . "ON")
1930 '((name . "PRECEDES OR EQUAL TO")
1931 (general-category symbol math) ; Informative Category
1932 (bidi-category . "ON")
1937 '((name . "SUCCEEDS OR EQUAL TO")
1938 (general-category symbol math) ; Informative Category
1939 (bidi-category . "ON")
1944 '((name . "PRECEDES OR EQUIVALENT TO")
1945 (general-category symbol math) ; Informative Category
1946 (bidi-category . "ON")
1951 '((name . "SUCCEEDS OR EQUIVALENT TO")
1952 (general-category symbol math) ; Informative Category
1953 (bidi-category . "ON")
1958 '((name . "DOES NOT PRECEDE")
1959 (general-category symbol math) ; Informative Category
1960 (bidi-category . "ON")
1963 ((name . "PRECEDES")
1966 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1972 '((name . "DOES NOT SUCCEED")
1973 (general-category symbol math) ; Informative Category
1974 (bidi-category . "ON")
1977 ((name . "SUCCEEDS")
1980 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1986 '((name . "SUBSET OF")
1987 (general-category symbol math) ; Informative Category
1988 (bidi-category . "ON")
1994 ((name . "SUBSET OF")
1997 (=jis-x0208@1983 . #x223E) ; &J90-223E; [02-30]
1998 (=ks-x1001 . #x2178) ; &I-K0-2178; [01-88]
1999 (=jis-x0208@1990 . #x223E) ; &I-J90-223E; [02-30]
2000 (=jis-x0213-1 . #x223E) ; &I-JX1-223E; [02-30]
2001 (=jef-china3 . #x7FD4) ; &I-JC3-7FD4;
2002 (=ucs@jis . #x2282) ; &J90-223E;
2003 (=ucs@ks . #x2282) ; &J90-223E;
2005 ((name . "SUBSET OF")
2010 '((name . "SUPERSET OF")
2011 (general-category symbol math) ; Informative Category
2012 (bidi-category . "ON")
2018 ((name . "SUPERSET OF")
2021 (=jis-x0208@1983 . #x223F) ; &J90-223F; [02-31]
2022 (=ks-x1001 . #x2179) ; &I-K0-2179; [01-89]
2023 (=jis-x0208@1990 . #x223F) ; &I-J90-223F; [02-31]
2024 (=jis-x0213-1 . #x223F) ; &I-JX1-223F; [02-31]
2025 (=jef-china3 . #x7FD5) ; &I-JC3-7FD5;
2026 (=ucs@jis . #x2283) ; &J90-223F;
2027 (=ucs@ks . #x2283) ; &J90-223F;
2029 ((name . "SUPERSET OF")
2034 '((name . "NOT A SUBSET OF")
2035 (general-category symbol math) ; Informative Category
2036 (bidi-category . "ON")
2039 ((name . "SUBSET OF")
2042 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2049 ((name . "NOT A SUBSET OF")
2052 (=jis-x0213-1 . #x2242) ; &JX1-2242; [02-34]
2053 (=ucs@jis . #x2284) ; &JX1-2242;
2055 ((name . "NOT A SUBSET OF")
2060 '((name . "NOT A SUPERSET OF")
2061 (general-category symbol math) ; Informative Category
2062 (bidi-category . "ON")
2065 ((name . "SUPERSET OF")
2068 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2075 ((name . "NOT A SUPERSET OF")
2078 (=jis-x0213-1 . #x2243) ; &JX1-2243; [02-35]
2079 (=ucs@jis . #x2285) ; &JX1-2243;
2081 ((name . "NOT A SUPERSET OF")
2086 '((name . "SUBSET OF OR EQUAL TO")
2087 (general-category symbol math) ; Informative Category
2088 (bidi-category . "ON")
2094 ((name . "SUBSET OF OR EQUAL TO")
2097 (=jis-x0208@1983 . #x223C) ; &J90-223C; [02-28]
2098 (=ks-x1001 . #x2176) ; &I-K0-2176; [01-86]
2099 (=jis-x0208@1990 . #x223C) ; &I-J90-223C; [02-28]
2100 (=jis-x0213-1 . #x223C) ; &I-JX1-223C; [02-28]
2101 (=jef-china3 . #x7FD2) ; &I-JC3-7FD2;
2102 (=ucs@jis . #x2286) ; &J90-223C;
2103 (=ucs@ks . #x2286) ; &J90-223C;
2105 ((name . "SUBSET OF OR EQUAL TO")
2110 '((name . "SUPERSET OF OR EQUAL TO")
2111 (general-category symbol math) ; Informative Category
2112 (bidi-category . "ON")
2118 ((name . "SUPERSET OF OR EQUAL TO")
2121 (=jis-x0208@1983 . #x223D) ; &J90-223D; [02-29]
2122 (=ks-x1001 . #x2177) ; &I-K0-2177; [01-87]
2123 (=jis-x0208@1990 . #x223D) ; &I-J90-223D; [02-29]
2124 (=jis-x0213-1 . #x223D) ; &I-JX1-223D; [02-29]
2125 (=jef-china3 . #x7FD3) ; &I-JC3-7FD3;
2126 (=ucs@jis . #x2287) ; &J90-223D;
2127 (=ucs@ks . #x2287) ; &J90-223D;
2129 ((name . "SUPERSET OF OR EQUAL TO")
2134 '((name . "NEITHER A SUBSET OF NOR EQUAL TO")
2135 (general-category symbol math) ; Informative Category
2136 (bidi-category . "ON")
2139 ((name . "SUBSET OF OR EQUAL TO")
2142 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2148 '((name . "NEITHER A SUPERSET OF NOR EQUAL TO")
2149 (general-category symbol math) ; Informative Category
2150 (bidi-category . "ON")
2153 ((name . "SUPERSET OF OR EQUAL TO")
2156 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2162 '((name . "SUBSET OF WITH NOT EQUAL TO")
2163 (general-category symbol math) ; Informative Category
2164 (bidi-category . "ON")
2170 ((name . "SUBSET OF WITH NOT EQUAL TO")
2173 (=jis-x0213-1 . #x2244) ; &JX1-2244; [02-36]
2174 (=ucs@jis . #x228A) ; &JX1-2244;
2176 ((name . "SUBSET OF WITH NOT EQUAL TO")
2181 '((name . "SUPERSET OF WITH NOT EQUAL TO")
2182 (general-category symbol math) ; Informative Category
2183 (bidi-category . "ON")
2189 ((name . "SUPERSET OF WITH NOT EQUAL TO")
2192 (=jis-x0213-1 . #x2245) ; &JX1-2245; [02-37]
2193 (=ucs@jis . #x228B) ; &JX1-2245;
2195 ((name . "SUPERSET OF WITH NOT EQUAL TO")
2200 '((name . "MULTISET")
2201 (general-category symbol math) ; Informative Category
2202 (bidi-category . "ON")
2207 '((name . "MULTISET MULTIPLICATION")
2208 (general-category symbol math) ; Informative Category
2209 (bidi-category . "ON")
2214 '((name . "MULTISET UNION")
2215 (general-category symbol math) ; Informative Category
2216 (bidi-category . "ON")
2221 '((name . "SQUARE IMAGE OF")
2222 (general-category symbol math) ; Informative Category
2223 (bidi-category . "ON")
2228 '((name . "SQUARE ORIGINAL OF")
2229 (general-category symbol math) ; Informative Category
2230 (bidi-category . "ON")
2235 '((name . "SQUARE IMAGE OF OR EQUAL TO")
2236 (general-category symbol math) ; Informative Category
2237 (bidi-category . "ON")
2242 '((name . "SQUARE ORIGINAL OF OR EQUAL TO")
2243 (general-category symbol math) ; Informative Category
2244 (bidi-category . "ON")
2249 '((name . "SQUARE CAP")
2250 (general-category symbol math) ; Informative Category
2251 (bidi-category . "ON")
2256 '((name . "SQUARE CUP")
2257 (general-category symbol math) ; Informative Category
2258 (bidi-category . "ON")
2263 '((name . "CIRCLED PLUS")
2264 (general-category symbol math) ; Informative Category
2265 (bidi-category . "ON")
2271 ((name . "CIRCLED PLUS")
2274 (=cns11643-1 . #x2253) ; &JX1-2251; [02-51]
2275 (=jis-x0213-1 . #x2251) ; &I-JX1-2251; [02-49]
2276 (=big5 . #xA1F2) ; &I-B-A1F2;
2277 (=ucs@cns . #x2295) ; &JX1-2251;
2278 (=ucs@jis . #x2295) ; &JX1-2251;
2279 (=ucs@big5 . #x2295) ; &JX1-2251;
2281 ((name . "CIRCLED PLUS")
2286 '((name . "CIRCLED MINUS")
2287 (general-category symbol math) ; Informative Category
2288 (bidi-category . "ON")
2294 ((name . "CIRCLED MINUS")
2297 (=jis-x0213-1 . #x2252) ; &JX1-2252; [02-50]
2298 (=ucs@jis . #x2296) ; &JX1-2252;
2300 ((name . "CIRCLED MINUS")
2305 '((name . "CIRCLED TIMES")
2306 (general-category symbol math) ; Informative Category
2307 (bidi-category . "ON")
2313 ((name . "CIRCLED TIMES")
2316 (=jis-x0213-1 . #x2253) ; &JX1-2253; [02-51]
2317 (=ucs@jis . #x2297) ; &JX1-2253;
2319 ((name . "CIRCLED TIMES")
2324 '((name . "CIRCLED DIVISION SLASH")
2325 (general-category symbol math) ; Informative Category
2326 (bidi-category . "ON")
2331 '((name . "CIRCLED DOT OPERATOR")
2332 (general-category symbol math) ; Informative Category
2333 (bidi-category . "ON")
2339 ((name . "CIRCLED DOT OPERATOR")
2342 (=gb2312 . #x2151) ; &C1-2254; [01-49]
2343 (=ks-x1001 . #x2241) ; &I-K0-2241; [02-33]
2344 (=cns11643-1 . #x2254) ; &I-C1-2254; [02-52]
2345 (=big5 . #xA1F3) ; &I-B-A1F3;
2346 (=ucs@gb . #x2299) ; &C1-2254;
2347 (=ucs@cns . #x2299) ; &C1-2254;
2348 (=ucs@ks . #x2299) ; &C1-2254;
2349 (=ucs@big5 . #x2299) ; &C1-2254;
2351 ((name . "CIRCLED DOT OPERATOR")
2356 '((name . "CIRCLED RING OPERATOR")
2357 (general-category symbol math) ; Informative Category
2358 (bidi-category . "ON")
2363 '((name . "CIRCLED ASTERISK OPERATOR")
2364 (general-category symbol math) ; Informative Category
2365 (bidi-category . "ON")
2370 '((name . "CIRCLED EQUALS")
2371 (general-category symbol math) ; Informative Category
2372 (bidi-category . "ON")
2377 '((name . "CIRCLED DASH")
2378 (general-category symbol math) ; Informative Category
2379 (bidi-category . "ON")
2384 '((name . "SQUARED PLUS")
2385 (general-category symbol math) ; Informative Category
2386 (bidi-category . "ON")
2391 '((name . "SQUARED MINUS")
2392 (general-category symbol math) ; Informative Category
2393 (bidi-category . "ON")
2398 '((name . "SQUARED TIMES")
2399 (general-category symbol math) ; Informative Category
2400 (bidi-category . "ON")
2405 '((name . "SQUARED DOT OPERATOR")
2406 (general-category symbol math) ; Informative Category
2407 (bidi-category . "ON")
2412 '((name . "RIGHT TACK")
2413 (general-category symbol math) ; Informative Category
2414 (bidi-category . "ON")
2419 '((name . "LEFT TACK")
2420 (general-category symbol math) ; Informative Category
2421 (bidi-category . "ON")
2426 '((name . "DOWN TACK")
2427 (general-category symbol math) ; Informative Category
2428 (bidi-category . "ON")
2433 '((name . "UP TACK")
2434 (general-category symbol math) ; Informative Category
2435 (bidi-category . "ON")
2444 (=gb2312 . #x214D) ; &J90-225D; [01-45]
2445 (=jis-x0208@1983 . #x225D) ; &I-J83-225D; [02-61]
2446 (=ks-x1001 . #x2151) ; &I-K0-2151; [01-49]
2447 (=jis-x0208@1990 . #x225D) ; &I-J90-225D; [02-61]
2448 (=cns11643-1 . #x2247) ; &I-C1-2247; [02-39]
2449 (=jis-x0213-1 . #x225D) ; &I-JX1-225D; [02-61]
2450 (=big5 . #xA1E6) ; &I-B-A1E6;
2451 (=ucs@gb . #x22A5) ; &J90-225D;
2452 (=ucs@cns . #x22A5) ; &J90-225D;
2453 (=ucs@jis . #x22A5) ; &J90-225D;
2454 (=ucs@ks . #x22A5) ; &J90-225D;
2455 (=ucs@big5 . #x22A5) ; &J90-225D;
2462 '((name . "ASSERTION")
2463 (general-category symbol math) ; Informative Category
2464 (bidi-category . "ON")
2470 (general-category symbol math) ; Informative Category
2471 (bidi-category . "ON")
2477 (general-category symbol math) ; Informative Category
2478 (bidi-category . "ON")
2484 (general-category symbol math) ; Informative Category
2485 (bidi-category . "ON")
2490 '((name . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
2491 (general-category symbol math) ; Informative Category
2492 (bidi-category . "ON")
2497 '((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2498 (general-category symbol math) ; Informative Category
2499 (bidi-category . "ON")
2504 '((name . "DOES NOT PROVE")
2505 (general-category symbol math) ; Informative Category
2506 (bidi-category . "ON")
2509 ((name . "RIGHT TACK")
2512 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2518 '((name . "NOT TRUE")
2519 (general-category symbol math) ; Informative Category
2520 (bidi-category . "ON")
2526 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2532 '((name . "DOES NOT FORCE")
2533 (general-category symbol math) ; Informative Category
2534 (bidi-category . "ON")
2540 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2546 '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2547 (general-category symbol math) ; Informative Category
2548 (bidi-category . "ON")
2551 ((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2554 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2560 '((name . "PRECEDES UNDER RELATION")
2561 (general-category symbol math) ; Informative Category
2562 (bidi-category . "ON")
2567 '((name . "SUCCEEDS UNDER RELATION")
2568 (general-category symbol math) ; Informative Category
2569 (bidi-category . "ON")
2574 '((name . "NORMAL SUBGROUP OF")
2575 (general-category symbol math) ; Informative Category
2576 (bidi-category . "ON")
2581 '((name . "CONTAINS AS NORMAL SUBGROUP")
2582 (general-category symbol math) ; Informative Category
2583 (bidi-category . "ON")
2588 '((name . "NORMAL SUBGROUP OF OR EQUAL TO")
2589 (general-category symbol math) ; Informative Category
2590 (bidi-category . "ON")
2595 '((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
2596 (general-category symbol math) ; Informative Category
2597 (bidi-category . "ON")
2602 '((name . "ORIGINAL OF")
2603 (general-category symbol math) ; Informative Category
2604 (bidi-category . "ON")
2609 '((name . "IMAGE OF")
2610 (general-category symbol math) ; Informative Category
2611 (bidi-category . "ON")
2616 '((name . "MULTIMAP")
2617 (general-category symbol math) ; Informative Category
2618 (bidi-category . "ON")
2623 '((name . "HERMITIAN CONJUGATE MATRIX")
2624 (general-category symbol math) ; Informative Category
2625 (bidi-category . "ON")
2630 '((name . "INTERCALATE")
2631 (general-category symbol math) ; Informative Category
2632 (bidi-category . "ON")
2638 (general-category symbol math) ; Informative Category
2639 (bidi-category . "ON")
2645 (general-category symbol math) ; Informative Category
2646 (bidi-category . "ON")
2652 (general-category symbol math) ; Informative Category
2653 (bidi-category . "ON")
2658 '((name . "RIGHT ANGLE WITH ARC")
2659 (general-category symbol math) ; Informative Category
2660 (bidi-category . "ON")
2665 '((name . "RIGHT TRIANGLE")
2666 (general-category symbol math) ; Informative Category
2667 (bidi-category . "ON")
2673 ((name . "RIGHT TRIANGLE")
2676 (=cns11643-1 . #x224A) ; &JX1-2D79; [02-42]
2677 (=jis-x0213-1 . #x2D79) ; &I-JX1-2D79; [13-89]
2678 (=big5 . #xA1E9) ; &I-B-A1E9;
2679 (=ucs@cns . #x22BF) ; &JX1-2D79;
2680 (=ucs@jis . #x22BF) ; &JX1-2D79;
2681 (=ucs@big5 . #x22BF) ; &JX1-2D79;
2683 ((name . "RIGHT TRIANGLE")
2688 '((name . "N-ARY LOGICAL AND")
2689 (general-category symbol math) ; Informative Category
2690 (bidi-category . "ON")
2695 '((name . "N-ARY LOGICAL OR")
2696 (general-category symbol math) ; Informative Category
2697 (bidi-category . "ON")
2702 '((name . "N-ARY INTERSECTION")
2703 (general-category symbol math) ; Informative Category
2704 (bidi-category . "ON")
2709 '((name . "N-ARY UNION")
2710 (general-category symbol math) ; Informative Category
2711 (bidi-category . "ON")
2716 '((name . "DIAMOND OPERATOR")
2717 (general-category symbol math) ; Informative Category
2718 (bidi-category . "ON")
2723 '((name . "DOT OPERATOR")
2724 (general-category symbol math) ; Informative Category
2725 (bidi-category . "ON")
2730 '((name . "STAR OPERATOR")
2731 (general-category symbol math) ; Informative Category
2732 (bidi-category . "ON")
2737 '((name . "DIVISION TIMES")
2738 (general-category symbol math) ; Informative Category
2739 (bidi-category . "ON")
2745 (general-category symbol math) ; Informative Category
2746 (bidi-category . "ON")
2751 '((name . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
2752 (general-category symbol math) ; Informative Category
2753 (bidi-category . "ON")
2758 '((name . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
2759 (general-category symbol math) ; Informative Category
2760 (bidi-category . "ON")
2765 '((name . "LEFT SEMIDIRECT PRODUCT")
2766 (general-category symbol math) ; Informative Category
2767 (bidi-category . "ON")
2772 '((name . "RIGHT SEMIDIRECT PRODUCT")
2773 (general-category symbol math) ; Informative Category
2774 (bidi-category . "ON")
2779 '((name . "REVERSED TILDE EQUALS")
2780 (general-category symbol math) ; Informative Category
2781 (bidi-category . "ON")
2786 '((name . "CURLY LOGICAL OR")
2787 (general-category symbol math) ; Informative Category
2788 (bidi-category . "ON")
2793 '((name . "CURLY LOGICAL AND")
2794 (general-category symbol math) ; Informative Category
2795 (bidi-category . "ON")
2800 '((name . "DOUBLE SUBSET")
2801 (general-category symbol math) ; Informative Category
2802 (bidi-category . "ON")
2807 '((name . "DOUBLE SUPERSET")
2808 (general-category symbol math) ; Informative Category
2809 (bidi-category . "ON")
2814 '((name . "DOUBLE INTERSECTION")
2815 (general-category symbol math) ; Informative Category
2816 (bidi-category . "ON")
2821 '((name . "DOUBLE UNION")
2822 (general-category symbol math) ; Informative Category
2823 (bidi-category . "ON")
2828 '((name . "PITCHFORK")
2829 (general-category symbol math) ; Informative Category
2830 (bidi-category . "ON")
2835 '((name . "EQUAL AND PARALLEL TO")
2836 (general-category symbol math) ; Informative Category
2837 (bidi-category . "ON")
2842 '((name . "LESS-THAN WITH DOT")
2843 (general-category symbol math) ; Informative Category
2844 (bidi-category . "ON")
2849 '((name . "GREATER-THAN WITH DOT")
2850 (general-category symbol math) ; Informative Category
2851 (bidi-category . "ON")
2856 '((name . "VERY MUCH LESS-THAN")
2857 (general-category symbol math) ; Informative Category
2858 (bidi-category . "ON")
2863 '((name . "VERY MUCH GREATER-THAN")
2864 (general-category symbol math) ; Informative Category
2865 (bidi-category . "ON")
2870 '((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
2871 (general-category symbol math) ; Informative Category
2872 (bidi-category . "ON")
2878 ((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
2881 (=jis-x0213-1 . #x2776) ; &JX1-2776; [07-86]
2882 (=ucs@jis . #x22DA) ; &JX1-2776;
2884 ((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
2889 '((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
2890 (general-category symbol math) ; Informative Category
2891 (bidi-category . "ON")
2897 ((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
2900 (=jis-x0213-1 . #x2777) ; &JX1-2777; [07-87]
2901 (=ucs@jis . #x22DB) ; &JX1-2777;
2903 ((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
2908 '((name . "EQUAL TO OR LESS-THAN")
2909 (general-category symbol math) ; Informative Category
2910 (bidi-category . "ON")
2915 '((name . "EQUAL TO OR GREATER-THAN")
2916 (general-category symbol math) ; Informative Category
2917 (bidi-category . "ON")
2922 '((name . "EQUAL TO OR PRECEDES")
2923 (general-category symbol math) ; Informative Category
2924 (bidi-category . "ON")
2929 '((name . "EQUAL TO OR SUCCEEDS")
2930 (general-category symbol math) ; Informative Category
2931 (bidi-category . "ON")
2936 '((name . "DOES NOT PRECEDE OR EQUAL")
2937 (general-category symbol math) ; Informative Category
2938 (bidi-category . "ON")
2941 ((name . "PRECEDES OR EQUAL TO")
2944 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2950 '((name . "DOES NOT SUCCEED OR EQUAL")
2951 (general-category symbol math) ; Informative Category
2952 (bidi-category . "ON")
2955 ((name . "SUCCEEDS OR EQUAL TO")
2958 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2964 '((name . "NOT SQUARE IMAGE OF OR EQUAL TO")
2965 (general-category symbol math) ; Informative Category
2966 (bidi-category . "ON")
2969 ((name . "SQUARE IMAGE OF OR EQUAL TO")
2972 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2978 '((name . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
2979 (general-category symbol math) ; Informative Category
2980 (bidi-category . "ON")
2983 ((name . "SQUARE ORIGINAL OF OR EQUAL TO")
2986 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2992 '((name . "SQUARE IMAGE OF OR NOT EQUAL TO")
2993 (general-category symbol math) ; Informative Category
2994 (bidi-category . "ON")
2999 '((name . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
3000 (general-category symbol math) ; Informative Category
3001 (bidi-category . "ON")
3006 '((name . "LESS-THAN BUT NOT EQUIVALENT TO")
3007 (general-category symbol math) ; Informative Category
3008 (bidi-category . "ON")
3013 '((name . "GREATER-THAN BUT NOT EQUIVALENT TO")
3014 (general-category symbol math) ; Informative Category
3015 (bidi-category . "ON")
3020 '((name . "PRECEDES BUT NOT EQUIVALENT TO")
3021 (general-category symbol math) ; Informative Category
3022 (bidi-category . "ON")
3027 '((name . "SUCCEEDS BUT NOT EQUIVALENT TO")
3028 (general-category symbol math) ; Informative Category
3029 (bidi-category . "ON")
3034 '((name . "NOT NORMAL SUBGROUP OF")
3035 (general-category symbol math) ; Informative Category
3036 (bidi-category . "ON")
3039 ((name . "NORMAL SUBGROUP OF")
3042 ((name . "COMBINING LONG SOLIDUS OVERLAY")
3048 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
3049 (general-category symbol math) ; Informative Category
3050 (bidi-category . "ON")
3053 ((name . "CONTAINS AS NORMAL SUBGROUP")
3056 ((name . "COMBINING LONG SOLIDUS OVERLAY")
3062 '((name . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
3063 (general-category symbol math) ; Informative Category
3064 (bidi-category . "ON")
3067 ((name . "NORMAL SUBGROUP OF OR EQUAL TO")
3070 ((name . "COMBINING LONG SOLIDUS OVERLAY")
3076 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
3077 (general-category symbol math) ; Informative Category
3078 (bidi-category . "ON")
3081 ((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
3084 ((name . "COMBINING LONG SOLIDUS OVERLAY")
3090 '((name . "VERTICAL ELLIPSIS")
3091 (general-category symbol math) ; Informative Category
3092 (bidi-category . "ON")
3097 '((name . "MIDLINE HORIZONTAL ELLIPSIS")
3098 (general-category symbol math) ; Informative Category
3099 (bidi-category . "ON")
3104 '((name . "UP RIGHT DIAGONAL ELLIPSIS")
3105 (general-category symbol math) ; Informative Category
3106 (bidi-category . "ON")
3111 '((name . "DOWN RIGHT DIAGONAL ELLIPSIS")
3112 (general-category symbol math) ; Informative Category
3113 (bidi-category . "ON")