3 (general-category symbol math) ; Informative Category
6 (japanese-jisx0208 . #x224F) ;
7 (korean-ksc5601 . #x2223) ;
8 (japanese-jisx0208-1990 . #x224F) ;
12 '((name . "COMPLEMENT")
13 (general-category symbol math) ; Informative Category
14 (bidi-category . "ON")
19 '((name . "PARTIAL DIFFERENTIAL")
20 (general-category symbol math) ; Informative Category
21 (bidi-category . "ON")
23 (japanese-jisx0208 . #x225F) ;
24 (korean-ksc5601 . #x2153) ;
25 (japanese-jisx0208-1990 . #x225F) ;
29 '((name . "THERE EXISTS")
30 (general-category symbol math) ; Informative Category
31 (bidi-category . "ON")
33 (japanese-jisx0208 . #x2250) ;
34 (korean-ksc5601 . #x2224) ;
35 (japanese-jisx0208-1990 . #x2250) ;
39 '((name . "THERE DOES NOT EXIST")
40 (general-category symbol math) ; Informative Category
41 (bidi-category . "ON")
43 (->decomposition #x2203 #x0338)
47 '((name . "EMPTY SET")
48 (general-category symbol math) ; Informative Category
49 (bidi-category . "ON")
51 (japanese-jisx0213-1 . #x2247) ;
55 '((name . "INCREMENT")
56 (general-category symbol math) ; Informative Category
57 (bidi-category . "ON")
63 (general-category symbol math) ; Informative Category
64 (bidi-category . "ON")
66 (japanese-jisx0208 . #x2260) ;
67 (korean-ksc5601 . #x2154) ;
68 (japanese-jisx0208-1990 . #x2260) ;
72 '((name . "ELEMENT OF")
73 (general-category symbol math) ; Informative Category
74 (bidi-category . "ON")
76 (chinese-gb2312 . #x214A) ;
77 (japanese-jisx0208 . #x223A) ;
78 (korean-ksc5601 . #x2174) ;
79 (japanese-jisx0208-1990 . #x223A) ;
83 '((name . "NOT AN ELEMENT OF")
84 (general-category symbol math) ; Informative Category
85 (bidi-category . "ON")
87 (->decomposition #x2208 #x0338)
88 (japanese-jisx0213-1 . #x2246) ;
92 '((name . "SMALL ELEMENT OF")
93 (general-category symbol math) ; Informative Category
94 (bidi-category . "ON")
99 '((name . "CONTAINS AS MEMBER")
100 (general-category symbol math) ; Informative Category
101 (bidi-category . "ON")
103 (japanese-jisx0208 . #x223B) ;
104 (korean-ksc5601 . #x2175) ;
105 (japanese-jisx0208-1990 . #x223B) ;
109 '((name . "DOES NOT CONTAIN AS MEMBER")
110 (general-category symbol math) ; Informative Category
111 (bidi-category . "ON")
113 (->decomposition #x220B #x0338)
117 '((name . "SMALL CONTAINS AS MEMBER")
118 (general-category symbol math) ; Informative Category
119 (bidi-category . "ON")
124 '((name . "END OF PROOF")
125 (general-category symbol math) ; Informative Category
126 (bidi-category . "ON")
131 '((name . "N-ARY PRODUCT")
132 (general-category symbol math) ; Informative Category
133 (bidi-category . "ON")
135 (chinese-gb2312 . #x2147) ;
136 (korean-ksc5601 . #x2233) ;
140 '((name . "N-ARY COPRODUCT")
141 (general-category symbol math) ; Informative Category
142 (bidi-category . "ON")
147 '((name . "N-ARY SUMMATION")
148 (general-category symbol math) ; Informative Category
149 (bidi-category . "ON")
151 (chinese-gb2312 . #x2146) ;
152 (korean-ksc5601 . #x2232) ;
156 '((name . "MINUS SIGN")
157 (general-category symbol math) ; Informative Category
158 (bidi-category . "ET")
160 (japanese-jisx0208-1978 . #x215D) ;
161 (japanese-jisx0208 . #x215D) ;
162 (japanese-jisx0208-1990 . #x215D) ;
166 '((name . "MINUS-OR-PLUS SIGN")
167 (general-category symbol math) ; Informative Category
168 (bidi-category . "ET")
170 (japanese-jisx0213-1 . #x235B) ;
174 '((name . "DOT PLUS")
175 (general-category symbol math) ; Informative Category
176 (bidi-category . "ON")
181 '((name . "DIVISION SLASH")
182 (general-category symbol math) ; Informative Category
183 (bidi-category . "ON")
185 (chinese-cns11643-1 . #x2261) ;
186 (chinese-big5 . #xA241) ;
190 '((name . "SET MINUS")
191 (general-category symbol math) ; Informative Category
192 (bidi-category . "ON")
197 '((name . "ASTERISK OPERATOR")
198 (general-category symbol math) ; Informative Category
199 (bidi-category . "ON")
204 '((name . "RING OPERATOR")
205 (general-category symbol math) ; Informative Category
206 (bidi-category . "ON")
211 '((name . "BULLET OPERATOR")
212 (general-category symbol math) ; Informative Category
213 (bidi-category . "ON")
218 '((name . "SQUARE ROOT")
219 (general-category symbol math) ; Informative Category
220 (bidi-category . "ON")
222 (chinese-gb2312 . #x214C) ;
223 (japanese-jisx0208 . #x2265) ;
224 (korean-ksc5601 . #x216E) ;
225 (chinese-cns11643-1 . #x2235) ;
226 (japanese-jisx0208-1990 . #x2265) ;
227 (chinese-big5 . #xA1D4) ;
231 '((name . "CUBE ROOT")
232 (general-category symbol math) ; Informative Category
233 (bidi-category . "ON")
238 '((name . "FOURTH ROOT")
239 (general-category symbol math) ; Informative Category
240 (bidi-category . "ON")
245 '((name . "PROPORTIONAL TO")
246 (general-category symbol math) ; Informative Category
247 (bidi-category . "ON")
249 (chinese-gb2312 . #x2158) ;
250 (japanese-jisx0208 . #x2267) ;
251 (korean-ksc5601 . #x2170) ;
252 (japanese-jisx0208-1990 . #x2267) ;
256 '((name . "INFINITY")
257 (general-category symbol math) ; Informative Category
258 (bidi-category . "ON")
260 (japanese-jisx0208-1978 . #x2167) ;
261 (chinese-gb2312 . #x215E) ;
262 (japanese-jisx0208 . #x2167) ;
263 (korean-ksc5601 . #x2144) ;
264 (chinese-cns11643-1 . #x223C) ;
265 (japanese-jisx0208-1990 . #x2167) ;
266 (chinese-big5 . #xA1DB) ;
270 '((name . "RIGHT ANGLE")
271 (general-category symbol math) ; Informative Category
272 (bidi-category . "ON")
274 (chinese-cns11643-1 . #x2249) ;
275 (japanese-jisx0213-1 . #x2D78) ;
276 (chinese-big5 . #xA1E8) ;
281 (general-category symbol math) ; Informative Category
282 (bidi-category . "ON")
284 (chinese-gb2312 . #x214F) ;
285 (japanese-jisx0208 . #x225C) ;
286 (korean-ksc5601 . #x2150) ;
287 (chinese-cns11643-1 . #x2248) ;
288 (japanese-jisx0208-1990 . #x225C) ;
289 (chinese-big5 . #xA1E7) ;
293 '((name . "MEASURED ANGLE")
294 (general-category symbol math) ; Informative Category
295 (bidi-category . "ON")
300 '((name . "SPHERICAL ANGLE")
301 (general-category symbol math) ; Informative Category
302 (bidi-category . "ON")
308 (general-category symbol math) ; Informative Category
309 (bidi-category . "ON")
311 (chinese-big5 . #xA1FD) ;
315 '((name . "DOES NOT DIVIDE")
316 (general-category symbol math) ; Informative Category
317 (bidi-category . "ON")
319 (->decomposition #x2223 #x0338)
323 '((name . "PARALLEL TO")
324 (general-category symbol math) ; Informative Category
325 (bidi-category . "ON")
327 (chinese-gb2312 . #x214E) ;
328 (korean-ksc5601 . #x212B) ;
329 (japanese-jisx0213-1 . #x2254) ;
330 (chinese-big5 . #xA1FC) ;
334 '((name . "NOT PARALLEL TO")
335 (general-category symbol math) ; Informative Category
336 (bidi-category . "ON")
338 (->decomposition #x2225 #x0338)
339 (japanese-jisx0213-1 . #x2255) ;
343 '((name . "LOGICAL AND")
344 (general-category symbol math) ; Informative Category
345 (bidi-category . "ON")
347 (chinese-gb2312 . #x2144) ;
348 (japanese-jisx0208 . #x224A) ;
349 (korean-ksc5601 . #x217C) ;
350 (japanese-jisx0208-1990 . #x224A) ;
354 '((name . "LOGICAL OR")
355 (general-category symbol math) ; Informative Category
356 (bidi-category . "ON")
358 (chinese-gb2312 . #x2145) ;
359 (japanese-jisx0208 . #x224B) ;
360 (korean-ksc5601 . #x217D) ;
361 (japanese-jisx0208-1990 . #x224B) ;
365 '((name . "INTERSECTION")
366 (general-category symbol math) ; Informative Category
367 (bidi-category . "ON")
369 (chinese-gb2312 . #x2149) ;
370 (japanese-jisx0208 . #x2241) ;
371 (korean-ksc5601 . #x217B) ;
372 (chinese-cns11643-1 . #x2245) ;
373 (japanese-jisx0208-1990 . #x2241) ;
374 (chinese-big5 . #xA1E4) ;
379 (general-category symbol math) ; Informative Category
380 (bidi-category . "ON")
382 (chinese-gb2312 . #x2148) ;
383 (japanese-jisx0208 . #x2240) ;
384 (korean-ksc5601 . #x217A) ;
385 (chinese-cns11643-1 . #x2246) ;
386 (japanese-jisx0208-1990 . #x2240) ;
387 (chinese-big5 . #xA1E5) ;
391 '((name . "INTEGRAL")
392 (general-category symbol math) ; Informative Category
393 (bidi-category . "ON")
395 (chinese-gb2312 . #x2152) ;
396 (japanese-jisx0208 . #x2269) ;
397 (korean-ksc5601 . #x2172) ;
398 (chinese-cns11643-1 . #x224D) ;
399 (japanese-jisx0208-1990 . #x2269) ;
400 (chinese-big5 . #xA1EC) ;
404 '((name . "DOUBLE INTEGRAL")
405 (general-category symbol math) ; Informative Category
406 (bidi-category . "ON")
408 (->decomposition compat #x222B #x222B)
409 (japanese-jisx0208 . #x226A) ;
410 (korean-ksc5601 . #x2173) ;
411 (japanese-jisx0208-1990 . #x226A) ;
415 '((name . "TRIPLE INTEGRAL")
416 (general-category symbol math) ; Informative Category
417 (bidi-category . "ON")
419 (->decomposition compat #x222B #x222B #x222B)
423 '((name . "CONTOUR INTEGRAL")
424 (general-category symbol math) ; Informative Category
425 (bidi-category . "ON")
427 (chinese-gb2312 . #x2153) ;
428 (korean-ksc5601 . #x2231) ;
429 (chinese-cns11643-1 . #x224E) ;
430 (japanese-jisx0213-1 . #x2D73) ;
431 (chinese-big5 . #xA1ED) ;
435 '((name . "SURFACE INTEGRAL")
436 (general-category symbol math) ; Informative Category
437 (bidi-category . "ON")
439 (->decomposition compat #x222E #x222E)
443 '((name . "VOLUME INTEGRAL")
444 (general-category symbol math) ; Informative Category
445 (bidi-category . "ON")
447 (->decomposition compat #x222E #x222E #x222E)
451 '((name . "CLOCKWISE INTEGRAL")
452 (general-category symbol math) ; Informative Category
453 (bidi-category . "ON")
458 '((name . "CLOCKWISE CONTOUR INTEGRAL")
459 (general-category symbol math) ; Informative Category
460 (bidi-category . "ON")
465 '((name . "ANTICLOCKWISE CONTOUR INTEGRAL")
466 (general-category symbol math) ; Informative Category
467 (bidi-category . "ON")
472 '((name . "THEREFORE")
473 (general-category symbol math) ; Informative Category
474 (bidi-category . "ON")
476 (japanese-jisx0208-1978 . #x2168) ;
477 (chinese-gb2312 . #x2160) ;
478 (japanese-jisx0208 . #x2168) ;
479 (korean-ksc5601 . #x2145) ;
480 (chinese-cns11643-1 . #x2250) ;
481 (japanese-jisx0208-1990 . #x2168) ;
482 (chinese-big5 . #xA1EF) ;
487 (general-category symbol math) ; Informative Category
488 (bidi-category . "ON")
490 (chinese-gb2312 . #x215F) ;
491 (japanese-jisx0208 . #x2268) ;
492 (korean-ksc5601 . #x2171) ;
493 (chinese-cns11643-1 . #x224F) ;
494 (japanese-jisx0208-1990 . #x2268) ;
495 (chinese-big5 . #xA1EE) ;
500 (general-category symbol math) ; Informative Category
501 (bidi-category . "ON")
503 (chinese-gb2312 . #x2143) ;
507 '((name . "PROPORTION")
508 (general-category symbol math) ; Informative Category
509 (bidi-category . "ON")
511 (chinese-gb2312 . #x214B) ;
515 '((name . "DOT MINUS")
516 (general-category symbol math) ; Informative Category
517 (bidi-category . "ON")
523 (general-category symbol math) ; Informative Category
524 (bidi-category . "ON")
529 '((name . "GEOMETRIC PROPORTION")
530 (general-category symbol math) ; Informative Category
531 (bidi-category . "ON")
536 '((name . "HOMOTHETIC")
537 (general-category symbol math) ; Informative Category
538 (bidi-category . "ON")
543 '((name . "TILDE OPERATOR")
544 (general-category symbol math) ; Informative Category
545 (bidi-category . "ON")
547 (korean-ksc5601 . #x212D) ;
548 (chinese-cns11643-1 . #x2244) ;
549 (chinese-big5 . #xA1E3) ;
550 (ucs-big5 . #xFF5E) ; ∼
554 '((name . "REVERSED TILDE")
555 (general-category symbol math) ; Informative Category
556 (bidi-category . "ON")
558 (iso-10646-comment . "lazy S")
559 (chinese-gb2312 . #x2157) ;
560 (japanese-jisx0208 . #x2266) ;
561 (korean-ksc5601 . #x216F) ;
562 (japanese-jisx0208-1990 . #x2266) ;
566 '((name . "INVERTED LAZY S")
567 (general-category symbol math) ; Informative Category
568 (bidi-category . "ON")
573 '((name . "SINE WAVE")
574 (general-category symbol math) ; Informative Category
575 (bidi-category . "ON")
580 '((name . "WREATH PRODUCT")
581 (general-category symbol math) ; Informative Category
582 (bidi-category . "ON")
587 '((name . "NOT TILDE")
588 (general-category symbol math) ; Informative Category
589 (bidi-category . "ON")
591 (->decomposition #x223C #x0338)
595 '((name . "MINUS TILDE")
596 (general-category symbol math) ; Informative Category
597 (bidi-category . "ON")
602 '((name . "ASYMPTOTICALLY EQUAL TO")
603 (general-category symbol math) ; Informative Category
604 (bidi-category . "ON")
606 (japanese-jisx0213-1 . #x226C) ;
610 '((name . "NOT ASYMPTOTICALLY EQUAL TO")
611 (general-category symbol math) ; Informative Category
612 (bidi-category . "ON")
614 (->decomposition #x2243 #x0338)
618 '((name . "APPROXIMATELY EQUAL TO")
619 (general-category symbol math) ; Informative Category
620 (bidi-category . "ON")
622 (japanese-jisx0213-1 . #x226D) ;
626 '((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
627 (general-category symbol math) ; Informative Category
628 (bidi-category . "ON")
633 '((name . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
634 (general-category symbol math) ; Informative Category
635 (bidi-category . "ON")
637 (->decomposition #x2245 #x0338)
641 '((name . "ALMOST EQUAL TO")
642 (general-category symbol math) ; Informative Category
643 (bidi-category . "ON")
645 (chinese-gb2312 . #x2156) ;
646 (japanese-jisx0213-1 . #x226E) ;
650 '((name . "NOT ALMOST EQUAL TO")
651 (general-category symbol math) ; Informative Category
652 (bidi-category . "ON")
654 (->decomposition #x2248 #x0338)
658 '((name . "ALMOST EQUAL OR EQUAL TO")
659 (general-category symbol math) ; Informative Category
660 (bidi-category . "ON")
665 '((name . "TRIPLE TILDE")
666 (general-category symbol math) ; Informative Category
667 (bidi-category . "ON")
672 '((name . "ALL EQUAL TO")
673 (general-category symbol math) ; Informative Category
674 (bidi-category . "ON")
676 (chinese-gb2312 . #x2155) ;
680 '((name . "EQUIVALENT TO")
681 (general-category symbol math) ; Informative Category
682 (bidi-category . "ON")
687 '((name . "GEOMETRICALLY EQUIVALENT TO")
688 (general-category symbol math) ; Informative Category
689 (bidi-category . "ON")
694 '((name . "DIFFERENCE BETWEEN")
695 (general-category symbol math) ; Informative Category
696 (bidi-category . "ON")
701 '((name . "APPROACHES THE LIMIT")
702 (general-category symbol math) ; Informative Category
703 (bidi-category . "ON")
708 '((name . "GEOMETRICALLY EQUAL TO")
709 (general-category symbol math) ; Informative Category
710 (bidi-category . "ON")
715 '((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
716 (general-category symbol math) ; Informative Category
717 (bidi-category . "ON")
719 (japanese-jisx0208 . #x2262) ;
720 (korean-ksc5601 . #x2156) ;
721 (chinese-cns11643-1 . #x223D) ;
722 (japanese-jisx0208-1990 . #x2262) ;
723 (chinese-big5 . #xA1DC) ;
727 '((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
728 (general-category symbol math) ; Informative Category
729 (bidi-category . "ON")
734 '((name . "COLON EQUALS")
735 (general-category symbol math) ; Informative Category
736 (bidi-category . "ON")
741 '((name . "EQUALS COLON")
742 (general-category symbol math) ; Informative Category
743 (bidi-category . "ON")
748 '((name . "RING IN EQUAL TO")
749 (general-category symbol math) ; Informative Category
750 (bidi-category . "ON")
755 '((name . "RING EQUAL TO")
756 (general-category symbol math) ; Informative Category
757 (bidi-category . "ON")
762 '((name . "CORRESPONDS TO")
763 (general-category symbol math) ; Informative Category
764 (bidi-category . "ON")
769 '((name . "ESTIMATES")
770 (general-category symbol math) ; Informative Category
771 (bidi-category . "ON")
776 '((name . "EQUIANGULAR TO")
777 (general-category symbol math) ; Informative Category
778 (bidi-category . "ON")
783 '((name . "STAR EQUALS")
784 (general-category symbol math) ; Informative Category
785 (bidi-category . "ON")
790 '((name . "DELTA EQUAL TO")
791 (general-category symbol math) ; Informative Category
792 (bidi-category . "ON")
797 '((name . "EQUAL TO BY DEFINITION")
798 (general-category symbol math) ; Informative Category
799 (bidi-category . "ON")
804 '((name . "MEASURED BY")
805 (general-category symbol math) ; Informative Category
806 (bidi-category . "ON")
811 '((name . "QUESTIONED EQUAL TO")
812 (general-category symbol math) ; Informative Category
813 (bidi-category . "ON")
818 '((name . "NOT EQUAL TO")
819 (general-category symbol math) ; Informative Category
820 (bidi-category . "ON")
822 (->decomposition #x003D #x0338)
823 (japanese-jisx0208-1978 . #x2162) ;
824 (chinese-gb2312 . #x2159) ;
825 (japanese-jisx0208 . #x2162) ;
826 (korean-ksc5601 . #x2141) ;
827 (chinese-cns11643-1 . #x223B) ;
828 (japanese-jisx0208-1990 . #x2162) ;
829 (chinese-big5 . #xA1DA) ;
833 '((name . "IDENTICAL TO")
834 (general-category symbol math) ; Informative Category
835 (bidi-category . "ON")
837 (chinese-gb2312 . #x2154) ;
838 (japanese-jisx0208 . #x2261) ;
839 (korean-ksc5601 . #x2155) ;
840 (chinese-cns11643-1 . #x223E) ;
841 (japanese-jisx0208-1990 . #x2261) ;
842 (chinese-big5 . #xA1DD) ;
846 '((name . "NOT IDENTICAL TO")
847 (general-category symbol math) ; Informative Category
848 (bidi-category . "ON")
850 (->decomposition #x2261 #x0338)
851 (japanese-jisx0213-1 . #x226B) ;
855 '((name . "STRICTLY EQUIVALENT TO")
856 (general-category symbol math) ; Informative Category
857 (bidi-category . "ON")
862 '((name . "LESS-THAN OR EQUAL TO")
863 (general-category symbol math) ; Informative Category
864 (bidi-category . "ON")
866 (chinese-gb2312 . #x215C) ;
867 (korean-ksc5601 . #x2142) ;
871 '((name . "GREATER-THAN OR EQUAL TO")
872 (general-category symbol math) ; Informative Category
873 (bidi-category . "ON")
875 (chinese-gb2312 . #x215D) ;
876 (korean-ksc5601 . #x2143) ;
880 '((name . "LESS-THAN OVER EQUAL TO")
881 (general-category symbol math) ; Informative Category
882 (bidi-category . "ON")
884 (japanese-jisx0208-1978 . #x2165) ;
885 (japanese-jisx0208 . #x2165) ;
886 (chinese-cns11643-1 . #x2239) ;
887 (japanese-jisx0208-1990 . #x2165) ;
888 (chinese-big5 . #xA1D8) ;
892 '((name . "GREATER-THAN OVER EQUAL TO")
893 (general-category symbol math) ; Informative Category
894 (bidi-category . "ON")
896 (japanese-jisx0208-1978 . #x2166) ;
897 (japanese-jisx0208 . #x2166) ;
898 (chinese-cns11643-1 . #x223A) ;
899 (japanese-jisx0208-1990 . #x2166) ;
900 (chinese-big5 . #xA1D9) ;
904 '((name . "LESS-THAN BUT NOT EQUAL TO")
905 (general-category symbol math) ; Informative Category
906 (bidi-category . "ON")
911 '((name . "GREATER-THAN BUT NOT EQUAL TO")
912 (general-category symbol math) ; Informative Category
913 (bidi-category . "ON")
918 '((name . "MUCH LESS-THAN")
919 (general-category symbol math) ; Informative Category
920 (bidi-category . "ON")
922 (japanese-jisx0208 . #x2263) ;
923 (korean-ksc5601 . #x216C) ;
924 (japanese-jisx0208-1990 . #x2263) ;
928 '((name . "MUCH GREATER-THAN")
929 (general-category symbol math) ; Informative Category
930 (bidi-category . "ON")
932 (japanese-jisx0208 . #x2264) ;
933 (korean-ksc5601 . #x216D) ;
934 (japanese-jisx0208-1990 . #x2264) ;
939 (general-category symbol math) ; Informative Category
940 (bidi-category . "ON")
945 '((name . "NOT EQUIVALENT TO")
946 (general-category symbol math) ; Informative Category
947 (bidi-category . "ON")
949 (->decomposition #x224D #x0338)
953 '((name . "NOT LESS-THAN")
954 (general-category symbol math) ; Informative Category
955 (bidi-category . "ON")
957 (->decomposition #x003C #x0338)
958 (chinese-gb2312 . #x215A) ;
962 '((name . "NOT GREATER-THAN")
963 (general-category symbol math) ; Informative Category
964 (bidi-category . "ON")
966 (->decomposition #x003E #x0338)
967 (chinese-gb2312 . #x215B) ;
971 '((name . "NEITHER LESS-THAN NOR EQUAL TO")
972 (general-category symbol math) ; Informative Category
973 (bidi-category . "ON")
975 (->decomposition #x2264 #x0338)
979 '((name . "NEITHER GREATER-THAN NOR EQUAL TO")
980 (general-category symbol math) ; Informative Category
981 (bidi-category . "ON")
983 (->decomposition #x2265 #x0338)
987 '((name . "LESS-THAN OR EQUIVALENT TO")
988 (general-category symbol math) ; Informative Category
989 (bidi-category . "ON")
994 '((name . "GREATER-THAN OR EQUIVALENT TO")
995 (general-category symbol math) ; Informative Category
996 (bidi-category . "ON")
1001 '((name . "NEITHER LESS-THAN NOR EQUIVALENT TO")
1002 (general-category symbol math) ; Informative Category
1003 (bidi-category . "ON")
1005 (->decomposition #x2272 #x0338)
1009 '((name . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
1010 (general-category symbol math) ; Informative Category
1011 (bidi-category . "ON")
1013 (->decomposition #x2273 #x0338)
1017 '((name . "LESS-THAN OR GREATER-THAN")
1018 (general-category symbol math) ; Informative Category
1019 (bidi-category . "ON")
1021 (japanese-jisx0213-1 . #x226F) ;
1025 '((name . "GREATER-THAN OR LESS-THAN")
1026 (general-category symbol math) ; Informative Category
1027 (bidi-category . "ON")
1029 (japanese-jisx0213-1 . #x2270) ;
1033 '((name . "NEITHER LESS-THAN NOR GREATER-THAN")
1034 (general-category symbol math) ; Informative Category
1035 (bidi-category . "ON")
1037 (->decomposition #x2276 #x0338)
1041 '((name . "NEITHER GREATER-THAN NOR LESS-THAN")
1042 (general-category symbol math) ; Informative Category
1043 (bidi-category . "ON")
1045 (->decomposition #x2277 #x0338)
1049 '((name . "PRECEDES")
1050 (general-category symbol math) ; Informative Category
1051 (bidi-category . "ON")
1056 '((name . "SUCCEEDS")
1057 (general-category symbol math) ; Informative Category
1058 (bidi-category . "ON")
1063 '((name . "PRECEDES OR EQUAL TO")
1064 (general-category symbol math) ; Informative Category
1065 (bidi-category . "ON")
1070 '((name . "SUCCEEDS OR EQUAL TO")
1071 (general-category symbol math) ; Informative Category
1072 (bidi-category . "ON")
1077 '((name . "PRECEDES OR EQUIVALENT TO")
1078 (general-category symbol math) ; Informative Category
1079 (bidi-category . "ON")
1084 '((name . "SUCCEEDS OR EQUIVALENT TO")
1085 (general-category symbol math) ; Informative Category
1086 (bidi-category . "ON")
1091 '((name . "DOES NOT PRECEDE")
1092 (general-category symbol math) ; Informative Category
1093 (bidi-category . "ON")
1095 (->decomposition #x227A #x0338)
1099 '((name . "DOES NOT SUCCEED")
1100 (general-category symbol math) ; Informative Category
1101 (bidi-category . "ON")
1103 (->decomposition #x227B #x0338)
1107 '((name . "SUBSET OF")
1108 (general-category symbol math) ; Informative Category
1109 (bidi-category . "ON")
1111 (japanese-jisx0208 . #x223E) ;
1112 (korean-ksc5601 . #x2178) ;
1113 (japanese-jisx0208-1990 . #x223E) ;
1117 '((name . "SUPERSET OF")
1118 (general-category symbol math) ; Informative Category
1119 (bidi-category . "ON")
1121 (japanese-jisx0208 . #x223F) ;
1122 (korean-ksc5601 . #x2179) ;
1123 (japanese-jisx0208-1990 . #x223F) ;
1127 '((name . "NOT A SUBSET OF")
1128 (general-category symbol math) ; Informative Category
1129 (bidi-category . "ON")
1131 (->decomposition #x2282 #x0338)
1132 (japanese-jisx0213-1 . #x2242) ;
1136 '((name . "NOT A SUPERSET OF")
1137 (general-category symbol math) ; Informative Category
1138 (bidi-category . "ON")
1140 (->decomposition #x2283 #x0338)
1141 (japanese-jisx0213-1 . #x2243) ;
1145 '((name . "SUBSET OF OR EQUAL TO")
1146 (general-category symbol math) ; Informative Category
1147 (bidi-category . "ON")
1149 (japanese-jisx0208 . #x223C) ;
1150 (korean-ksc5601 . #x2176) ;
1151 (japanese-jisx0208-1990 . #x223C) ;
1155 '((name . "SUPERSET OF OR EQUAL TO")
1156 (general-category symbol math) ; Informative Category
1157 (bidi-category . "ON")
1159 (japanese-jisx0208 . #x223D) ;
1160 (korean-ksc5601 . #x2177) ;
1161 (japanese-jisx0208-1990 . #x223D) ;
1165 '((name . "NEITHER A SUBSET OF NOR EQUAL TO")
1166 (general-category symbol math) ; Informative Category
1167 (bidi-category . "ON")
1169 (->decomposition #x2286 #x0338)
1173 '((name . "NEITHER A SUPERSET OF NOR EQUAL TO")
1174 (general-category symbol math) ; Informative Category
1175 (bidi-category . "ON")
1177 (->decomposition #x2287 #x0338)
1181 '((name . "SUBSET OF WITH NOT EQUAL TO")
1182 (general-category symbol math) ; Informative Category
1183 (bidi-category . "ON")
1185 (japanese-jisx0213-1 . #x2244) ;
1189 '((name . "SUPERSET OF WITH NOT EQUAL TO")
1190 (general-category symbol math) ; Informative Category
1191 (bidi-category . "ON")
1193 (japanese-jisx0213-1 . #x2245) ;
1197 '((name . "MULTISET")
1198 (general-category symbol math) ; Informative Category
1199 (bidi-category . "ON")
1204 '((name . "MULTISET MULTIPLICATION")
1205 (general-category symbol math) ; Informative Category
1206 (bidi-category . "ON")
1211 '((name . "MULTISET UNION")
1212 (general-category symbol math) ; Informative Category
1213 (bidi-category . "ON")
1218 '((name . "SQUARE IMAGE OF")
1219 (general-category symbol math) ; Informative Category
1220 (bidi-category . "ON")
1225 '((name . "SQUARE ORIGINAL OF")
1226 (general-category symbol math) ; Informative Category
1227 (bidi-category . "ON")
1232 '((name . "SQUARE IMAGE OF OR EQUAL TO")
1233 (general-category symbol math) ; Informative Category
1234 (bidi-category . "ON")
1239 '((name . "SQUARE ORIGINAL OF OR EQUAL TO")
1240 (general-category symbol math) ; Informative Category
1241 (bidi-category . "ON")
1246 '((name . "SQUARE CAP")
1247 (general-category symbol math) ; Informative Category
1248 (bidi-category . "ON")
1253 '((name . "SQUARE CUP")
1254 (general-category symbol math) ; Informative Category
1255 (bidi-category . "ON")
1260 '((name . "CIRCLED PLUS")
1261 (general-category symbol math) ; Informative Category
1262 (bidi-category . "ON")
1264 (chinese-cns11643-1 . #x2253) ;
1265 (japanese-jisx0213-1 . #x2251) ;
1266 (chinese-big5 . #xA1F2) ;
1270 '((name . "CIRCLED MINUS")
1271 (general-category symbol math) ; Informative Category
1272 (bidi-category . "ON")
1274 (japanese-jisx0213-1 . #x2252) ;
1278 '((name . "CIRCLED TIMES")
1279 (general-category symbol math) ; Informative Category
1280 (bidi-category . "ON")
1282 (japanese-jisx0213-1 . #x2253) ;
1286 '((name . "CIRCLED DIVISION SLASH")
1287 (general-category symbol math) ; Informative Category
1288 (bidi-category . "ON")
1293 '((name . "CIRCLED DOT OPERATOR")
1294 (general-category symbol math) ; Informative Category
1295 (bidi-category . "ON")
1297 (chinese-gb2312 . #x2151) ;
1298 (korean-ksc5601 . #x2241) ;
1299 (chinese-cns11643-1 . #x2254) ;
1300 (chinese-big5 . #xA1F3) ;
1304 '((name . "CIRCLED RING OPERATOR")
1305 (general-category symbol math) ; Informative Category
1306 (bidi-category . "ON")
1311 '((name . "CIRCLED ASTERISK OPERATOR")
1312 (general-category symbol math) ; Informative Category
1313 (bidi-category . "ON")
1318 '((name . "CIRCLED EQUALS")
1319 (general-category symbol math) ; Informative Category
1320 (bidi-category . "ON")
1325 '((name . "CIRCLED DASH")
1326 (general-category symbol math) ; Informative Category
1327 (bidi-category . "ON")
1332 '((name . "SQUARED PLUS")
1333 (general-category symbol math) ; Informative Category
1334 (bidi-category . "ON")
1339 '((name . "SQUARED MINUS")
1340 (general-category symbol math) ; Informative Category
1341 (bidi-category . "ON")
1346 '((name . "SQUARED TIMES")
1347 (general-category symbol math) ; Informative Category
1348 (bidi-category . "ON")
1353 '((name . "SQUARED DOT OPERATOR")
1354 (general-category symbol math) ; Informative Category
1355 (bidi-category . "ON")
1360 '((name . "RIGHT TACK")
1361 (general-category symbol math) ; Informative Category
1362 (bidi-category . "ON")
1367 '((name . "LEFT TACK")
1368 (general-category symbol math) ; Informative Category
1369 (bidi-category . "ON")
1374 '((name . "DOWN TACK")
1375 (general-category symbol math) ; Informative Category
1376 (bidi-category . "ON")
1381 '((name . "UP TACK")
1382 (general-category symbol math) ; Informative Category
1383 (bidi-category . "ON")
1385 (chinese-gb2312 . #x214D) ;
1386 (japanese-jisx0208 . #x225D) ;
1387 (korean-ksc5601 . #x2151) ;
1388 (chinese-cns11643-1 . #x2247) ;
1389 (japanese-jisx0208-1990 . #x225D) ;
1390 (chinese-big5 . #xA1E6) ;
1394 '((name . "ASSERTION")
1395 (general-category symbol math) ; Informative Category
1396 (bidi-category . "ON")
1402 (general-category symbol math) ; Informative Category
1403 (bidi-category . "ON")
1409 (general-category symbol math) ; Informative Category
1410 (bidi-category . "ON")
1416 (general-category symbol math) ; Informative Category
1417 (bidi-category . "ON")
1422 '((name . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
1423 (general-category symbol math) ; Informative Category
1424 (bidi-category . "ON")
1429 '((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1430 (general-category symbol math) ; Informative Category
1431 (bidi-category . "ON")
1436 '((name . "DOES NOT PROVE")
1437 (general-category symbol math) ; Informative Category
1438 (bidi-category . "ON")
1440 (->decomposition #x22A2 #x0338)
1444 '((name . "NOT TRUE")
1445 (general-category symbol math) ; Informative Category
1446 (bidi-category . "ON")
1448 (->decomposition #x22A8 #x0338)
1452 '((name . "DOES NOT FORCE")
1453 (general-category symbol math) ; Informative Category
1454 (bidi-category . "ON")
1456 (->decomposition #x22A9 #x0338)
1460 '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1461 (general-category symbol math) ; Informative Category
1462 (bidi-category . "ON")
1464 (->decomposition #x22AB #x0338)
1468 '((name . "PRECEDES UNDER RELATION")
1469 (general-category symbol math) ; Informative Category
1470 (bidi-category . "ON")
1475 '((name . "SUCCEEDS UNDER RELATION")
1476 (general-category symbol math) ; Informative Category
1477 (bidi-category . "ON")
1482 '((name . "NORMAL SUBGROUP OF")
1483 (general-category symbol math) ; Informative Category
1484 (bidi-category . "ON")
1489 '((name . "CONTAINS AS NORMAL SUBGROUP")
1490 (general-category symbol math) ; Informative Category
1491 (bidi-category . "ON")
1496 '((name . "NORMAL SUBGROUP OF OR EQUAL TO")
1497 (general-category symbol math) ; Informative Category
1498 (bidi-category . "ON")
1503 '((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
1504 (general-category symbol math) ; Informative Category
1505 (bidi-category . "ON")
1510 '((name . "ORIGINAL OF")
1511 (general-category symbol math) ; Informative Category
1512 (bidi-category . "ON")
1517 '((name . "IMAGE OF")
1518 (general-category symbol math) ; Informative Category
1519 (bidi-category . "ON")
1524 '((name . "MULTIMAP")
1525 (general-category symbol math) ; Informative Category
1526 (bidi-category . "ON")
1531 '((name . "HERMITIAN CONJUGATE MATRIX")
1532 (general-category symbol math) ; Informative Category
1533 (bidi-category . "ON")
1538 '((name . "INTERCALATE")
1539 (general-category symbol math) ; Informative Category
1540 (bidi-category . "ON")
1546 (general-category symbol math) ; Informative Category
1547 (bidi-category . "ON")
1553 (general-category symbol math) ; Informative Category
1554 (bidi-category . "ON")
1560 (general-category symbol math) ; Informative Category
1561 (bidi-category . "ON")
1566 '((name . "RIGHT ANGLE WITH ARC")
1567 (general-category symbol math) ; Informative Category
1568 (bidi-category . "ON")
1573 '((name . "RIGHT TRIANGLE")
1574 (general-category symbol math) ; Informative Category
1575 (bidi-category . "ON")
1577 (chinese-cns11643-1 . #x224A) ;
1578 (japanese-jisx0213-1 . #x2D79) ;
1579 (chinese-big5 . #xA1E9) ;
1583 '((name . "N-ARY LOGICAL AND")
1584 (general-category symbol math) ; Informative Category
1585 (bidi-category . "ON")
1590 '((name . "N-ARY LOGICAL OR")
1591 (general-category symbol math) ; Informative Category
1592 (bidi-category . "ON")
1597 '((name . "N-ARY INTERSECTION")
1598 (general-category symbol math) ; Informative Category
1599 (bidi-category . "ON")
1604 '((name . "N-ARY UNION")
1605 (general-category symbol math) ; Informative Category
1606 (bidi-category . "ON")
1611 '((name . "DIAMOND OPERATOR")
1612 (general-category symbol math) ; Informative Category
1613 (bidi-category . "ON")
1618 '((name . "DOT OPERATOR")
1619 (general-category symbol math) ; Informative Category
1620 (bidi-category . "ON")
1625 '((name . "STAR OPERATOR")
1626 (general-category symbol math) ; Informative Category
1627 (bidi-category . "ON")
1632 '((name . "DIVISION TIMES")
1633 (general-category symbol math) ; Informative Category
1634 (bidi-category . "ON")
1640 (general-category symbol math) ; Informative Category
1641 (bidi-category . "ON")
1646 '((name . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
1647 (general-category symbol math) ; Informative Category
1648 (bidi-category . "ON")
1653 '((name . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
1654 (general-category symbol math) ; Informative Category
1655 (bidi-category . "ON")
1660 '((name . "LEFT SEMIDIRECT PRODUCT")
1661 (general-category symbol math) ; Informative Category
1662 (bidi-category . "ON")
1667 '((name . "RIGHT SEMIDIRECT PRODUCT")
1668 (general-category symbol math) ; Informative Category
1669 (bidi-category . "ON")
1674 '((name . "REVERSED TILDE EQUALS")
1675 (general-category symbol math) ; Informative Category
1676 (bidi-category . "ON")
1681 '((name . "CURLY LOGICAL OR")
1682 (general-category symbol math) ; Informative Category
1683 (bidi-category . "ON")
1688 '((name . "CURLY LOGICAL AND")
1689 (general-category symbol math) ; Informative Category
1690 (bidi-category . "ON")
1695 '((name . "DOUBLE SUBSET")
1696 (general-category symbol math) ; Informative Category
1697 (bidi-category . "ON")
1702 '((name . "DOUBLE SUPERSET")
1703 (general-category symbol math) ; Informative Category
1704 (bidi-category . "ON")
1709 '((name . "DOUBLE INTERSECTION")
1710 (general-category symbol math) ; Informative Category
1711 (bidi-category . "ON")
1716 '((name . "DOUBLE UNION")
1717 (general-category symbol math) ; Informative Category
1718 (bidi-category . "ON")
1723 '((name . "PITCHFORK")
1724 (general-category symbol math) ; Informative Category
1725 (bidi-category . "ON")
1730 '((name . "EQUAL AND PARALLEL TO")
1731 (general-category symbol math) ; Informative Category
1732 (bidi-category . "ON")
1737 '((name . "LESS-THAN WITH DOT")
1738 (general-category symbol math) ; Informative Category
1739 (bidi-category . "ON")
1744 '((name . "GREATER-THAN WITH DOT")
1745 (general-category symbol math) ; Informative Category
1746 (bidi-category . "ON")
1751 '((name . "VERY MUCH LESS-THAN")
1752 (general-category symbol math) ; Informative Category
1753 (bidi-category . "ON")
1758 '((name . "VERY MUCH GREATER-THAN")
1759 (general-category symbol math) ; Informative Category
1760 (bidi-category . "ON")
1765 '((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
1766 (general-category symbol math) ; Informative Category
1767 (bidi-category . "ON")
1769 (japanese-jisx0213-1 . #x2776) ;
1773 '((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
1774 (general-category symbol math) ; Informative Category
1775 (bidi-category . "ON")
1777 (japanese-jisx0213-1 . #x2777) ;
1781 '((name . "EQUAL TO OR LESS-THAN")
1782 (general-category symbol math) ; Informative Category
1783 (bidi-category . "ON")
1788 '((name . "EQUAL TO OR GREATER-THAN")
1789 (general-category symbol math) ; Informative Category
1790 (bidi-category . "ON")
1795 '((name . "EQUAL TO OR PRECEDES")
1796 (general-category symbol math) ; Informative Category
1797 (bidi-category . "ON")
1802 '((name . "EQUAL TO OR SUCCEEDS")
1803 (general-category symbol math) ; Informative Category
1804 (bidi-category . "ON")
1809 '((name . "DOES NOT PRECEDE OR EQUAL")
1810 (general-category symbol math) ; Informative Category
1811 (bidi-category . "ON")
1813 (->decomposition #x227C #x0338)
1817 '((name . "DOES NOT SUCCEED OR EQUAL")
1818 (general-category symbol math) ; Informative Category
1819 (bidi-category . "ON")
1821 (->decomposition #x227D #x0338)
1825 '((name . "NOT SQUARE IMAGE OF OR EQUAL TO")
1826 (general-category symbol math) ; Informative Category
1827 (bidi-category . "ON")
1829 (->decomposition #x2291 #x0338)
1833 '((name . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
1834 (general-category symbol math) ; Informative Category
1835 (bidi-category . "ON")
1837 (->decomposition #x2292 #x0338)
1841 '((name . "SQUARE IMAGE OF OR NOT EQUAL TO")
1842 (general-category symbol math) ; Informative Category
1843 (bidi-category . "ON")
1848 '((name . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
1849 (general-category symbol math) ; Informative Category
1850 (bidi-category . "ON")
1855 '((name . "LESS-THAN BUT NOT EQUIVALENT TO")
1856 (general-category symbol math) ; Informative Category
1857 (bidi-category . "ON")
1862 '((name . "GREATER-THAN BUT NOT EQUIVALENT TO")
1863 (general-category symbol math) ; Informative Category
1864 (bidi-category . "ON")
1869 '((name . "PRECEDES BUT NOT EQUIVALENT TO")
1870 (general-category symbol math) ; Informative Category
1871 (bidi-category . "ON")
1876 '((name . "SUCCEEDS BUT NOT EQUIVALENT TO")
1877 (general-category symbol math) ; Informative Category
1878 (bidi-category . "ON")
1883 '((name . "NOT NORMAL SUBGROUP OF")
1884 (general-category symbol math) ; Informative Category
1885 (bidi-category . "ON")
1887 (->decomposition #x22B2 #x0338)
1891 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
1892 (general-category symbol math) ; Informative Category
1893 (bidi-category . "ON")
1895 (->decomposition #x22B3 #x0338)
1899 '((name . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
1900 (general-category symbol math) ; Informative Category
1901 (bidi-category . "ON")
1903 (->decomposition #x22B4 #x0338)
1907 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
1908 (general-category symbol math) ; Informative Category
1909 (bidi-category . "ON")
1911 (->decomposition #x22B5 #x0338)
1915 '((name . "VERTICAL ELLIPSIS")
1916 (general-category symbol math) ; Informative Category
1917 (bidi-category . "ON")
1922 '((name . "MIDLINE HORIZONTAL ELLIPSIS")
1923 (general-category symbol math) ; Informative Category
1924 (bidi-category . "ON")
1929 '((name . "UP RIGHT DIAGONAL ELLIPSIS")
1930 (general-category symbol math) ; Informative Category
1931 (bidi-category . "ON")
1936 '((name . "DOWN RIGHT DIAGONAL ELLIPSIS")
1937 (general-category symbol math) ; Informative Category
1938 (bidi-category . "ON")