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) ;
189 '((name . "SET MINUS")
190 (general-category symbol math) ; Informative Category
191 (bidi-category . "ON")
196 '((name . "ASTERISK OPERATOR")
197 (general-category symbol math) ; Informative Category
198 (bidi-category . "ON")
203 '((name . "RING OPERATOR")
204 (general-category symbol math) ; Informative Category
205 (bidi-category . "ON")
210 '((name . "BULLET OPERATOR")
211 (general-category symbol math) ; Informative Category
212 (bidi-category . "ON")
217 '((name . "SQUARE ROOT")
218 (general-category symbol math) ; Informative Category
219 (bidi-category . "ON")
221 (chinese-gb2312 . #x214C) ;
222 (japanese-jisx0208 . #x2265) ;
223 (korean-ksc5601 . #x216E) ;
224 (chinese-cns11643-1 . #x2235) ;
225 (japanese-jisx0208-1990 . #x2265) ; √
229 '((name . "CUBE ROOT")
230 (general-category symbol math) ; Informative Category
231 (bidi-category . "ON")
236 '((name . "FOURTH ROOT")
237 (general-category symbol math) ; Informative Category
238 (bidi-category . "ON")
243 '((name . "PROPORTIONAL TO")
244 (general-category symbol math) ; Informative Category
245 (bidi-category . "ON")
247 (chinese-gb2312 . #x2158) ;
248 (japanese-jisx0208 . #x2267) ;
249 (korean-ksc5601 . #x2170) ;
250 (japanese-jisx0208-1990 . #x2267) ; ∝
254 '((name . "INFINITY")
255 (general-category symbol math) ; Informative Category
256 (bidi-category . "ON")
258 (japanese-jisx0208-1978 . #x2167) ;
259 (chinese-gb2312 . #x215E) ;
260 (japanese-jisx0208 . #x2167) ;
261 (korean-ksc5601 . #x2144) ;
262 (chinese-cns11643-1 . #x223C) ;
263 (japanese-jisx0208-1990 . #x2167) ; ∞
267 '((name . "RIGHT ANGLE")
268 (general-category symbol math) ; Informative Category
269 (bidi-category . "ON")
271 (chinese-cns11643-1 . #x2249) ;
272 (japanese-jisx0213-1 . #x2D78) ; ∟
277 (general-category symbol math) ; Informative Category
278 (bidi-category . "ON")
280 (chinese-gb2312 . #x214F) ;
281 (japanese-jisx0208 . #x225C) ;
282 (korean-ksc5601 . #x2150) ;
283 (chinese-cns11643-1 . #x2248) ;
284 (japanese-jisx0208-1990 . #x225C) ; ∠
288 '((name . "MEASURED ANGLE")
289 (general-category symbol math) ; Informative Category
290 (bidi-category . "ON")
295 '((name . "SPHERICAL ANGLE")
296 (general-category symbol math) ; Informative Category
297 (bidi-category . "ON")
303 (general-category symbol math) ; Informative Category
304 (bidi-category . "ON")
309 '((name . "DOES NOT DIVIDE")
310 (general-category symbol math) ; Informative Category
311 (bidi-category . "ON")
313 (->decomposition #x2223 #x0338)
317 '((name . "PARALLEL TO")
318 (general-category symbol math) ; Informative Category
319 (bidi-category . "ON")
321 (chinese-gb2312 . #x214E) ;
322 (korean-ksc5601 . #x212B) ;
323 (japanese-jisx0213-1 . #x2254) ; ∥
327 '((name . "NOT PARALLEL TO")
328 (general-category symbol math) ; Informative Category
329 (bidi-category . "ON")
331 (->decomposition #x2225 #x0338)
332 (japanese-jisx0213-1 . #x2255) ; ∦
336 '((name . "LOGICAL AND")
337 (general-category symbol math) ; Informative Category
338 (bidi-category . "ON")
340 (chinese-gb2312 . #x2144) ;
341 (japanese-jisx0208 . #x224A) ;
342 (korean-ksc5601 . #x217C) ;
343 (japanese-jisx0208-1990 . #x224A) ; ∧
347 '((name . "LOGICAL OR")
348 (general-category symbol math) ; Informative Category
349 (bidi-category . "ON")
351 (chinese-gb2312 . #x2145) ;
352 (japanese-jisx0208 . #x224B) ;
353 (korean-ksc5601 . #x217D) ;
354 (japanese-jisx0208-1990 . #x224B) ; ∨
358 '((name . "INTERSECTION")
359 (general-category symbol math) ; Informative Category
360 (bidi-category . "ON")
362 (chinese-gb2312 . #x2149) ;
363 (japanese-jisx0208 . #x2241) ;
364 (korean-ksc5601 . #x217B) ;
365 (chinese-cns11643-1 . #x2245) ;
366 (japanese-jisx0208-1990 . #x2241) ; ∩
371 (general-category symbol math) ; Informative Category
372 (bidi-category . "ON")
374 (chinese-gb2312 . #x2148) ;
375 (japanese-jisx0208 . #x2240) ;
376 (korean-ksc5601 . #x217A) ;
377 (chinese-cns11643-1 . #x2246) ;
378 (japanese-jisx0208-1990 . #x2240) ; ∪
382 '((name . "INTEGRAL")
383 (general-category symbol math) ; Informative Category
384 (bidi-category . "ON")
386 (chinese-gb2312 . #x2152) ;
387 (japanese-jisx0208 . #x2269) ;
388 (korean-ksc5601 . #x2172) ;
389 (chinese-cns11643-1 . #x224D) ;
390 (japanese-jisx0208-1990 . #x2269) ; ∫
394 '((name . "DOUBLE INTEGRAL")
395 (general-category symbol math) ; Informative Category
396 (bidi-category . "ON")
398 (->decomposition compat #x222B #x222B)
399 (japanese-jisx0208 . #x226A) ;
400 (korean-ksc5601 . #x2173) ;
401 (japanese-jisx0208-1990 . #x226A) ; ∬
405 '((name . "TRIPLE INTEGRAL")
406 (general-category symbol math) ; Informative Category
407 (bidi-category . "ON")
409 (->decomposition compat #x222B #x222B #x222B)
413 '((name . "CONTOUR INTEGRAL")
414 (general-category symbol math) ; Informative Category
415 (bidi-category . "ON")
417 (chinese-gb2312 . #x2153) ;
418 (korean-ksc5601 . #x2231) ;
419 (chinese-cns11643-1 . #x224E) ;
420 (japanese-jisx0213-1 . #x2D73) ; ∮
424 '((name . "SURFACE INTEGRAL")
425 (general-category symbol math) ; Informative Category
426 (bidi-category . "ON")
428 (->decomposition compat #x222E #x222E)
432 '((name . "VOLUME INTEGRAL")
433 (general-category symbol math) ; Informative Category
434 (bidi-category . "ON")
436 (->decomposition compat #x222E #x222E #x222E)
440 '((name . "CLOCKWISE INTEGRAL")
441 (general-category symbol math) ; Informative Category
442 (bidi-category . "ON")
447 '((name . "CLOCKWISE CONTOUR INTEGRAL")
448 (general-category symbol math) ; Informative Category
449 (bidi-category . "ON")
454 '((name . "ANTICLOCKWISE CONTOUR INTEGRAL")
455 (general-category symbol math) ; Informative Category
456 (bidi-category . "ON")
461 '((name . "THEREFORE")
462 (general-category symbol math) ; Informative Category
463 (bidi-category . "ON")
465 (japanese-jisx0208-1978 . #x2168) ;
466 (chinese-gb2312 . #x2160) ;
467 (japanese-jisx0208 . #x2168) ;
468 (korean-ksc5601 . #x2145) ;
469 (chinese-cns11643-1 . #x2250) ;
470 (japanese-jisx0208-1990 . #x2168) ; ∴
475 (general-category symbol math) ; Informative Category
476 (bidi-category . "ON")
478 (chinese-gb2312 . #x215F) ;
479 (japanese-jisx0208 . #x2268) ;
480 (korean-ksc5601 . #x2171) ;
481 (chinese-cns11643-1 . #x224F) ;
482 (japanese-jisx0208-1990 . #x2268) ; ∵
487 (general-category symbol math) ; Informative Category
488 (bidi-category . "ON")
490 (chinese-gb2312 . #x2143) ;
494 '((name . "PROPORTION")
495 (general-category symbol math) ; Informative Category
496 (bidi-category . "ON")
498 (chinese-gb2312 . #x214B) ;
502 '((name . "DOT MINUS")
503 (general-category symbol math) ; Informative Category
504 (bidi-category . "ON")
510 (general-category symbol math) ; Informative Category
511 (bidi-category . "ON")
516 '((name . "GEOMETRIC PROPORTION")
517 (general-category symbol math) ; Informative Category
518 (bidi-category . "ON")
523 '((name . "HOMOTHETIC")
524 (general-category symbol math) ; Informative Category
525 (bidi-category . "ON")
530 '((name . "TILDE OPERATOR")
531 (general-category symbol math) ; Informative Category
532 (bidi-category . "ON")
534 (korean-ksc5601 . #x212D) ;
538 '((name . "REVERSED TILDE")
539 (general-category symbol math) ; Informative Category
540 (bidi-category . "ON")
542 (iso-10646-comment . "lazy S")
543 (chinese-gb2312 . #x2157) ;
544 (japanese-jisx0208 . #x2266) ;
545 (korean-ksc5601 . #x216F) ;
546 (japanese-jisx0208-1990 . #x2266) ; ∽
550 '((name . "INVERTED LAZY S")
551 (general-category symbol math) ; Informative Category
552 (bidi-category . "ON")
557 '((name . "SINE WAVE")
558 (general-category symbol math) ; Informative Category
559 (bidi-category . "ON")
564 '((name . "WREATH PRODUCT")
565 (general-category symbol math) ; Informative Category
566 (bidi-category . "ON")
571 '((name . "NOT TILDE")
572 (general-category symbol math) ; Informative Category
573 (bidi-category . "ON")
575 (->decomposition #x223C #x0338)
579 '((name . "MINUS TILDE")
580 (general-category symbol math) ; Informative Category
581 (bidi-category . "ON")
586 '((name . "ASYMPTOTICALLY EQUAL TO")
587 (general-category symbol math) ; Informative Category
588 (bidi-category . "ON")
590 (japanese-jisx0213-1 . #x226C) ; ≃
594 '((name . "NOT ASYMPTOTICALLY EQUAL TO")
595 (general-category symbol math) ; Informative Category
596 (bidi-category . "ON")
598 (->decomposition #x2243 #x0338)
602 '((name . "APPROXIMATELY EQUAL TO")
603 (general-category symbol math) ; Informative Category
604 (bidi-category . "ON")
606 (japanese-jisx0213-1 . #x226D) ; ≅
610 '((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
611 (general-category symbol math) ; Informative Category
612 (bidi-category . "ON")
617 '((name . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
618 (general-category symbol math) ; Informative Category
619 (bidi-category . "ON")
621 (->decomposition #x2245 #x0338)
625 '((name . "ALMOST EQUAL TO")
626 (general-category symbol math) ; Informative Category
627 (bidi-category . "ON")
629 (chinese-gb2312 . #x2156) ;
630 (japanese-jisx0213-1 . #x226E) ; ≈
634 '((name . "NOT ALMOST EQUAL TO")
635 (general-category symbol math) ; Informative Category
636 (bidi-category . "ON")
638 (->decomposition #x2248 #x0338)
642 '((name . "ALMOST EQUAL OR EQUAL TO")
643 (general-category symbol math) ; Informative Category
644 (bidi-category . "ON")
649 '((name . "TRIPLE TILDE")
650 (general-category symbol math) ; Informative Category
651 (bidi-category . "ON")
656 '((name . "ALL EQUAL TO")
657 (general-category symbol math) ; Informative Category
658 (bidi-category . "ON")
660 (chinese-gb2312 . #x2155) ;
664 '((name . "EQUIVALENT TO")
665 (general-category symbol math) ; Informative Category
666 (bidi-category . "ON")
671 '((name . "GEOMETRICALLY EQUIVALENT TO")
672 (general-category symbol math) ; Informative Category
673 (bidi-category . "ON")
678 '((name . "DIFFERENCE BETWEEN")
679 (general-category symbol math) ; Informative Category
680 (bidi-category . "ON")
685 '((name . "APPROACHES THE LIMIT")
686 (general-category symbol math) ; Informative Category
687 (bidi-category . "ON")
692 '((name . "GEOMETRICALLY EQUAL TO")
693 (general-category symbol math) ; Informative Category
694 (bidi-category . "ON")
699 '((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
700 (general-category symbol math) ; Informative Category
701 (bidi-category . "ON")
703 (japanese-jisx0208 . #x2262) ;
704 (korean-ksc5601 . #x2156) ;
705 (chinese-cns11643-1 . #x223D) ;
706 (japanese-jisx0208-1990 . #x2262) ; ≒
710 '((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
711 (general-category symbol math) ; Informative Category
712 (bidi-category . "ON")
717 '((name . "COLON EQUALS")
718 (general-category symbol math) ; Informative Category
719 (bidi-category . "ON")
724 '((name . "EQUALS COLON")
725 (general-category symbol math) ; Informative Category
726 (bidi-category . "ON")
731 '((name . "RING IN EQUAL TO")
732 (general-category symbol math) ; Informative Category
733 (bidi-category . "ON")
738 '((name . "RING EQUAL TO")
739 (general-category symbol math) ; Informative Category
740 (bidi-category . "ON")
745 '((name . "CORRESPONDS TO")
746 (general-category symbol math) ; Informative Category
747 (bidi-category . "ON")
752 '((name . "ESTIMATES")
753 (general-category symbol math) ; Informative Category
754 (bidi-category . "ON")
759 '((name . "EQUIANGULAR TO")
760 (general-category symbol math) ; Informative Category
761 (bidi-category . "ON")
766 '((name . "STAR EQUALS")
767 (general-category symbol math) ; Informative Category
768 (bidi-category . "ON")
773 '((name . "DELTA EQUAL TO")
774 (general-category symbol math) ; Informative Category
775 (bidi-category . "ON")
780 '((name . "EQUAL TO BY DEFINITION")
781 (general-category symbol math) ; Informative Category
782 (bidi-category . "ON")
787 '((name . "MEASURED BY")
788 (general-category symbol math) ; Informative Category
789 (bidi-category . "ON")
794 '((name . "QUESTIONED EQUAL TO")
795 (general-category symbol math) ; Informative Category
796 (bidi-category . "ON")
801 '((name . "NOT EQUAL TO")
802 (general-category symbol math) ; Informative Category
803 (bidi-category . "ON")
805 (->decomposition #x003D #x0338)
806 (japanese-jisx0208-1978 . #x2162) ;
807 (chinese-gb2312 . #x2159) ;
808 (japanese-jisx0208 . #x2162) ;
809 (korean-ksc5601 . #x2141) ;
810 (chinese-cns11643-1 . #x223B) ;
811 (japanese-jisx0208-1990 . #x2162) ; ≠
815 '((name . "IDENTICAL TO")
816 (general-category symbol math) ; Informative Category
817 (bidi-category . "ON")
819 (chinese-gb2312 . #x2154) ;
820 (japanese-jisx0208 . #x2261) ;
821 (korean-ksc5601 . #x2155) ;
822 (chinese-cns11643-1 . #x223E) ;
823 (japanese-jisx0208-1990 . #x2261) ; ≡
827 '((name . "NOT IDENTICAL TO")
828 (general-category symbol math) ; Informative Category
829 (bidi-category . "ON")
831 (->decomposition #x2261 #x0338)
832 (japanese-jisx0213-1 . #x226B) ; ≢
836 '((name . "STRICTLY EQUIVALENT TO")
837 (general-category symbol math) ; Informative Category
838 (bidi-category . "ON")
843 '((name . "LESS-THAN OR EQUAL TO")
844 (general-category symbol math) ; Informative Category
845 (bidi-category . "ON")
847 (chinese-gb2312 . #x215C) ;
848 (korean-ksc5601 . #x2142) ;
852 '((name . "GREATER-THAN OR EQUAL TO")
853 (general-category symbol math) ; Informative Category
854 (bidi-category . "ON")
856 (chinese-gb2312 . #x215D) ;
857 (korean-ksc5601 . #x2143) ;
861 '((name . "LESS-THAN OVER EQUAL TO")
862 (general-category symbol math) ; Informative Category
863 (bidi-category . "ON")
865 (japanese-jisx0208-1978 . #x2165) ;
866 (japanese-jisx0208 . #x2165) ;
867 (chinese-cns11643-1 . #x2239) ;
868 (japanese-jisx0208-1990 . #x2165) ; ≦
872 '((name . "GREATER-THAN OVER EQUAL TO")
873 (general-category symbol math) ; Informative Category
874 (bidi-category . "ON")
876 (japanese-jisx0208-1978 . #x2166) ;
877 (japanese-jisx0208 . #x2166) ;
878 (chinese-cns11643-1 . #x223A) ;
879 (japanese-jisx0208-1990 . #x2166) ; ≧
883 '((name . "LESS-THAN BUT NOT EQUAL TO")
884 (general-category symbol math) ; Informative Category
885 (bidi-category . "ON")
890 '((name . "GREATER-THAN BUT NOT EQUAL TO")
891 (general-category symbol math) ; Informative Category
892 (bidi-category . "ON")
897 '((name . "MUCH LESS-THAN")
898 (general-category symbol math) ; Informative Category
899 (bidi-category . "ON")
901 (japanese-jisx0208 . #x2263) ;
902 (korean-ksc5601 . #x216C) ;
903 (japanese-jisx0208-1990 . #x2263) ; ≪
907 '((name . "MUCH GREATER-THAN")
908 (general-category symbol math) ; Informative Category
909 (bidi-category . "ON")
911 (japanese-jisx0208 . #x2264) ;
912 (korean-ksc5601 . #x216D) ;
913 (japanese-jisx0208-1990 . #x2264) ; ≫
918 (general-category symbol math) ; Informative Category
919 (bidi-category . "ON")
924 '((name . "NOT EQUIVALENT TO")
925 (general-category symbol math) ; Informative Category
926 (bidi-category . "ON")
928 (->decomposition #x224D #x0338)
932 '((name . "NOT LESS-THAN")
933 (general-category symbol math) ; Informative Category
934 (bidi-category . "ON")
936 (->decomposition #x003C #x0338)
937 (chinese-gb2312 . #x215A) ;
941 '((name . "NOT GREATER-THAN")
942 (general-category symbol math) ; Informative Category
943 (bidi-category . "ON")
945 (->decomposition #x003E #x0338)
946 (chinese-gb2312 . #x215B) ;
950 '((name . "NEITHER LESS-THAN NOR EQUAL TO")
951 (general-category symbol math) ; Informative Category
952 (bidi-category . "ON")
954 (->decomposition #x2264 #x0338)
958 '((name . "NEITHER GREATER-THAN NOR EQUAL TO")
959 (general-category symbol math) ; Informative Category
960 (bidi-category . "ON")
962 (->decomposition #x2265 #x0338)
966 '((name . "LESS-THAN OR EQUIVALENT TO")
967 (general-category symbol math) ; Informative Category
968 (bidi-category . "ON")
973 '((name . "GREATER-THAN OR EQUIVALENT TO")
974 (general-category symbol math) ; Informative Category
975 (bidi-category . "ON")
980 '((name . "NEITHER LESS-THAN NOR EQUIVALENT TO")
981 (general-category symbol math) ; Informative Category
982 (bidi-category . "ON")
984 (->decomposition #x2272 #x0338)
988 '((name . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
989 (general-category symbol math) ; Informative Category
990 (bidi-category . "ON")
992 (->decomposition #x2273 #x0338)
996 '((name . "LESS-THAN OR GREATER-THAN")
997 (general-category symbol math) ; Informative Category
998 (bidi-category . "ON")
1000 (japanese-jisx0213-1 . #x226F) ; ≶
1004 '((name . "GREATER-THAN OR LESS-THAN")
1005 (general-category symbol math) ; Informative Category
1006 (bidi-category . "ON")
1008 (japanese-jisx0213-1 . #x2270) ; ≷
1012 '((name . "NEITHER LESS-THAN NOR GREATER-THAN")
1013 (general-category symbol math) ; Informative Category
1014 (bidi-category . "ON")
1016 (->decomposition #x2276 #x0338)
1020 '((name . "NEITHER GREATER-THAN NOR LESS-THAN")
1021 (general-category symbol math) ; Informative Category
1022 (bidi-category . "ON")
1024 (->decomposition #x2277 #x0338)
1028 '((name . "PRECEDES")
1029 (general-category symbol math) ; Informative Category
1030 (bidi-category . "ON")
1035 '((name . "SUCCEEDS")
1036 (general-category symbol math) ; Informative Category
1037 (bidi-category . "ON")
1042 '((name . "PRECEDES OR EQUAL TO")
1043 (general-category symbol math) ; Informative Category
1044 (bidi-category . "ON")
1049 '((name . "SUCCEEDS OR EQUAL TO")
1050 (general-category symbol math) ; Informative Category
1051 (bidi-category . "ON")
1056 '((name . "PRECEDES OR EQUIVALENT TO")
1057 (general-category symbol math) ; Informative Category
1058 (bidi-category . "ON")
1063 '((name . "SUCCEEDS OR EQUIVALENT TO")
1064 (general-category symbol math) ; Informative Category
1065 (bidi-category . "ON")
1070 '((name . "DOES NOT PRECEDE")
1071 (general-category symbol math) ; Informative Category
1072 (bidi-category . "ON")
1074 (->decomposition #x227A #x0338)
1078 '((name . "DOES NOT SUCCEED")
1079 (general-category symbol math) ; Informative Category
1080 (bidi-category . "ON")
1082 (->decomposition #x227B #x0338)
1086 '((name . "SUBSET OF")
1087 (general-category symbol math) ; Informative Category
1088 (bidi-category . "ON")
1090 (japanese-jisx0208 . #x223E) ;
1091 (korean-ksc5601 . #x2178) ;
1092 (japanese-jisx0208-1990 . #x223E) ; ⊂
1096 '((name . "SUPERSET OF")
1097 (general-category symbol math) ; Informative Category
1098 (bidi-category . "ON")
1100 (japanese-jisx0208 . #x223F) ;
1101 (korean-ksc5601 . #x2179) ;
1102 (japanese-jisx0208-1990 . #x223F) ; ⊃
1106 '((name . "NOT A SUBSET OF")
1107 (general-category symbol math) ; Informative Category
1108 (bidi-category . "ON")
1110 (->decomposition #x2282 #x0338)
1111 (japanese-jisx0213-1 . #x2242) ; ⊄
1115 '((name . "NOT A SUPERSET OF")
1116 (general-category symbol math) ; Informative Category
1117 (bidi-category . "ON")
1119 (->decomposition #x2283 #x0338)
1120 (japanese-jisx0213-1 . #x2243) ; ⊅
1124 '((name . "SUBSET OF OR EQUAL TO")
1125 (general-category symbol math) ; Informative Category
1126 (bidi-category . "ON")
1128 (japanese-jisx0208 . #x223C) ;
1129 (korean-ksc5601 . #x2176) ;
1130 (japanese-jisx0208-1990 . #x223C) ; ⊆
1134 '((name . "SUPERSET OF OR EQUAL TO")
1135 (general-category symbol math) ; Informative Category
1136 (bidi-category . "ON")
1138 (japanese-jisx0208 . #x223D) ;
1139 (korean-ksc5601 . #x2177) ;
1140 (japanese-jisx0208-1990 . #x223D) ; ⊇
1144 '((name . "NEITHER A SUBSET OF NOR EQUAL TO")
1145 (general-category symbol math) ; Informative Category
1146 (bidi-category . "ON")
1148 (->decomposition #x2286 #x0338)
1152 '((name . "NEITHER A SUPERSET OF NOR EQUAL TO")
1153 (general-category symbol math) ; Informative Category
1154 (bidi-category . "ON")
1156 (->decomposition #x2287 #x0338)
1160 '((name . "SUBSET OF WITH NOT EQUAL TO")
1161 (general-category symbol math) ; Informative Category
1162 (bidi-category . "ON")
1164 (japanese-jisx0213-1 . #x2244) ; ⊊
1168 '((name . "SUPERSET OF WITH NOT EQUAL TO")
1169 (general-category symbol math) ; Informative Category
1170 (bidi-category . "ON")
1172 (japanese-jisx0213-1 . #x2245) ; ⊋
1176 '((name . "MULTISET")
1177 (general-category symbol math) ; Informative Category
1178 (bidi-category . "ON")
1183 '((name . "MULTISET MULTIPLICATION")
1184 (general-category symbol math) ; Informative Category
1185 (bidi-category . "ON")
1190 '((name . "MULTISET UNION")
1191 (general-category symbol math) ; Informative Category
1192 (bidi-category . "ON")
1197 '((name . "SQUARE IMAGE OF")
1198 (general-category symbol math) ; Informative Category
1199 (bidi-category . "ON")
1204 '((name . "SQUARE ORIGINAL OF")
1205 (general-category symbol math) ; Informative Category
1206 (bidi-category . "ON")
1211 '((name . "SQUARE IMAGE OF OR EQUAL TO")
1212 (general-category symbol math) ; Informative Category
1213 (bidi-category . "ON")
1218 '((name . "SQUARE ORIGINAL OF OR EQUAL TO")
1219 (general-category symbol math) ; Informative Category
1220 (bidi-category . "ON")
1225 '((name . "SQUARE CAP")
1226 (general-category symbol math) ; Informative Category
1227 (bidi-category . "ON")
1232 '((name . "SQUARE CUP")
1233 (general-category symbol math) ; Informative Category
1234 (bidi-category . "ON")
1239 '((name . "CIRCLED PLUS")
1240 (general-category symbol math) ; Informative Category
1241 (bidi-category . "ON")
1243 (chinese-cns11643-1 . #x2253) ;
1244 (japanese-jisx0213-1 . #x2251) ; ⊕
1248 '((name . "CIRCLED MINUS")
1249 (general-category symbol math) ; Informative Category
1250 (bidi-category . "ON")
1252 (japanese-jisx0213-1 . #x2252) ; ⊖
1256 '((name . "CIRCLED TIMES")
1257 (general-category symbol math) ; Informative Category
1258 (bidi-category . "ON")
1260 (japanese-jisx0213-1 . #x2253) ; ⊗
1264 '((name . "CIRCLED DIVISION SLASH")
1265 (general-category symbol math) ; Informative Category
1266 (bidi-category . "ON")
1271 '((name . "CIRCLED DOT OPERATOR")
1272 (general-category symbol math) ; Informative Category
1273 (bidi-category . "ON")
1275 (chinese-gb2312 . #x2151) ;
1276 (korean-ksc5601 . #x2241) ;
1277 (chinese-cns11643-1 . #x2254) ;
1281 '((name . "CIRCLED RING OPERATOR")
1282 (general-category symbol math) ; Informative Category
1283 (bidi-category . "ON")
1288 '((name . "CIRCLED ASTERISK OPERATOR")
1289 (general-category symbol math) ; Informative Category
1290 (bidi-category . "ON")
1295 '((name . "CIRCLED EQUALS")
1296 (general-category symbol math) ; Informative Category
1297 (bidi-category . "ON")
1302 '((name . "CIRCLED DASH")
1303 (general-category symbol math) ; Informative Category
1304 (bidi-category . "ON")
1309 '((name . "SQUARED PLUS")
1310 (general-category symbol math) ; Informative Category
1311 (bidi-category . "ON")
1316 '((name . "SQUARED MINUS")
1317 (general-category symbol math) ; Informative Category
1318 (bidi-category . "ON")
1323 '((name . "SQUARED TIMES")
1324 (general-category symbol math) ; Informative Category
1325 (bidi-category . "ON")
1330 '((name . "SQUARED DOT OPERATOR")
1331 (general-category symbol math) ; Informative Category
1332 (bidi-category . "ON")
1337 '((name . "RIGHT TACK")
1338 (general-category symbol math) ; Informative Category
1339 (bidi-category . "ON")
1344 '((name . "LEFT TACK")
1345 (general-category symbol math) ; Informative Category
1346 (bidi-category . "ON")
1351 '((name . "DOWN TACK")
1352 (general-category symbol math) ; Informative Category
1353 (bidi-category . "ON")
1358 '((name . "UP TACK")
1359 (general-category symbol math) ; Informative Category
1360 (bidi-category . "ON")
1362 (chinese-gb2312 . #x214D) ;
1363 (japanese-jisx0208 . #x225D) ;
1364 (korean-ksc5601 . #x2151) ;
1365 (chinese-cns11643-1 . #x2247) ;
1366 (japanese-jisx0208-1990 . #x225D) ; ⊥
1370 '((name . "ASSERTION")
1371 (general-category symbol math) ; Informative Category
1372 (bidi-category . "ON")
1378 (general-category symbol math) ; Informative Category
1379 (bidi-category . "ON")
1385 (general-category symbol math) ; Informative Category
1386 (bidi-category . "ON")
1392 (general-category symbol math) ; Informative Category
1393 (bidi-category . "ON")
1398 '((name . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
1399 (general-category symbol math) ; Informative Category
1400 (bidi-category . "ON")
1405 '((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1406 (general-category symbol math) ; Informative Category
1407 (bidi-category . "ON")
1412 '((name . "DOES NOT PROVE")
1413 (general-category symbol math) ; Informative Category
1414 (bidi-category . "ON")
1416 (->decomposition #x22A2 #x0338)
1420 '((name . "NOT TRUE")
1421 (general-category symbol math) ; Informative Category
1422 (bidi-category . "ON")
1424 (->decomposition #x22A8 #x0338)
1428 '((name . "DOES NOT FORCE")
1429 (general-category symbol math) ; Informative Category
1430 (bidi-category . "ON")
1432 (->decomposition #x22A9 #x0338)
1436 '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1437 (general-category symbol math) ; Informative Category
1438 (bidi-category . "ON")
1440 (->decomposition #x22AB #x0338)
1444 '((name . "PRECEDES UNDER RELATION")
1445 (general-category symbol math) ; Informative Category
1446 (bidi-category . "ON")
1451 '((name . "SUCCEEDS UNDER RELATION")
1452 (general-category symbol math) ; Informative Category
1453 (bidi-category . "ON")
1458 '((name . "NORMAL SUBGROUP OF")
1459 (general-category symbol math) ; Informative Category
1460 (bidi-category . "ON")
1465 '((name . "CONTAINS AS NORMAL SUBGROUP")
1466 (general-category symbol math) ; Informative Category
1467 (bidi-category . "ON")
1472 '((name . "NORMAL SUBGROUP OF OR EQUAL TO")
1473 (general-category symbol math) ; Informative Category
1474 (bidi-category . "ON")
1479 '((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
1480 (general-category symbol math) ; Informative Category
1481 (bidi-category . "ON")
1486 '((name . "ORIGINAL OF")
1487 (general-category symbol math) ; Informative Category
1488 (bidi-category . "ON")
1493 '((name . "IMAGE OF")
1494 (general-category symbol math) ; Informative Category
1495 (bidi-category . "ON")
1500 '((name . "MULTIMAP")
1501 (general-category symbol math) ; Informative Category
1502 (bidi-category . "ON")
1507 '((name . "HERMITIAN CONJUGATE MATRIX")
1508 (general-category symbol math) ; Informative Category
1509 (bidi-category . "ON")
1514 '((name . "INTERCALATE")
1515 (general-category symbol math) ; Informative Category
1516 (bidi-category . "ON")
1522 (general-category symbol math) ; Informative Category
1523 (bidi-category . "ON")
1529 (general-category symbol math) ; Informative Category
1530 (bidi-category . "ON")
1536 (general-category symbol math) ; Informative Category
1537 (bidi-category . "ON")
1542 '((name . "RIGHT ANGLE WITH ARC")
1543 (general-category symbol math) ; Informative Category
1544 (bidi-category . "ON")
1549 '((name . "RIGHT TRIANGLE")
1550 (general-category symbol math) ; Informative Category
1551 (bidi-category . "ON")
1553 (chinese-cns11643-1 . #x224A) ;
1554 (japanese-jisx0213-1 . #x2D79) ; ⊿
1558 '((name . "N-ARY LOGICAL AND")
1559 (general-category symbol math) ; Informative Category
1560 (bidi-category . "ON")
1565 '((name . "N-ARY LOGICAL OR")
1566 (general-category symbol math) ; Informative Category
1567 (bidi-category . "ON")
1572 '((name . "N-ARY INTERSECTION")
1573 (general-category symbol math) ; Informative Category
1574 (bidi-category . "ON")
1579 '((name . "N-ARY UNION")
1580 (general-category symbol math) ; Informative Category
1581 (bidi-category . "ON")
1586 '((name . "DIAMOND OPERATOR")
1587 (general-category symbol math) ; Informative Category
1588 (bidi-category . "ON")
1593 '((name . "DOT OPERATOR")
1594 (general-category symbol math) ; Informative Category
1595 (bidi-category . "ON")
1600 '((name . "STAR OPERATOR")
1601 (general-category symbol math) ; Informative Category
1602 (bidi-category . "ON")
1607 '((name . "DIVISION TIMES")
1608 (general-category symbol math) ; Informative Category
1609 (bidi-category . "ON")
1615 (general-category symbol math) ; Informative Category
1616 (bidi-category . "ON")
1621 '((name . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
1622 (general-category symbol math) ; Informative Category
1623 (bidi-category . "ON")
1628 '((name . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
1629 (general-category symbol math) ; Informative Category
1630 (bidi-category . "ON")
1635 '((name . "LEFT SEMIDIRECT PRODUCT")
1636 (general-category symbol math) ; Informative Category
1637 (bidi-category . "ON")
1642 '((name . "RIGHT SEMIDIRECT PRODUCT")
1643 (general-category symbol math) ; Informative Category
1644 (bidi-category . "ON")
1649 '((name . "REVERSED TILDE EQUALS")
1650 (general-category symbol math) ; Informative Category
1651 (bidi-category . "ON")
1656 '((name . "CURLY LOGICAL OR")
1657 (general-category symbol math) ; Informative Category
1658 (bidi-category . "ON")
1663 '((name . "CURLY LOGICAL AND")
1664 (general-category symbol math) ; Informative Category
1665 (bidi-category . "ON")
1670 '((name . "DOUBLE SUBSET")
1671 (general-category symbol math) ; Informative Category
1672 (bidi-category . "ON")
1677 '((name . "DOUBLE SUPERSET")
1678 (general-category symbol math) ; Informative Category
1679 (bidi-category . "ON")
1684 '((name . "DOUBLE INTERSECTION")
1685 (general-category symbol math) ; Informative Category
1686 (bidi-category . "ON")
1691 '((name . "DOUBLE UNION")
1692 (general-category symbol math) ; Informative Category
1693 (bidi-category . "ON")
1698 '((name . "PITCHFORK")
1699 (general-category symbol math) ; Informative Category
1700 (bidi-category . "ON")
1705 '((name . "EQUAL AND PARALLEL TO")
1706 (general-category symbol math) ; Informative Category
1707 (bidi-category . "ON")
1712 '((name . "LESS-THAN WITH DOT")
1713 (general-category symbol math) ; Informative Category
1714 (bidi-category . "ON")
1719 '((name . "GREATER-THAN WITH DOT")
1720 (general-category symbol math) ; Informative Category
1721 (bidi-category . "ON")
1726 '((name . "VERY MUCH LESS-THAN")
1727 (general-category symbol math) ; Informative Category
1728 (bidi-category . "ON")
1733 '((name . "VERY MUCH GREATER-THAN")
1734 (general-category symbol math) ; Informative Category
1735 (bidi-category . "ON")
1740 '((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
1741 (general-category symbol math) ; Informative Category
1742 (bidi-category . "ON")
1744 (japanese-jisx0213-1 . #x2776) ; ⋚
1748 '((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
1749 (general-category symbol math) ; Informative Category
1750 (bidi-category . "ON")
1752 (japanese-jisx0213-1 . #x2777) ; ⋛
1756 '((name . "EQUAL TO OR LESS-THAN")
1757 (general-category symbol math) ; Informative Category
1758 (bidi-category . "ON")
1763 '((name . "EQUAL TO OR GREATER-THAN")
1764 (general-category symbol math) ; Informative Category
1765 (bidi-category . "ON")
1770 '((name . "EQUAL TO OR PRECEDES")
1771 (general-category symbol math) ; Informative Category
1772 (bidi-category . "ON")
1777 '((name . "EQUAL TO OR SUCCEEDS")
1778 (general-category symbol math) ; Informative Category
1779 (bidi-category . "ON")
1784 '((name . "DOES NOT PRECEDE OR EQUAL")
1785 (general-category symbol math) ; Informative Category
1786 (bidi-category . "ON")
1788 (->decomposition #x227C #x0338)
1792 '((name . "DOES NOT SUCCEED OR EQUAL")
1793 (general-category symbol math) ; Informative Category
1794 (bidi-category . "ON")
1796 (->decomposition #x227D #x0338)
1800 '((name . "NOT SQUARE IMAGE OF OR EQUAL TO")
1801 (general-category symbol math) ; Informative Category
1802 (bidi-category . "ON")
1804 (->decomposition #x2291 #x0338)
1808 '((name . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
1809 (general-category symbol math) ; Informative Category
1810 (bidi-category . "ON")
1812 (->decomposition #x2292 #x0338)
1816 '((name . "SQUARE IMAGE OF OR NOT EQUAL TO")
1817 (general-category symbol math) ; Informative Category
1818 (bidi-category . "ON")
1823 '((name . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
1824 (general-category symbol math) ; Informative Category
1825 (bidi-category . "ON")
1830 '((name . "LESS-THAN BUT NOT EQUIVALENT TO")
1831 (general-category symbol math) ; Informative Category
1832 (bidi-category . "ON")
1837 '((name . "GREATER-THAN BUT NOT EQUIVALENT TO")
1838 (general-category symbol math) ; Informative Category
1839 (bidi-category . "ON")
1844 '((name . "PRECEDES BUT NOT EQUIVALENT TO")
1845 (general-category symbol math) ; Informative Category
1846 (bidi-category . "ON")
1851 '((name . "SUCCEEDS BUT NOT EQUIVALENT TO")
1852 (general-category symbol math) ; Informative Category
1853 (bidi-category . "ON")
1858 '((name . "NOT NORMAL SUBGROUP OF")
1859 (general-category symbol math) ; Informative Category
1860 (bidi-category . "ON")
1862 (->decomposition #x22B2 #x0338)
1866 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
1867 (general-category symbol math) ; Informative Category
1868 (bidi-category . "ON")
1870 (->decomposition #x22B3 #x0338)
1874 '((name . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
1875 (general-category symbol math) ; Informative Category
1876 (bidi-category . "ON")
1878 (->decomposition #x22B4 #x0338)
1882 '((name . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
1883 (general-category symbol math) ; Informative Category
1884 (bidi-category . "ON")
1886 (->decomposition #x22B5 #x0338)
1890 '((name . "VERTICAL ELLIPSIS")
1891 (general-category symbol math) ; Informative Category
1892 (bidi-category . "ON")
1897 '((name . "MIDLINE HORIZONTAL ELLIPSIS")
1898 (general-category symbol math) ; Informative Category
1899 (bidi-category . "ON")
1904 '((name . "UP RIGHT DIAGONAL ELLIPSIS")
1905 (general-category symbol math) ; Informative Category
1906 (bidi-category . "ON")
1911 '((name . "DOWN RIGHT DIAGONAL ELLIPSIS")
1912 (general-category symbol math) ; Informative Category
1913 (bidi-category . "ON")