X-Git-Url: http://git.chise.org/gitweb/?a=blobdiff_plain;f=lisp%2Futf-2000%2Fu02200-Mathematical-Operators.el;h=1dd1322f50040bc7464f40953997cf2a9d36c20e;hb=90c42eb4fa13a7f78c7b3a33b62d80e4aff44e60;hp=0926bf67734c79740500555d700c22d3bbdef1c8;hpb=bc05bcc84116c97f9dc24c959feb898b5dbb3af4;p=chise%2Fxemacs-chise.git diff --git a/lisp/utf-2000/u02200-Mathematical-Operators.el b/lisp/utf-2000/u02200-Mathematical-Operators.el index 0926bf6..1dd1322 100644 --- a/lisp/utf-2000/u02200-Mathematical-Operators.el +++ b/lisp/utf-2000/u02200-Mathematical-Operators.el @@ -6,6 +6,7 @@ (japanese-jisx0208 . #x224F) ; ø»†’” (korean-ksc5601 . #x2223) ; ø»ˆ›¬ (japanese-jisx0208-1990 . #x224F) ; ø½‰¸ˆ + (=jef-china3 . #x7FDC) ; øº‡¿œ (ucs . #x2200) ; ∀ )) (define-char @@ -23,6 +24,7 @@ (japanese-jisx0208 . #x225F) ; ø»†’¤ (korean-ksc5601 . #x2153) ; ø»ˆš¾ (japanese-jisx0208-1990 . #x225F) ; ø½‰¸˜ + (=jef-china3 . #x7FE1) ; øº‡¿¡ (ucs . #x2202) ; ∂ )) (define-char @@ -33,6 +35,7 @@ (japanese-jisx0208 . #x2250) ; ø»†’• (korean-ksc5601 . #x2224) ; ø»ˆ›­ (japanese-jisx0208-1990 . #x2250) ; ø½‰¸‰ + (=jef-china3 . #x7FDD) ; øº‡¿ (ucs . #x2203) ; ∃ )) (define-char @@ -48,8 +51,8 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (japanese-jisx0213-1 . #x2247) ; ø»¢•€ - (ucs . #x2205) ; ∅ + (=jis-x0213-1-2000 . #x2247) ; ø»¢•€ + (ucs . #x2205) ; ∅ )) (define-char '((name . "INCREMENT") @@ -66,6 +69,7 @@ (japanese-jisx0208 . #x2260) ; ø»†’¥ (korean-ksc5601 . #x2154) ; ø»ˆš¿ (japanese-jisx0208-1990 . #x2260) ; ø½‰¸™ + (=jef-china3 . #x7FE2) ; øº‡¿¢ (ucs . #x2207) ; ∇ )) (define-char @@ -77,6 +81,7 @@ (japanese-jisx0208 . #x223A) ; ø»†‘¿ (korean-ksc5601 . #x2174) ; ø»ˆ›Ÿ (japanese-jisx0208-1990 . #x223A) ; ø½‰·³ + (=jef-china3 . #x7FD0) ; øº‡¿ (ucs . #x2208) ; ∈ )) (define-char @@ -85,8 +90,8 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2208 #x0338) - (japanese-jisx0213-1 . #x2246) ; ø»¢”¿ - (ucs . #x2209) ; ∉ + (=jis-x0213-1-2000 . #x2246) ; ø»¢”¿ + (ucs . #x2209) ; ∉ )) (define-char '((name . "SMALL ELEMENT OF") @@ -103,6 +108,7 @@ (japanese-jisx0208 . #x223B) ; ø»†’€ (korean-ksc5601 . #x2175) ; ø»ˆ›  (japanese-jisx0208-1990 . #x223B) ; ø½‰·´ + (=jef-china3 . #x7FD1) ; øº‡¿‘ (ucs . #x220B) ; ∋ )) (define-char @@ -157,18 +163,16 @@ (general-category symbol math) ; Informative Category (bidi-category . "ET") (mirrored . nil) - (japanese-jisx0208-1978 . #x215D) ; ø»¼¼ - (japanese-jisx0208 . #x215D) ; ø»†‘„ - (japanese-jisx0208-1990 . #x215D) ; ø½‰¶¸ - (ucs . #x2212) ; − + (=jis-x0208 . #x215D) ; ø½‰¶¸ + (ucs . #x2212) ; − )) (define-char '((name . "MINUS-OR-PLUS SIGN") (general-category symbol math) ; Informative Category (bidi-category . "ET") (mirrored . nil) - (japanese-jisx0213-1 . #x235B) ; ø»¢–² - (ucs . #x2213) ; ∓ + (=jis-x0213-1-2000 . #x235B) ; ø»¢–² + (ucs . #x2213) ; ∓ )) (define-char '((name . "DOT PLUS") @@ -183,7 +187,7 @@ (bidi-category . "ON") (mirrored . t) (chinese-cns11643-1 . #x2261) ; ø»‘„º - (chinese-big5 . #xA241) ; øºŸž + (chinese-big5 . #xA241) ; ý¢€Š‰ (ucs . #x2215) ; ∕ )) (define-char @@ -191,7 +195,6 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-big5 . #xA242) ; øºŸŸ (ucs . #x2216) ; ∖ )) (define-char @@ -206,7 +209,6 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-big5 . #xA258) ; øºŸµ (ucs . #x2218) ; ∘ )) (define-char @@ -226,7 +228,7 @@ (korean-ksc5601 . #x216E) ; ø»ˆ›™ (chinese-cns11643-1 . #x2235) ; ø»‘„Ž (japanese-jisx0208-1990 . #x2265) ; ø½‰¸ž - (chinese-big5 . #xA1D4) ; øºŸœ² + (chinese-big5 . #xA1D4) ; ý¢€Š‡” (ucs . #x221A) ; √ )) (define-char @@ -252,6 +254,7 @@ (japanese-jisx0208 . #x2267) ; ø»†’¬ (korean-ksc5601 . #x2170) ; ø»ˆ›› (japanese-jisx0208-1990 . #x2267) ; ø½‰¸  + (=jef-china3 . #x7FE7) ; øº‡¿§ (ucs . #x221D) ; ∝ )) (define-char @@ -259,24 +262,22 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (japanese-jisx0208-1978 . #x2167) ; ø»½† - (chinese-gb2312 . #x215E) ; ø»„‡ - (japanese-jisx0208 . #x2167) ; ø»†‘Ž - (korean-ksc5601 . #x2144) ; ø»ˆš¯ - (chinese-cns11643-1 . #x223C) ; ø»‘„• - (japanese-jisx0208-1990 . #x2167) ; ø½‰·‚ - (chinese-big5 . #xA1DB) ; øºŸœ¹ - (ucs . #x221E) ; ∞ + (chinese-gb2312 . #x215E) ; ø»„‡ + (=jis-x0208 . #x2167) ; ø½‰·‚ + (korean-ksc5601 . #x2144) ; ø»ˆš¯ + (chinese-cns11643-1 . #x223C) ; ø»‘„• + (chinese-big5 . #xA1DB) ; ý¢€Š‡› + (ucs . #x221E) ; ∞ )) (define-char '((name . "RIGHT ANGLE") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-cns11643-1 . #x2249) ; ø»‘„¢ - (japanese-jisx0213-1 . #x2D78) ; ø»¢¥» - (chinese-big5 . #xA1E8) ; øºŸ† - (ucs . #x221F) ; ∟ + (chinese-cns11643-1 . #x2249) ; ø»‘„¢ + (=jis-x0213-1-2000 . #x2D78) ; ø»¢¥» + (chinese-big5 . #xA1E8) ; ý¢€Š‡¨ + (ucs . #x221F) ; ∟ )) (define-char '((name . "ANGLE") @@ -288,7 +289,8 @@ (korean-ksc5601 . #x2150) ; ø»ˆš» (chinese-cns11643-1 . #x2248) ; ø»‘„¡ (japanese-jisx0208-1990 . #x225C) ; ø½‰¸• - (chinese-big5 . #xA1E7) ; øºŸ… + (chinese-big5 . #xA1E7) ; ý¢€Š‡§ + (=jef-china3 . #x7FDE) ; øº‡¿ž (ucs . #x2220) ; ∠ )) (define-char @@ -310,7 +312,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-big5 . #xA1FD) ; øºŸ› + (chinese-big5 . #xA1FD) ; ý¢€Š‡½ (ucs . #x2223) ; ∣ )) (define-char @@ -326,11 +328,11 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-gb2312 . #x214E) ; ø»„†± - (korean-ksc5601 . #x212B) ; ø»ˆš– - (japanese-jisx0213-1 . #x2254) ; ø»¢• - (chinese-big5 . #xA1FC) ; øºŸš - (ucs . #x2225) ; ∥ + (chinese-gb2312 . #x214E) ; ø»„†± + (korean-ksc5601 . #x212B) ; ø»ˆš– + (=jis-x0213-1-2000 . #x2254) ; ø»¢• + (chinese-big5 . #xA1FC) ; ý¢€Š‡¼ + (ucs . #x2225) ; ∥ )) (define-char '((name . "NOT PARALLEL TO") @@ -338,8 +340,8 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2225 #x0338) - (japanese-jisx0213-1 . #x2255) ; ø»¢•Ž - (ucs . #x2226) ; ∦ + (=jis-x0213-1-2000 . #x2255) ; ø»¢•Ž + (ucs . #x2226) ; ∦ )) (define-char '((name . "LOGICAL AND") @@ -373,7 +375,7 @@ (korean-ksc5601 . #x217B) ; ø»ˆ›¦ (chinese-cns11643-1 . #x2245) ; ø»‘„ž (japanese-jisx0208-1990 . #x2241) ; ø½‰·º - (chinese-big5 . #xA1E4) ; øºŸ‚ + (chinese-big5 . #xA1E4) ; ý¢€Š‡¤ (ucs . #x2229) ; ∩ )) (define-char @@ -386,7 +388,7 @@ (korean-ksc5601 . #x217A) ; ø»ˆ›¥ (chinese-cns11643-1 . #x2246) ; ø»‘„Ÿ (japanese-jisx0208-1990 . #x2240) ; ø½‰·¹ - (chinese-big5 . #xA1E5) ; øºŸƒ + (chinese-big5 . #xA1E5) ; ý¢€Š‡¥ (ucs . #x222A) ; ∪ )) (define-char @@ -399,7 +401,8 @@ (korean-ksc5601 . #x2172) ; ø»ˆ› (chinese-cns11643-1 . #x224D) ; ø»‘„¦ (japanese-jisx0208-1990 . #x2269) ; ø½‰¸¢ - (chinese-big5 . #xA1EC) ; øºŸŠ + (chinese-big5 . #xA1EC) ; ý¢€Š‡¬ + (=jef-china3 . #x7FE8) ; øº‡¿¨ (ucs . #x222B) ; ∫ )) (define-char @@ -411,6 +414,7 @@ (japanese-jisx0208 . #x226A) ; ø»†’¯ (korean-ksc5601 . #x2173) ; ø»ˆ›ž (japanese-jisx0208-1990 . #x226A) ; ø½‰¸£ + (=jef-china3 . #x7FE9) ; øº‡¿© (ucs . #x222C) ; ∬ )) (define-char @@ -426,12 +430,12 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-gb2312 . #x2153) ; ø»„†¶ - (korean-ksc5601 . #x2231) ; ø»ˆ›º - (chinese-cns11643-1 . #x224E) ; ø»‘„§ - (japanese-jisx0213-1 . #x2D73) ; ø»¢¥¶ - (chinese-big5 . #xA1ED) ; øºŸ‹ - (ucs . #x222E) ; ∮ + (chinese-gb2312 . #x2153) ; ø»„†¶ + (korean-ksc5601 . #x2231) ; ø»ˆ›º + (chinese-cns11643-1 . #x224E) ; ø»‘„§ + (=jis-x0213-1-2000 . #x2D73) ; ø»¢¥¶ + (chinese-big5 . #xA1ED) ; ý¢€Š‡­ + (ucs . #x222E) ; ∮ )) (define-char '((name . "SURFACE INTEGRAL") @@ -475,14 +479,12 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (japanese-jisx0208-1978 . #x2168) ; ø»½‡ - (chinese-gb2312 . #x2160) ; ø»„‡ƒ - (japanese-jisx0208 . #x2168) ; ø»†‘ - (korean-ksc5601 . #x2145) ; ø»ˆš° - (chinese-cns11643-1 . #x2250) ; ø»‘„© - (japanese-jisx0208-1990 . #x2168) ; ø½‰·ƒ - (chinese-big5 . #xA1EF) ; øºŸ - (ucs . #x2234) ; ∴ + (chinese-gb2312 . #x2160) ; ø»„‡ƒ + (=jis-x0208 . #x2168) ; ø½‰·ƒ + (korean-ksc5601 . #x2145) ; ø»ˆš° + (chinese-cns11643-1 . #x2250) ; ø»‘„© + (chinese-big5 . #xA1EF) ; ý¢€Š‡¯ + (ucs . #x2234) ; ∴ )) (define-char '((name . "BECAUSE") @@ -494,7 +496,7 @@ (korean-ksc5601 . #x2171) ; ø»ˆ›œ (chinese-cns11643-1 . #x224F) ; ø»‘„¨ (japanese-jisx0208-1990 . #x2268) ; ø½‰¸¡ - (chinese-big5 . #xA1EE) ; øºŸŒ + (chinese-big5 . #xA1EE) ; ý¢€Š‡® (ucs . #x2235) ; ∵ )) (define-char @@ -548,7 +550,8 @@ (mirrored . t) (korean-ksc5601 . #x212D) ; ø»ˆš˜ (chinese-cns11643-1 . #x2244) ; ø»‘„ - (chinese-big5 . #xA1E3) ; øºŸ + (chinese-big5 . #xA1E3) ; ý¢€Š‡£ + (ucs-big5 . #xFF5E) ; ∼ (ucs . #x223C) ; ∼ )) (define-char @@ -561,6 +564,7 @@ (japanese-jisx0208 . #x2266) ; ø»†’« (korean-ksc5601 . #x216F) ; ø»ˆ›š (japanese-jisx0208-1990 . #x2266) ; ø½‰¸Ÿ + (=jef-china3 . #x7FE6) ; øº‡¿¦ (ucs . #x223D) ; ∽ )) (define-char @@ -604,8 +608,8 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x226C) ; ø»¢•¥ - (ucs . #x2243) ; ≃ + (=jis-x0213-1-2000 . #x226C) ; ø»¢•¥ + (ucs . #x2243) ; ≃ )) (define-char '((name . "NOT ASYMPTOTICALLY EQUAL TO") @@ -620,8 +624,8 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x226D) ; ø»¢•¦ - (ucs . #x2245) ; ≅ + (=jis-x0213-1-2000 . #x226D) ; ø»¢•¦ + (ucs . #x2245) ; ≅ )) (define-char '((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO") @@ -643,9 +647,9 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-gb2312 . #x2156) ; ø»„†¹ - (japanese-jisx0213-1 . #x226E) ; ø»¢•§ - (ucs . #x2248) ; ≈ + (chinese-gb2312 . #x2156) ; ø»„†¹ + (=jis-x0213-1-2000 . #x226E) ; ø»¢•§ + (ucs . #x2248) ; ≈ )) (define-char '((name . "NOT ALMOST EQUAL TO") @@ -721,7 +725,7 @@ (korean-ksc5601 . #x2156) ; ø»ˆ› (chinese-cns11643-1 . #x223D) ; ø»‘„– (japanese-jisx0208-1990 . #x2262) ; ø½‰¸› - (chinese-big5 . #xA1DC) ; øºŸœº + (chinese-big5 . #xA1DC) ; ý¢€Š‡œ (ucs . #x2252) ; ≒ )) (define-char @@ -821,14 +825,12 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x003D #x0338) - (japanese-jisx0208-1978 . #x2162) ; ø»½ - (chinese-gb2312 . #x2159) ; ø»„†¼ - (japanese-jisx0208 . #x2162) ; ø»†‘‰ - (korean-ksc5601 . #x2141) ; ø»ˆš¬ - (chinese-cns11643-1 . #x223B) ; ø»‘„” - (japanese-jisx0208-1990 . #x2162) ; ø½‰¶½ - (chinese-big5 . #xA1DA) ; øºŸœ¸ - (ucs . #x2260) ; ≠ + (chinese-gb2312 . #x2159) ; ø»„†¼ + (=jis-x0208 . #x2162) ; ø½‰¶½ + (korean-ksc5601 . #x2141) ; ø»ˆš¬ + (chinese-cns11643-1 . #x223B) ; ø»‘„” + (chinese-big5 . #xA1DA) ; ý¢€Š‡š + (ucs . #x2260) ; ≠ )) (define-char '((name . "IDENTICAL TO") @@ -840,7 +842,7 @@ (korean-ksc5601 . #x2155) ; ø»ˆ›€ (chinese-cns11643-1 . #x223E) ; ø»‘„— (japanese-jisx0208-1990 . #x2261) ; ø½‰¸š - (chinese-big5 . #xA1DD) ; øºŸœ» + (chinese-big5 . #xA1DD) ; ý¢€Š‡ (ucs . #x2261) ; ≡ )) (define-char @@ -849,8 +851,8 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2261 #x0338) - (japanese-jisx0213-1 . #x226B) ; ø»¢•¤ - (ucs . #x2262) ; ≢ + (=jis-x0213-1-2000 . #x226B) ; ø»¢•¤ + (ucs . #x2262) ; ≢ )) (define-char '((name . "STRICTLY EQUIVALENT TO") @@ -882,24 +884,20 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0208-1978 . #x2165) ; ø»½„ - (japanese-jisx0208 . #x2165) ; ø»†‘Œ - (chinese-cns11643-1 . #x2239) ; ø»‘„’ - (japanese-jisx0208-1990 . #x2165) ; ø½‰·€ - (chinese-big5 . #xA1D8) ; øºŸœ¶ - (ucs . #x2266) ; ≦ + (=jis-x0208 . #x2165) ; ø½‰·€ + (chinese-cns11643-1 . #x2239) ; ø»‘„’ + (chinese-big5 . #xA1D8) ; ý¢€Š‡˜ + (ucs . #x2266) ; ≦ )) (define-char '((name . "GREATER-THAN OVER EQUAL TO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0208-1978 . #x2166) ; ø»½… - (japanese-jisx0208 . #x2166) ; ø»†‘ - (chinese-cns11643-1 . #x223A) ; ø»‘„“ - (japanese-jisx0208-1990 . #x2166) ; ø½‰· - (chinese-big5 . #xA1D9) ; øºŸœ· - (ucs . #x2267) ; ≧ + (=jis-x0208 . #x2166) ; ø½‰· + (chinese-cns11643-1 . #x223A) ; ø»‘„“ + (chinese-big5 . #xA1D9) ; ý¢€Š‡™ + (ucs . #x2267) ; ≧ )) (define-char '((name . "LESS-THAN BUT NOT EQUAL TO") @@ -923,6 +921,7 @@ (japanese-jisx0208 . #x2263) ; ø»†’¨ (korean-ksc5601 . #x216C) ; ø»ˆ›— (japanese-jisx0208-1990 . #x2263) ; ø½‰¸œ + (=jef-china3 . #x7FE3) ; øº‡¿£ (ucs . #x226A) ; ≪ )) (define-char @@ -933,6 +932,7 @@ (japanese-jisx0208 . #x2264) ; ø»†’© (korean-ksc5601 . #x216D) ; ø»ˆ›˜ (japanese-jisx0208-1990 . #x2264) ; ø½‰¸ + (=jef-china3 . #x7FE4) ; øº‡¿¤ (ucs . #x226B) ; ≫ )) (define-char @@ -1019,16 +1019,16 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x226F) ; ø»¢•¨ - (ucs . #x2276) ; ≶ + (=jis-x0213-1-2000 . #x226F) ; ø»¢•¨ + (ucs . #x2276) ; ≶ )) (define-char '((name . "GREATER-THAN OR LESS-THAN") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x2270) ; ø»¢•© - (ucs . #x2277) ; ≷ + (=jis-x0213-1-2000 . #x2270) ; ø»¢•© + (ucs . #x2277) ; ≷ )) (define-char '((name . "NEITHER LESS-THAN NOR GREATER-THAN") @@ -1112,6 +1112,7 @@ (japanese-jisx0208 . #x223E) ; ø»†’ƒ (korean-ksc5601 . #x2178) ; ø»ˆ›£ (japanese-jisx0208-1990 . #x223E) ; ø½‰·· + (=jef-china3 . #x7FD4) ; øº‡¿” (ucs . #x2282) ; ⊂ )) (define-char @@ -1122,6 +1123,7 @@ (japanese-jisx0208 . #x223F) ; ø»†’„ (korean-ksc5601 . #x2179) ; ø»ˆ›¤ (japanese-jisx0208-1990 . #x223F) ; ø½‰·¸ + (=jef-china3 . #x7FD5) ; øº‡¿• (ucs . #x2283) ; ⊃ )) (define-char @@ -1130,8 +1132,8 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2282 #x0338) - (japanese-jisx0213-1 . #x2242) ; ø»¢”» - (ucs . #x2284) ; ⊄ + (=jis-x0213-1-2000 . #x2242) ; ø»¢”» + (ucs . #x2284) ; ⊄ )) (define-char '((name . "NOT A SUPERSET OF") @@ -1139,8 +1141,8 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x2283 #x0338) - (japanese-jisx0213-1 . #x2243) ; ø»¢”¼ - (ucs . #x2285) ; ⊅ + (=jis-x0213-1-2000 . #x2243) ; ø»¢”¼ + (ucs . #x2285) ; ⊅ )) (define-char '((name . "SUBSET OF OR EQUAL TO") @@ -1150,6 +1152,7 @@ (japanese-jisx0208 . #x223C) ; ø»†’ (korean-ksc5601 . #x2176) ; ø»ˆ›¡ (japanese-jisx0208-1990 . #x223C) ; ø½‰·µ + (=jef-china3 . #x7FD2) ; øº‡¿’ (ucs . #x2286) ; ⊆ )) (define-char @@ -1160,6 +1163,7 @@ (japanese-jisx0208 . #x223D) ; ø»†’‚ (korean-ksc5601 . #x2177) ; ø»ˆ›¢ (japanese-jisx0208-1990 . #x223D) ; ø½‰·¶ + (=jef-china3 . #x7FD3) ; øº‡¿“ (ucs . #x2287) ; ⊇ )) (define-char @@ -1183,16 +1187,16 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x2244) ; ø»¢”½ - (ucs . #x228A) ; ⊊ + (=jis-x0213-1-2000 . #x2244) ; ø»¢”½ + (ucs . #x228A) ; ⊊ )) (define-char '((name . "SUPERSET OF WITH NOT EQUAL TO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x2245) ; ø»¢”¾ - (ucs . #x228B) ; ⊋ + (=jis-x0213-1-2000 . #x2245) ; ø»¢”¾ + (ucs . #x228B) ; ⊋ )) (define-char '((name . "MULTISET") @@ -1262,26 +1266,26 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-cns11643-1 . #x2253) ; ø»‘„¬ - (japanese-jisx0213-1 . #x2251) ; ø»¢•Š - (chinese-big5 . #xA1F2) ; øºŸ - (ucs . #x2295) ; ⊕ + (chinese-cns11643-1 . #x2253) ; ø»‘„¬ + (=jis-x0213-1-2000 . #x2251) ; ø»¢•Š + (chinese-big5 . #xA1F2) ; ý¢€Š‡² + (ucs . #x2295) ; ⊕ )) (define-char '((name . "CIRCLED MINUS") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (japanese-jisx0213-1 . #x2252) ; ø»¢•‹ - (ucs . #x2296) ; ⊖ + (=jis-x0213-1-2000 . #x2252) ; ø»¢•‹ + (ucs . #x2296) ; ⊖ )) (define-char '((name . "CIRCLED TIMES") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (japanese-jisx0213-1 . #x2253) ; ø»¢•Œ - (ucs . #x2297) ; ⊗ + (=jis-x0213-1-2000 . #x2253) ; ø»¢•Œ + (ucs . #x2297) ; ⊗ )) (define-char '((name . "CIRCLED DIVISION SLASH") @@ -1298,7 +1302,7 @@ (chinese-gb2312 . #x2151) ; ø»„†´ (korean-ksc5601 . #x2241) ; ø»ˆœŠ (chinese-cns11643-1 . #x2254) ; ø»‘„­ - (chinese-big5 . #xA1F3) ; øºŸ‘ + (chinese-big5 . #xA1F3) ; ý¢€Š‡³ (ucs . #x2299) ; ⊙ )) (define-char @@ -1388,7 +1392,7 @@ (korean-ksc5601 . #x2151) ; ø»ˆš¼ (chinese-cns11643-1 . #x2247) ; ø»‘„  (japanese-jisx0208-1990 . #x225D) ; ø½‰¸– - (chinese-big5 . #xA1E6) ; øºŸ„ + (chinese-big5 . #xA1E6) ; ý¢€Š‡¦ (ucs . #x22A5) ; ⊥ )) (define-char @@ -1575,16 +1579,17 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-cns11643-1 . #x224A) ; ø»‘„£ - (japanese-jisx0213-1 . #x2D79) ; ø»¢¥¼ - (chinese-big5 . #xA1E9) ; øºŸ‡ - (ucs . #x22BF) ; ⊿ + (chinese-cns11643-1 . #x224A) ; ø»‘„£ + (=jis-x0213-1-2000 . #x2D79) ; ø»¢¥¼ + (chinese-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) ; ⋀ )) (define-char @@ -1592,6 +1597,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=jef-china3 . #x7FD9) ; øº‡¿™ (ucs . #x22C1) ; ⋁ )) (define-char @@ -1599,6 +1605,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=jef-china3 . #x7FD7) ; øº‡¿— (ucs . #x22C2) ; ⋂ )) (define-char @@ -1606,6 +1613,7 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) + (=jef-china3 . #x7FD6) ; øº‡¿– (ucs . #x22C3) ; ⋃ )) (define-char @@ -1767,16 +1775,16 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x2776) ; ø»¢… - (ucs . #x22DA) ; ⋚ + (=jis-x0213-1-2000 . #x2776) ; ø»¢… + (ucs . #x22DA) ; ⋚ )) (define-char '((name . "GREATER-THAN EQUAL TO OR LESS-THAN") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0213-1 . #x2777) ; ø»¢† - (ucs . #x22DB) ; ⋛ + (=jis-x0213-1-2000 . #x2777) ; ø»¢† + (ucs . #x22DB) ; ⋛ )) (define-char '((name . "EQUAL TO OR LESS-THAN")