X-Git-Url: http://git.chise.org/gitweb/?a=blobdiff_plain;f=lisp%2Futf-2000%2Fu02200-Mathematical-Operators.el;h=880b6dd856cbc3bb8f7b8912a48d913388154641;hb=49696d4d576c475e33397f9a2a8f59d078c6e413;hp=a763a53f71d7c79008e6cb1d152255c9c6d81108;hpb=b6c551de77e2f3cf276d34a713cff25298b073c0;p=chise%2Fxemacs-chise.git diff --git a/lisp/utf-2000/u02200-Mathematical-Operators.el b/lisp/utf-2000/u02200-Mathematical-Operators.el index a763a53..880b6dd 100644 --- a/lisp/utf-2000/u02200-Mathematical-Operators.el +++ b/lisp/utf-2000/u02200-Mathematical-Operators.el @@ -5,7 +5,7 @@ (mirrored . nil) (japanese-jisx0208 . #x224F) ; ø»†’” (korean-ksc5601 . #x2223) ; ø»ˆ›¬ - (japanese-jisx0208-1990 . #x224F) ; ∀ + (japanese-jisx0208-1990 . #x224F) ; ø½‰¸ˆ (ucs . #x2200) ; ∀ )) (define-char @@ -22,7 +22,7 @@ (mirrored . t) (japanese-jisx0208 . #x225F) ; ø»†’¤ (korean-ksc5601 . #x2153) ; ø»ˆš¾ - (japanese-jisx0208-1990 . #x225F) ; ∂ + (japanese-jisx0208-1990 . #x225F) ; ø½‰¸˜ (ucs . #x2202) ; ∂ )) (define-char @@ -32,7 +32,7 @@ (mirrored . t) (japanese-jisx0208 . #x2250) ; ø»†’• (korean-ksc5601 . #x2224) ; ø»ˆ›­ - (japanese-jisx0208-1990 . #x2250) ; ∃ + (japanese-jisx0208-1990 . #x2250) ; ø½‰¸‰ (ucs . #x2203) ; ∃ )) (define-char @@ -48,7 +48,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (japanese-jisx0213-1 . #x2247) ; ∅ + (japanese-jisx0213-1 . #x2247) ; ø»¢•€ (ucs . #x2205) ; ∅ )) (define-char @@ -65,7 +65,7 @@ (mirrored . nil) (japanese-jisx0208 . #x2260) ; ø»†’¥ (korean-ksc5601 . #x2154) ; ø»ˆš¿ - (japanese-jisx0208-1990 . #x2260) ; ∇ + (japanese-jisx0208-1990 . #x2260) ; ø½‰¸™ (ucs . #x2207) ; ∇ )) (define-char @@ -76,7 +76,7 @@ (chinese-gb2312 . #x214A) ; ø»„†­ (japanese-jisx0208 . #x223A) ; ø»†‘¿ (korean-ksc5601 . #x2174) ; ø»ˆ›Ÿ - (japanese-jisx0208-1990 . #x223A) ; ∈ + (japanese-jisx0208-1990 . #x223A) ; ø½‰·³ (ucs . #x2208) ; ∈ )) (define-char @@ -85,7 +85,7 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2208 #x0338) - (japanese-jisx0213-1 . #x2246) ; ∉ + (japanese-jisx0213-1 . #x2246) ; ø»¢”¿ (ucs . #x2209) ; ∉ )) (define-char @@ -102,7 +102,7 @@ (mirrored . t) (japanese-jisx0208 . #x223B) ; ø»†’€ (korean-ksc5601 . #x2175) ; ø»ˆ›  - (japanese-jisx0208-1990 . #x223B) ; ∋ + (japanese-jisx0208-1990 . #x223B) ; ø½‰·´ (ucs . #x220B) ; ∋ )) (define-char @@ -159,7 +159,7 @@ (mirrored . nil) (japanese-jisx0208-1978 . #x215D) ; ø»¼¼ (japanese-jisx0208 . #x215D) ; ø»†‘„ - (japanese-jisx0208-1990 . #x215D) ; − + (japanese-jisx0208-1990 . #x215D) ; ø½‰¶¸ (ucs . #x2212) ; − )) (define-char @@ -167,7 +167,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ET") (mirrored . nil) - (japanese-jisx0213-1 . #x235B) ; ∓ + (japanese-jisx0213-1 . #x235B) ; ø»¢–² (ucs . #x2213) ; ∓ )) (define-char @@ -183,6 +183,7 @@ (bidi-category . "ON") (mirrored . t) (chinese-cns11643-1 . #x2261) ; ø»‘„º + (chinese-big5 . #xA241) ; øºŸž (ucs . #x2215) ; ∕ )) (define-char @@ -222,7 +223,8 @@ (japanese-jisx0208 . #x2265) ; ø»†’ª (korean-ksc5601 . #x216E) ; ø»ˆ›™ (chinese-cns11643-1 . #x2235) ; ø»‘„Ž - (japanese-jisx0208-1990 . #x2265) ; √ + (japanese-jisx0208-1990 . #x2265) ; ø½‰¸ž + (chinese-big5 . #xA1D4) ; øºŸœ² (ucs . #x221A) ; √ )) (define-char @@ -247,7 +249,7 @@ (chinese-gb2312 . #x2158) ; ø»„†» (japanese-jisx0208 . #x2267) ; ø»†’¬ (korean-ksc5601 . #x2170) ; ø»ˆ›› - (japanese-jisx0208-1990 . #x2267) ; ∝ + (japanese-jisx0208-1990 . #x2267) ; ø½‰¸  (ucs . #x221D) ; ∝ )) (define-char @@ -260,7 +262,8 @@ (japanese-jisx0208 . #x2167) ; ø»†‘Ž (korean-ksc5601 . #x2144) ; ø»ˆš¯ (chinese-cns11643-1 . #x223C) ; ø»‘„• - (japanese-jisx0208-1990 . #x2167) ; ∞ + (japanese-jisx0208-1990 . #x2167) ; ø½‰·‚ + (chinese-big5 . #xA1DB) ; øºŸœ¹ (ucs . #x221E) ; ∞ )) (define-char @@ -269,7 +272,8 @@ (bidi-category . "ON") (mirrored . t) (chinese-cns11643-1 . #x2249) ; ø»‘„¢ - (japanese-jisx0213-1 . #x2D78) ; ∟ + (japanese-jisx0213-1 . #x2D78) ; ø»¢¥» + (chinese-big5 . #xA1E8) ; øºŸ† (ucs . #x221F) ; ∟ )) (define-char @@ -281,7 +285,8 @@ (japanese-jisx0208 . #x225C) ; ø»†’¡ (korean-ksc5601 . #x2150) ; ø»ˆš» (chinese-cns11643-1 . #x2248) ; ø»‘„¡ - (japanese-jisx0208-1990 . #x225C) ; ∠ + (japanese-jisx0208-1990 . #x225C) ; ø½‰¸• + (chinese-big5 . #xA1E7) ; øºŸ… (ucs . #x2220) ; ∠ )) (define-char @@ -303,6 +308,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (chinese-big5 . #xA1FD) ; øºŸ› (ucs . #x2223) ; ∣ )) (define-char @@ -320,7 +326,8 @@ (mirrored . nil) (chinese-gb2312 . #x214E) ; ø»„†± (korean-ksc5601 . #x212B) ; ø»ˆš– - (japanese-jisx0213-1 . #x2254) ; ∥ + (japanese-jisx0213-1 . #x2254) ; ø»¢• + (chinese-big5 . #xA1FC) ; øºŸš (ucs . #x2225) ; ∥ )) (define-char @@ -329,7 +336,7 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2225 #x0338) - (japanese-jisx0213-1 . #x2255) ; ∦ + (japanese-jisx0213-1 . #x2255) ; ø»¢•Ž (ucs . #x2226) ; ∦ )) (define-char @@ -340,7 +347,7 @@ (chinese-gb2312 . #x2144) ; ø»„†§ (japanese-jisx0208 . #x224A) ; ø»†’ (korean-ksc5601 . #x217C) ; ø»ˆ›§ - (japanese-jisx0208-1990 . #x224A) ; ∧ + (japanese-jisx0208-1990 . #x224A) ; ø½‰¸ƒ (ucs . #x2227) ; ∧ )) (define-char @@ -351,7 +358,7 @@ (chinese-gb2312 . #x2145) ; ø»„†¨ (japanese-jisx0208 . #x224B) ; ø»†’ (korean-ksc5601 . #x217D) ; ø»ˆ›¨ - (japanese-jisx0208-1990 . #x224B) ; ∨ + (japanese-jisx0208-1990 . #x224B) ; ø½‰¸„ (ucs . #x2228) ; ∨ )) (define-char @@ -363,7 +370,8 @@ (japanese-jisx0208 . #x2241) ; ø»†’† (korean-ksc5601 . #x217B) ; ø»ˆ›¦ (chinese-cns11643-1 . #x2245) ; ø»‘„ž - (japanese-jisx0208-1990 . #x2241) ; ∩ + (japanese-jisx0208-1990 . #x2241) ; ø½‰·º + (chinese-big5 . #xA1E4) ; øºŸ‚ (ucs . #x2229) ; ∩ )) (define-char @@ -375,7 +383,8 @@ (japanese-jisx0208 . #x2240) ; ø»†’… (korean-ksc5601 . #x217A) ; ø»ˆ›¥ (chinese-cns11643-1 . #x2246) ; ø»‘„Ÿ - (japanese-jisx0208-1990 . #x2240) ; ∪ + (japanese-jisx0208-1990 . #x2240) ; ø½‰·¹ + (chinese-big5 . #xA1E5) ; øºŸƒ (ucs . #x222A) ; ∪ )) (define-char @@ -387,7 +396,8 @@ (japanese-jisx0208 . #x2269) ; ø»†’® (korean-ksc5601 . #x2172) ; ø»ˆ› (chinese-cns11643-1 . #x224D) ; ø»‘„¦ - (japanese-jisx0208-1990 . #x2269) ; ∫ + (japanese-jisx0208-1990 . #x2269) ; ø½‰¸¢ + (chinese-big5 . #xA1EC) ; øºŸŠ (ucs . #x222B) ; ∫ )) (define-char @@ -398,7 +408,7 @@ (->decomposition compat #x222B #x222B) (japanese-jisx0208 . #x226A) ; ø»†’¯ (korean-ksc5601 . #x2173) ; ø»ˆ›ž - (japanese-jisx0208-1990 . #x226A) ; ∬ + (japanese-jisx0208-1990 . #x226A) ; ø½‰¸£ (ucs . #x222C) ; ∬ )) (define-char @@ -417,7 +427,8 @@ (chinese-gb2312 . #x2153) ; ø»„†¶ (korean-ksc5601 . #x2231) ; ø»ˆ›º (chinese-cns11643-1 . #x224E) ; ø»‘„§ - (japanese-jisx0213-1 . #x2D73) ; ∮ + (japanese-jisx0213-1 . #x2D73) ; ø»¢¥¶ + (chinese-big5 . #xA1ED) ; øºŸ‹ (ucs . #x222E) ; ∮ )) (define-char @@ -467,7 +478,8 @@ (japanese-jisx0208 . #x2168) ; ø»†‘ (korean-ksc5601 . #x2145) ; ø»ˆš° (chinese-cns11643-1 . #x2250) ; ø»‘„© - (japanese-jisx0208-1990 . #x2168) ; ∴ + (japanese-jisx0208-1990 . #x2168) ; ø½‰·ƒ + (chinese-big5 . #xA1EF) ; øºŸ (ucs . #x2234) ; ∴ )) (define-char @@ -479,7 +491,8 @@ (japanese-jisx0208 . #x2268) ; ø»†’­ (korean-ksc5601 . #x2171) ; ø»ˆ›œ (chinese-cns11643-1 . #x224F) ; ø»‘„¨ - (japanese-jisx0208-1990 . #x2268) ; ∵ + (japanese-jisx0208-1990 . #x2268) ; ø½‰¸¡ + (chinese-big5 . #xA1EE) ; øºŸŒ (ucs . #x2235) ; ∵ )) (define-char @@ -532,6 +545,9 @@ (bidi-category . "ON") (mirrored . t) (korean-ksc5601 . #x212D) ; ø»ˆš˜ + (chinese-cns11643-1 . #x2244) ; ø»‘„ + (chinese-big5 . #xA1E3) ; øºŸ + (ucs-big5 . #xFF5E) ; ∼ (ucs . #x223C) ; ∼ )) (define-char @@ -543,7 +559,7 @@ (chinese-gb2312 . #x2157) ; ø»„†º (japanese-jisx0208 . #x2266) ; ø»†’« (korean-ksc5601 . #x216F) ; ø»ˆ›š - (japanese-jisx0208-1990 . #x2266) ; ∽ + (japanese-jisx0208-1990 . #x2266) ; ø½‰¸Ÿ (ucs . #x223D) ; ∽ )) (define-char @@ -587,7 +603,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x226C) ; ≃ + (japanese-jisx0213-1 . #x226C) ; ø»¢•¥ (ucs . #x2243) ; ≃ )) (define-char @@ -603,7 +619,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x226D) ; ≅ + (japanese-jisx0213-1 . #x226D) ; ø»¢•¦ (ucs . #x2245) ; ≅ )) (define-char @@ -627,7 +643,7 @@ (bidi-category . "ON") (mirrored . t) (chinese-gb2312 . #x2156) ; ø»„†¹ - (japanese-jisx0213-1 . #x226E) ; ≈ + (japanese-jisx0213-1 . #x226E) ; ø»¢•§ (ucs . #x2248) ; ≈ )) (define-char @@ -703,7 +719,8 @@ (japanese-jisx0208 . #x2262) ; ø»†’§ (korean-ksc5601 . #x2156) ; ø»ˆ› (chinese-cns11643-1 . #x223D) ; ø»‘„– - (japanese-jisx0208-1990 . #x2262) ; ≒ + (japanese-jisx0208-1990 . #x2262) ; ø½‰¸› + (chinese-big5 . #xA1DC) ; øºŸœº (ucs . #x2252) ; ≒ )) (define-char @@ -808,7 +825,8 @@ (japanese-jisx0208 . #x2162) ; ø»†‘‰ (korean-ksc5601 . #x2141) ; ø»ˆš¬ (chinese-cns11643-1 . #x223B) ; ø»‘„” - (japanese-jisx0208-1990 . #x2162) ; ≠ + (japanese-jisx0208-1990 . #x2162) ; ø½‰¶½ + (chinese-big5 . #xA1DA) ; øºŸœ¸ (ucs . #x2260) ; ≠ )) (define-char @@ -820,7 +838,8 @@ (japanese-jisx0208 . #x2261) ; ø»†’¦ (korean-ksc5601 . #x2155) ; ø»ˆ›€ (chinese-cns11643-1 . #x223E) ; ø»‘„— - (japanese-jisx0208-1990 . #x2261) ; ≡ + (japanese-jisx0208-1990 . #x2261) ; ø½‰¸š + (chinese-big5 . #xA1DD) ; øºŸœ» (ucs . #x2261) ; ≡ )) (define-char @@ -829,7 +848,7 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2261 #x0338) - (japanese-jisx0213-1 . #x226B) ; ≢ + (japanese-jisx0213-1 . #x226B) ; ø»¢•¤ (ucs . #x2262) ; ≢ )) (define-char @@ -865,7 +884,8 @@ (japanese-jisx0208-1978 . #x2165) ; ø»½„ (japanese-jisx0208 . #x2165) ; ø»†‘Œ (chinese-cns11643-1 . #x2239) ; ø»‘„’ - (japanese-jisx0208-1990 . #x2165) ; ≦ + (japanese-jisx0208-1990 . #x2165) ; ø½‰·€ + (chinese-big5 . #xA1D8) ; øºŸœ¶ (ucs . #x2266) ; ≦ )) (define-char @@ -876,7 +896,8 @@ (japanese-jisx0208-1978 . #x2166) ; ø»½… (japanese-jisx0208 . #x2166) ; ø»†‘ (chinese-cns11643-1 . #x223A) ; ø»‘„“ - (japanese-jisx0208-1990 . #x2166) ; ≧ + (japanese-jisx0208-1990 . #x2166) ; ø½‰· + (chinese-big5 . #xA1D9) ; øºŸœ· (ucs . #x2267) ; ≧ )) (define-char @@ -900,7 +921,7 @@ (mirrored . t) (japanese-jisx0208 . #x2263) ; ø»†’¨ (korean-ksc5601 . #x216C) ; ø»ˆ›— - (japanese-jisx0208-1990 . #x2263) ; ≪ + (japanese-jisx0208-1990 . #x2263) ; ø½‰¸œ (ucs . #x226A) ; ≪ )) (define-char @@ -910,7 +931,7 @@ (mirrored . t) (japanese-jisx0208 . #x2264) ; ø»†’© (korean-ksc5601 . #x216D) ; ø»ˆ›˜ - (japanese-jisx0208-1990 . #x2264) ; ≫ + (japanese-jisx0208-1990 . #x2264) ; ø½‰¸ (ucs . #x226B) ; ≫ )) (define-char @@ -997,7 +1018,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x226F) ; ≶ + (japanese-jisx0213-1 . #x226F) ; ø»¢•¨ (ucs . #x2276) ; ≶ )) (define-char @@ -1005,7 +1026,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x2270) ; ≷ + (japanese-jisx0213-1 . #x2270) ; ø»¢•© (ucs . #x2277) ; ≷ )) (define-char @@ -1089,7 +1110,7 @@ (mirrored . t) (japanese-jisx0208 . #x223E) ; ø»†’ƒ (korean-ksc5601 . #x2178) ; ø»ˆ›£ - (japanese-jisx0208-1990 . #x223E) ; ⊂ + (japanese-jisx0208-1990 . #x223E) ; ø½‰·· (ucs . #x2282) ; ⊂ )) (define-char @@ -1099,7 +1120,7 @@ (mirrored . t) (japanese-jisx0208 . #x223F) ; ø»†’„ (korean-ksc5601 . #x2179) ; ø»ˆ›¤ - (japanese-jisx0208-1990 . #x223F) ; ⊃ + (japanese-jisx0208-1990 . #x223F) ; ø½‰·¸ (ucs . #x2283) ; ⊃ )) (define-char @@ -1108,7 +1129,7 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2282 #x0338) - (japanese-jisx0213-1 . #x2242) ; ⊄ + (japanese-jisx0213-1 . #x2242) ; ø»¢”» (ucs . #x2284) ; ⊄ )) (define-char @@ -1117,7 +1138,7 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2283 #x0338) - (japanese-jisx0213-1 . #x2243) ; ⊅ + (japanese-jisx0213-1 . #x2243) ; ø»¢”¼ (ucs . #x2285) ; ⊅ )) (define-char @@ -1127,7 +1148,7 @@ (mirrored . t) (japanese-jisx0208 . #x223C) ; ø»†’ (korean-ksc5601 . #x2176) ; ø»ˆ›¡ - (japanese-jisx0208-1990 . #x223C) ; ⊆ + (japanese-jisx0208-1990 . #x223C) ; ø½‰·µ (ucs . #x2286) ; ⊆ )) (define-char @@ -1137,7 +1158,7 @@ (mirrored . t) (japanese-jisx0208 . #x223D) ; ø»†’‚ (korean-ksc5601 . #x2177) ; ø»ˆ›¢ - (japanese-jisx0208-1990 . #x223D) ; ⊇ + (japanese-jisx0208-1990 . #x223D) ; ø½‰·¶ (ucs . #x2287) ; ⊇ )) (define-char @@ -1161,7 +1182,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x2244) ; ⊊ + (japanese-jisx0213-1 . #x2244) ; ø»¢”½ (ucs . #x228A) ; ⊊ )) (define-char @@ -1169,7 +1190,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x2245) ; ⊋ + (japanese-jisx0213-1 . #x2245) ; ø»¢”¾ (ucs . #x228B) ; ⊋ )) (define-char @@ -1241,7 +1262,8 @@ (bidi-category . "ON") (mirrored . nil) (chinese-cns11643-1 . #x2253) ; ø»‘„¬ - (japanese-jisx0213-1 . #x2251) ; ⊕ + (japanese-jisx0213-1 . #x2251) ; ø»¢•Š + (chinese-big5 . #xA1F2) ; øºŸ (ucs . #x2295) ; ⊕ )) (define-char @@ -1249,7 +1271,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (japanese-jisx0213-1 . #x2252) ; ⊖ + (japanese-jisx0213-1 . #x2252) ; ø»¢•‹ (ucs . #x2296) ; ⊖ )) (define-char @@ -1257,7 +1279,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (japanese-jisx0213-1 . #x2253) ; ⊗ + (japanese-jisx0213-1 . #x2253) ; ø»¢•Œ (ucs . #x2297) ; ⊗ )) (define-char @@ -1275,6 +1297,7 @@ (chinese-gb2312 . #x2151) ; ø»„†´ (korean-ksc5601 . #x2241) ; ø»ˆœŠ (chinese-cns11643-1 . #x2254) ; ø»‘„­ + (chinese-big5 . #xA1F3) ; øºŸ‘ (ucs . #x2299) ; ⊙ )) (define-char @@ -1363,7 +1386,8 @@ (japanese-jisx0208 . #x225D) ; ø»†’¢ (korean-ksc5601 . #x2151) ; ø»ˆš¼ (chinese-cns11643-1 . #x2247) ; ø»‘„  - (japanese-jisx0208-1990 . #x225D) ; ⊥ + (japanese-jisx0208-1990 . #x225D) ; ø½‰¸– + (chinese-big5 . #xA1E6) ; øºŸ„ (ucs . #x22A5) ; ⊥ )) (define-char @@ -1551,7 +1575,8 @@ (bidi-category . "ON") (mirrored . t) (chinese-cns11643-1 . #x224A) ; ø»‘„£ - (japanese-jisx0213-1 . #x2D79) ; ⊿ + (japanese-jisx0213-1 . #x2D79) ; ø»¢¥¼ + (chinese-big5 . #xA1E9) ; øºŸ‡ (ucs . #x22BF) ; ⊿ )) (define-char @@ -1741,7 +1766,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x2776) ; ⋚ + (japanese-jisx0213-1 . #x2776) ; ø»¢… (ucs . #x22DA) ; ⋚ )) (define-char @@ -1749,7 +1774,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x2777) ; ⋛ + (japanese-jisx0213-1 . #x2777) ; ø»¢† (ucs . #x22DB) ; ⋛ )) (define-char