X-Git-Url: http://git.chise.org/gitweb/?a=blobdiff_plain;f=lisp%2Futf-2000%2Fu02200-Mathematical-Operators.el;h=0ce7f99b56e2ab7e25cf72cb4e2b3ce5088657d7;hb=c2396d4aee38f7df4fd79459c0066b47bf934d05;hp=2219c57bf29e7f4ef5293fa70b43455a61797a9e;hpb=a5812bf2ff9a9cf40f4ff78dcb83f5b4c295bd18;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 2219c57..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) - (japanese-jisx0208 . #x224F) ; ø»†’” - (korean-ksc5601 . #x2223) ; ø»ˆ›¬ + (=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) - (japanese-jisx0208 . #x225F) ; ø»†’¤ - (korean-ksc5601 . #x2153) ; ø»ˆš¾ + (=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) - (japanese-jisx0208 . #x2250) ; ø»†’• - (korean-ksc5601 . #x2224) ; ø»ˆ›­ + (=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) - (japanese-jisx0208 . #x2260) ; ø»†’¥ - (korean-ksc5601 . #x2154) ; ø»ˆš¿ + (=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) - (chinese-gb2312 . #x214A) ; ø»„†­ - (japanese-jisx0208 . #x223A) ; ø»†‘¿ - (korean-ksc5601 . #x2174) ; ø»ˆ›Ÿ + (=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) - (japanese-jisx0208 . #x223B) ; ø»†’€ - (korean-ksc5601 . #x2175) ; ø»ˆ›  + (=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) - (chinese-gb2312 . #x2147) ; ø»„†ª - (korean-ksc5601 . #x2233) ; ø»ˆ›¼ (=ucs . #x220F) ; ∏ + (=gb2312 . #x2147) ; ø»„†ª + (=ks-x1001 . #x2233) ; ø»ˆ›¼ )) (define-char '((name . "N-ARY COPRODUCT") @@ -154,25 +155,25 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-gb2312 . #x2146) ; ø»„†© - (korean-ksc5601 . #x2232) ; ø»ˆ›» (=ucs . #x2211) ; ∑ + (=gb2312 . #x2146) ; ø»„†© + (=ks-x1001 . #x2232) ; ø»ˆ›» )) (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) ; ø»‘„º - (chinese-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) - (chinese-gb2312 . #x214C) ; ø»„†¯ - (japanese-jisx0208 . #x2265) ; ø»†’ª - (korean-ksc5601 . #x216E) ; ø»ˆ›™ - (chinese-cns11643-1 . #x2235) ; ø»‘„Ž - (=jis-x0208-1990 . #x2265) ; ø½‰¸ž - (chinese-big5 . #xA1D4) ; ý¢€Š‡” (=ucs . #x221A) ; √ + (=gb2312 . #x214C) ; ø»„†¯ + (=jis-x0208-1983 . #x2265) ; ø»†’ª + (=ks-x1001 . #x216E) ; ø»ˆ›™ + (=jis-x0208-1990 . #x2265) ; ø½‰¸ž + (=cns11643-1 . #x2235) ; ø»‘„Ž + (=big5 . #xA1D4) ; ý¢€Š‡” )) (define-char '((name . "CUBE ROOT") @@ -250,48 +251,48 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-gb2312 . #x2158) ; ø»„†» - (japanese-jisx0208 . #x2267) ; ø»†’¬ - (korean-ksc5601 . #x2170) ; ø»ˆ›› + (=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) - (chinese-gb2312 . #x215E) ; ø»„‡ - (=jis-x0208 . #x2167) ; ø½‰·‚ - (korean-ksc5601 . #x2144) ; ø»ˆš¯ - (chinese-cns11643-1 . #x223C) ; ø»‘„• - (chinese-big5 . #xA1DB) ; ý¢€Š‡› (=ucs . #x221E) ; ∞ + (=jis-x0208 . #x2167) ; ø½‰·‚ + (=gb2312 . #x215E) ; ø»„‡ + (=ks-x1001 . #x2144) ; ø»ˆš¯ + (=cns11643-1 . #x223C) ; ø»‘„• + (=big5 . #xA1DB) ; ý¢€Š‡› )) (define-char '((name . "RIGHT ANGLE") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-cns11643-1 . #x2249) ; ø»‘„¢ - (=jis-x0213-1-2000 . #x2D78) ; ø»¢¥» - (chinese-big5 . #xA1E8) ; ý¢€Š‡¨ (=ucs . #x221F) ; ∟ + (=cns11643-1 . #x2249) ; ø»‘„¢ + (=jis-x0213-1-2000 . #x2D78) ; ø»¢¥» + (=big5 . #xA1E8) ; ý¢€Š‡¨ )) (define-char '((name . "ANGLE") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-gb2312 . #x214F) ; ø»„†² - (japanese-jisx0208 . #x225C) ; ø»†’¡ - (korean-ksc5601 . #x2150) ; ø»ˆš» - (chinese-cns11643-1 . #x2248) ; ø»‘„¡ + (=ucs . #x2220) ; ∠ + (=gb2312 . #x214F) ; ø»„†² + (=jis-x0208-1983 . #x225C) ; ø»†’¡ + (=ks-x1001 . #x2150) ; ø»ˆš» (=jis-x0208-1990 . #x225C) ; ø½‰¸• - (chinese-big5 . #xA1E7) ; ý¢€Š‡§ + (=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) - (chinese-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) - (chinese-gb2312 . #x214E) ; ø»„†± - (korean-ksc5601 . #x212B) ; ø»ˆš– - (=jis-x0213-1-2000 . #x2254) ; ø»¢• - (chinese-big5 . #xA1FC) ; ý¢€Š‡¼ (=ucs . #x2225) ; ∥ + (=gb2312 . #x214E) ; ø»„†± + (=ks-x1001 . #x212B) ; ø»ˆš– + (=jis-x0213-1-2000 . #x2254) ; ø»¢• + (=big5 . #xA1FC) ; ý¢€Š‡¼ )) (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) - (chinese-gb2312 . #x2144) ; ø»„†§ - (japanese-jisx0208 . #x224A) ; ø»†’ - (korean-ksc5601 . #x217C) ; ø»ˆ›§ - (=jis-x0208-1990 . #x224A) ; ø½‰¸ƒ (=ucs . #x2227) ; ∧ + (=gb2312 . #x2144) ; ø»„†§ + (=jis-x0208-1983 . #x224A) ; ø»†’ + (=ks-x1001 . #x217C) ; ø»ˆ›§ + (=jis-x0208-1990 . #x224A) ; ø½‰¸ƒ )) (define-char '((name . "LOGICAL OR") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-gb2312 . #x2145) ; ø»„†¨ - (japanese-jisx0208 . #x224B) ; ø»†’ - (korean-ksc5601 . #x217D) ; ø»ˆ›¨ - (=jis-x0208-1990 . #x224B) ; ø½‰¸„ (=ucs . #x2228) ; ∨ + (=gb2312 . #x2145) ; ø»„†¨ + (=jis-x0208-1983 . #x224B) ; ø»†’ + (=ks-x1001 . #x217D) ; ø»ˆ›¨ + (=jis-x0208-1990 . #x224B) ; ø½‰¸„ )) (define-char '((name . "INTERSECTION") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-gb2312 . #x2149) ; ø»„†¬ - (japanese-jisx0208 . #x2241) ; ø»†’† - (korean-ksc5601 . #x217B) ; ø»ˆ›¦ - (chinese-cns11643-1 . #x2245) ; ø»‘„ž - (=jis-x0208-1990 . #x2241) ; ø½‰·º - (chinese-big5 . #xA1E4) ; ý¢€Š‡¤ (=ucs . #x2229) ; ∩ + (=gb2312 . #x2149) ; ø»„†¬ + (=jis-x0208-1983 . #x2241) ; ø»†’† + (=ks-x1001 . #x217B) ; ø»ˆ›¦ + (=jis-x0208-1990 . #x2241) ; ø½‰·º + (=cns11643-1 . #x2245) ; ø»‘„ž + (=big5 . #xA1E4) ; ý¢€Š‡¤ )) (define-char '((name . "UNION") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-gb2312 . #x2148) ; ø»„†« - (japanese-jisx0208 . #x2240) ; ø»†’… - (korean-ksc5601 . #x217A) ; ø»ˆ›¥ - (chinese-cns11643-1 . #x2246) ; ø»‘„Ÿ - (=jis-x0208-1990 . #x2240) ; ø½‰·¹ - (chinese-big5 . #xA1E5) ; ý¢€Š‡¥ (=ucs . #x222A) ; ∪ + (=gb2312 . #x2148) ; ø»„†« + (=jis-x0208-1983 . #x2240) ; ø»†’… + (=ks-x1001 . #x217A) ; ø»ˆ›¥ + (=jis-x0208-1990 . #x2240) ; ø½‰·¹ + (=cns11643-1 . #x2246) ; ø»‘„Ÿ + (=big5 . #xA1E5) ; ý¢€Š‡¥ )) (define-char '((name . "INTEGRAL") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-gb2312 . #x2152) ; ø»„†µ - (japanese-jisx0208 . #x2269) ; ø»†’® - (korean-ksc5601 . #x2172) ; ø»ˆ› - (chinese-cns11643-1 . #x224D) ; ø»‘„¦ + (=ucs . #x222B) ; ∫ + (=gb2312 . #x2152) ; ø»„†µ + (=jis-x0208-1983 . #x2269) ; ø»†’® + (=ks-x1001 . #x2172) ; ø»ˆ› (=jis-x0208-1990 . #x2269) ; ø½‰¸¢ - (chinese-big5 . #xA1EC) ; ý¢€Š‡¬ + (=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) - (japanese-jisx0208 . #x226A) ; ø»†’¯ - (korean-ksc5601 . #x2173) ; ø»ˆ›ž + (=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) - (chinese-gb2312 . #x2153) ; ø»„†¶ - (korean-ksc5601 . #x2231) ; ø»ˆ›º - (chinese-cns11643-1 . #x224E) ; ø»‘„§ - (=jis-x0213-1-2000 . #x2D73) ; ø»¢¥¶ - (chinese-big5 . #xA1ED) ; ý¢€Š‡­ (=ucs . #x222E) ; ∮ + (=gb2312 . #x2153) ; ø»„†¶ + (=ks-x1001 . #x2231) ; ø»ˆ›º + (=cns11643-1 . #x224E) ; ø»‘„§ + (=jis-x0213-1-2000 . #x2D73) ; ø»¢¥¶ + (=big5 . #xA1ED) ; ý¢€Š‡­ )) (define-char '((name . "SURFACE INTEGRAL") @@ -479,41 +480,41 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-gb2312 . #x2160) ; ø»„‡ƒ - (=jis-x0208 . #x2168) ; ø½‰·ƒ - (korean-ksc5601 . #x2145) ; ø»ˆš° - (chinese-cns11643-1 . #x2250) ; ø»‘„© - (chinese-big5 . #xA1EF) ; ý¢€Š‡¯ (=ucs . #x2234) ; ∴ + (=jis-x0208 . #x2168) ; ø½‰·ƒ + (=gb2312 . #x2160) ; ø»„‡ƒ + (=ks-x1001 . #x2145) ; ø»ˆš° + (=cns11643-1 . #x2250) ; ø»‘„© + (=big5 . #xA1EF) ; ý¢€Š‡¯ )) (define-char '((name . "BECAUSE") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-gb2312 . #x215F) ; ø»„‡‚ - (japanese-jisx0208 . #x2268) ; ø»†’­ - (korean-ksc5601 . #x2171) ; ø»ˆ›œ - (chinese-cns11643-1 . #x224F) ; ø»‘„¨ - (=jis-x0208-1990 . #x2268) ; ø½‰¸¡ - (chinese-big5 . #xA1EE) ; ý¢€Š‡® (=ucs . #x2235) ; ∵ + (=gb2312 . #x215F) ; ø»„‡‚ + (=jis-x0208-1983 . #x2268) ; ø»†’­ + (=ks-x1001 . #x2171) ; ø»ˆ›œ + (=jis-x0208-1990 . #x2268) ; ø½‰¸¡ + (=cns11643-1 . #x224F) ; ø»‘„¨ + (=big5 . #xA1EE) ; ý¢€Š‡® )) (define-char '((name . "RATIO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-gb2312 . #x2143) ; ø»„†¦ (=ucs . #x2236) ; ∶ + (=gb2312 . #x2143) ; ø»„†¦ )) (define-char '((name . "PROPORTION") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-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) - (korean-ksc5601 . #x212D) ; ø»ˆš˜ - (chinese-cns11643-1 . #x2244) ; ø»‘„ - (chinese-big5 . #xA1E3) ; ý¢€Š‡£ - (ucs-big5 . #xFF5E) ; ∼ (=ucs . #x223C) ; ∼ + (=ks-x1001 . #x212D) ; ø»ˆš˜ + (=cns11643-1 . #x2244) ; ø»‘„ + (=big5 . #xA1E3) ; ý¢€Š‡£ + (=ucs@big5 . #xFF5E) ; ∼ )) (define-char '((name . "REVERSED TILDE") @@ -560,12 +561,12 @@ (bidi-category . "ON") (mirrored . t) (iso-10646-comment . "lazy S") - (chinese-gb2312 . #x2157) ; ø»„†º - (japanese-jisx0208 . #x2266) ; ø»†’« - (korean-ksc5601 . #x216F) ; ø»ˆ›š + (=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) - (chinese-gb2312 . #x2156) ; ø»„†¹ - (=jis-x0213-1-2000 . #x226E) ; ø»¢•§ (=ucs . #x2248) ; ≈ + (=gb2312 . #x2156) ; ø»„†¹ + (=jis-x0213-1-2000 . #x226E) ; ø»¢•§ )) (define-char '((name . "NOT ALMOST EQUAL TO") @@ -678,8 +679,8 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-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) - (japanese-jisx0208 . #x2262) ; ø»†’§ - (korean-ksc5601 . #x2156) ; ø»ˆ› - (chinese-cns11643-1 . #x223D) ; ø»‘„– - (=jis-x0208-1990 . #x2262) ; ø½‰¸› - (chinese-big5 . #xA1DC) ; ý¢€Š‡œ (=ucs . #x2252) ; ≒ + (=jis-x0208-1983 . #x2262) ; ø»†’§ + (=ks-x1001 . #x2156) ; ø»ˆ› + (=jis-x0208-1990 . #x2262) ; ø½‰¸› + (=cns11643-1 . #x223D) ; ø»‘„– + (=big5 . #xA1DC) ; ý¢€Š‡œ )) (define-char '((name . "IMAGE OF OR APPROXIMATELY EQUAL TO") @@ -825,25 +826,25 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x003D #x0338) - (chinese-gb2312 . #x2159) ; ø»„†¼ - (=jis-x0208 . #x2162) ; ø½‰¶½ - (korean-ksc5601 . #x2141) ; ø»ˆš¬ - (chinese-cns11643-1 . #x223B) ; ø»‘„” - (chinese-big5 . #xA1DA) ; ý¢€Š‡š (=ucs . #x2260) ; ≠ + (=jis-x0208 . #x2162) ; ø½‰¶½ + (=gb2312 . #x2159) ; ø»„†¼ + (=ks-x1001 . #x2141) ; ø»ˆš¬ + (=cns11643-1 . #x223B) ; ø»‘„” + (=big5 . #xA1DA) ; ý¢€Š‡š )) (define-char '((name . "IDENTICAL TO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-gb2312 . #x2154) ; ø»„†· - (japanese-jisx0208 . #x2261) ; ø»†’¦ - (korean-ksc5601 . #x2155) ; ø»ˆ›€ - (chinese-cns11643-1 . #x223E) ; ø»‘„— - (=jis-x0208-1990 . #x2261) ; ø½‰¸š - (chinese-big5 . #xA1DD) ; ý¢€Š‡ (=ucs . #x2261) ; ≡ + (=gb2312 . #x2154) ; ø»„†· + (=jis-x0208-1983 . #x2261) ; ø»†’¦ + (=ks-x1001 . #x2155) ; ø»ˆ›€ + (=jis-x0208-1990 . #x2261) ; ø½‰¸š + (=cns11643-1 . #x223E) ; ø»‘„— + (=big5 . #xA1DD) ; ý¢€Š‡ )) (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) - (chinese-gb2312 . #x215C) ; ø»„†¿ - (korean-ksc5601 . #x2142) ; ø»ˆš­ (=ucs . #x2264) ; ≤ + (=gb2312 . #x215C) ; ø»„†¿ + (=ks-x1001 . #x2142) ; ø»ˆš­ )) (define-char '((name . "GREATER-THAN OR EQUAL TO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-gb2312 . #x215D) ; ø»„‡€ - (korean-ksc5601 . #x2143) ; ø»ˆš® (=ucs . #x2265) ; ≥ + (=gb2312 . #x215D) ; ø»„‡€ + (=ks-x1001 . #x2143) ; ø»ˆš® )) (define-char '((name . "LESS-THAN OVER EQUAL TO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (=jis-x0208 . #x2165) ; ø½‰·€ - (chinese-cns11643-1 . #x2239) ; ø»‘„’ - (chinese-big5 . #xA1D8) ; ý¢€Š‡˜ (=ucs . #x2266) ; ≦ + (=jis-x0208 . #x2165) ; ø½‰·€ + (=cns11643-1 . #x2239) ; ø»‘„’ + (=big5 . #xA1D8) ; ý¢€Š‡˜ )) (define-char '((name . "GREATER-THAN OVER EQUAL TO") (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (=jis-x0208 . #x2166) ; ø½‰· - (chinese-cns11643-1 . #x223A) ; ø»‘„“ - (chinese-big5 . #xA1D9) ; ý¢€Š‡™ (=ucs . #x2267) ; ≧ + (=jis-x0208 . #x2166) ; ø½‰· + (=cns11643-1 . #x223A) ; ø»‘„“ + (=big5 . #xA1D9) ; ý¢€Š‡™ )) (define-char '((name . "LESS-THAN BUT NOT EQUAL TO") @@ -918,22 +919,22 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (japanese-jisx0208 . #x2263) ; ø»†’¨ - (korean-ksc5601 . #x216C) ; ø»ˆ›— + (=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) - (japanese-jisx0208 . #x2264) ; ø»†’© - (korean-ksc5601 . #x216D) ; ø»ˆ›˜ + (=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) - (chinese-gb2312 . #x215A) ; ø»„†½ (=ucs . #x226E) ; ≮ + (=gb2312 . #x215A) ; ø»„†½ )) (define-char '((name . "NOT GREATER-THAN") @@ -965,8 +966,8 @@ (bidi-category . "ON") (mirrored . t) (->decomposition #x003E #x0338) - (chinese-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) - (japanese-jisx0208 . #x223E) ; ø»†’ƒ - (korean-ksc5601 . #x2178) ; ø»ˆ›£ + (=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) - (japanese-jisx0208 . #x223F) ; ø»†’„ - (korean-ksc5601 . #x2179) ; ø»ˆ›¤ + (=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) - (japanese-jisx0208 . #x223C) ; ø»†’ - (korean-ksc5601 . #x2176) ; ø»ˆ›¡ + (=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) - (japanese-jisx0208 . #x223D) ; ø»†’‚ - (korean-ksc5601 . #x2177) ; ø»ˆ›¢ + (=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) ; ø»‘„¬ - (=jis-x0213-1-2000 . #x2251) ; ø»¢•Š - (chinese-big5 . #xA1F2) ; ý¢€Š‡² (=ucs . #x2295) ; ⊕ + (=cns11643-1 . #x2253) ; ø»‘„¬ + (=jis-x0213-1-2000 . #x2251) ; ø»¢•Š + (=big5 . #xA1F2) ; ý¢€Š‡² )) (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) - (chinese-gb2312 . #x2151) ; ø»„†´ - (korean-ksc5601 . #x2241) ; ø»ˆœŠ - (chinese-cns11643-1 . #x2254) ; ø»‘„­ - (chinese-big5 . #xA1F3) ; ý¢€Š‡³ (=ucs . #x2299) ; ⊙ + (=gb2312 . #x2151) ; ø»„†´ + (=ks-x1001 . #x2241) ; ø»ˆœŠ + (=cns11643-1 . #x2254) ; ø»‘„­ + (=big5 . #xA1F3) ; ý¢€Š‡³ )) (define-char '((name . "CIRCLED RING OPERATOR") @@ -1387,13 +1388,13 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . nil) - (chinese-gb2312 . #x214D) ; ø»„†° - (japanese-jisx0208 . #x225D) ; ø»†’¢ - (korean-ksc5601 . #x2151) ; ø»ˆš¼ - (chinese-cns11643-1 . #x2247) ; ø»‘„  - (=jis-x0208-1990 . #x225D) ; ø½‰¸– - (chinese-big5 . #xA1E6) ; ý¢€Š‡¦ (=ucs . #x22A5) ; ⊥ + (=gb2312 . #x214D) ; ø»„†° + (=jis-x0208-1983 . #x225D) ; ø»†’¢ + (=ks-x1001 . #x2151) ; ø»ˆš¼ + (=jis-x0208-1990 . #x225D) ; ø½‰¸– + (=cns11643-1 . #x2247) ; ø»‘„  + (=big5 . #xA1E6) ; ý¢€Š‡¦ )) (define-char '((name . "ASSERTION") @@ -1579,42 +1580,42 @@ (general-category symbol math) ; Informative Category (bidi-category . "ON") (mirrored . t) - (chinese-cns11643-1 . #x224A) ; ø»‘„£ - (=jis-x0213-1-2000 . #x2D79) ; ø»¢¥¼ - (chinese-big5 . #xA1E9) ; ý¢€Š‡© (=ucs . #x22BF) ; ⊿ + (=cns11643-1 . #x224A) ; ø»‘„£ + (=jis-x0213-1-2000 . #x2D79) ; ø»¢¥¼ + (=big5 . #xA1E9) ; ý¢€Š‡© )) (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")