1 ;; -*- coding: utf-8-mcs-er -*-
4 (general-category symbol math) ; Informative Category
14 (=ucs@jis . #x2200) ; &J90-224F;
15 (=ucs@ks . #x2200) ; &J90-224F;
16 (=jis-x0208@1983 . #x224F) ; &J90-224F; [02-47]
17 (=ks-x1001 . #x2223) ; &I-K0-2223; [02-03]
18 (=jis-x0208@1990 . #x224F) ; &I-J90-224F; [02-47]
19 (=jis-x0213-1 . #x224F) ; &I-JX1-224F; [02-47]
20 (=jef-china3 . #x7FDC) ; &I-JC3-7FDC;
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 (=ucs@jis . #x2202) ; &J90-225F;
46 (=ucs@ks . #x2202) ; &J90-225F;
47 (=jis-x0208@1983 . #x225F) ; &J90-225F; [02-63]
48 (=ks-x1001 . #x2153) ; &I-K0-2153; [01-51]
49 (=jis-x0208@1990 . #x225F) ; &I-J90-225F; [02-63]
50 (=jis-x0213-1 . #x225F) ; &I-JX1-225F; [02-63]
51 (=jef-china3 . #x7FE1) ; &I-JC3-7FE1;
53 ((name . "PARTIAL DIFFERENTIAL")
58 '((name . "THERE EXISTS")
59 (general-category symbol math) ; Informative Category
60 (bidi-category . "ON")
66 ((name . "THERE EXISTS")
69 (=ucs@jis . #x2203) ; &J90-2250;
70 (=ucs@ks . #x2203) ; &J90-2250;
71 (=jis-x0208@1983 . #x2250) ; &J90-2250; [02-48]
72 (=ks-x1001 . #x2224) ; &I-K0-2224; [02-04]
73 (=jis-x0208@1990 . #x2250) ; &I-J90-2250; [02-48]
74 (=jis-x0213-1 . #x2250) ; &I-JX1-2250; [02-48]
75 (=jef-china3 . #x7FDD) ; &I-JC3-7FDD;
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 (=ucs@jis . #x2205) ; &JX1-2247;
108 (=jis-x0213-1 . #x2247) ; &JX1-2247; [02-39]
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 (=ucs@jis . #x2207) ; &J90-2260;
134 (=ucs@ks . #x2207) ; &J90-2260;
135 (=jis-x0208@1983 . #x2260) ; &J90-2260; [02-64]
136 (=ks-x1001 . #x2154) ; &I-K0-2154; [01-52]
137 (=jis-x0208@1990 . #x2260) ; &I-J90-2260; [02-64]
138 (=jis-x0213-1 . #x2260) ; &I-JX1-2260; [02-64]
139 (=jef-china3 . #x7FE2) ; &I-JC3-7FE2;
146 '((name . "ELEMENT OF")
147 (general-category symbol math) ; Informative Category
148 (bidi-category . "ON")
154 ((name . "ELEMENT OF")
157 (=ucs@gb . #x2208) ; &J90-223A;
158 (=ucs@jis . #x2208) ; &J90-223A;
159 (=ucs@ks . #x2208) ; &J90-223A;
160 (=gb2312 . #x214A) ; &J90-223A; [01-42]
161 (=jis-x0208@1983 . #x223A) ; &I-J83-223A; [02-26]
162 (=ks-x1001 . #x2174) ; &I-K0-2174; [01-84]
163 (=jis-x0208@1990 . #x223A) ; &I-J90-223A; [02-26]
164 (=jis-x0213-1 . #x223A) ; &I-JX1-223A; [02-26]
165 (=jef-china3 . #x7FD0) ; &I-JC3-7FD0;
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 (=ucs@jis . #x2209) ; &JX1-2246;
191 (=jis-x0213-1 . #x2246) ; &JX1-2246; [02-38]
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 (=ucs@jis . #x220B) ; &J90-223B;
217 (=ucs@ks . #x220B) ; &J90-223B;
218 (=jis-x0208@1983 . #x223B) ; &J90-223B; [02-27]
219 (=ks-x1001 . #x2175) ; &I-K0-2175; [01-85]
220 (=jis-x0208@1990 . #x223B) ; &I-J90-223B; [02-27]
221 (=jis-x0213-1 . #x223B) ; &I-JX1-223B; [02-27]
222 (=jef-china3 . #x7FD1) ; &I-JC3-7FD1;
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 (=ucs@gb . #x220F) ; &G0-2147;
269 (=ucs@ks . #x220F) ; &G0-2147;
270 (=gb2312 . #x2147) ; &G0-2147; [01-39]
271 (=ks-x1001 . #x2233) ; &I-K0-2233; [02-19]
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 (=ucs@gb . #x2211) ; &G0-2146;
297 (=ucs@ks . #x2211) ; &G0-2146;
298 (=gb2312 . #x2146) ; &G0-2146; [01-38]
299 (=ks-x1001 . #x2232) ; &I-K0-2232; [02-18]
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 (=ucs@jis . #x2212) ; &J90-215D;
318 (=jis-x0208 . #x215D) ; &J90-215D; [01-61]
319 (=jis-x0213-1 . #x215D) ; &I-JX1-215D; [01-61]
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 (=ucs@jis . #x2213) ; &JX1-235B;
338 (=jis-x0213-1 . #x235B) ; &JX1-235B; [03-59]
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 (=ucs@cns . #x2215) ; &C1-2261;
364 (=ucs@big5 . #x2215) ; &C1-2261;
365 (=cns11643-1 . #x2261) ; &C1-2261; [02-65]
366 (=big5 . #xA241) ; &I-B-A241;
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 (=ucs@gb . #x221A) ; &J90-2265;
413 (=ucs@cns . #x221A) ; &J90-2265;
414 (=ucs@jis . #x221A) ; &J90-2265;
415 (=ucs@ks . #x221A) ; &J90-2265;
416 (=ucs@big5 . #x221A) ; &J90-2265;
417 (=gb2312 . #x214C) ; &J90-2265; [01-44]
418 (=jis-x0208@1983 . #x2265) ; &I-J83-2265; [02-69]
419 (=ks-x1001 . #x216E) ; &I-K0-216E; [01-78]
420 (=jis-x0208@1990 . #x2265) ; &I-J90-2265; [02-69]
421 (=cns11643-1 . #x2235) ; &I-C1-2235; [02-21]
422 (=jis-x0213-1 . #x2265) ; &I-JX1-2265; [02-69]
423 (=big5 . #xA1D4) ; &I-B-A1D4;
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 (=ucs@gb . #x221D) ; &J90-2267;
456 (=ucs@jis . #x221D) ; &J90-2267;
457 (=ucs@ks . #x221D) ; &J90-2267;
458 (=gb2312 . #x2158) ; &J90-2267; [01-56]
459 (=jis-x0208@1983 . #x2267) ; &I-J83-2267; [02-71]
460 (=ks-x1001 . #x2170) ; &I-K0-2170; [01-80]
461 (=jis-x0208@1990 . #x2267) ; &I-J90-2267; [02-71]
462 (=jis-x0213-1 . #x2267) ; &I-JX1-2267; [02-71]
463 (=jef-china3 . #x7FE7) ; &I-JC3-7FE7;
465 ((name . "PROPORTIONAL TO")
470 '((name . "INFINITY")
471 (general-category symbol math) ; Informative Category
472 (bidi-category . "ON")
481 (=ucs@gb . #x221E) ; &J90-2167;
482 (=ucs@cns . #x221E) ; &J90-2167;
483 (=ucs@jis . #x221E) ; &J90-2167;
484 (=ucs@ks . #x221E) ; &J90-2167;
485 (=ucs@big5 . #x221E) ; &J90-2167;
486 (=jis-x0208 . #x2167) ; &J90-2167; [01-71]
487 (=gb2312 . #x215E) ; &I-G0-215E; [01-62]
488 (=ks-x1001 . #x2144) ; &I-K0-2144; [01-36]
489 (=cns11643-1 . #x223C) ; &I-C1-223C; [02-28]
490 (=jis-x0213-1 . #x2167) ; &I-JX1-2167; [01-71]
491 (=big5 . #xA1DB) ; &I-B-A1DB;
498 '((name . "RIGHT ANGLE")
499 (general-category symbol math) ; Informative Category
500 (bidi-category . "ON")
506 ((name . "RIGHT ANGLE")
509 (=ucs@cns . #x221F) ; &JX1-2D78;
510 (=ucs@jis . #x221F) ; &JX1-2D78;
511 (=ucs@big5 . #x221F) ; &JX1-2D78;
512 (=cns11643-1 . #x2249) ; &JX1-2D78; [02-41]
513 (=jis-x0213-1 . #x2D78) ; &I-JX1-2D78; [13-88]
514 (=big5 . #xA1E8) ; &I-B-A1E8;
516 ((name . "RIGHT ANGLE")
522 (general-category symbol math) ; Informative Category
523 (bidi-category . "ON")
532 (=ucs@gb . #x2220) ; &J90-225C;
533 (=ucs@cns . #x2220) ; &J90-225C;
534 (=ucs@jis . #x2220) ; &J90-225C;
535 (=ucs@ks . #x2220) ; &J90-225C;
536 (=ucs@big5 . #x2220) ; &J90-225C;
537 (=gb2312 . #x214F) ; &J90-225C; [01-47]
538 (=jis-x0208@1983 . #x225C) ; &I-J83-225C; [02-60]
539 (=ks-x1001 . #x2150) ; &I-K0-2150; [01-48]
540 (=jis-x0208@1990 . #x225C) ; &I-J90-225C; [02-60]
541 (=cns11643-1 . #x2248) ; &I-C1-2248; [02-40]
542 (=jis-x0213-1 . #x225C) ; &I-JX1-225C; [02-60]
543 (=big5 . #xA1E7) ; &I-B-A1E7;
544 (=jef-china3 . #x7FDE) ; &I-JC3-7FDE;
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 (=ucs@big5 . #x2223) ; &B-A1FD;
577 (=big5 . #xA1FD) ; &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 (=ucs@gb . #x2225) ; &JX1-2254;
610 (=ucs@jis . #x2225) ; &JX1-2254;
611 (=ucs@ks . #x2225) ; &JX1-2254;
612 (=ucs@big5 . #x2225) ; &JX1-2254;
613 (=gb2312 . #x214E) ; &JX1-2254; [01-46]
614 (=ks-x1001 . #x212B) ; &I-K0-212B; [01-11]
615 (=jis-x0213-1 . #x2254) ; &I-JX1-2254; [02-52]
616 (=big5 . #xA1FC) ; &I-B-A1FC;
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 (=ucs@jis . #x2226) ; &JX1-2255;
642 (=jis-x0213-1 . #x2255) ; &JX1-2255; [02-53]
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 (=ucs@gb . #x2227) ; &J90-224A;
661 (=ucs@jis . #x2227) ; &J90-224A;
662 (=ucs@ks . #x2227) ; &J90-224A;
663 (=gb2312 . #x2144) ; &J90-224A; [01-36]
664 (=jis-x0208@1983 . #x224A) ; &I-J83-224A; [02-42]
665 (=ks-x1001 . #x217C) ; &I-K0-217C; [01-92]
666 (=jis-x0208@1990 . #x224A) ; &I-J90-224A; [02-42]
667 (=jis-x0213-1 . #x224A) ; &I-JX1-224A; [02-42]
668 (=jef-china3 . #x7FD8) ; &I-JC3-7FD8;
670 ((name . "LOGICAL AND")
675 '((name . "LOGICAL OR")
676 (general-category symbol math) ; Informative Category
677 (bidi-category . "ON")
683 ((name . "LOGICAL OR")
686 (=ucs@gb . #x2228) ; &J90-224B;
687 (=ucs@jis . #x2228) ; &J90-224B;
688 (=ucs@ks . #x2228) ; &J90-224B;
689 (=gb2312 . #x2145) ; &J90-224B; [01-37]
690 (=jis-x0208@1983 . #x224B) ; &I-J83-224B; [02-43]
691 (=ks-x1001 . #x217D) ; &I-K0-217D; [01-93]
692 (=jis-x0208@1990 . #x224B) ; &I-J90-224B; [02-43]
693 (=jis-x0213-1 . #x224B) ; &I-JX1-224B; [02-43]
694 (=jef-china3 . #x7FD9) ; &I-JC3-7FD9;
696 ((name . "LOGICAL OR")
701 '((name . "INTERSECTION")
702 (general-category symbol math) ; Informative Category
703 (bidi-category . "ON")
709 ((name . "INTERSECTION")
712 (=ucs@gb . #x2229) ; &J90-2241;
713 (=ucs@cns . #x2229) ; &J90-2241;
714 (=ucs@jis . #x2229) ; &J90-2241;
715 (=ucs@ks . #x2229) ; &J90-2241;
716 (=ucs@big5 . #x2229) ; &J90-2241;
717 (=gb2312 . #x2149) ; &J90-2241; [01-41]
718 (=jis-x0208@1983 . #x2241) ; &I-J83-2241; [02-33]
719 (=ks-x1001 . #x217B) ; &I-K0-217B; [01-91]
720 (=jis-x0208@1990 . #x2241) ; &I-J90-2241; [02-33]
721 (=cns11643-1 . #x2245) ; &I-C1-2245; [02-37]
722 (=jis-x0213-1 . #x2241) ; &I-JX1-2241; [02-33]
723 (=big5 . #xA1E4) ; &I-B-A1E4;
724 (=jef-china3 . #x7FD7) ; &I-JC3-7FD7;
726 ((name . "INTERSECTION")
732 (general-category symbol math) ; Informative Category
733 (bidi-category . "ON")
742 (=ucs@gb . #x222A) ; &J90-2240;
743 (=ucs@cns . #x222A) ; &J90-2240;
744 (=ucs@jis . #x222A) ; &J90-2240;
745 (=ucs@ks . #x222A) ; &J90-2240;
746 (=ucs@big5 . #x222A) ; &J90-2240;
747 (=gb2312 . #x2148) ; &J90-2240; [01-40]
748 (=jis-x0208@1983 . #x2240) ; &I-J83-2240; [02-32]
749 (=ks-x1001 . #x217A) ; &I-K0-217A; [01-90]
750 (=jis-x0208@1990 . #x2240) ; &I-J90-2240; [02-32]
751 (=cns11643-1 . #x2246) ; &I-C1-2246; [02-38]
752 (=jis-x0213-1 . #x2240) ; &I-JX1-2240; [02-32]
753 (=big5 . #xA1E5) ; &I-B-A1E5;
754 (=jef-china3 . #x7FD6) ; &I-JC3-7FD6;
761 '((name . "INTEGRAL")
762 (general-category symbol math) ; Informative Category
763 (bidi-category . "ON")
772 (=ucs@gb . #x222B) ; &J90-2269;
773 (=ucs@cns . #x222B) ; &J90-2269;
774 (=ucs@jis . #x222B) ; &J90-2269;
775 (=ucs@ks . #x222B) ; &J90-2269;
776 (=ucs@big5 . #x222B) ; &J90-2269;
777 (=gb2312 . #x2152) ; &J90-2269; [01-50]
778 (=jis-x0208@1983 . #x2269) ; &I-J83-2269; [02-73]
779 (=ks-x1001 . #x2172) ; &I-K0-2172; [01-82]
780 (=jis-x0208@1990 . #x2269) ; &I-J90-2269; [02-73]
781 (=cns11643-1 . #x224D) ; &I-C1-224D; [02-45]
782 (=jis-x0213-1 . #x2269) ; &I-JX1-2269; [02-73]
783 (=big5 . #xA1EC) ; &I-B-A1EC;
784 (=jef-china3 . #x7FE8) ; &I-JC3-7FE8;
791 '((name . "DOUBLE INTEGRAL")
792 (general-category symbol math) ; Informative Category
793 (bidi-category . "ON")
795 (=>decomposition@compat
806 ((name . "DOUBLE INTEGRAL")
809 (=ucs@jis . #x222C) ; &J90-226A;
810 (=ucs@ks . #x222C) ; &J90-226A;
811 (=jis-x0208@1983 . #x226A) ; &J90-226A; [02-74]
812 (=ks-x1001 . #x2173) ; &I-K0-2173; [01-83]
813 (=jis-x0208@1990 . #x226A) ; &I-J90-226A; [02-74]
814 (=jis-x0213-1 . #x226A) ; &I-JX1-226A; [02-74]
815 (=jef-china3 . #x7FE9) ; &I-JC3-7FE9;
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 (=ucs@gb . #x222E) ; &JX1-2D73;
851 (=ucs@cns . #x222E) ; &JX1-2D73;
852 (=ucs@jis . #x222E) ; &JX1-2D73;
853 (=ucs@ks . #x222E) ; &JX1-2D73;
854 (=ucs@big5 . #x222E) ; &JX1-2D73;
855 (=gb2312 . #x2153) ; &JX1-2D73; [01-51]
856 (=ks-x1001 . #x2231) ; &I-K0-2231; [02-17]
857 (=cns11643-1 . #x224E) ; &I-C1-224E; [02-46]
858 (=jis-x0213-1 . #x2D73) ; &I-JX1-2D73; [13-83]
859 (=big5 . #xA1ED) ; &I-B-A1ED;
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 (=ucs@gb . #x2234) ; &J90-2168;
930 (=ucs@cns . #x2234) ; &J90-2168;
931 (=ucs@jis . #x2234) ; &J90-2168;
932 (=ucs@ks . #x2234) ; &J90-2168;
933 (=ucs@big5 . #x2234) ; &J90-2168;
934 (=jis-x0208 . #x2168) ; &J90-2168; [01-72]
935 (=gb2312 . #x2160) ; &I-G0-2160; [01-64]
936 (=ks-x1001 . #x2145) ; &I-K0-2145; [01-37]
937 (=cns11643-1 . #x2250) ; &I-C1-2250; [02-48]
938 (=jis-x0213-1 . #x2168) ; &I-JX1-2168; [01-72]
939 (=big5 . #xA1EF) ; &I-B-A1EF;
941 ((name . "THEREFORE")
947 (general-category symbol math) ; Informative Category
948 (bidi-category . "ON")
957 (=ucs@gb . #x2235) ; &J90-2268;
958 (=ucs@cns . #x2235) ; &J90-2268;
959 (=ucs@jis . #x2235) ; &J90-2268;
960 (=ucs@ks . #x2235) ; &J90-2268;
961 (=ucs@big5 . #x2235) ; &J90-2268;
962 (=gb2312 . #x215F) ; &J90-2268; [01-63]
963 (=jis-x0208@1983 . #x2268) ; &I-J83-2268; [02-72]
964 (=ks-x1001 . #x2171) ; &I-K0-2171; [01-81]
965 (=jis-x0208@1990 . #x2268) ; &I-J90-2268; [02-72]
966 (=cns11643-1 . #x224F) ; &I-C1-224F; [02-47]
967 (=jis-x0213-1 . #x2268) ; &I-JX1-2268; [02-72]
968 (=big5 . #xA1EE) ; &I-B-A1EE;
976 (general-category symbol math) ; Informative Category
977 (bidi-category . "ON")
986 (=ucs@gb . #x2236) ; &G0-2143;
987 (=gb2312 . #x2143) ; &G0-2143; [01-35]
994 '((name . "PROPORTION")
995 (general-category symbol math) ; Informative Category
996 (bidi-category . "ON")
1002 ((name . "PROPORTION")
1005 (=ucs@gb . #x2237) ; &G0-214B;
1006 (=gb2312 . #x214B) ; &G0-214B; [01-43]
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 (=ucs@ks . #x223C) ; &K0-212D;
1053 (=ks-x1001 . #x212D) ; &K0-212D; [01-13]
1055 ((name . "TILDE OPERATOR")
1060 '((name . "REVERSED TILDE")
1061 (general-category symbol math) ; Informative Category
1062 (bidi-category . "ON")
1064 (iso-10646-comment . "lazy S")
1069 ((name . "REVERSED TILDE")
1072 (=ucs@gb . #x223D) ; &J90-2266;
1073 (=ucs@jis . #x223D) ; &J90-2266;
1074 (=ucs@ks . #x223D) ; &J90-2266;
1075 (=gb2312 . #x2157) ; &J90-2266; [01-55]
1076 (=jis-x0208@1983 . #x2266) ; &I-J83-2266; [02-70]
1077 (=ks-x1001 . #x216F) ; &I-K0-216F; [01-79]
1078 (=jis-x0208@1990 . #x2266) ; &I-J90-2266; [02-70]
1079 (=jis-x0213-1 . #x2266) ; &I-JX1-2266; [02-70]
1080 (=jef-china3 . #x7FE6) ; &I-JC3-7FE6;
1082 ((name . "REVERSED TILDE")
1087 '((name . "INVERTED LAZY S")
1088 (general-category symbol math) ; Informative Category
1089 (bidi-category . "ON")
1094 '((name . "SINE WAVE")
1095 (general-category symbol math) ; Informative Category
1096 (bidi-category . "ON")
1101 '((name . "WREATH PRODUCT")
1102 (general-category symbol math) ; Informative Category
1103 (bidi-category . "ON")
1108 '((name . "NOT TILDE")
1109 (general-category symbol math) ; Informative Category
1110 (bidi-category . "ON")
1113 ((name . "TILDE OPERATOR")
1116 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1122 '((name . "MINUS TILDE")
1123 (general-category symbol math) ; Informative Category
1124 (bidi-category . "ON")
1129 '((name . "ASYMPTOTICALLY EQUAL TO")
1130 (general-category symbol math) ; Informative Category
1131 (bidi-category . "ON")
1137 ((name . "ASYMPTOTICALLY EQUAL TO")
1140 (=ucs@jis . #x2243) ; &JX1-226C;
1141 (=jis-x0213-1 . #x226C) ; &JX1-226C; [02-76]
1143 ((name . "ASYMPTOTICALLY EQUAL TO")
1148 '((name . "NOT ASYMPTOTICALLY EQUAL TO")
1149 (general-category symbol math) ; Informative Category
1150 (bidi-category . "ON")
1153 ((name . "ASYMPTOTICALLY EQUAL TO")
1156 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1162 '((name . "APPROXIMATELY EQUAL TO")
1163 (general-category symbol math) ; Informative Category
1164 (bidi-category . "ON")
1170 ((name . "APPROXIMATELY EQUAL TO")
1173 (=ucs@jis . #x2245) ; &JX1-226D;
1174 (=jis-x0213-1 . #x226D) ; &JX1-226D; [02-77]
1176 ((name . "APPROXIMATELY EQUAL TO")
1181 '((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
1182 (general-category symbol math) ; Informative Category
1183 (bidi-category . "ON")
1188 '((name . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
1189 (general-category symbol math) ; Informative Category
1190 (bidi-category . "ON")
1193 ((name . "APPROXIMATELY EQUAL TO")
1196 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1202 '((name . "ALMOST EQUAL TO")
1203 (general-category symbol math) ; Informative Category
1204 (bidi-category . "ON")
1210 ((name . "ALMOST EQUAL TO")
1213 (=ucs@gb . #x2248) ; &JX1-226E;
1214 (=ucs@jis . #x2248) ; &JX1-226E;
1215 (=gb2312 . #x2156) ; &JX1-226E; [01-54]
1216 (=jis-x0213-1 . #x226E) ; &I-JX1-226E; [02-78]
1218 ((name . "ALMOST EQUAL TO")
1223 '((name . "NOT ALMOST EQUAL TO")
1224 (general-category symbol math) ; Informative Category
1225 (bidi-category . "ON")
1228 ((name . "ALMOST EQUAL TO")
1231 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1237 '((name . "ALMOST EQUAL OR EQUAL TO")
1238 (general-category symbol math) ; Informative Category
1239 (bidi-category . "ON")
1244 '((name . "TRIPLE TILDE")
1245 (general-category symbol math) ; Informative Category
1246 (bidi-category . "ON")
1251 '((name . "ALL EQUAL TO")
1252 (general-category symbol math) ; Informative Category
1253 (bidi-category . "ON")
1259 ((name . "ALL EQUAL TO")
1262 (=ucs@gb . #x224C) ; &G0-2155;
1263 (=gb2312 . #x2155) ; &G0-2155; [01-53]
1265 ((name . "ALL EQUAL TO")
1270 '((name . "EQUIVALENT TO")
1271 (general-category symbol math) ; Informative Category
1272 (bidi-category . "ON")
1277 '((name . "GEOMETRICALLY EQUIVALENT TO")
1278 (general-category symbol math) ; Informative Category
1279 (bidi-category . "ON")
1284 '((name . "DIFFERENCE BETWEEN")
1285 (general-category symbol math) ; Informative Category
1286 (bidi-category . "ON")
1291 '((name . "APPROACHES THE LIMIT")
1292 (general-category symbol math) ; Informative Category
1293 (bidi-category . "ON")
1298 '((name . "GEOMETRICALLY EQUAL TO")
1299 (general-category symbol math) ; Informative Category
1300 (bidi-category . "ON")
1305 '((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1306 (general-category symbol math) ; Informative Category
1307 (bidi-category . "ON")
1313 ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1316 (=ucs@cns . #x2252) ; &J90-2262;
1317 (=ucs@jis . #x2252) ; &J90-2262;
1318 (=ucs@ks . #x2252) ; &J90-2262;
1319 (=ucs@big5 . #x2252) ; &J90-2262;
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;
1327 ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1332 '((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
1333 (general-category symbol math) ; Informative Category
1334 (bidi-category . "ON")
1339 '((name . "COLON EQUALS")
1340 (general-category symbol math) ; Informative Category
1341 (bidi-category . "ON")
1346 '((name . "EQUALS COLON")
1347 (general-category symbol math) ; Informative Category
1348 (bidi-category . "ON")
1353 '((name . "RING IN EQUAL TO")
1354 (general-category symbol math) ; Informative Category
1355 (bidi-category . "ON")
1360 '((name . "RING EQUAL TO")
1361 (general-category symbol math) ; Informative Category
1362 (bidi-category . "ON")
1367 '((name . "CORRESPONDS TO")
1368 (general-category symbol math) ; Informative Category
1369 (bidi-category . "ON")
1374 '((name . "ESTIMATES")
1375 (general-category symbol math) ; Informative Category
1376 (bidi-category . "ON")
1381 '((name . "EQUIANGULAR TO")
1382 (general-category symbol math) ; Informative Category
1383 (bidi-category . "ON")
1388 '((name . "STAR EQUALS")
1389 (general-category symbol math) ; Informative Category
1390 (bidi-category . "ON")
1395 '((name . "DELTA EQUAL TO")
1396 (general-category symbol math) ; Informative Category
1397 (bidi-category . "ON")
1402 '((name . "EQUAL TO BY DEFINITION")
1403 (general-category symbol math) ; Informative Category
1404 (bidi-category . "ON")
1409 '((name . "MEASURED BY")
1410 (general-category symbol math) ; Informative Category
1411 (bidi-category . "ON")
1416 '((name . "QUESTIONED EQUAL TO")
1417 (general-category symbol math) ; Informative Category
1418 (bidi-category . "ON")
1423 '((name . "NOT EQUAL TO")
1424 (general-category symbol math) ; Informative Category
1425 (bidi-category . "ON")
1428 ((name . "EQUALS SIGN")
1431 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1438 ((name . "NOT EQUAL TO")
1442 ((name . "FULLWIDTH EQUALS SIGN")
1445 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1448 (=ucs@gb . #x2260) ; &J90-2162;
1449 (=ucs@cns . #x2260) ; &J90-2162;
1450 (=ucs@jis . #x2260) ; &J90-2162;
1451 (=ucs@ks . #x2260) ; &J90-2162;
1452 (=ucs@big5 . #x2260) ; &J90-2162;
1453 (=jis-x0208 . #x2162) ; &J90-2162; [01-66]
1454 (=gb2312 . #x2159) ; &I-G0-2159; [01-57]
1455 (=ks-x1001 . #x2141) ; &I-K0-2141; [01-33]
1456 (=cns11643-1 . #x223B) ; &I-C1-223B; [02-27]
1457 (=jis-x0213-1 . #x2162) ; &I-JX1-2162; [01-66]
1458 (=big5 . #xA1DA) ; &I-B-A1DA;
1460 ((name . "NOT EQUAL TO")
1465 '((name . "IDENTICAL TO")
1466 (general-category symbol math) ; Informative Category
1467 (bidi-category . "ON")
1473 ((name . "IDENTICAL TO")
1476 (=ucs@gb . #x2261) ; &J90-2261;
1477 (=ucs@cns . #x2261) ; &J90-2261;
1478 (=ucs@jis . #x2261) ; &J90-2261;
1479 (=ucs@ks . #x2261) ; &J90-2261;
1480 (=ucs@big5 . #x2261) ; &J90-2261;
1481 (=gb2312 . #x2154) ; &J90-2261; [01-52]
1482 (=jis-x0208@1983 . #x2261) ; &I-J83-2261; [02-65]
1483 (=ks-x1001 . #x2155) ; &I-K0-2155; [01-53]
1484 (=jis-x0208@1990 . #x2261) ; &I-J90-2261; [02-65]
1485 (=cns11643-1 . #x223E) ; &I-C1-223E; [02-30]
1486 (=jis-x0213-1 . #x2261) ; &I-JX1-2261; [02-65]
1487 (=big5 . #xA1DD) ; &I-B-A1DD;
1489 ((name . "IDENTICAL TO")
1494 '((name . "NOT IDENTICAL TO")
1495 (general-category symbol math) ; Informative Category
1496 (bidi-category . "ON")
1499 ((name . "IDENTICAL TO")
1502 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1509 ((name . "NOT IDENTICAL TO")
1513 ((=ucs@gb . #x2261) ; &J90-2261;
1514 (=ucs@cns . #x2261) ; &J90-2261;
1515 (=ucs@jis . #x2261) ; &J90-2261;
1516 (=ucs@ks . #x2261) ; &J90-2261;
1517 (=ucs@big5 . #x2261) ; &J90-2261;
1518 (=gb2312 . #x2154) ; &J90-2261; [01-52]
1519 (=jis-x0208@1983 . #x2261) ; &I-J83-2261; [02-65]
1520 (=ks-x1001 . #x2155) ; &I-K0-2155; [01-53]
1521 (=cns11643-1 . #x223E) ; &I-C1-223E; [02-30]
1522 (=jis-x0213-1 . #x2261) ; &I-JX1-2261; [02-65]
1524 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1527 (=ucs@jis . #x2262) ; &JX1-226B;
1528 (=jis-x0213-1 . #x226B) ; &JX1-226B; [02-75]
1530 ((name . "NOT IDENTICAL TO")
1535 '((name . "STRICTLY EQUIVALENT TO")
1536 (general-category symbol math) ; Informative Category
1537 (bidi-category . "ON")
1542 '((name . "LESS-THAN OR EQUAL TO")
1543 (general-category symbol math) ; Informative Category
1544 (bidi-category . "ON")
1550 ((name . "LESS-THAN OR EQUAL TO")
1553 (=ucs@gb . #x2264) ; &G0-215C;
1554 (=ucs@ks . #x2264) ; &G0-215C;
1555 (=gb2312 . #x215C) ; &G0-215C; [01-60]
1556 (=ks-x1001 . #x2142) ; &I-K0-2142; [01-34]
1558 ((name . "LESS-THAN OR EQUAL TO")
1563 '((name . "GREATER-THAN OR EQUAL TO")
1564 (general-category symbol math) ; Informative Category
1565 (bidi-category . "ON")
1571 ((name . "GREATER-THAN OR EQUAL TO")
1574 (=ucs@gb . #x2265) ; &G0-215D;
1575 (=ucs@ks . #x2265) ; &G0-215D;
1576 (=gb2312 . #x215D) ; &G0-215D; [01-61]
1577 (=ks-x1001 . #x2143) ; &I-K0-2143; [01-35]
1579 ((name . "GREATER-THAN OR EQUAL TO")
1584 '((name . "LESS-THAN OVER EQUAL TO")
1585 (general-category symbol math) ; Informative Category
1586 (bidi-category . "ON")
1592 ((name . "LESS-THAN OVER EQUAL TO")
1595 (=ucs@cns . #x2266) ; &J90-2165;
1596 (=ucs@jis . #x2266) ; &J90-2165;
1597 (=ucs@big5 . #x2266) ; &J90-2165;
1598 (=jis-x0208 . #x2165) ; &J90-2165; [01-69]
1599 (=cns11643-1 . #x2239) ; &I-C1-2239; [02-25]
1600 (=jis-x0213-1 . #x2165) ; &I-JX1-2165; [01-69]
1601 (=big5 . #xA1D8) ; &I-B-A1D8;
1603 ((name . "LESS-THAN OVER EQUAL TO")
1608 '((name . "GREATER-THAN OVER EQUAL TO")
1609 (general-category symbol math) ; Informative Category
1610 (bidi-category . "ON")
1616 ((name . "GREATER-THAN OVER EQUAL TO")
1619 (=ucs@cns . #x2267) ; &J90-2166;
1620 (=ucs@jis . #x2267) ; &J90-2166;
1621 (=ucs@big5 . #x2267) ; &J90-2166;
1622 (=jis-x0208 . #x2166) ; &J90-2166; [01-70]
1623 (=cns11643-1 . #x223A) ; &I-C1-223A; [02-26]
1624 (=jis-x0213-1 . #x2166) ; &I-JX1-2166; [01-70]
1625 (=big5 . #xA1D9) ; &I-B-A1D9;
1627 ((name . "GREATER-THAN OVER EQUAL TO")
1632 '((name . "LESS-THAN BUT NOT EQUAL TO")
1633 (general-category symbol math) ; Informative Category
1634 (bidi-category . "ON")
1639 '((name . "GREATER-THAN BUT NOT EQUAL TO")
1640 (general-category symbol math) ; Informative Category
1641 (bidi-category . "ON")
1646 '((name . "MUCH LESS-THAN")
1647 (general-category symbol math) ; Informative Category
1648 (bidi-category . "ON")
1654 ((name . "MUCH LESS-THAN")
1657 (=ucs@jis . #x226A) ; &J90-2263;
1658 (=ucs@ks . #x226A) ; &J90-2263;
1659 (=jis-x0208@1983 . #x2263) ; &J90-2263; [02-67]
1660 (=ks-x1001 . #x216C) ; &I-K0-216C; [01-76]
1661 (=jis-x0208@1990 . #x2263) ; &I-J90-2263; [02-67]
1662 (=jis-x0213-1 . #x2263) ; &I-JX1-2263; [02-67]
1663 (=jef-china3 . #x7FE3) ; &I-JC3-7FE3;
1665 ((name . "MUCH LESS-THAN")
1670 '((name . "MUCH GREATER-THAN")
1671 (general-category symbol math) ; Informative Category
1672 (bidi-category . "ON")
1678 ((name . "MUCH GREATER-THAN")
1681 (=ucs@jis . #x226B) ; &J90-2264;
1682 (=ucs@ks . #x226B) ; &J90-2264;
1683 (=jis-x0208@1983 . #x2264) ; &J90-2264; [02-68]
1684 (=ks-x1001 . #x216D) ; &I-K0-216D; [01-77]
1685 (=jis-x0208@1990 . #x2264) ; &I-J90-2264; [02-68]
1686 (=jis-x0213-1 . #x2264) ; &I-JX1-2264; [02-68]
1687 (=jef-china3 . #x7FE4) ; &I-JC3-7FE4;
1689 ((name . "MUCH GREATER-THAN")
1694 '((name . "BETWEEN")
1695 (general-category symbol math) ; Informative Category
1696 (bidi-category . "ON")
1701 '((name . "NOT EQUIVALENT TO")
1702 (general-category symbol math) ; Informative Category
1703 (bidi-category . "ON")
1706 ((name . "EQUIVALENT TO")
1709 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1715 '((name . "NOT LESS-THAN")
1716 (general-category symbol math) ; Informative Category
1717 (bidi-category . "ON")
1720 ((name . "LESS-THAN SIGN")
1723 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1730 ((name . "NOT LESS-THAN")
1734 ((name . "FULLWIDTH LESS-THAN SIGN")
1737 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1740 (=ucs@gb . #x226E) ; &G0-215A;
1741 (=gb2312 . #x215A) ; &G0-215A; [01-58]
1743 ((name . "NOT LESS-THAN")
1748 '((name . "NOT GREATER-THAN")
1749 (general-category symbol math) ; Informative Category
1750 (bidi-category . "ON")
1753 ((name . "GREATER-THAN SIGN")
1756 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1763 ((name . "NOT GREATER-THAN")
1767 ((name . "FULLWIDTH GREATER-THAN SIGN")
1770 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1773 (=ucs@gb . #x226F) ; &G0-215B;
1774 (=gb2312 . #x215B) ; &G0-215B; [01-59]
1776 ((name . "NOT GREATER-THAN")
1781 '((name . "NEITHER LESS-THAN NOR EQUAL TO")
1782 (general-category symbol math) ; Informative Category
1783 (bidi-category . "ON")
1786 ((name . "LESS-THAN OR EQUAL TO")
1789 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1795 '((name . "NEITHER GREATER-THAN NOR EQUAL TO")
1796 (general-category symbol math) ; Informative Category
1797 (bidi-category . "ON")
1800 ((name . "GREATER-THAN OR EQUAL TO")
1803 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1809 '((name . "LESS-THAN OR EQUIVALENT TO")
1810 (general-category symbol math) ; Informative Category
1811 (bidi-category . "ON")
1816 '((name . "GREATER-THAN OR EQUIVALENT TO")
1817 (general-category symbol math) ; Informative Category
1818 (bidi-category . "ON")
1823 '((name . "NEITHER LESS-THAN NOR EQUIVALENT TO")
1824 (general-category symbol math) ; Informative Category
1825 (bidi-category . "ON")
1828 ((name . "LESS-THAN OR EQUIVALENT TO")
1831 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1837 '((name . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
1838 (general-category symbol math) ; Informative Category
1839 (bidi-category . "ON")
1842 ((name . "GREATER-THAN OR EQUIVALENT TO")
1845 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1851 '((name . "LESS-THAN OR GREATER-THAN")
1852 (general-category symbol math) ; Informative Category
1853 (bidi-category . "ON")
1859 ((name . "LESS-THAN OR GREATER-THAN")
1862 (=ucs@jis . #x2276) ; &JX1-226F;
1863 (=jis-x0213-1 . #x226F) ; &JX1-226F; [02-79]
1865 ((name . "LESS-THAN OR GREATER-THAN")
1870 '((name . "GREATER-THAN OR LESS-THAN")
1871 (general-category symbol math) ; Informative Category
1872 (bidi-category . "ON")
1878 ((name . "GREATER-THAN OR LESS-THAN")
1881 (=ucs@jis . #x2277) ; &JX1-2270;
1882 (=jis-x0213-1 . #x2270) ; &JX1-2270; [02-80]
1884 ((name . "GREATER-THAN OR LESS-THAN")
1889 '((name . "NEITHER LESS-THAN NOR GREATER-THAN")
1890 (general-category symbol math) ; Informative Category
1891 (bidi-category . "ON")
1894 ((name . "LESS-THAN OR GREATER-THAN")
1897 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1903 '((name . "NEITHER GREATER-THAN NOR LESS-THAN")
1904 (general-category symbol math) ; Informative Category
1905 (bidi-category . "ON")
1908 ((name . "GREATER-THAN OR LESS-THAN")
1911 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1917 '((name . "PRECEDES")
1918 (general-category symbol math) ; Informative Category
1919 (bidi-category . "ON")
1924 '((name . "SUCCEEDS")
1925 (general-category symbol math) ; Informative Category
1926 (bidi-category . "ON")
1931 '((name . "PRECEDES OR EQUAL TO")
1932 (general-category symbol math) ; Informative Category
1933 (bidi-category . "ON")
1938 '((name . "SUCCEEDS OR EQUAL TO")
1939 (general-category symbol math) ; Informative Category
1940 (bidi-category . "ON")
1945 '((name . "PRECEDES OR EQUIVALENT TO")
1946 (general-category symbol math) ; Informative Category
1947 (bidi-category . "ON")
1952 '((name . "SUCCEEDS OR EQUIVALENT TO")
1953 (general-category symbol math) ; Informative Category
1954 (bidi-category . "ON")
1959 '((name . "DOES NOT PRECEDE")
1960 (general-category symbol math) ; Informative Category
1961 (bidi-category . "ON")
1964 ((name . "PRECEDES")
1967 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1973 '((name . "DOES NOT SUCCEED")
1974 (general-category symbol math) ; Informative Category
1975 (bidi-category . "ON")
1978 ((name . "SUCCEEDS")
1981 ((name . "COMBINING LONG SOLIDUS OVERLAY")
1987 '((name . "SUBSET OF")
1988 (general-category symbol math) ; Informative Category
1989 (bidi-category . "ON")
1995 ((name . "SUBSET OF")
1998 (=ucs@jis . #x2282) ; &J90-223E;
1999 (=ucs@ks . #x2282) ; &J90-223E;
2000 (=jis-x0208@1983 . #x223E) ; &J90-223E; [02-30]
2001 (=ks-x1001 . #x2178) ; &I-K0-2178; [01-88]
2002 (=jis-x0208@1990 . #x223E) ; &I-J90-223E; [02-30]
2003 (=jis-x0213-1 . #x223E) ; &I-JX1-223E; [02-30]
2004 (=jef-china3 . #x7FD4) ; &I-JC3-7FD4;
2006 ((name . "SUBSET OF")
2011 '((name . "SUPERSET OF")
2012 (general-category symbol math) ; Informative Category
2013 (bidi-category . "ON")
2019 ((name . "SUPERSET OF")
2022 (=ucs@jis . #x2283) ; &J90-223F;
2023 (=ucs@ks . #x2283) ; &J90-223F;
2024 (=jis-x0208@1983 . #x223F) ; &J90-223F; [02-31]
2025 (=ks-x1001 . #x2179) ; &I-K0-2179; [01-89]
2026 (=jis-x0208@1990 . #x223F) ; &I-J90-223F; [02-31]
2027 (=jis-x0213-1 . #x223F) ; &I-JX1-223F; [02-31]
2028 (=jef-china3 . #x7FD5) ; &I-JC3-7FD5;
2030 ((name . "SUPERSET OF")
2035 '((name . "NOT A SUBSET OF")
2036 (general-category symbol math) ; Informative Category
2037 (bidi-category . "ON")
2040 ((name . "SUBSET OF")
2043 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2050 ((name . "NOT A SUBSET OF")
2053 (=ucs@jis . #x2284) ; &JX1-2242;
2054 (=jis-x0213-1 . #x2242) ; &JX1-2242; [02-34]
2056 ((name . "NOT A SUBSET OF")
2061 '((name . "NOT A SUPERSET OF")
2062 (general-category symbol math) ; Informative Category
2063 (bidi-category . "ON")
2066 ((name . "SUPERSET OF")
2069 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2076 ((name . "NOT A SUPERSET OF")
2079 (=ucs@jis . #x2285) ; &JX1-2243;
2080 (=jis-x0213-1 . #x2243) ; &JX1-2243; [02-35]
2082 ((name . "NOT A SUPERSET OF")
2087 '((name . "SUBSET OF OR EQUAL TO")
2088 (general-category symbol math) ; Informative Category
2089 (bidi-category . "ON")
2095 ((name . "SUBSET OF OR EQUAL TO")
2098 (=ucs@jis . #x2286) ; &J90-223C;
2099 (=ucs@ks . #x2286) ; &J90-223C;
2100 (=jis-x0208@1983 . #x223C) ; &J90-223C; [02-28]
2101 (=ks-x1001 . #x2176) ; &I-K0-2176; [01-86]
2102 (=jis-x0208@1990 . #x223C) ; &I-J90-223C; [02-28]
2103 (=jis-x0213-1 . #x223C) ; &I-JX1-223C; [02-28]
2104 (=jef-china3 . #x7FD2) ; &I-JC3-7FD2;
2106 ((name . "SUBSET OF OR EQUAL TO")
2111 '((name . "SUPERSET OF OR EQUAL TO")
2112 (general-category symbol math) ; Informative Category
2113 (bidi-category . "ON")
2119 ((name . "SUPERSET OF OR EQUAL TO")
2122 (=ucs@jis . #x2287) ; &J90-223D;
2123 (=ucs@ks . #x2287) ; &J90-223D;
2124 (=jis-x0208@1983 . #x223D) ; &J90-223D; [02-29]
2125 (=ks-x1001 . #x2177) ; &I-K0-2177; [01-87]
2126 (=jis-x0208@1990 . #x223D) ; &I-J90-223D; [02-29]
2127 (=jis-x0213-1 . #x223D) ; &I-JX1-223D; [02-29]
2128 (=jef-china3 . #x7FD3) ; &I-JC3-7FD3;
2130 ((name . "SUPERSET OF OR EQUAL TO")
2135 '((name . "NEITHER A SUBSET OF NOR EQUAL TO")
2136 (general-category symbol math) ; Informative Category
2137 (bidi-category . "ON")
2140 ((name . "SUBSET OF OR EQUAL TO")
2143 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2149 '((name . "NEITHER A SUPERSET OF NOR EQUAL TO")
2150 (general-category symbol math) ; Informative Category
2151 (bidi-category . "ON")
2154 ((name . "SUPERSET OF OR EQUAL TO")
2157 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2163 '((name . "SUBSET OF WITH NOT EQUAL TO")
2164 (general-category symbol math) ; Informative Category
2165 (bidi-category . "ON")
2171 ((name . "SUBSET OF WITH NOT EQUAL TO")
2174 (=ucs@jis . #x228A) ; &JX1-2244;
2175 (=jis-x0213-1 . #x2244) ; &JX1-2244; [02-36]
2177 ((name . "SUBSET OF WITH NOT EQUAL TO")
2182 '((name . "SUPERSET OF WITH NOT EQUAL TO")
2183 (general-category symbol math) ; Informative Category
2184 (bidi-category . "ON")
2190 ((name . "SUPERSET OF WITH NOT EQUAL TO")
2193 (=ucs@jis . #x228B) ; &JX1-2245;
2194 (=jis-x0213-1 . #x2245) ; &JX1-2245; [02-37]
2196 ((name . "SUPERSET OF WITH NOT EQUAL TO")
2201 '((name . "MULTISET")
2202 (general-category symbol math) ; Informative Category
2203 (bidi-category . "ON")
2208 '((name . "MULTISET MULTIPLICATION")
2209 (general-category symbol math) ; Informative Category
2210 (bidi-category . "ON")
2215 '((name . "MULTISET UNION")
2216 (general-category symbol math) ; Informative Category
2217 (bidi-category . "ON")
2222 '((name . "SQUARE IMAGE OF")
2223 (general-category symbol math) ; Informative Category
2224 (bidi-category . "ON")
2229 '((name . "SQUARE ORIGINAL OF")
2230 (general-category symbol math) ; Informative Category
2231 (bidi-category . "ON")
2236 '((name . "SQUARE IMAGE OF OR EQUAL TO")
2237 (general-category symbol math) ; Informative Category
2238 (bidi-category . "ON")
2243 '((name . "SQUARE ORIGINAL OF OR EQUAL TO")
2244 (general-category symbol math) ; Informative Category
2245 (bidi-category . "ON")
2250 '((name . "SQUARE CAP")
2251 (general-category symbol math) ; Informative Category
2252 (bidi-category . "ON")
2257 '((name . "SQUARE CUP")
2258 (general-category symbol math) ; Informative Category
2259 (bidi-category . "ON")
2264 '((name . "CIRCLED PLUS")
2265 (general-category symbol math) ; Informative Category
2266 (bidi-category . "ON")
2272 ((name . "CIRCLED PLUS")
2275 (=ucs@cns . #x2295) ; &JX1-2251;
2276 (=ucs@jis . #x2295) ; &JX1-2251;
2277 (=ucs@big5 . #x2295) ; &JX1-2251;
2278 (=cns11643-1 . #x2253) ; &JX1-2251; [02-51]
2279 (=jis-x0213-1 . #x2251) ; &I-JX1-2251; [02-49]
2280 (=big5 . #xA1F2) ; &I-B-A1F2;
2282 ((name . "CIRCLED PLUS")
2287 '((name . "CIRCLED MINUS")
2288 (general-category symbol math) ; Informative Category
2289 (bidi-category . "ON")
2295 ((name . "CIRCLED MINUS")
2298 (=ucs@jis . #x2296) ; &JX1-2252;
2299 (=jis-x0213-1 . #x2252) ; &JX1-2252; [02-50]
2301 ((name . "CIRCLED MINUS")
2306 '((name . "CIRCLED TIMES")
2307 (general-category symbol math) ; Informative Category
2308 (bidi-category . "ON")
2314 ((name . "CIRCLED TIMES")
2317 (=ucs@jis . #x2297) ; &JX1-2253;
2318 (=jis-x0213-1 . #x2253) ; &JX1-2253; [02-51]
2320 ((name . "CIRCLED TIMES")
2325 '((name . "CIRCLED DIVISION SLASH")
2326 (general-category symbol math) ; Informative Category
2327 (bidi-category . "ON")
2332 '((name . "CIRCLED DOT OPERATOR")
2333 (general-category symbol math) ; Informative Category
2334 (bidi-category . "ON")
2340 ((name . "CIRCLED DOT OPERATOR")
2343 (=ucs@gb . #x2299) ; &C1-2254;
2344 (=ucs@cns . #x2299) ; &C1-2254;
2345 (=ucs@ks . #x2299) ; &C1-2254;
2346 (=ucs@big5 . #x2299) ; &C1-2254;
2347 (=gb2312 . #x2151) ; &C1-2254; [01-49]
2348 (=ks-x1001 . #x2241) ; &I-K0-2241; [02-33]
2349 (=cns11643-1 . #x2254) ; &I-C1-2254; [02-52]
2350 (=big5 . #xA1F3) ; &I-B-A1F3;
2352 ((name . "CIRCLED DOT OPERATOR")
2357 '((name . "CIRCLED RING OPERATOR")
2358 (general-category symbol math) ; Informative Category
2359 (bidi-category . "ON")
2364 '((name . "CIRCLED ASTERISK OPERATOR")
2365 (general-category symbol math) ; Informative Category
2366 (bidi-category . "ON")
2371 '((name . "CIRCLED EQUALS")
2372 (general-category symbol math) ; Informative Category
2373 (bidi-category . "ON")
2378 '((name . "CIRCLED DASH")
2379 (general-category symbol math) ; Informative Category
2380 (bidi-category . "ON")
2385 '((name . "SQUARED PLUS")
2386 (general-category symbol math) ; Informative Category
2387 (bidi-category . "ON")
2392 '((name . "SQUARED MINUS")
2393 (general-category symbol math) ; Informative Category
2394 (bidi-category . "ON")
2399 '((name . "SQUARED TIMES")
2400 (general-category symbol math) ; Informative Category
2401 (bidi-category . "ON")
2406 '((name . "SQUARED DOT OPERATOR")
2407 (general-category symbol math) ; Informative Category
2408 (bidi-category . "ON")
2413 '((name . "RIGHT TACK")
2414 (general-category symbol math) ; Informative Category
2415 (bidi-category . "ON")
2420 '((name . "LEFT TACK")
2421 (general-category symbol math) ; Informative Category
2422 (bidi-category . "ON")
2427 '((name . "DOWN TACK")
2428 (general-category symbol math) ; Informative Category
2429 (bidi-category . "ON")
2434 '((name . "UP TACK")
2435 (general-category symbol math) ; Informative Category
2436 (bidi-category . "ON")
2445 (=ucs@gb . #x22A5) ; &J90-225D;
2446 (=ucs@cns . #x22A5) ; &J90-225D;
2447 (=ucs@jis . #x22A5) ; &J90-225D;
2448 (=ucs@ks . #x22A5) ; &J90-225D;
2449 (=ucs@big5 . #x22A5) ; &J90-225D;
2450 (=gb2312 . #x214D) ; &J90-225D; [01-45]
2451 (=jis-x0208@1983 . #x225D) ; &I-J83-225D; [02-61]
2452 (=ks-x1001 . #x2151) ; &I-K0-2151; [01-49]
2453 (=jis-x0208@1990 . #x225D) ; &I-J90-225D; [02-61]
2454 (=cns11643-1 . #x2247) ; &I-C1-2247; [02-39]
2455 (=jis-x0213-1 . #x225D) ; &I-JX1-225D; [02-61]
2456 (=big5 . #xA1E6) ; &I-B-A1E6;
2463 '((name . "ASSERTION")
2464 (general-category symbol math) ; Informative Category
2465 (bidi-category . "ON")
2471 (general-category symbol math) ; Informative Category
2472 (bidi-category . "ON")
2478 (general-category symbol math) ; Informative Category
2479 (bidi-category . "ON")
2485 (general-category symbol math) ; Informative Category
2486 (bidi-category . "ON")
2491 '((name . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
2492 (general-category symbol math) ; Informative Category
2493 (bidi-category . "ON")
2498 '((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2499 (general-category symbol math) ; Informative Category
2500 (bidi-category . "ON")
2505 '((name . "DOES NOT PROVE")
2506 (general-category symbol math) ; Informative Category
2507 (bidi-category . "ON")
2510 ((name . "RIGHT TACK")
2513 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2519 '((name . "NOT TRUE")
2520 (general-category symbol math) ; Informative Category
2521 (bidi-category . "ON")
2527 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2533 '((name . "DOES NOT FORCE")
2534 (general-category symbol math) ; Informative Category
2535 (bidi-category . "ON")
2541 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2547 '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2548 (general-category symbol math) ; Informative Category
2549 (bidi-category . "ON")
2552 ((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2555 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2561 '((name . "PRECEDES UNDER RELATION")
2562 (general-category symbol math) ; Informative Category
2563 (bidi-category . "ON")
2568 '((name . "SUCCEEDS UNDER RELATION")
2569 (general-category symbol math) ; Informative Category
2570 (bidi-category . "ON")
2575 '((name . "NORMAL SUBGROUP OF")
2576 (general-category symbol math) ; Informative Category
2577 (bidi-category . "ON")
2582 '((name . "CONTAINS AS NORMAL SUBGROUP")
2583 (general-category symbol math) ; Informative Category
2584 (bidi-category . "ON")
2589 '((name . "NORMAL SUBGROUP OF OR EQUAL TO")
2590 (general-category symbol math) ; Informative Category
2591 (bidi-category . "ON")
2596 '((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
2597 (general-category symbol math) ; Informative Category
2598 (bidi-category . "ON")
2603 '((name . "ORIGINAL OF")
2604 (general-category symbol math) ; Informative Category
2605 (bidi-category . "ON")
2610 '((name . "IMAGE OF")
2611 (general-category symbol math) ; Informative Category
2612 (bidi-category . "ON")
2617 '((name . "MULTIMAP")
2618 (general-category symbol math) ; Informative Category
2619 (bidi-category . "ON")
2624 '((name . "HERMITIAN CONJUGATE MATRIX")
2625 (general-category symbol math) ; Informative Category
2626 (bidi-category . "ON")
2631 '((name . "INTERCALATE")
2632 (general-category symbol math) ; Informative Category
2633 (bidi-category . "ON")
2639 (general-category symbol math) ; Informative Category
2640 (bidi-category . "ON")
2646 (general-category symbol math) ; Informative Category
2647 (bidi-category . "ON")
2653 (general-category symbol math) ; Informative Category
2654 (bidi-category . "ON")
2659 '((name . "RIGHT ANGLE WITH ARC")
2660 (general-category symbol math) ; Informative Category
2661 (bidi-category . "ON")
2666 '((name . "RIGHT TRIANGLE")
2667 (general-category symbol math) ; Informative Category
2668 (bidi-category . "ON")
2674 ((name . "RIGHT TRIANGLE")
2677 (=ucs@cns . #x22BF) ; &JX1-2D79;
2678 (=ucs@jis . #x22BF) ; &JX1-2D79;
2679 (=ucs@big5 . #x22BF) ; &JX1-2D79;
2680 (=cns11643-1 . #x224A) ; &JX1-2D79; [02-42]
2681 (=jis-x0213-1 . #x2D79) ; &I-JX1-2D79; [13-89]
2682 (=big5 . #xA1E9) ; &I-B-A1E9;
2684 ((name . "RIGHT TRIANGLE")
2689 '((name . "N-ARY LOGICAL AND")
2690 (general-category symbol math) ; Informative Category
2691 (bidi-category . "ON")
2696 '((name . "N-ARY LOGICAL OR")
2697 (general-category symbol math) ; Informative Category
2698 (bidi-category . "ON")
2703 '((name . "N-ARY INTERSECTION")
2704 (general-category symbol math) ; Informative Category
2705 (bidi-category . "ON")
2710 '((name . "N-ARY UNION")
2711 (general-category symbol math) ; Informative Category
2712 (bidi-category . "ON")
2717 '((name . "DIAMOND OPERATOR")
2718 (general-category symbol math) ; Informative Category
2719 (bidi-category . "ON")
2724 '((name . "DOT OPERATOR")
2725 (general-category symbol math) ; Informative Category
2726 (bidi-category . "ON")
2731 '((name . "STAR OPERATOR")
2732 (general-category symbol math) ; Informative Category
2733 (bidi-category . "ON")
2738 '((name . "DIVISION TIMES")
2739 (general-category symbol math) ; Informative Category
2740 (bidi-category . "ON")
2746 (general-category symbol math) ; Informative Category
2747 (bidi-category . "ON")
2752 '((name . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
2753 (general-category symbol math) ; Informative Category
2754 (bidi-category . "ON")
2759 '((name . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
2760 (general-category symbol math) ; Informative Category
2761 (bidi-category . "ON")
2766 '((name . "LEFT SEMIDIRECT PRODUCT")
2767 (general-category symbol math) ; Informative Category
2768 (bidi-category . "ON")
2773 '((name . "RIGHT SEMIDIRECT PRODUCT")
2774 (general-category symbol math) ; Informative Category
2775 (bidi-category . "ON")
2780 '((name . "REVERSED TILDE EQUALS")
2781 (general-category symbol math) ; Informative Category
2782 (bidi-category . "ON")
2787 '((name . "CURLY LOGICAL OR")
2788 (general-category symbol math) ; Informative Category
2789 (bidi-category . "ON")
2794 '((name . "CURLY LOGICAL AND")
2795 (general-category symbol math) ; Informative Category
2796 (bidi-category . "ON")
2801 '((name . "DOUBLE SUBSET")
2802 (general-category symbol math) ; Informative Category
2803 (bidi-category . "ON")
2808 '((name . "DOUBLE SUPERSET")
2809 (general-category symbol math) ; Informative Category
2810 (bidi-category . "ON")
2815 '((name . "DOUBLE INTERSECTION")
2816 (general-category symbol math) ; Informative Category
2817 (bidi-category . "ON")
2822 '((name . "DOUBLE UNION")
2823 (general-category symbol math) ; Informative Category
2824 (bidi-category . "ON")
2829 '((name . "PITCHFORK")
2830 (general-category symbol math) ; Informative Category
2831 (bidi-category . "ON")
2836 '((name . "EQUAL AND PARALLEL TO")
2837 (general-category symbol math) ; Informative Category
2838 (bidi-category . "ON")
2843 '((name . "LESS-THAN WITH DOT")
2844 (general-category symbol math) ; Informative Category
2845 (bidi-category . "ON")
2850 '((name . "GREATER-THAN WITH DOT")
2851 (general-category symbol math) ; Informative Category
2852 (bidi-category . "ON")
2857 '((name . "VERY MUCH LESS-THAN")
2858 (general-category symbol math) ; Informative Category
2859 (bidi-category . "ON")
2864 '((name . "VERY MUCH GREATER-THAN")
2865 (general-category symbol math) ; Informative Category
2866 (bidi-category . "ON")
2871 '((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
2872 (general-category symbol math) ; Informative Category
2873 (bidi-category . "ON")
2879 ((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
2882 (=ucs@jis . #x22DA) ; &JX1-2776;
2883 (=jis-x0213-1 . #x2776) ; &JX1-2776; [07-86]
2885 ((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
2890 '((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
2891 (general-category symbol math) ; Informative Category
2892 (bidi-category . "ON")
2898 ((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
2901 (=ucs@jis . #x22DB) ; &JX1-2777;
2902 (=jis-x0213-1 . #x2777) ; &JX1-2777; [07-87]
2904 ((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
2909 '((name . "EQUAL TO OR LESS-THAN")
2910 (general-category symbol math) ; Informative Category
2911 (bidi-category . "ON")
2916 '((name . "EQUAL TO OR GREATER-THAN")
2917 (general-category symbol math) ; Informative Category
2918 (bidi-category . "ON")
2923 '((name . "EQUAL TO OR PRECEDES")
2924 (general-category symbol math) ; Informative Category
2925 (bidi-category . "ON")
2930 '((name . "EQUAL TO OR SUCCEEDS")
2931 (general-category symbol math) ; Informative Category
2932 (bidi-category . "ON")
2937 '((name . "DOES NOT PRECEDE OR EQUAL")
2938 (general-category symbol math) ; Informative Category
2939 (bidi-category . "ON")
2942 ((name . "PRECEDES OR EQUAL TO")
2945 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2951 '((name . "DOES NOT SUCCEED OR EQUAL")
2952 (general-category symbol math) ; Informative Category
2953 (bidi-category . "ON")
2956 ((name . "SUCCEEDS OR EQUAL TO")
2959 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2965 '((name . "NOT SQUARE IMAGE OF OR EQUAL TO")
2966 (general-category symbol math) ; Informative Category
2967 (bidi-category . "ON")
2970 ((name . "SQUARE IMAGE OF OR EQUAL TO")
2973 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2979 '((name . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
2980 (general-category symbol math) ; Informative Category
2981 (bidi-category . "ON")
2984 ((name . "SQUARE ORIGINAL OF OR EQUAL TO")
2987 ((name . "COMBINING LONG SOLIDUS OVERLAY")
2993 '((name . "SQUARE IMAGE OF OR NOT EQUAL TO")
2994 (general-category symbol math) ; Informative Category
2995 (bidi-category . "ON")
3000 '((name . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
3001 (general-category symbol math) ; Informative Category
3002 (bidi-category . "ON")
3007 '((name . "LESS-THAN BUT NOT EQUIVALENT TO")
3008 (general-category symbol math) ; Informative Category
3009 (bidi-category . "ON")
3014 '((name . "GREATER-THAN BUT NOT EQUIVALENT TO")
3015 (general-category symbol math) ; Informative Category
3016 (bidi-category . "ON")
3021 '((name . "PRECEDES BUT NOT EQUIVALENT TO")
3022 (general-category symbol math) ; Informative Category
3023 (bidi-category . "ON")
3028 '((name . "SUCCEEDS BUT NOT EQUIVALENT TO")
3029 (general-category symbol math) ; Informative Category
3030 (bidi-category . "ON")
3035 '((name . "NOT NORMAL SUBGROUP OF")
3036 (general-category symbol math) ; Informative Category
3037 (bidi-category . "ON")
3040 ((name . "NORMAL SUBGROUP OF")
3043 ((name . "COMBINING LONG SOLIDUS OVERLAY")
3049 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
3050 (general-category symbol math) ; Informative Category
3051 (bidi-category . "ON")
3054 ((name . "CONTAINS AS NORMAL SUBGROUP")
3057 ((name . "COMBINING LONG SOLIDUS OVERLAY")
3063 '((name . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
3064 (general-category symbol math) ; Informative Category
3065 (bidi-category . "ON")
3068 ((name . "NORMAL SUBGROUP OF OR EQUAL TO")
3071 ((name . "COMBINING LONG SOLIDUS OVERLAY")
3077 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
3078 (general-category symbol math) ; Informative Category
3079 (bidi-category . "ON")
3082 ((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
3085 ((name . "COMBINING LONG SOLIDUS OVERLAY")
3091 '((name . "VERTICAL ELLIPSIS")
3092 (general-category symbol math) ; Informative Category
3093 (bidi-category . "ON")
3098 '((name . "MIDLINE HORIZONTAL ELLIPSIS")
3099 (general-category symbol math) ; Informative Category
3100 (bidi-category . "ON")
3105 '((name . "UP RIGHT DIAGONAL ELLIPSIS")
3106 (general-category symbol math) ; Informative Category
3107 (bidi-category . "ON")
3112 '((name . "DOWN RIGHT DIAGONAL ELLIPSIS")
3113 (general-category symbol math) ; Informative Category
3114 (bidi-category . "ON")