X-Git-Url: http://git.chise.org/gitweb/?a=blobdiff_plain;f=lisp%2Futf-2000%2Fu02200-Mathematical-Operators.el;h=0ce7f99b56e2ab7e25cf72cb4e2b3ce5088657d7;hb=efd8365432f0eeff21bff074b8b23cf4c158945c;hp=3e4111b0ef1a2aca757aba0e0be2403195dd3440;hpb=8e9679dac835cf6c627f803b498613049232bc85;p=chise%2Fxemacs-chise.git.1 diff --git a/lisp/utf-2000/u02200-Mathematical-Operators.el b/lisp/utf-2000/u02200-Mathematical-Operators.el index 3e4111b..0ce7f99 100644 --- a/lisp/utf-2000/u02200-Mathematical-Operators.el +++ b/lisp/utf-2000/u02200-Mathematical-Operators.el @@ -1,13 +1,14 @@ +;; -*- coding: utf-8-mcs -*- (define-char '((name . "FOR ALL") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=ucs . #x2200) ; ∀ (=jis-x0208-1983 . #x224F) ; ø»†’” (=ks-x1001 . #x2223) ; ø»ˆ›¬ (=jis-x0208-1990 . #x224F) ; ø½‰¸ˆ (=jef-china3 . #x7FDC) ; øº‡¿œ - (=ucs . #x2200) ; ∀ )) (define-char '((name . "COMPLEMENT") @@ -21,22 +22,22 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2202) ; ∂ (=jis-x0208-1983 . #x225F) ; ø»†’¤ (=ks-x1001 . #x2153) ; ø»ˆš¾ (=jis-x0208-1990 . #x225F) ; ø½‰¸˜ (=jef-china3 . #x7FE1) ; øº‡¿¡ - (=ucs . #x2202) ; ∂ )) (define-char '((name . "THERE EXISTS") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2203) ; ∃ (=jis-x0208-1983 . #x2250) ; ø»†’• (=ks-x1001 . #x2224) ; ø»ˆ›­ (=jis-x0208-1990 . #x2250) ; ø½‰¸‰ (=jef-china3 . #x7FDD) ; øº‡¿ - (=ucs . #x2203) ; ∃ )) (define-char '((name . "THERE DOES NOT EXIST") @@ -51,8 +52,8 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (=jis-x0213-1-2000 . #x2247) ; ø»¢•€ (=ucs . #x2205) ; ∅ + (=jis-x0213-1-2000 . #x2247) ; ø»¢•€ )) (define-char '((name . "INCREMENT") @@ -66,23 +67,23 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=ucs . #x2207) ; ∇ (=jis-x0208-1983 . #x2260) ; ø»†’¥ (=ks-x1001 . #x2154) ; ø»ˆš¿ (=jis-x0208-1990 . #x2260) ; ø½‰¸™ (=jef-china3 . #x7FE2) ; øº‡¿¢ - (=ucs . #x2207) ; ∇ )) (define-char '((name . "ELEMENT OF") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2208) ; ∈ (=gb2312 . #x214A) ; ø»„†­ (=jis-x0208-1983 . #x223A) ; ø»†‘¿ (=ks-x1001 . #x2174) ; ø»ˆ›Ÿ (=jis-x0208-1990 . #x223A) ; ø½‰·³ (=jef-china3 . #x7FD0) ; øº‡¿ - (=ucs . #x2208) ; ∈ )) (define-char '((name . "NOT AN ELEMENT OF") @@ -90,8 +91,8 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2208 #x0338) - (=jis-x0213-1-2000 . #x2246) ; ø»¢”¿ (=ucs . #x2209) ; ∉ + (=jis-x0213-1-2000 . #x2246) ; ø»¢”¿ )) (define-char '((name . "SMALL ELEMENT OF") @@ -105,11 +106,11 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x220B) ; ∋ (=jis-x0208-1983 . #x223B) ; ø»†’€ (=ks-x1001 . #x2175) ; ø»ˆ›  (=jis-x0208-1990 . #x223B) ; ø½‰·´ (=jef-china3 . #x7FD1) ; øº‡¿‘ - (=ucs . #x220B) ; ∋ )) (define-char '((name . "DOES NOT CONTAIN AS MEMBER") @@ -138,9 +139,9 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=ucs . #x220F) ; ∏ (=gb2312 . #x2147) ; ø»„†ª (=ks-x1001 . #x2233) ; ø»ˆ›¼ - (=ucs . #x220F) ; ∏ )) (define-char '((name . "N-ARY COPRODUCT") @@ -154,25 +155,25 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2211) ; ∑ (=gb2312 . #x2146) ; ø»„†© (=ks-x1001 . #x2232) ; ø»ˆ›» - (=ucs . #x2211) ; ∑ )) (define-char '((name . "MINUS SIGN") (general-category symbol math) ; Informative Category (bidi-category . "ET") (mirrored . nil) - (=jis-x0208 . #x215D) ; ø½‰¶¸ (=ucs . #x2212) ; − + (=jis-x0208 . #x215D) ; ø½‰¶¸ )) (define-char '((name . "MINUS-OR-PLUS SIGN") (general-category symbol math) ; Informative Category (bidi-category . "ET") (mirrored . nil) - (=jis-x0213-1-2000 . #x235B) ; ø»¢–² (=ucs . #x2213) ; ∓ + (=jis-x0213-1-2000 . #x235B) ; ø»¢–² )) (define-char '((name . "DOT PLUS") @@ -186,9 +187,9 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-cns11643-1 . #x2261) ; ø»‘„º - (=big5 . #xA241) ; ý¢€Š‰ (=ucs . #x2215) ; ∕ + (=cns11643-1 . #x2261) ; ø»‘„º + (=big5 . #xA241) ; ý¢€Š‰ )) (define-char '((name . "SET MINUS") @@ -223,13 +224,13 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x221A) ; √ (=gb2312 . #x214C) ; ø»„†¯ (=jis-x0208-1983 . #x2265) ; ø»†’ª (=ks-x1001 . #x216E) ; ø»ˆ›™ - (chinese-cns11643-1 . #x2235) ; ø»‘„Ž (=jis-x0208-1990 . #x2265) ; ø½‰¸ž + (=cns11643-1 . #x2235) ; ø»‘„Ž (=big5 . #xA1D4) ; ý¢€Š‡” - (=ucs . #x221A) ; √ )) (define-char '((name . "CUBE ROOT") @@ -250,48 +251,48 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x221D) ; ∝ (=gb2312 . #x2158) ; ø»„†» (=jis-x0208-1983 . #x2267) ; ø»†’¬ (=ks-x1001 . #x2170) ; ø»ˆ›› (=jis-x0208-1990 . #x2267) ; ø½‰¸  (=jef-china3 . #x7FE7) ; øº‡¿§ - (=ucs . #x221D) ; ∝ )) (define-char '((name . "INFINITY") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (=gb2312 . #x215E) ; ø»„‡ + (=ucs . #x221E) ; ∞ (=jis-x0208 . #x2167) ; ø½‰·‚ + (=gb2312 . #x215E) ; ø»„‡ (=ks-x1001 . #x2144) ; ø»ˆš¯ - (chinese-cns11643-1 . #x223C) ; ø»‘„• + (=cns11643-1 . #x223C) ; ø»‘„• (=big5 . #xA1DB) ; ý¢€Š‡› - (=ucs . #x221E) ; ∞ )) (define-char '((name . "RIGHT ANGLE") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-cns11643-1 . #x2249) ; ø»‘„¢ + (=ucs . #x221F) ; ∟ + (=cns11643-1 . #x2249) ; ø»‘„¢ (=jis-x0213-1-2000 . #x2D78) ; ø»¢¥» (=big5 . #xA1E8) ; ý¢€Š‡¨ - (=ucs . #x221F) ; ∟ )) (define-char '((name . "ANGLE") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2220) ; ∠ (=gb2312 . #x214F) ; ø»„†² (=jis-x0208-1983 . #x225C) ; ø»†’¡ (=ks-x1001 . #x2150) ; ø»ˆš» - (chinese-cns11643-1 . #x2248) ; ø»‘„¡ (=jis-x0208-1990 . #x225C) ; ø½‰¸• + (=cns11643-1 . #x2248) ; ø»‘„¡ (=big5 . #xA1E7) ; ý¢€Š‡§ (=jef-china3 . #x7FDE) ; øº‡¿ž - (=ucs . #x2220) ; ∠ )) (define-char '((name . "MEASURED ANGLE") @@ -312,8 +313,8 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (=big5 . #xA1FD) ; ý¢€Š‡½ (=ucs . #x2223) ; ∣ + (=big5 . #xA1FD) ; ý¢€Š‡½ )) (define-char '((name . "DOES NOT DIVIDE") @@ -328,11 +329,11 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=ucs . #x2225) ; ∥ (=gb2312 . #x214E) ; ø»„†± (=ks-x1001 . #x212B) ; ø»ˆš– (=jis-x0213-1-2000 . #x2254) ; ø»¢• (=big5 . #xA1FC) ; ý¢€Š‡¼ - (=ucs . #x2225) ; ∥ )) (define-char '((name . "NOT PARALLEL TO") @@ -340,70 +341,70 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2225 #x0338) - (=jis-x0213-1-2000 . #x2255) ; ø»¢•Ž (=ucs . #x2226) ; ∦ + (=jis-x0213-1-2000 . #x2255) ; ø»¢•Ž )) (define-char '((name . "LOGICAL AND") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=ucs . #x2227) ; ∧ (=gb2312 . #x2144) ; ø»„†§ (=jis-x0208-1983 . #x224A) ; ø»†’ (=ks-x1001 . #x217C) ; ø»ˆ›§ (=jis-x0208-1990 . #x224A) ; ø½‰¸ƒ - (=ucs . #x2227) ; ∧ )) (define-char '((name . "LOGICAL OR") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=ucs . #x2228) ; ∨ (=gb2312 . #x2145) ; ø»„†¨ (=jis-x0208-1983 . #x224B) ; ø»†’ (=ks-x1001 . #x217D) ; ø»ˆ›¨ (=jis-x0208-1990 . #x224B) ; ø½‰¸„ - (=ucs . #x2228) ; ∨ )) (define-char '((name . "INTERSECTION") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=ucs . #x2229) ; ∩ (=gb2312 . #x2149) ; ø»„†¬ (=jis-x0208-1983 . #x2241) ; ø»†’† (=ks-x1001 . #x217B) ; ø»ˆ›¦ - (chinese-cns11643-1 . #x2245) ; ø»‘„ž (=jis-x0208-1990 . #x2241) ; ø½‰·º + (=cns11643-1 . #x2245) ; ø»‘„ž (=big5 . #xA1E4) ; ý¢€Š‡¤ - (=ucs . #x2229) ; ∩ )) (define-char '((name . "UNION") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=ucs . #x222A) ; ∪ (=gb2312 . #x2148) ; ø»„†« (=jis-x0208-1983 . #x2240) ; ø»†’… (=ks-x1001 . #x217A) ; ø»ˆ›¥ - (chinese-cns11643-1 . #x2246) ; ø»‘„Ÿ (=jis-x0208-1990 . #x2240) ; ø½‰·¹ + (=cns11643-1 . #x2246) ; ø»‘„Ÿ (=big5 . #xA1E5) ; ý¢€Š‡¥ - (=ucs . #x222A) ; ∪ )) (define-char '((name . "INTEGRAL") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x222B) ; ∫ (=gb2312 . #x2152) ; ø»„†µ (=jis-x0208-1983 . #x2269) ; ø»†’® (=ks-x1001 . #x2172) ; ø»ˆ› - (chinese-cns11643-1 . #x224D) ; ø»‘„¦ (=jis-x0208-1990 . #x2269) ; ø½‰¸¢ + (=cns11643-1 . #x224D) ; ø»‘„¦ (=big5 . #xA1EC) ; ý¢€Š‡¬ (=jef-china3 . #x7FE8) ; øº‡¿¨ - (=ucs . #x222B) ; ∫ )) (define-char '((name . "DOUBLE INTEGRAL") @@ -411,11 +412,11 @@ (bidi-category . "ON") (mirrored . t) (->decomposition compat #x222B #x222B) + (=ucs . #x222C) ; ∬ (=jis-x0208-1983 . #x226A) ; ø»†’¯ (=ks-x1001 . #x2173) ; ø»ˆ›ž (=jis-x0208-1990 . #x226A) ; ø½‰¸£ (=jef-china3 . #x7FE9) ; øº‡¿© - (=ucs . #x222C) ; ∬ )) (define-char '((name . "TRIPLE INTEGRAL") @@ -430,12 +431,12 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x222E) ; ∮ (=gb2312 . #x2153) ; ø»„†¶ (=ks-x1001 . #x2231) ; ø»ˆ›º - (chinese-cns11643-1 . #x224E) ; ø»‘„§ + (=cns11643-1 . #x224E) ; ø»‘„§ (=jis-x0213-1-2000 . #x2D73) ; ø»¢¥¶ (=big5 . #xA1ED) ; ý¢€Š‡­ - (=ucs . #x222E) ; ∮ )) (define-char '((name . "SURFACE INTEGRAL") @@ -479,41 +480,41 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (=gb2312 . #x2160) ; ø»„‡ƒ + (=ucs . #x2234) ; ∴ (=jis-x0208 . #x2168) ; ø½‰·ƒ + (=gb2312 . #x2160) ; ø»„‡ƒ (=ks-x1001 . #x2145) ; ø»ˆš° - (chinese-cns11643-1 . #x2250) ; ø»‘„© + (=cns11643-1 . #x2250) ; ø»‘„© (=big5 . #xA1EF) ; ý¢€Š‡¯ - (=ucs . #x2234) ; ∴ )) (define-char '((name . "BECAUSE") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=ucs . #x2235) ; ∵ (=gb2312 . #x215F) ; ø»„‡‚ (=jis-x0208-1983 . #x2268) ; ø»†’­ (=ks-x1001 . #x2171) ; ø»ˆ›œ - (chinese-cns11643-1 . #x224F) ; ø»‘„¨ (=jis-x0208-1990 . #x2268) ; ø½‰¸¡ + (=cns11643-1 . #x224F) ; ø»‘„¨ (=big5 . #xA1EE) ; ý¢€Š‡® - (=ucs . #x2235) ; ∵ )) (define-char '((name . "RATIO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (=gb2312 . #x2143) ; ø»„†¦ (=ucs . #x2236) ; ∶ + (=gb2312 . #x2143) ; ø»„†¦ )) (define-char '((name . "PROPORTION") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (=gb2312 . #x214B) ; ø»„†® (=ucs . #x2237) ; ∷ + (=gb2312 . #x214B) ; ø»„†® )) (define-char '((name . "DOT MINUS") @@ -548,11 +549,11 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x223C) ; ∼ (=ks-x1001 . #x212D) ; ø»ˆš˜ - (chinese-cns11643-1 . #x2244) ; ø»‘„ + (=cns11643-1 . #x2244) ; ø»‘„ (=big5 . #xA1E3) ; ý¢€Š‡£ (=ucs@big5 . #xFF5E) ; ∼ - (=ucs . #x223C) ; ∼ )) (define-char '((name . "REVERSED TILDE") @@ -560,12 +561,12 @@ (bidi-category . "ON") (mirrored . t) (iso-10646-comment . "lazy S") + (=ucs . #x223D) ; ∽ (=gb2312 . #x2157) ; ø»„†º (=jis-x0208-1983 . #x2266) ; ø»†’« (=ks-x1001 . #x216F) ; ø»ˆ›š (=jis-x0208-1990 . #x2266) ; ø½‰¸Ÿ (=jef-china3 . #x7FE6) ; øº‡¿¦ - (=ucs . #x223D) ; ∽ )) (define-char '((name . "INVERTED LAZY S") @@ -608,8 +609,8 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (=jis-x0213-1-2000 . #x226C) ; ø»¢•¥ (=ucs . #x2243) ; ≃ + (=jis-x0213-1-2000 . #x226C) ; ø»¢•¥ )) (define-char '((name . "NOT ASYMPTOTICALLY EQUAL TO") @@ -624,8 +625,8 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (=jis-x0213-1-2000 . #x226D) ; ø»¢•¦ (=ucs . #x2245) ; ≅ + (=jis-x0213-1-2000 . #x226D) ; ø»¢•¦ )) (define-char '((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO") @@ -647,9 +648,9 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2248) ; ≈ (=gb2312 . #x2156) ; ø»„†¹ (=jis-x0213-1-2000 . #x226E) ; ø»¢•§ - (=ucs . #x2248) ; ≈ )) (define-char '((name . "NOT ALMOST EQUAL TO") @@ -678,8 +679,8 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (=gb2312 . #x2155) ; ø»„†¸ (=ucs . #x224C) ; ≌ + (=gb2312 . #x2155) ; ø»„†¸ )) (define-char '((name . "EQUIVALENT TO") @@ -721,12 +722,12 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2252) ; ≒ (=jis-x0208-1983 . #x2262) ; ø»†’§ (=ks-x1001 . #x2156) ; ø»ˆ› - (chinese-cns11643-1 . #x223D) ; ø»‘„– (=jis-x0208-1990 . #x2262) ; ø½‰¸› + (=cns11643-1 . #x223D) ; ø»‘„– (=big5 . #xA1DC) ; ý¢€Š‡œ - (=ucs . #x2252) ; ≒ )) (define-char '((name . "IMAGE OF OR APPROXIMATELY EQUAL TO") @@ -825,25 +826,25 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x003D #x0338) - (=gb2312 . #x2159) ; ø»„†¼ + (=ucs . #x2260) ; ≠ (=jis-x0208 . #x2162) ; ø½‰¶½ + (=gb2312 . #x2159) ; ø»„†¼ (=ks-x1001 . #x2141) ; ø»ˆš¬ - (chinese-cns11643-1 . #x223B) ; ø»‘„” + (=cns11643-1 . #x223B) ; ø»‘„” (=big5 . #xA1DA) ; ý¢€Š‡š - (=ucs . #x2260) ; ≠ )) (define-char '((name . "IDENTICAL TO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=ucs . #x2261) ; ≡ (=gb2312 . #x2154) ; ø»„†· (=jis-x0208-1983 . #x2261) ; ø»†’¦ (=ks-x1001 . #x2155) ; ø»ˆ›€ - (chinese-cns11643-1 . #x223E) ; ø»‘„— (=jis-x0208-1990 . #x2261) ; ø½‰¸š + (=cns11643-1 . #x223E) ; ø»‘„— (=big5 . #xA1DD) ; ý¢€Š‡ - (=ucs . #x2261) ; ≡ )) (define-char '((name . "NOT IDENTICAL TO") @@ -851,8 +852,8 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2261 #x0338) - (=jis-x0213-1-2000 . #x226B) ; ø»¢•¤ (=ucs . #x2262) ; ≢ + (=jis-x0213-1-2000 . #x226B) ; ø»¢•¤ )) (define-char '((name . "STRICTLY EQUIVALENT TO") @@ -866,38 +867,38 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2264) ; ≤ (=gb2312 . #x215C) ; ø»„†¿ (=ks-x1001 . #x2142) ; ø»ˆš­ - (=ucs . #x2264) ; ≤ )) (define-char '((name . "GREATER-THAN OR EQUAL TO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2265) ; ≥ (=gb2312 . #x215D) ; ø»„‡€ (=ks-x1001 . #x2143) ; ø»ˆš® - (=ucs . #x2265) ; ≥ )) (define-char '((name . "LESS-THAN OVER EQUAL TO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2266) ; ≦ (=jis-x0208 . #x2165) ; ø½‰·€ - (chinese-cns11643-1 . #x2239) ; ø»‘„’ + (=cns11643-1 . #x2239) ; ø»‘„’ (=big5 . #xA1D8) ; ý¢€Š‡˜ - (=ucs . #x2266) ; ≦ )) (define-char '((name . "GREATER-THAN OVER EQUAL TO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2267) ; ≧ (=jis-x0208 . #x2166) ; ø½‰· - (chinese-cns11643-1 . #x223A) ; ø»‘„“ + (=cns11643-1 . #x223A) ; ø»‘„“ (=big5 . #xA1D9) ; ý¢€Š‡™ - (=ucs . #x2267) ; ≧ )) (define-char '((name . "LESS-THAN BUT NOT EQUAL TO") @@ -918,22 +919,22 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x226A) ; ≪ (=jis-x0208-1983 . #x2263) ; ø»†’¨ (=ks-x1001 . #x216C) ; ø»ˆ›— (=jis-x0208-1990 . #x2263) ; ø½‰¸œ (=jef-china3 . #x7FE3) ; øº‡¿£ - (=ucs . #x226A) ; ≪ )) (define-char '((name . "MUCH GREATER-THAN") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x226B) ; ≫ (=jis-x0208-1983 . #x2264) ; ø»†’© (=ks-x1001 . #x216D) ; ø»ˆ›˜ (=jis-x0208-1990 . #x2264) ; ø½‰¸ (=jef-china3 . #x7FE4) ; øº‡¿¤ - (=ucs . #x226B) ; ≫ )) (define-char '((name . "BETWEEN") @@ -956,8 +957,8 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x003C #x0338) - (=gb2312 . #x215A) ; ø»„†½ (=ucs . #x226E) ; ≮ + (=gb2312 . #x215A) ; ø»„†½ )) (define-char '((name . "NOT GREATER-THAN") @@ -965,8 +966,8 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x003E #x0338) - (=gb2312 . #x215B) ; ø»„†¾ (=ucs . #x226F) ; ≯ + (=gb2312 . #x215B) ; ø»„†¾ )) (define-char '((name . "NEITHER LESS-THAN NOR EQUAL TO") @@ -1019,16 +1020,16 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (=jis-x0213-1-2000 . #x226F) ; ø»¢•¨ (=ucs . #x2276) ; ≶ + (=jis-x0213-1-2000 . #x226F) ; ø»¢•¨ )) (define-char '((name . "GREATER-THAN OR LESS-THAN") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (=jis-x0213-1-2000 . #x2270) ; ø»¢•© (=ucs . #x2277) ; ≷ + (=jis-x0213-1-2000 . #x2270) ; ø»¢•© )) (define-char '((name . "NEITHER LESS-THAN NOR GREATER-THAN") @@ -1109,22 +1110,22 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2282) ; ⊂ (=jis-x0208-1983 . #x223E) ; ø»†’ƒ (=ks-x1001 . #x2178) ; ø»ˆ›£ (=jis-x0208-1990 . #x223E) ; ø½‰·· (=jef-china3 . #x7FD4) ; øº‡¿” - (=ucs . #x2282) ; ⊂ )) (define-char '((name . "SUPERSET OF") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2283) ; ⊃ (=jis-x0208-1983 . #x223F) ; ø»†’„ (=ks-x1001 . #x2179) ; ø»ˆ›¤ (=jis-x0208-1990 . #x223F) ; ø½‰·¸ (=jef-china3 . #x7FD5) ; øº‡¿• - (=ucs . #x2283) ; ⊃ )) (define-char '((name . "NOT A SUBSET OF") @@ -1132,8 +1133,8 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2282 #x0338) - (=jis-x0213-1-2000 . #x2242) ; ø»¢”» (=ucs . #x2284) ; ⊄ + (=jis-x0213-1-2000 . #x2242) ; ø»¢”» )) (define-char '((name . "NOT A SUPERSET OF") @@ -1141,30 +1142,30 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2283 #x0338) - (=jis-x0213-1-2000 . #x2243) ; ø»¢”¼ (=ucs . #x2285) ; ⊅ + (=jis-x0213-1-2000 . #x2243) ; ø»¢”¼ )) (define-char '((name . "SUBSET OF OR EQUAL TO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2286) ; ⊆ (=jis-x0208-1983 . #x223C) ; ø»†’ (=ks-x1001 . #x2176) ; ø»ˆ›¡ (=jis-x0208-1990 . #x223C) ; ø½‰·µ (=jef-china3 . #x7FD2) ; øº‡¿’ - (=ucs . #x2286) ; ⊆ )) (define-char '((name . "SUPERSET OF OR EQUAL TO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) + (=ucs . #x2287) ; ⊇ (=jis-x0208-1983 . #x223D) ; ø»†’‚ (=ks-x1001 . #x2177) ; ø»ˆ›¢ (=jis-x0208-1990 . #x223D) ; ø½‰·¶ (=jef-china3 . #x7FD3) ; øº‡¿“ - (=ucs . #x2287) ; ⊇ )) (define-char '((name . "NEITHER A SUBSET OF NOR EQUAL TO") @@ -1187,16 +1188,16 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (=jis-x0213-1-2000 . #x2244) ; ø»¢”½ (=ucs . #x228A) ; ⊊ + (=jis-x0213-1-2000 . #x2244) ; ø»¢”½ )) (define-char '((name . "SUPERSET OF WITH NOT EQUAL TO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (=jis-x0213-1-2000 . #x2245) ; ø»¢”¾ (=ucs . #x228B) ; ⊋ + (=jis-x0213-1-2000 . #x2245) ; ø»¢”¾ )) (define-char '((name . "MULTISET") @@ -1266,26 +1267,26 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-cns11643-1 . #x2253) ; ø»‘„¬ + (=ucs . #x2295) ; ⊕ + (=cns11643-1 . #x2253) ; ø»‘„¬ (=jis-x0213-1-2000 . #x2251) ; ø»¢•Š (=big5 . #xA1F2) ; ý¢€Š‡² - (=ucs . #x2295) ; ⊕ )) (define-char '((name . "CIRCLED MINUS") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (=jis-x0213-1-2000 . #x2252) ; ø»¢•‹ (=ucs . #x2296) ; ⊖ + (=jis-x0213-1-2000 . #x2252) ; ø»¢•‹ )) (define-char '((name . "CIRCLED TIMES") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (=jis-x0213-1-2000 . #x2253) ; ø»¢•Œ (=ucs . #x2297) ; ⊗ + (=jis-x0213-1-2000 . #x2253) ; ø»¢•Œ )) (define-char '((name . "CIRCLED DIVISION SLASH") @@ -1299,11 +1300,11 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=ucs . #x2299) ; ⊙ (=gb2312 . #x2151) ; ø»„†´ (=ks-x1001 . #x2241) ; ø»ˆœŠ - (chinese-cns11643-1 . #x2254) ; ø»‘„­ + (=cns11643-1 . #x2254) ; ø»‘„­ (=big5 . #xA1F3) ; ý¢€Š‡³ - (=ucs . #x2299) ; ⊙ )) (define-char '((name . "CIRCLED RING OPERATOR") @@ -1387,13 +1388,13 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=ucs . #x22A5) ; ⊥ (=gb2312 . #x214D) ; ø»„†° (=jis-x0208-1983 . #x225D) ; ø»†’¢ (=ks-x1001 . #x2151) ; ø»ˆš¼ - (chinese-cns11643-1 . #x2247) ; ø»‘„  (=jis-x0208-1990 . #x225D) ; ø½‰¸– + (=cns11643-1 . #x2247) ; ø»‘„  (=big5 . #xA1E6) ; ý¢€Š‡¦ - (=ucs . #x22A5) ; ⊥ )) (define-char '((name . "ASSERTION") @@ -1579,42 +1580,42 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-cns11643-1 . #x224A) ; ø»‘„£ + (=ucs . #x22BF) ; ⊿ + (=cns11643-1 . #x224A) ; ø»‘„£ (=jis-x0213-1-2000 . #x2D79) ; ø»¢¥¼ (=big5 . #xA1E9) ; ý¢€Š‡© - (=ucs . #x22BF) ; ⊿ )) (define-char '((name . "N-ARY LOGICAL AND") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (=jef-china3 . #x7FD8) ; øº‡¿˜ (=ucs . #x22C0) ; ⋀ + (=jef-china3 . #x7FD8) ; øº‡¿˜ )) (define-char '((name . "N-ARY LOGICAL OR") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (=jef-china3 . #x7FD9) ; øº‡¿™ (=ucs . #x22C1) ; ⋁ + (=jef-china3 . #x7FD9) ; øº‡¿™ )) (define-char '((name . "N-ARY INTERSECTION") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (=jef-china3 . #x7FD7) ; øº‡¿— (=ucs . #x22C2) ; ⋂ + (=jef-china3 . #x7FD7) ; øº‡¿— )) (define-char '((name . "N-ARY UNION") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (=jef-china3 . #x7FD6) ; øº‡¿– (=ucs . #x22C3) ; ⋃ + (=jef-china3 . #x7FD6) ; øº‡¿– )) (define-char '((name . "DIAMOND OPERATOR") @@ -1775,16 +1776,16 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (=jis-x0213-1-2000 . #x2776) ; ø»¢… (=ucs . #x22DA) ; ⋚ + (=jis-x0213-1-2000 . #x2776) ; ø»¢… )) (define-char '((name . "GREATER-THAN EQUAL TO OR LESS-THAN") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (=jis-x0213-1-2000 . #x2777) ; ø»¢† (=ucs . #x22DB) ; ⋛ + (=jis-x0213-1-2000 . #x2777) ; ø»¢† )) (define-char '((name . "EQUAL TO OR LESS-THAN")