1 ;; -*- coding: utf-8-mcs-er -*-
4 (general-category symbol math) ; Informative Category
18 (=jis-x0208@1983 . #x224F) ; &J90-224F; [02-47]
19 (=ks-x1001 . #x2223) ; &I-K0-2223; [02-03]
20 (=jis-x0208@1990 . #x224F) ; &I-J90-224F; [02-47]
21 (=jef-china3 . #x7FDC) ; &I-JC3-7FDC;
22 (=ucs@jis . #x2200) ; &J90-224F;
23 (=ucs@ks . #x2200) ; &J90-224F;
26 '((name . "COMPLEMENT")
27 (general-category symbol math) ; Informative Category
28 (bidi-category . "ON")
33 '((name . "PARTIAL DIFFERENTIAL")
34 (general-category symbol math) ; Informative Category
35 (bidi-category . "ON")
41 ((name . "PARTIAL DIFFERENTIAL")
45 ((name . "PARTIAL DIFFERENTIAL")
48 (=jis-x0208@1983 . #x225F) ; &J90-225F; [02-63]
49 (=ks-x1001 . #x2153) ; &I-K0-2153; [01-51]
50 (=jis-x0208@1990 . #x225F) ; &I-J90-225F; [02-63]
51 (=jef-china3 . #x7FE1) ; &I-JC3-7FE1;
52 (=ucs@jis . #x2202) ; &J90-225F;
53 (=ucs@ks . #x2202) ; &J90-225F;
56 '((name . "THERE EXISTS")
57 (general-category symbol math) ; Informative Category
58 (bidi-category . "ON")
64 ((name . "THERE EXISTS")
68 ((name . "THERE EXISTS")
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 (=jef-china3 . #x7FDD) ; &I-JC3-7FDD;
75 (=ucs@jis . #x2203) ; &J90-2250;
76 (=ucs@ks . #x2203) ; &J90-2250;
79 '((name . "THERE DOES NOT EXIST")
80 (general-category symbol math) ; Informative Category
81 (bidi-category . "ON")
83 (->decomposition #x2203 #x0338)
87 '((name . "EMPTY SET")
88 (general-category symbol math) ; Informative Category
89 (bidi-category . "ON")
102 (=jis-x0213-1-2000 . #x2247) ; &JX1-2247; [02-39]
103 (=ucs@jis . #x2205) ; &JX1-2247;
106 '((name . "INCREMENT")
107 (general-category symbol math) ; Informative Category
108 (bidi-category . "ON")
114 (general-category symbol math) ; Informative Category
115 (bidi-category . "ON")
128 (=jis-x0208@1983 . #x2260) ; &J90-2260; [02-64]
129 (=ks-x1001 . #x2154) ; &I-K0-2154; [01-52]
130 (=jis-x0208@1990 . #x2260) ; &I-J90-2260; [02-64]
131 (=jef-china3 . #x7FE2) ; &I-JC3-7FE2;
132 (=ucs@jis . #x2207) ; &J90-2260;
133 (=ucs@ks . #x2207) ; &J90-2260;
136 '((name . "ELEMENT OF")
137 (general-category symbol math) ; Informative Category
138 (bidi-category . "ON")
144 ((name . "ELEMENT OF")
148 ((name . "ELEMENT OF")
151 (=gb2312 . #x214A) ; &J90-223A; [01-42]
152 (=jis-x0208@1983 . #x223A) ; &I-J83-223A; [02-26]
153 (=ks-x1001 . #x2174) ; &I-K0-2174; [01-84]
154 (=jis-x0208@1990 . #x223A) ; &I-J90-223A; [02-26]
155 (=jef-china3 . #x7FD0) ; &I-JC3-7FD0;
156 (=ucs@gb . #x2208) ; &J90-223A;
157 (=ucs@jis . #x2208) ; &J90-223A;
158 (=ucs@ks . #x2208) ; &J90-223A;
161 '((name . "NOT AN ELEMENT OF")
162 (general-category symbol math) ; Informative Category
163 (bidi-category . "ON")
165 (->decomposition #x2208 #x0338)
170 ((name . "NOT AN ELEMENT OF")
174 ((name . "NOT AN ELEMENT OF")
177 (=jis-x0213-1-2000 . #x2246) ; &JX1-2246; [02-38]
178 (=ucs@jis . #x2209) ; &JX1-2246;
181 '((name . "SMALL ELEMENT OF")
182 (general-category symbol math) ; Informative Category
183 (bidi-category . "ON")
188 '((name . "CONTAINS AS MEMBER")
189 (general-category symbol math) ; Informative Category
190 (bidi-category . "ON")
196 ((name . "CONTAINS AS MEMBER")
200 ((name . "CONTAINS AS MEMBER")
203 (=jis-x0208@1983 . #x223B) ; &J90-223B; [02-27]
204 (=ks-x1001 . #x2175) ; &I-K0-2175; [01-85]
205 (=jis-x0208@1990 . #x223B) ; &I-J90-223B; [02-27]
206 (=jef-china3 . #x7FD1) ; &I-JC3-7FD1;
207 (=ucs@jis . #x220B) ; &J90-223B;
208 (=ucs@ks . #x220B) ; &J90-223B;
211 '((name . "DOES NOT CONTAIN AS MEMBER")
212 (general-category symbol math) ; Informative Category
213 (bidi-category . "ON")
215 (->decomposition #x220B #x0338)
219 '((name . "SMALL CONTAINS AS MEMBER")
220 (general-category symbol math) ; Informative Category
221 (bidi-category . "ON")
226 '((name . "END OF PROOF")
227 (general-category symbol math) ; Informative Category
228 (bidi-category . "ON")
233 '((name . "N-ARY PRODUCT")
234 (general-category symbol math) ; Informative Category
235 (bidi-category . "ON")
241 ((name . "N-ARY PRODUCT")
245 ((name . "N-ARY PRODUCT")
248 (=gb2312 . #x2147) ; &K0-2233; [01-39]
249 (=ks-x1001 . #x2233) ; &I-K0-2233; [02-19]
250 (=ucs@gb . #x220F) ; &K0-2233;
251 (=ucs@ks . #x220F) ; &K0-2233;
254 '((name . "N-ARY COPRODUCT")
255 (general-category symbol math) ; Informative Category
256 (bidi-category . "ON")
261 '((name . "N-ARY SUMMATION")
262 (general-category symbol math) ; Informative Category
263 (bidi-category . "ON")
269 ((name . "N-ARY SUMMATION")
273 ((name . "N-ARY SUMMATION")
276 (=gb2312 . #x2146) ; &K0-2232; [01-38]
277 (=ks-x1001 . #x2232) ; &I-K0-2232; [02-18]
278 (=ucs@gb . #x2211) ; &K0-2232;
279 (=ucs@ks . #x2211) ; &K0-2232;
282 '((name . "MINUS SIGN")
283 (general-category symbol math) ; Informative Category
284 (bidi-category . "ET")
290 ((name . "MINUS SIGN")
294 ((name . "MINUS SIGN")
297 (=jis-x0208 . #x215D) ; &J90-215D; [01-61]
298 (=ucs@jis . #x2212) ; &J90-215D;
301 '((name . "MINUS-OR-PLUS SIGN")
302 (general-category symbol math) ; Informative Category
303 (bidi-category . "ET")
309 ((name . "MINUS-OR-PLUS SIGN")
313 ((name . "MINUS-OR-PLUS SIGN")
316 (=jis-x0213-1-2000 . #x235B) ; &JX1-235B; [03-59]
317 (=ucs@jis . #x2213) ; &JX1-235B;
320 '((name . "DOT PLUS")
321 (general-category symbol math) ; Informative Category
322 (bidi-category . "ON")
327 '((name . "DIVISION SLASH")
328 (general-category symbol math) ; Informative Category
329 (bidi-category . "ON")
335 ((name . "DIVISION SLASH")
339 ((name . "DIVISION SLASH")
342 (=cns11643-1 . #x2261) ; &C1-2261; [02-65]
343 (=big5 . #xA241) ; &I-B-A241;
344 (=ucs@cns . #x2215) ; &C1-2261;
345 (=ucs@big5 . #x2215) ; &C1-2261;
348 '((name . "SET MINUS")
349 (general-category symbol math) ; Informative Category
350 (bidi-category . "ON")
355 '((name . "ASTERISK OPERATOR")
356 (general-category symbol math) ; Informative Category
357 (bidi-category . "ON")
362 '((name . "RING OPERATOR")
363 (general-category symbol math) ; Informative Category
364 (bidi-category . "ON")
369 '((name . "BULLET OPERATOR")
370 (general-category symbol math) ; Informative Category
371 (bidi-category . "ON")
376 '((name . "SQUARE ROOT")
377 (general-category symbol math) ; Informative Category
378 (bidi-category . "ON")
384 ((name . "SQUARE ROOT")
388 ((name . "SQUARE ROOT")
391 (=gb2312 . #x214C) ; &J90-2265; [01-44]
392 (=jis-x0208@1983 . #x2265) ; &I-J83-2265; [02-69]
393 (=ks-x1001 . #x216E) ; &I-K0-216E; [01-78]
394 (=jis-x0208@1990 . #x2265) ; &I-J90-2265; [02-69]
395 (=cns11643-1 . #x2235) ; &I-C1-2235; [02-21]
396 (=big5 . #xA1D4) ; &I-B-A1D4;
397 (=ucs@gb . #x221A) ; &J90-2265;
398 (=ucs@cns . #x221A) ; &J90-2265;
399 (=ucs@jis . #x221A) ; &J90-2265;
400 (=ucs@ks . #x221A) ; &J90-2265;
401 (=ucs@big5 . #x221A) ; &J90-2265;
404 '((name . "CUBE ROOT")
405 (general-category symbol math) ; Informative Category
406 (bidi-category . "ON")
411 '((name . "FOURTH ROOT")
412 (general-category symbol math) ; Informative Category
413 (bidi-category . "ON")
418 '((name . "PROPORTIONAL TO")
419 (general-category symbol math) ; Informative Category
420 (bidi-category . "ON")
426 ((name . "PROPORTIONAL TO")
430 ((name . "PROPORTIONAL TO")
433 (=gb2312 . #x2158) ; &J90-2267; [01-56]
434 (=jis-x0208@1983 . #x2267) ; &I-J83-2267; [02-71]
435 (=ks-x1001 . #x2170) ; &I-K0-2170; [01-80]
436 (=jis-x0208@1990 . #x2267) ; &I-J90-2267; [02-71]
437 (=jef-china3 . #x7FE7) ; &I-JC3-7FE7;
438 (=ucs@gb . #x221D) ; &J90-2267;
439 (=ucs@jis . #x221D) ; &J90-2267;
440 (=ucs@ks . #x221D) ; &J90-2267;
443 '((name . "INFINITY")
444 (general-category symbol math) ; Informative Category
445 (bidi-category . "ON")
458 (=jis-x0208 . #x2167) ; &J90-2167; [01-71]
459 (=gb2312 . #x215E) ; &I-G0-215E; [01-62]
460 (=ks-x1001 . #x2144) ; &I-K0-2144; [01-36]
461 (=cns11643-1 . #x223C) ; &I-C1-223C; [02-28]
462 (=big5 . #xA1DB) ; &I-B-A1DB;
463 (=ucs@gb . #x221E) ; &J90-2167;
464 (=ucs@cns . #x221E) ; &J90-2167;
465 (=ucs@jis . #x221E) ; &J90-2167;
466 (=ucs@ks . #x221E) ; &J90-2167;
467 (=ucs@big5 . #x221E) ; &J90-2167;
470 '((name . "RIGHT ANGLE")
471 (general-category symbol math) ; Informative Category
472 (bidi-category . "ON")
478 ((name . "RIGHT ANGLE")
482 ((name . "RIGHT ANGLE")
485 (=cns11643-1 . #x2249) ; &JX1-2D78; [02-41]
486 (=jis-x0213-1-2000 . #x2D78) ; &I-JX1-2D78; [13-88]
487 (=big5 . #xA1E8) ; &I-B-A1E8;
488 (=ucs@cns . #x221F) ; &JX1-2D78;
489 (=ucs@jis . #x221F) ; &JX1-2D78;
490 (=ucs@big5 . #x221F) ; &JX1-2D78;
494 (general-category symbol math) ; Informative Category
495 (bidi-category . "ON")
508 (=gb2312 . #x214F) ; &J90-225C; [01-47]
509 (=jis-x0208@1983 . #x225C) ; &I-J83-225C; [02-60]
510 (=ks-x1001 . #x2150) ; &I-K0-2150; [01-48]
511 (=jis-x0208@1990 . #x225C) ; &I-J90-225C; [02-60]
512 (=cns11643-1 . #x2248) ; &I-C1-2248; [02-40]
513 (=big5 . #xA1E7) ; &I-B-A1E7;
514 (=jef-china3 . #x7FDE) ; &I-JC3-7FDE;
515 (=ucs@gb . #x2220) ; &J90-225C;
516 (=ucs@cns . #x2220) ; &J90-225C;
517 (=ucs@jis . #x2220) ; &J90-225C;
518 (=ucs@ks . #x2220) ; &J90-225C;
519 (=ucs@big5 . #x2220) ; &J90-225C;
522 '((name . "MEASURED ANGLE")
523 (general-category symbol math) ; Informative Category
524 (bidi-category . "ON")
529 '((name . "SPHERICAL ANGLE")
530 (general-category symbol math) ; Informative Category
531 (bidi-category . "ON")
537 (general-category symbol math) ; Informative Category
538 (bidi-category . "ON")
551 (=big5 . #xA1FD) ; &B-A1FD;
552 (=ucs@big5 . #x2223) ; &B-A1FD;
555 '((name . "DOES NOT DIVIDE")
556 (general-category symbol math) ; Informative Category
557 (bidi-category . "ON")
559 (->decomposition #x2223 #x0338)
563 '((name . "PARALLEL TO")
564 (general-category symbol math) ; Informative Category
565 (bidi-category . "ON")
571 ((name . "PARALLEL TO")
575 ((name . "PARALLEL TO")
578 (=gb2312 . #x214E) ; &JX1-2254; [01-46]
579 (=ks-x1001 . #x212B) ; &I-K0-212B; [01-11]
580 (=jis-x0213-1-2000 . #x2254) ; &I-JX1-2254; [02-52]
581 (=big5 . #xA1FC) ; &I-B-A1FC;
582 (=ucs@gb . #x2225) ; &JX1-2254;
583 (=ucs@jis . #x2225) ; &JX1-2254;
584 (=ucs@ks . #x2225) ; &JX1-2254;
585 (=ucs@big5 . #x2225) ; &JX1-2254;
588 '((name . "NOT PARALLEL TO")
589 (general-category symbol math) ; Informative Category
590 (bidi-category . "ON")
592 (->decomposition #x2225 #x0338)
597 ((name . "NOT PARALLEL TO")
601 ((name . "NOT PARALLEL TO")
604 (=jis-x0213-1-2000 . #x2255) ; &JX1-2255; [02-53]
605 (=ucs@jis . #x2226) ; &JX1-2255;
608 '((name . "LOGICAL AND")
609 (general-category symbol math) ; Informative Category
610 (bidi-category . "ON")
616 ((name . "LOGICAL AND")
620 ((name . "LOGICAL AND")
623 (=gb2312 . #x2144) ; &J90-224A; [01-36]
624 (=jis-x0208@1983 . #x224A) ; &I-J83-224A; [02-42]
625 (=ks-x1001 . #x217C) ; &I-K0-217C; [01-92]
626 (=jis-x0208@1990 . #x224A) ; &I-J90-224A; [02-42]
627 (=jef-china3 . #x7FD8) ; &I-JC3-7FD8;
628 (=ucs@gb . #x2227) ; &J90-224A;
629 (=ucs@jis . #x2227) ; &J90-224A;
630 (=ucs@ks . #x2227) ; &J90-224A;
633 '((name . "LOGICAL OR")
634 (general-category symbol math) ; Informative Category
635 (bidi-category . "ON")
641 ((name . "LOGICAL OR")
645 ((name . "LOGICAL OR")
648 (=gb2312 . #x2145) ; &J90-224B; [01-37]
649 (=jis-x0208@1983 . #x224B) ; &I-J83-224B; [02-43]
650 (=ks-x1001 . #x217D) ; &I-K0-217D; [01-93]
651 (=jis-x0208@1990 . #x224B) ; &I-J90-224B; [02-43]
652 (=jef-china3 . #x7FD9) ; &I-JC3-7FD9;
653 (=ucs@gb . #x2228) ; &J90-224B;
654 (=ucs@jis . #x2228) ; &J90-224B;
655 (=ucs@ks . #x2228) ; &J90-224B;
658 '((name . "INTERSECTION")
659 (general-category symbol math) ; Informative Category
660 (bidi-category . "ON")
666 ((name . "INTERSECTION")
670 ((name . "INTERSECTION")
673 (=gb2312 . #x2149) ; &J90-2241; [01-41]
674 (=jis-x0208@1983 . #x2241) ; &I-J83-2241; [02-33]
675 (=ks-x1001 . #x217B) ; &I-K0-217B; [01-91]
676 (=jis-x0208@1990 . #x2241) ; &I-J90-2241; [02-33]
677 (=cns11643-1 . #x2245) ; &I-C1-2245; [02-37]
678 (=big5 . #xA1E4) ; &I-B-A1E4;
679 (=jef-china3 . #x7FD7) ; &I-JC3-7FD7;
680 (=ucs@gb . #x2229) ; &J90-2241;
681 (=ucs@cns . #x2229) ; &J90-2241;
682 (=ucs@jis . #x2229) ; &J90-2241;
683 (=ucs@ks . #x2229) ; &J90-2241;
684 (=ucs@big5 . #x2229) ; &J90-2241;
688 (general-category symbol math) ; Informative Category
689 (bidi-category . "ON")
702 (=gb2312 . #x2148) ; &J90-2240; [01-40]
703 (=jis-x0208@1983 . #x2240) ; &I-J83-2240; [02-32]
704 (=ks-x1001 . #x217A) ; &I-K0-217A; [01-90]
705 (=jis-x0208@1990 . #x2240) ; &I-J90-2240; [02-32]
706 (=cns11643-1 . #x2246) ; &I-C1-2246; [02-38]
707 (=big5 . #xA1E5) ; &I-B-A1E5;
708 (=jef-china3 . #x7FD6) ; &I-JC3-7FD6;
709 (=ucs@gb . #x222A) ; &J90-2240;
710 (=ucs@cns . #x222A) ; &J90-2240;
711 (=ucs@jis . #x222A) ; &J90-2240;
712 (=ucs@ks . #x222A) ; &J90-2240;
713 (=ucs@big5 . #x222A) ; &J90-2240;
716 '((name . "INTEGRAL")
717 (general-category symbol math) ; Informative Category
718 (bidi-category . "ON")
731 (=gb2312 . #x2152) ; &J90-2269; [01-50]
732 (=jis-x0208@1983 . #x2269) ; &I-J83-2269; [02-73]
733 (=ks-x1001 . #x2172) ; &I-K0-2172; [01-82]
734 (=jis-x0208@1990 . #x2269) ; &I-J90-2269; [02-73]
735 (=cns11643-1 . #x224D) ; &I-C1-224D; [02-45]
736 (=big5 . #xA1EC) ; &I-B-A1EC;
737 (=jef-china3 . #x7FE8) ; &I-JC3-7FE8;
738 (=ucs@gb . #x222B) ; &J90-2269;
739 (=ucs@cns . #x222B) ; &J90-2269;
740 (=ucs@jis . #x222B) ; &J90-2269;
741 (=ucs@ks . #x222B) ; &J90-2269;
742 (=ucs@big5 . #x222B) ; &J90-2269;
745 '((name . "DOUBLE INTEGRAL")
746 (general-category symbol math) ; Informative Category
747 (bidi-category . "ON")
749 (->decomposition compat #x222B #x222B)
754 ((name . "DOUBLE INTEGRAL")
758 ((name . "DOUBLE INTEGRAL")
761 (=jis-x0208@1983 . #x226A) ; &J90-226A; [02-74]
762 (=ks-x1001 . #x2173) ; &I-K0-2173; [01-83]
763 (=jis-x0208@1990 . #x226A) ; &I-J90-226A; [02-74]
764 (=jef-china3 . #x7FE9) ; &I-JC3-7FE9;
765 (=ucs@jis . #x222C) ; &J90-226A;
766 (=ucs@ks . #x222C) ; &J90-226A;
769 '((name . "TRIPLE INTEGRAL")
770 (general-category symbol math) ; Informative Category
771 (bidi-category . "ON")
773 (->decomposition compat #x222B #x222B #x222B)
777 '((name . "CONTOUR INTEGRAL")
778 (general-category symbol math) ; Informative Category
779 (bidi-category . "ON")
785 ((name . "CONTOUR INTEGRAL")
789 ((name . "CONTOUR INTEGRAL")
792 (=gb2312 . #x2153) ; &JX1-2D73; [01-51]
793 (=ks-x1001 . #x2231) ; &I-K0-2231; [02-17]
794 (=cns11643-1 . #x224E) ; &I-C1-224E; [02-46]
795 (=jis-x0213-1-2000 . #x2D73) ; &I-JX1-2D73; [13-83]
796 (=big5 . #xA1ED) ; &I-B-A1ED;
797 (=ucs@gb . #x222E) ; &JX1-2D73;
798 (=ucs@cns . #x222E) ; &JX1-2D73;
799 (=ucs@jis . #x222E) ; &JX1-2D73;
800 (=ucs@ks . #x222E) ; &JX1-2D73;
801 (=ucs@big5 . #x222E) ; &JX1-2D73;
804 '((name . "SURFACE INTEGRAL")
805 (general-category symbol math) ; Informative Category
806 (bidi-category . "ON")
808 (->decomposition compat #x222E #x222E)
812 '((name . "VOLUME INTEGRAL")
813 (general-category symbol math) ; Informative Category
814 (bidi-category . "ON")
816 (->decomposition compat #x222E #x222E #x222E)
820 '((name . "CLOCKWISE INTEGRAL")
821 (general-category symbol math) ; Informative Category
822 (bidi-category . "ON")
827 '((name . "CLOCKWISE CONTOUR INTEGRAL")
828 (general-category symbol math) ; Informative Category
829 (bidi-category . "ON")
834 '((name . "ANTICLOCKWISE CONTOUR INTEGRAL")
835 (general-category symbol math) ; Informative Category
836 (bidi-category . "ON")
841 '((name . "THEREFORE")
842 (general-category symbol math) ; Informative Category
843 (bidi-category . "ON")
849 ((name . "THEREFORE")
853 ((name . "THEREFORE")
856 (=jis-x0208 . #x2168) ; &J90-2168; [01-72]
857 (=gb2312 . #x2160) ; &I-G0-2160; [01-64]
858 (=ks-x1001 . #x2145) ; &I-K0-2145; [01-37]
859 (=cns11643-1 . #x2250) ; &I-C1-2250; [02-48]
860 (=big5 . #xA1EF) ; &I-B-A1EF;
861 (=ucs@gb . #x2234) ; &J90-2168;
862 (=ucs@cns . #x2234) ; &J90-2168;
863 (=ucs@jis . #x2234) ; &J90-2168;
864 (=ucs@ks . #x2234) ; &J90-2168;
865 (=ucs@big5 . #x2234) ; &J90-2168;
869 (general-category symbol math) ; Informative Category
870 (bidi-category . "ON")
883 (=gb2312 . #x215F) ; &J90-2268; [01-63]
884 (=jis-x0208@1983 . #x2268) ; &I-J83-2268; [02-72]
885 (=ks-x1001 . #x2171) ; &I-K0-2171; [01-81]
886 (=jis-x0208@1990 . #x2268) ; &I-J90-2268; [02-72]
887 (=cns11643-1 . #x224F) ; &I-C1-224F; [02-47]
888 (=big5 . #xA1EE) ; &I-B-A1EE;
889 (=ucs@gb . #x2235) ; &J90-2268;
890 (=ucs@cns . #x2235) ; &J90-2268;
891 (=ucs@jis . #x2235) ; &J90-2268;
892 (=ucs@ks . #x2235) ; &J90-2268;
893 (=ucs@big5 . #x2235) ; &J90-2268;
897 (general-category symbol math) ; Informative Category
898 (bidi-category . "ON")
911 (=gb2312 . #x2143) ; &G0-2143; [01-35]
912 (=ucs@gb . #x2236) ; &G0-2143;
915 '((name . "PROPORTION")
916 (general-category symbol math) ; Informative Category
917 (bidi-category . "ON")
923 ((name . "PROPORTION")
927 ((name . "PROPORTION")
930 (=gb2312 . #x214B) ; &G0-214B; [01-43]
931 (=ucs@gb . #x2237) ; &G0-214B;
934 '((name . "DOT MINUS")
935 (general-category symbol math) ; Informative Category
936 (bidi-category . "ON")
942 (general-category symbol math) ; Informative Category
943 (bidi-category . "ON")
948 '((name . "GEOMETRIC PROPORTION")
949 (general-category symbol math) ; Informative Category
950 (bidi-category . "ON")
955 '((name . "HOMOTHETIC")
956 (general-category symbol math) ; Informative Category
957 (bidi-category . "ON")
962 '((name . "TILDE OPERATOR")
963 (general-category symbol math) ; Informative Category
964 (bidi-category . "ON")
970 ((name . "TILDE OPERATOR")
974 ((name . "TILDE OPERATOR")
977 (=ks-x1001 . #x212D) ; &C1-2244; [01-13]
978 (=cns11643-1 . #x2244) ; &I-C1-2244; [02-36]
979 (=big5 . #xA1E3) ; &I-B-A1E3;
980 (=ucs@cns . #xFF5E) ; &C1-2244;
981 (=ucs@ks . #x223C) ; &C1-2244;
982 (=ucs@big5 . #xFF5E) ; &C1-2244;
985 '((name . "REVERSED TILDE")
986 (general-category symbol math) ; Informative Category
987 (bidi-category . "ON")
989 (iso-10646-comment . "lazy S")
994 ((name . "REVERSED TILDE")
998 ((name . "REVERSED TILDE")
1001 (=gb2312 . #x2157) ; &J90-2266; [01-55]
1002 (=jis-x0208@1983 . #x2266) ; &I-J83-2266; [02-70]
1003 (=ks-x1001 . #x216F) ; &I-K0-216F; [01-79]
1004 (=jis-x0208@1990 . #x2266) ; &I-J90-2266; [02-70]
1005 (=jef-china3 . #x7FE6) ; &I-JC3-7FE6;
1006 (=ucs@gb . #x223D) ; &J90-2266;
1007 (=ucs@jis . #x223D) ; &J90-2266;
1008 (=ucs@ks . #x223D) ; &J90-2266;
1011 '((name . "INVERTED LAZY S")
1012 (general-category symbol math) ; Informative Category
1013 (bidi-category . "ON")
1018 '((name . "SINE WAVE")
1019 (general-category symbol math) ; Informative Category
1020 (bidi-category . "ON")
1025 '((name . "WREATH PRODUCT")
1026 (general-category symbol math) ; Informative Category
1027 (bidi-category . "ON")
1032 '((name . "NOT TILDE")
1033 (general-category symbol math) ; Informative Category
1034 (bidi-category . "ON")
1036 (->decomposition #x223C #x0338)
1040 '((name . "MINUS TILDE")
1041 (general-category symbol math) ; Informative Category
1042 (bidi-category . "ON")
1047 '((name . "ASYMPTOTICALLY EQUAL TO")
1048 (general-category symbol math) ; Informative Category
1049 (bidi-category . "ON")
1055 ((name . "ASYMPTOTICALLY EQUAL TO")
1059 ((name . "ASYMPTOTICALLY EQUAL TO")
1062 (=jis-x0213-1-2000 . #x226C) ; &JX1-226C; [02-76]
1063 (=ucs@jis . #x2243) ; &JX1-226C;
1066 '((name . "NOT ASYMPTOTICALLY EQUAL TO")
1067 (general-category symbol math) ; Informative Category
1068 (bidi-category . "ON")
1070 (->decomposition #x2243 #x0338)
1074 '((name . "APPROXIMATELY EQUAL TO")
1075 (general-category symbol math) ; Informative Category
1076 (bidi-category . "ON")
1082 ((name . "APPROXIMATELY EQUAL TO")
1086 ((name . "APPROXIMATELY EQUAL TO")
1089 (=jis-x0213-1-2000 . #x226D) ; &JX1-226D; [02-77]
1090 (=ucs@jis . #x2245) ; &JX1-226D;
1093 '((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
1094 (general-category symbol math) ; Informative Category
1095 (bidi-category . "ON")
1100 '((name . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
1101 (general-category symbol math) ; Informative Category
1102 (bidi-category . "ON")
1104 (->decomposition #x2245 #x0338)
1108 '((name . "ALMOST EQUAL TO")
1109 (general-category symbol math) ; Informative Category
1110 (bidi-category . "ON")
1116 ((name . "ALMOST EQUAL TO")
1120 ((name . "ALMOST EQUAL TO")
1123 (=gb2312 . #x2156) ; &JX1-226E; [01-54]
1124 (=jis-x0213-1-2000 . #x226E) ; &I-JX1-226E; [02-78]
1125 (=ucs@gb . #x2248) ; &JX1-226E;
1126 (=ucs@jis . #x2248) ; &JX1-226E;
1129 '((name . "NOT ALMOST EQUAL TO")
1130 (general-category symbol math) ; Informative Category
1131 (bidi-category . "ON")
1133 (->decomposition #x2248 #x0338)
1137 '((name . "ALMOST EQUAL OR EQUAL TO")
1138 (general-category symbol math) ; Informative Category
1139 (bidi-category . "ON")
1144 '((name . "TRIPLE TILDE")
1145 (general-category symbol math) ; Informative Category
1146 (bidi-category . "ON")
1151 '((name . "ALL EQUAL TO")
1152 (general-category symbol math) ; Informative Category
1153 (bidi-category . "ON")
1159 ((name . "ALL EQUAL TO")
1163 ((name . "ALL EQUAL TO")
1166 (=gb2312 . #x2155) ; &G0-2155; [01-53]
1167 (=ucs@gb . #x224C) ; &G0-2155;
1170 '((name . "EQUIVALENT TO")
1171 (general-category symbol math) ; Informative Category
1172 (bidi-category . "ON")
1177 '((name . "GEOMETRICALLY EQUIVALENT TO")
1178 (general-category symbol math) ; Informative Category
1179 (bidi-category . "ON")
1184 '((name . "DIFFERENCE BETWEEN")
1185 (general-category symbol math) ; Informative Category
1186 (bidi-category . "ON")
1191 '((name . "APPROACHES THE LIMIT")
1192 (general-category symbol math) ; Informative Category
1193 (bidi-category . "ON")
1198 '((name . "GEOMETRICALLY EQUAL TO")
1199 (general-category symbol math) ; Informative Category
1200 (bidi-category . "ON")
1205 '((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1206 (general-category symbol math) ; Informative Category
1207 (bidi-category . "ON")
1213 ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1217 ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1220 (=jis-x0208@1983 . #x2262) ; &J90-2262; [02-66]
1221 (=ks-x1001 . #x2156) ; &I-K0-2156; [01-54]
1222 (=jis-x0208@1990 . #x2262) ; &I-J90-2262; [02-66]
1223 (=cns11643-1 . #x223D) ; &I-C1-223D; [02-29]
1224 (=big5 . #xA1DC) ; &I-B-A1DC;
1225 (=ucs@cns . #x2252) ; &J90-2262;
1226 (=ucs@jis . #x2252) ; &J90-2262;
1227 (=ucs@ks . #x2252) ; &J90-2262;
1228 (=ucs@big5 . #x2252) ; &J90-2262;
1231 '((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
1232 (general-category symbol math) ; Informative Category
1233 (bidi-category . "ON")
1238 '((name . "COLON EQUALS")
1239 (general-category symbol math) ; Informative Category
1240 (bidi-category . "ON")
1245 '((name . "EQUALS COLON")
1246 (general-category symbol math) ; Informative Category
1247 (bidi-category . "ON")
1252 '((name . "RING IN EQUAL TO")
1253 (general-category symbol math) ; Informative Category
1254 (bidi-category . "ON")
1259 '((name . "RING EQUAL TO")
1260 (general-category symbol math) ; Informative Category
1261 (bidi-category . "ON")
1266 '((name . "CORRESPONDS TO")
1267 (general-category symbol math) ; Informative Category
1268 (bidi-category . "ON")
1273 '((name . "ESTIMATES")
1274 (general-category symbol math) ; Informative Category
1275 (bidi-category . "ON")
1280 '((name . "EQUIANGULAR TO")
1281 (general-category symbol math) ; Informative Category
1282 (bidi-category . "ON")
1287 '((name . "STAR EQUALS")
1288 (general-category symbol math) ; Informative Category
1289 (bidi-category . "ON")
1294 '((name . "DELTA EQUAL TO")
1295 (general-category symbol math) ; Informative Category
1296 (bidi-category . "ON")
1301 '((name . "EQUAL TO BY DEFINITION")
1302 (general-category symbol math) ; Informative Category
1303 (bidi-category . "ON")
1308 '((name . "MEASURED BY")
1309 (general-category symbol math) ; Informative Category
1310 (bidi-category . "ON")
1315 '((name . "QUESTIONED EQUAL TO")
1316 (general-category symbol math) ; Informative Category
1317 (bidi-category . "ON")
1322 '((name . "NOT EQUAL TO")
1323 (general-category symbol math) ; Informative Category
1324 (bidi-category . "ON")
1326 (->decomposition #x003D #x0338)
1330 '((->decomposition #xFF1D #x0338)
1332 ((name . "NOT EQUAL TO")
1336 ((name . "NOT EQUAL TO")
1339 (=jis-x0208 . #x2162) ; &J90-2162; [01-66]
1340 (=gb2312 . #x2159) ; &I-G0-2159; [01-57]
1341 (=ks-x1001 . #x2141) ; &I-K0-2141; [01-33]
1342 (=cns11643-1 . #x223B) ; &I-C1-223B; [02-27]
1343 (=big5 . #xA1DA) ; &I-B-A1DA;
1344 (=ucs@gb . #x2260) ; &J90-2162;
1345 (=ucs@cns . #x2260) ; &J90-2162;
1346 (=ucs@jis . #x2260) ; &J90-2162;
1347 (=ucs@ks . #x2260) ; &J90-2162;
1348 (=ucs@big5 . #x2260) ; &J90-2162;
1351 '((name . "IDENTICAL TO")
1352 (general-category symbol math) ; Informative Category
1353 (bidi-category . "ON")
1359 ((name . "IDENTICAL TO")
1363 ((name . "IDENTICAL TO")
1366 (=gb2312 . #x2154) ; &J90-2261; [01-52]
1367 (=jis-x0208@1983 . #x2261) ; &I-J83-2261; [02-65]
1368 (=ks-x1001 . #x2155) ; &I-K0-2155; [01-53]
1369 (=jis-x0208@1990 . #x2261) ; &I-J90-2261; [02-65]
1370 (=cns11643-1 . #x223E) ; &I-C1-223E; [02-30]
1371 (=big5 . #xA1DD) ; &I-B-A1DD;
1372 (=ucs@gb . #x2261) ; &J90-2261;
1373 (=ucs@cns . #x2261) ; &J90-2261;
1374 (=ucs@jis . #x2261) ; &J90-2261;
1375 (=ucs@ks . #x2261) ; &J90-2261;
1376 (=ucs@big5 . #x2261) ; &J90-2261;
1379 '((name . "NOT IDENTICAL TO")
1380 (general-category symbol math) ; Informative Category
1381 (bidi-category . "ON")
1383 (->decomposition #x2261 #x0338)
1387 '((->decomposition #xEC41B7 #x0338)
1389 ((name . "NOT IDENTICAL TO")
1393 ((name . "NOT IDENTICAL TO")
1396 (=jis-x0213-1-2000 . #x226B) ; &JX1-226B; [02-75]
1397 (=ucs@jis . #x2262) ; &JX1-226B;
1400 '((name . "STRICTLY EQUIVALENT TO")
1401 (general-category symbol math) ; Informative Category
1402 (bidi-category . "ON")
1407 '((name . "LESS-THAN OR EQUAL TO")
1408 (general-category symbol math) ; Informative Category
1409 (bidi-category . "ON")
1415 ((name . "LESS-THAN OR EQUAL TO")
1419 ((name . "LESS-THAN OR EQUAL TO")
1422 (=gb2312 . #x215C) ; &K0-2142; [01-60]
1423 (=ks-x1001 . #x2142) ; &I-K0-2142; [01-34]
1424 (=ucs@gb . #x2264) ; &K0-2142;
1425 (=ucs@ks . #x2264) ; &K0-2142;
1428 '((name . "GREATER-THAN OR EQUAL TO")
1429 (general-category symbol math) ; Informative Category
1430 (bidi-category . "ON")
1436 ((name . "GREATER-THAN OR EQUAL TO")
1440 ((name . "GREATER-THAN OR EQUAL TO")
1443 (=gb2312 . #x215D) ; &K0-2143; [01-61]
1444 (=ks-x1001 . #x2143) ; &I-K0-2143; [01-35]
1445 (=ucs@gb . #x2265) ; &K0-2143;
1446 (=ucs@ks . #x2265) ; &K0-2143;
1449 '((name . "LESS-THAN OVER EQUAL TO")
1450 (general-category symbol math) ; Informative Category
1451 (bidi-category . "ON")
1457 ((name . "LESS-THAN OVER EQUAL TO")
1461 ((name . "LESS-THAN OVER EQUAL TO")
1464 (=jis-x0208 . #x2165) ; &J90-2165; [01-69]
1465 (=cns11643-1 . #x2239) ; &I-C1-2239; [02-25]
1466 (=big5 . #xA1D8) ; &I-B-A1D8;
1467 (=ucs@cns . #x2266) ; &J90-2165;
1468 (=ucs@jis . #x2266) ; &J90-2165;
1469 (=ucs@big5 . #x2266) ; &J90-2165;
1472 '((name . "GREATER-THAN OVER EQUAL TO")
1473 (general-category symbol math) ; Informative Category
1474 (bidi-category . "ON")
1480 ((name . "GREATER-THAN OVER EQUAL TO")
1484 ((name . "GREATER-THAN OVER EQUAL TO")
1487 (=jis-x0208 . #x2166) ; &J90-2166; [01-70]
1488 (=cns11643-1 . #x223A) ; &I-C1-223A; [02-26]
1489 (=big5 . #xA1D9) ; &I-B-A1D9;
1490 (=ucs@cns . #x2267) ; &J90-2166;
1491 (=ucs@jis . #x2267) ; &J90-2166;
1492 (=ucs@big5 . #x2267) ; &J90-2166;
1495 '((name . "LESS-THAN BUT NOT EQUAL TO")
1496 (general-category symbol math) ; Informative Category
1497 (bidi-category . "ON")
1502 '((name . "GREATER-THAN BUT NOT EQUAL TO")
1503 (general-category symbol math) ; Informative Category
1504 (bidi-category . "ON")
1509 '((name . "MUCH LESS-THAN")
1510 (general-category symbol math) ; Informative Category
1511 (bidi-category . "ON")
1517 ((name . "MUCH LESS-THAN")
1521 ((name . "MUCH LESS-THAN")
1524 (=jis-x0208@1983 . #x2263) ; &J90-2263; [02-67]
1525 (=ks-x1001 . #x216C) ; &I-K0-216C; [01-76]
1526 (=jis-x0208@1990 . #x2263) ; &I-J90-2263; [02-67]
1527 (=jef-china3 . #x7FE3) ; &I-JC3-7FE3;
1528 (=ucs@jis . #x226A) ; &J90-2263;
1529 (=ucs@ks . #x226A) ; &J90-2263;
1532 '((name . "MUCH GREATER-THAN")
1533 (general-category symbol math) ; Informative Category
1534 (bidi-category . "ON")
1540 ((name . "MUCH GREATER-THAN")
1544 ((name . "MUCH GREATER-THAN")
1547 (=jis-x0208@1983 . #x2264) ; &J90-2264; [02-68]
1548 (=ks-x1001 . #x216D) ; &I-K0-216D; [01-77]
1549 (=jis-x0208@1990 . #x2264) ; &I-J90-2264; [02-68]
1550 (=jef-china3 . #x7FE4) ; &I-JC3-7FE4;
1551 (=ucs@jis . #x226B) ; &J90-2264;
1552 (=ucs@ks . #x226B) ; &J90-2264;
1555 '((name . "BETWEEN")
1556 (general-category symbol math) ; Informative Category
1557 (bidi-category . "ON")
1562 '((name . "NOT EQUIVALENT TO")
1563 (general-category symbol math) ; Informative Category
1564 (bidi-category . "ON")
1566 (->decomposition #x224D #x0338)
1570 '((name . "NOT LESS-THAN")
1571 (general-category symbol math) ; Informative Category
1572 (bidi-category . "ON")
1574 (->decomposition #x003C #x0338)
1578 '((->decomposition #xFF1C #x0338)
1580 ((name . "NOT LESS-THAN")
1584 ((name . "NOT LESS-THAN")
1587 (=gb2312 . #x215A) ; &G0-215A; [01-58]
1588 (=ucs@gb . #x226E) ; &G0-215A;
1591 '((name . "NOT GREATER-THAN")
1592 (general-category symbol math) ; Informative Category
1593 (bidi-category . "ON")
1595 (->decomposition #x003E #x0338)
1599 '((->decomposition #xFF1E #x0338)
1601 ((name . "NOT GREATER-THAN")
1605 ((name . "NOT GREATER-THAN")
1608 (=gb2312 . #x215B) ; &G0-215B; [01-59]
1609 (=ucs@gb . #x226F) ; &G0-215B;
1612 '((name . "NEITHER LESS-THAN NOR EQUAL TO")
1613 (general-category symbol math) ; Informative Category
1614 (bidi-category . "ON")
1616 (->decomposition #x2264 #x0338)
1620 '((name . "NEITHER GREATER-THAN NOR EQUAL TO")
1621 (general-category symbol math) ; Informative Category
1622 (bidi-category . "ON")
1624 (->decomposition #x2265 #x0338)
1628 '((name . "LESS-THAN OR EQUIVALENT TO")
1629 (general-category symbol math) ; Informative Category
1630 (bidi-category . "ON")
1635 '((name . "GREATER-THAN OR EQUIVALENT TO")
1636 (general-category symbol math) ; Informative Category
1637 (bidi-category . "ON")
1642 '((name . "NEITHER LESS-THAN NOR EQUIVALENT TO")
1643 (general-category symbol math) ; Informative Category
1644 (bidi-category . "ON")
1646 (->decomposition #x2272 #x0338)
1650 '((name . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
1651 (general-category symbol math) ; Informative Category
1652 (bidi-category . "ON")
1654 (->decomposition #x2273 #x0338)
1658 '((name . "LESS-THAN OR GREATER-THAN")
1659 (general-category symbol math) ; Informative Category
1660 (bidi-category . "ON")
1666 ((name . "LESS-THAN OR GREATER-THAN")
1670 ((name . "LESS-THAN OR GREATER-THAN")
1673 (=jis-x0213-1-2000 . #x226F) ; &JX1-226F; [02-79]
1674 (=ucs@jis . #x2276) ; &JX1-226F;
1677 '((name . "GREATER-THAN OR LESS-THAN")
1678 (general-category symbol math) ; Informative Category
1679 (bidi-category . "ON")
1685 ((name . "GREATER-THAN OR LESS-THAN")
1689 ((name . "GREATER-THAN OR LESS-THAN")
1692 (=jis-x0213-1-2000 . #x2270) ; &JX1-2270; [02-80]
1693 (=ucs@jis . #x2277) ; &JX1-2270;
1696 '((name . "NEITHER LESS-THAN NOR GREATER-THAN")
1697 (general-category symbol math) ; Informative Category
1698 (bidi-category . "ON")
1700 (->decomposition #x2276 #x0338)
1704 '((name . "NEITHER GREATER-THAN NOR LESS-THAN")
1705 (general-category symbol math) ; Informative Category
1706 (bidi-category . "ON")
1708 (->decomposition #x2277 #x0338)
1712 '((name . "PRECEDES")
1713 (general-category symbol math) ; Informative Category
1714 (bidi-category . "ON")
1719 '((name . "SUCCEEDS")
1720 (general-category symbol math) ; Informative Category
1721 (bidi-category . "ON")
1726 '((name . "PRECEDES OR EQUAL TO")
1727 (general-category symbol math) ; Informative Category
1728 (bidi-category . "ON")
1733 '((name . "SUCCEEDS OR EQUAL TO")
1734 (general-category symbol math) ; Informative Category
1735 (bidi-category . "ON")
1740 '((name . "PRECEDES OR EQUIVALENT TO")
1741 (general-category symbol math) ; Informative Category
1742 (bidi-category . "ON")
1747 '((name . "SUCCEEDS OR EQUIVALENT TO")
1748 (general-category symbol math) ; Informative Category
1749 (bidi-category . "ON")
1754 '((name . "DOES NOT PRECEDE")
1755 (general-category symbol math) ; Informative Category
1756 (bidi-category . "ON")
1758 (->decomposition #x227A #x0338)
1762 '((name . "DOES NOT SUCCEED")
1763 (general-category symbol math) ; Informative Category
1764 (bidi-category . "ON")
1766 (->decomposition #x227B #x0338)
1770 '((name . "SUBSET OF")
1771 (general-category symbol math) ; Informative Category
1772 (bidi-category . "ON")
1778 ((name . "SUBSET OF")
1782 ((name . "SUBSET OF")
1785 (=jis-x0208@1983 . #x223E) ; &J90-223E; [02-30]
1786 (=ks-x1001 . #x2178) ; &I-K0-2178; [01-88]
1787 (=jis-x0208@1990 . #x223E) ; &I-J90-223E; [02-30]
1788 (=jef-china3 . #x7FD4) ; &I-JC3-7FD4;
1789 (=ucs@jis . #x2282) ; &J90-223E;
1790 (=ucs@ks . #x2282) ; &J90-223E;
1793 '((name . "SUPERSET OF")
1794 (general-category symbol math) ; Informative Category
1795 (bidi-category . "ON")
1801 ((name . "SUPERSET OF")
1805 ((name . "SUPERSET OF")
1808 (=jis-x0208@1983 . #x223F) ; &J90-223F; [02-31]
1809 (=ks-x1001 . #x2179) ; &I-K0-2179; [01-89]
1810 (=jis-x0208@1990 . #x223F) ; &I-J90-223F; [02-31]
1811 (=jef-china3 . #x7FD5) ; &I-JC3-7FD5;
1812 (=ucs@jis . #x2283) ; &J90-223F;
1813 (=ucs@ks . #x2283) ; &J90-223F;
1816 '((name . "NOT A SUBSET OF")
1817 (general-category symbol math) ; Informative Category
1818 (bidi-category . "ON")
1820 (->decomposition #x2282 #x0338)
1825 ((name . "NOT A SUBSET OF")
1829 ((name . "NOT A SUBSET OF")
1832 (=jis-x0213-1-2000 . #x2242) ; &JX1-2242; [02-34]
1833 (=ucs@jis . #x2284) ; &JX1-2242;
1836 '((name . "NOT A SUPERSET OF")
1837 (general-category symbol math) ; Informative Category
1838 (bidi-category . "ON")
1840 (->decomposition #x2283 #x0338)
1845 ((name . "NOT A SUPERSET OF")
1849 ((name . "NOT A SUPERSET OF")
1852 (=jis-x0213-1-2000 . #x2243) ; &JX1-2243; [02-35]
1853 (=ucs@jis . #x2285) ; &JX1-2243;
1856 '((name . "SUBSET OF OR EQUAL TO")
1857 (general-category symbol math) ; Informative Category
1858 (bidi-category . "ON")
1864 ((name . "SUBSET OF OR EQUAL TO")
1868 ((name . "SUBSET OF OR EQUAL TO")
1871 (=jis-x0208@1983 . #x223C) ; &J90-223C; [02-28]
1872 (=ks-x1001 . #x2176) ; &I-K0-2176; [01-86]
1873 (=jis-x0208@1990 . #x223C) ; &I-J90-223C; [02-28]
1874 (=jef-china3 . #x7FD2) ; &I-JC3-7FD2;
1875 (=ucs@jis . #x2286) ; &J90-223C;
1876 (=ucs@ks . #x2286) ; &J90-223C;
1879 '((name . "SUPERSET OF OR EQUAL TO")
1880 (general-category symbol math) ; Informative Category
1881 (bidi-category . "ON")
1887 ((name . "SUPERSET OF OR EQUAL TO")
1891 ((name . "SUPERSET OF OR EQUAL TO")
1894 (=jis-x0208@1983 . #x223D) ; &J90-223D; [02-29]
1895 (=ks-x1001 . #x2177) ; &I-K0-2177; [01-87]
1896 (=jis-x0208@1990 . #x223D) ; &I-J90-223D; [02-29]
1897 (=jef-china3 . #x7FD3) ; &I-JC3-7FD3;
1898 (=ucs@jis . #x2287) ; &J90-223D;
1899 (=ucs@ks . #x2287) ; &J90-223D;
1902 '((name . "NEITHER A SUBSET OF NOR EQUAL TO")
1903 (general-category symbol math) ; Informative Category
1904 (bidi-category . "ON")
1906 (->decomposition #x2286 #x0338)
1910 '((name . "NEITHER A SUPERSET OF NOR EQUAL TO")
1911 (general-category symbol math) ; Informative Category
1912 (bidi-category . "ON")
1914 (->decomposition #x2287 #x0338)
1918 '((name . "SUBSET OF WITH NOT EQUAL TO")
1919 (general-category symbol math) ; Informative Category
1920 (bidi-category . "ON")
1926 ((name . "SUBSET OF WITH NOT EQUAL TO")
1930 ((name . "SUBSET OF WITH NOT EQUAL TO")
1933 (=jis-x0213-1-2000 . #x2244) ; &JX1-2244; [02-36]
1934 (=ucs@jis . #x228A) ; &JX1-2244;
1937 '((name . "SUPERSET OF WITH NOT EQUAL TO")
1938 (general-category symbol math) ; Informative Category
1939 (bidi-category . "ON")
1945 ((name . "SUPERSET OF WITH NOT EQUAL TO")
1949 ((name . "SUPERSET OF WITH NOT EQUAL TO")
1952 (=jis-x0213-1-2000 . #x2245) ; &JX1-2245; [02-37]
1953 (=ucs@jis . #x228B) ; &JX1-2245;
1956 '((name . "MULTISET")
1957 (general-category symbol math) ; Informative Category
1958 (bidi-category . "ON")
1963 '((name . "MULTISET MULTIPLICATION")
1964 (general-category symbol math) ; Informative Category
1965 (bidi-category . "ON")
1970 '((name . "MULTISET UNION")
1971 (general-category symbol math) ; Informative Category
1972 (bidi-category . "ON")
1977 '((name . "SQUARE IMAGE OF")
1978 (general-category symbol math) ; Informative Category
1979 (bidi-category . "ON")
1984 '((name . "SQUARE ORIGINAL OF")
1985 (general-category symbol math) ; Informative Category
1986 (bidi-category . "ON")
1991 '((name . "SQUARE IMAGE OF OR EQUAL TO")
1992 (general-category symbol math) ; Informative Category
1993 (bidi-category . "ON")
1998 '((name . "SQUARE ORIGINAL OF OR EQUAL TO")
1999 (general-category symbol math) ; Informative Category
2000 (bidi-category . "ON")
2005 '((name . "SQUARE CAP")
2006 (general-category symbol math) ; Informative Category
2007 (bidi-category . "ON")
2012 '((name . "SQUARE CUP")
2013 (general-category symbol math) ; Informative Category
2014 (bidi-category . "ON")
2019 '((name . "CIRCLED PLUS")
2020 (general-category symbol math) ; Informative Category
2021 (bidi-category . "ON")
2027 ((name . "CIRCLED PLUS")
2031 ((name . "CIRCLED PLUS")
2034 (=cns11643-1 . #x2253) ; &JX1-2251; [02-51]
2035 (=jis-x0213-1-2000 . #x2251) ; &I-JX1-2251; [02-49]
2036 (=big5 . #xA1F2) ; &I-B-A1F2;
2037 (=ucs@cns . #x2295) ; &JX1-2251;
2038 (=ucs@jis . #x2295) ; &JX1-2251;
2039 (=ucs@big5 . #x2295) ; &JX1-2251;
2042 '((name . "CIRCLED MINUS")
2043 (general-category symbol math) ; Informative Category
2044 (bidi-category . "ON")
2050 ((name . "CIRCLED MINUS")
2054 ((name . "CIRCLED MINUS")
2057 (=jis-x0213-1-2000 . #x2252) ; &JX1-2252; [02-50]
2058 (=ucs@jis . #x2296) ; &JX1-2252;
2061 '((name . "CIRCLED TIMES")
2062 (general-category symbol math) ; Informative Category
2063 (bidi-category . "ON")
2069 ((name . "CIRCLED TIMES")
2073 ((name . "CIRCLED TIMES")
2076 (=jis-x0213-1-2000 . #x2253) ; &JX1-2253; [02-51]
2077 (=ucs@jis . #x2297) ; &JX1-2253;
2080 '((name . "CIRCLED DIVISION SLASH")
2081 (general-category symbol math) ; Informative Category
2082 (bidi-category . "ON")
2087 '((name . "CIRCLED DOT OPERATOR")
2088 (general-category symbol math) ; Informative Category
2089 (bidi-category . "ON")
2095 ((name . "CIRCLED DOT OPERATOR")
2099 ((name . "CIRCLED DOT OPERATOR")
2102 (=gb2312 . #x2151) ; &C1-2254; [01-49]
2103 (=ks-x1001 . #x2241) ; &I-K0-2241; [02-33]
2104 (=cns11643-1 . #x2254) ; &I-C1-2254; [02-52]
2105 (=big5 . #xA1F3) ; &I-B-A1F3;
2106 (=ucs@gb . #x2299) ; &C1-2254;
2107 (=ucs@cns . #x2299) ; &C1-2254;
2108 (=ucs@ks . #x2299) ; &C1-2254;
2109 (=ucs@big5 . #x2299) ; &C1-2254;
2112 '((name . "CIRCLED RING OPERATOR")
2113 (general-category symbol math) ; Informative Category
2114 (bidi-category . "ON")
2119 '((name . "CIRCLED ASTERISK OPERATOR")
2120 (general-category symbol math) ; Informative Category
2121 (bidi-category . "ON")
2126 '((name . "CIRCLED EQUALS")
2127 (general-category symbol math) ; Informative Category
2128 (bidi-category . "ON")
2133 '((name . "CIRCLED DASH")
2134 (general-category symbol math) ; Informative Category
2135 (bidi-category . "ON")
2140 '((name . "SQUARED PLUS")
2141 (general-category symbol math) ; Informative Category
2142 (bidi-category . "ON")
2147 '((name . "SQUARED MINUS")
2148 (general-category symbol math) ; Informative Category
2149 (bidi-category . "ON")
2154 '((name . "SQUARED TIMES")
2155 (general-category symbol math) ; Informative Category
2156 (bidi-category . "ON")
2161 '((name . "SQUARED DOT OPERATOR")
2162 (general-category symbol math) ; Informative Category
2163 (bidi-category . "ON")
2168 '((name . "RIGHT TACK")
2169 (general-category symbol math) ; Informative Category
2170 (bidi-category . "ON")
2175 '((name . "LEFT TACK")
2176 (general-category symbol math) ; Informative Category
2177 (bidi-category . "ON")
2182 '((name . "DOWN TACK")
2183 (general-category symbol math) ; Informative Category
2184 (bidi-category . "ON")
2189 '((name . "UP TACK")
2190 (general-category symbol math) ; Informative Category
2191 (bidi-category . "ON")
2204 (=gb2312 . #x214D) ; &J90-225D; [01-45]
2205 (=jis-x0208@1983 . #x225D) ; &I-J83-225D; [02-61]
2206 (=ks-x1001 . #x2151) ; &I-K0-2151; [01-49]
2207 (=jis-x0208@1990 . #x225D) ; &I-J90-225D; [02-61]
2208 (=cns11643-1 . #x2247) ; &I-C1-2247; [02-39]
2209 (=big5 . #xA1E6) ; &I-B-A1E6;
2210 (=ucs@gb . #x22A5) ; &J90-225D;
2211 (=ucs@cns . #x22A5) ; &J90-225D;
2212 (=ucs@jis . #x22A5) ; &J90-225D;
2213 (=ucs@ks . #x22A5) ; &J90-225D;
2214 (=ucs@big5 . #x22A5) ; &J90-225D;
2217 '((name . "ASSERTION")
2218 (general-category symbol math) ; Informative Category
2219 (bidi-category . "ON")
2225 (general-category symbol math) ; Informative Category
2226 (bidi-category . "ON")
2232 (general-category symbol math) ; Informative Category
2233 (bidi-category . "ON")
2239 (general-category symbol math) ; Informative Category
2240 (bidi-category . "ON")
2245 '((name . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
2246 (general-category symbol math) ; Informative Category
2247 (bidi-category . "ON")
2252 '((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2253 (general-category symbol math) ; Informative Category
2254 (bidi-category . "ON")
2259 '((name . "DOES NOT PROVE")
2260 (general-category symbol math) ; Informative Category
2261 (bidi-category . "ON")
2263 (->decomposition #x22A2 #x0338)
2267 '((name . "NOT TRUE")
2268 (general-category symbol math) ; Informative Category
2269 (bidi-category . "ON")
2271 (->decomposition #x22A8 #x0338)
2275 '((name . "DOES NOT FORCE")
2276 (general-category symbol math) ; Informative Category
2277 (bidi-category . "ON")
2279 (->decomposition #x22A9 #x0338)
2283 '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2284 (general-category symbol math) ; Informative Category
2285 (bidi-category . "ON")
2287 (->decomposition #x22AB #x0338)
2291 '((name . "PRECEDES UNDER RELATION")
2292 (general-category symbol math) ; Informative Category
2293 (bidi-category . "ON")
2298 '((name . "SUCCEEDS UNDER RELATION")
2299 (general-category symbol math) ; Informative Category
2300 (bidi-category . "ON")
2305 '((name . "NORMAL SUBGROUP OF")
2306 (general-category symbol math) ; Informative Category
2307 (bidi-category . "ON")
2312 '((name . "CONTAINS AS NORMAL SUBGROUP")
2313 (general-category symbol math) ; Informative Category
2314 (bidi-category . "ON")
2319 '((name . "NORMAL SUBGROUP OF OR EQUAL TO")
2320 (general-category symbol math) ; Informative Category
2321 (bidi-category . "ON")
2326 '((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
2327 (general-category symbol math) ; Informative Category
2328 (bidi-category . "ON")
2333 '((name . "ORIGINAL OF")
2334 (general-category symbol math) ; Informative Category
2335 (bidi-category . "ON")
2340 '((name . "IMAGE OF")
2341 (general-category symbol math) ; Informative Category
2342 (bidi-category . "ON")
2347 '((name . "MULTIMAP")
2348 (general-category symbol math) ; Informative Category
2349 (bidi-category . "ON")
2354 '((name . "HERMITIAN CONJUGATE MATRIX")
2355 (general-category symbol math) ; Informative Category
2356 (bidi-category . "ON")
2361 '((name . "INTERCALATE")
2362 (general-category symbol math) ; Informative Category
2363 (bidi-category . "ON")
2369 (general-category symbol math) ; Informative Category
2370 (bidi-category . "ON")
2376 (general-category symbol math) ; Informative Category
2377 (bidi-category . "ON")
2383 (general-category symbol math) ; Informative Category
2384 (bidi-category . "ON")
2389 '((name . "RIGHT ANGLE WITH ARC")
2390 (general-category symbol math) ; Informative Category
2391 (bidi-category . "ON")
2396 '((name . "RIGHT TRIANGLE")
2397 (general-category symbol math) ; Informative Category
2398 (bidi-category . "ON")
2404 ((name . "RIGHT TRIANGLE")
2408 ((name . "RIGHT TRIANGLE")
2411 (=cns11643-1 . #x224A) ; &JX1-2D79; [02-42]
2412 (=jis-x0213-1-2000 . #x2D79) ; &I-JX1-2D79; [13-89]
2413 (=big5 . #xA1E9) ; &I-B-A1E9;
2414 (=ucs@cns . #x22BF) ; &JX1-2D79;
2415 (=ucs@jis . #x22BF) ; &JX1-2D79;
2416 (=ucs@big5 . #x22BF) ; &JX1-2D79;
2419 '((name . "N-ARY LOGICAL AND")
2420 (general-category symbol math) ; Informative Category
2421 (bidi-category . "ON")
2426 '((name . "N-ARY LOGICAL OR")
2427 (general-category symbol math) ; Informative Category
2428 (bidi-category . "ON")
2433 '((name . "N-ARY INTERSECTION")
2434 (general-category symbol math) ; Informative Category
2435 (bidi-category . "ON")
2440 '((name . "N-ARY UNION")
2441 (general-category symbol math) ; Informative Category
2442 (bidi-category . "ON")
2447 '((name . "DIAMOND OPERATOR")
2448 (general-category symbol math) ; Informative Category
2449 (bidi-category . "ON")
2454 '((name . "DOT OPERATOR")
2455 (general-category symbol math) ; Informative Category
2456 (bidi-category . "ON")
2461 '((name . "STAR OPERATOR")
2462 (general-category symbol math) ; Informative Category
2463 (bidi-category . "ON")
2468 '((name . "DIVISION TIMES")
2469 (general-category symbol math) ; Informative Category
2470 (bidi-category . "ON")
2476 (general-category symbol math) ; Informative Category
2477 (bidi-category . "ON")
2482 '((name . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
2483 (general-category symbol math) ; Informative Category
2484 (bidi-category . "ON")
2489 '((name . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
2490 (general-category symbol math) ; Informative Category
2491 (bidi-category . "ON")
2496 '((name . "LEFT SEMIDIRECT PRODUCT")
2497 (general-category symbol math) ; Informative Category
2498 (bidi-category . "ON")
2503 '((name . "RIGHT SEMIDIRECT PRODUCT")
2504 (general-category symbol math) ; Informative Category
2505 (bidi-category . "ON")
2510 '((name . "REVERSED TILDE EQUALS")
2511 (general-category symbol math) ; Informative Category
2512 (bidi-category . "ON")
2517 '((name . "CURLY LOGICAL OR")
2518 (general-category symbol math) ; Informative Category
2519 (bidi-category . "ON")
2524 '((name . "CURLY LOGICAL AND")
2525 (general-category symbol math) ; Informative Category
2526 (bidi-category . "ON")
2531 '((name . "DOUBLE SUBSET")
2532 (general-category symbol math) ; Informative Category
2533 (bidi-category . "ON")
2538 '((name . "DOUBLE SUPERSET")
2539 (general-category symbol math) ; Informative Category
2540 (bidi-category . "ON")
2545 '((name . "DOUBLE INTERSECTION")
2546 (general-category symbol math) ; Informative Category
2547 (bidi-category . "ON")
2552 '((name . "DOUBLE UNION")
2553 (general-category symbol math) ; Informative Category
2554 (bidi-category . "ON")
2559 '((name . "PITCHFORK")
2560 (general-category symbol math) ; Informative Category
2561 (bidi-category . "ON")
2566 '((name . "EQUAL AND PARALLEL TO")
2567 (general-category symbol math) ; Informative Category
2568 (bidi-category . "ON")
2573 '((name . "LESS-THAN WITH DOT")
2574 (general-category symbol math) ; Informative Category
2575 (bidi-category . "ON")
2580 '((name . "GREATER-THAN WITH DOT")
2581 (general-category symbol math) ; Informative Category
2582 (bidi-category . "ON")
2587 '((name . "VERY MUCH LESS-THAN")
2588 (general-category symbol math) ; Informative Category
2589 (bidi-category . "ON")
2594 '((name . "VERY MUCH GREATER-THAN")
2595 (general-category symbol math) ; Informative Category
2596 (bidi-category . "ON")
2601 '((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
2602 (general-category symbol math) ; Informative Category
2603 (bidi-category . "ON")
2609 ((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
2613 ((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
2616 (=jis-x0213-1-2000 . #x2776) ; &JX1-2776; [07-86]
2617 (=ucs@jis . #x22DA) ; &JX1-2776;
2620 '((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
2621 (general-category symbol math) ; Informative Category
2622 (bidi-category . "ON")
2628 ((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
2632 ((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
2635 (=jis-x0213-1-2000 . #x2777) ; &JX1-2777; [07-87]
2636 (=ucs@jis . #x22DB) ; &JX1-2777;
2639 '((name . "EQUAL TO OR LESS-THAN")
2640 (general-category symbol math) ; Informative Category
2641 (bidi-category . "ON")
2646 '((name . "EQUAL TO OR GREATER-THAN")
2647 (general-category symbol math) ; Informative Category
2648 (bidi-category . "ON")
2653 '((name . "EQUAL TO OR PRECEDES")
2654 (general-category symbol math) ; Informative Category
2655 (bidi-category . "ON")
2660 '((name . "EQUAL TO OR SUCCEEDS")
2661 (general-category symbol math) ; Informative Category
2662 (bidi-category . "ON")
2667 '((name . "DOES NOT PRECEDE OR EQUAL")
2668 (general-category symbol math) ; Informative Category
2669 (bidi-category . "ON")
2671 (->decomposition #x227C #x0338)
2675 '((name . "DOES NOT SUCCEED OR EQUAL")
2676 (general-category symbol math) ; Informative Category
2677 (bidi-category . "ON")
2679 (->decomposition #x227D #x0338)
2683 '((name . "NOT SQUARE IMAGE OF OR EQUAL TO")
2684 (general-category symbol math) ; Informative Category
2685 (bidi-category . "ON")
2687 (->decomposition #x2291 #x0338)
2691 '((name . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
2692 (general-category symbol math) ; Informative Category
2693 (bidi-category . "ON")
2695 (->decomposition #x2292 #x0338)
2699 '((name . "SQUARE IMAGE OF OR NOT EQUAL TO")
2700 (general-category symbol math) ; Informative Category
2701 (bidi-category . "ON")
2706 '((name . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
2707 (general-category symbol math) ; Informative Category
2708 (bidi-category . "ON")
2713 '((name . "LESS-THAN BUT NOT EQUIVALENT TO")
2714 (general-category symbol math) ; Informative Category
2715 (bidi-category . "ON")
2720 '((name . "GREATER-THAN BUT NOT EQUIVALENT TO")
2721 (general-category symbol math) ; Informative Category
2722 (bidi-category . "ON")
2727 '((name . "PRECEDES BUT NOT EQUIVALENT TO")
2728 (general-category symbol math) ; Informative Category
2729 (bidi-category . "ON")
2734 '((name . "SUCCEEDS BUT NOT EQUIVALENT TO")
2735 (general-category symbol math) ; Informative Category
2736 (bidi-category . "ON")
2741 '((name . "NOT NORMAL SUBGROUP OF")
2742 (general-category symbol math) ; Informative Category
2743 (bidi-category . "ON")
2745 (->decomposition #x22B2 #x0338)
2749 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
2750 (general-category symbol math) ; Informative Category
2751 (bidi-category . "ON")
2753 (->decomposition #x22B3 #x0338)
2757 '((name . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
2758 (general-category symbol math) ; Informative Category
2759 (bidi-category . "ON")
2761 (->decomposition #x22B4 #x0338)
2765 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
2766 (general-category symbol math) ; Informative Category
2767 (bidi-category . "ON")
2769 (->decomposition #x22B5 #x0338)
2773 '((name . "VERTICAL ELLIPSIS")
2774 (general-category symbol math) ; Informative Category
2775 (bidi-category . "ON")
2780 '((name . "MIDLINE HORIZONTAL ELLIPSIS")
2781 (general-category symbol math) ; Informative Category
2782 (bidi-category . "ON")
2787 '((name . "UP RIGHT DIAGONAL ELLIPSIS")
2788 (general-category symbol math) ; Informative Category
2789 (bidi-category . "ON")
2794 '((name . "DOWN RIGHT DIAGONAL ELLIPSIS")
2795 (general-category symbol math) ; Informative Category
2796 (bidi-category . "ON")