From: tomo Date: Fri, 12 Nov 2004 10:18:32 +0000 (+0000) Subject: - Use `=jis-x0208@{1983|1990}' instead of X-Git-Tag: r21-4-15-u2km-0_21-32-a~2^2~38 X-Git-Url: http://git.chise.org/gitweb/?p=chise%2Fxemacs-chise.git.1;a=commitdiff_plain;h=ec5a9097d66d0a46cfd5615ceecdf0a50e48bc43 - Use `=jis-x0208@{1983|1990}' instead of `=jis-x0208-{1983|1990}'. - Separate CJK characters from UCS characters. (): Unify JC3-7FD8. (): Separate JC3-7FD8. (): Unify JC3-7FD9. (): Separate JC3-7FD9. (): Unify JC3-7FD7. (): Separate JC3-7FD7. (): Unify JC3-7FD6. (): Separate JC3-7FD6. --- diff --git a/lisp/utf-2000/u02200-Mathematical-Operators.el b/lisp/utf-2000/u02200-Mathematical-Operators.el index 5fde2e1..ca8766d 100644 --- a/lisp/utf-2000/u02200-Mathematical-Operators.el +++ b/lisp/utf-2000/u02200-Mathematical-Operators.el @@ -5,10 +5,22 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2200) ; ∀ - (=jis-x0208-1983 . #x224F) ; &I-J83-224F; [02-47] + )) +(define-char + '((<-denotational + ((name . "FOR ALL") + (=ucs . #x2200) ; ∀ + )) + (<-fullwidth + ((name . "FOR ALL") + (=ucs . #x2200) ; ∀ + )) + (=jis-x0208@1983 . #x224F) ; &J90-224F; [02-47] (=ks-x1001 . #x2223) ; &I-K0-2223; [02-03] - (=jis-x0208-1990 . #x224F) ; &I-J90-224F; [02-47] + (=jis-x0208@1990 . #x224F) ; &I-J90-224F; [02-47] (=jef-china3 . #x7FDC) ; &I-JC3-7FDC; + (=ucs@jis . #x2200) ; &J90-224F; + (=ucs@ks . #x2200) ; &J90-224F; )) (define-char '((name . "COMPLEMENT") @@ -23,10 +35,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2202) ; ∂ - (=jis-x0208-1983 . #x225F) ; &I-J83-225F; [02-63] + )) +(define-char + '((<-denotational + ((name . "PARTIAL DIFFERENTIAL") + (=ucs . #x2202) ; ∂ + )) + (<-fullwidth + ((name . "PARTIAL DIFFERENTIAL") + (=ucs . #x2202) ; ∂ + )) + (=jis-x0208@1983 . #x225F) ; &J90-225F; [02-63] (=ks-x1001 . #x2153) ; &I-K0-2153; [01-51] - (=jis-x0208-1990 . #x225F) ; &I-J90-225F; [02-63] + (=jis-x0208@1990 . #x225F) ; &I-J90-225F; [02-63] (=jef-china3 . #x7FE1) ; &I-JC3-7FE1; + (=ucs@jis . #x2202) ; &J90-225F; + (=ucs@ks . #x2202) ; &J90-225F; )) (define-char '((name . "THERE EXISTS") @@ -34,10 +58,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2203) ; ∃ - (=jis-x0208-1983 . #x2250) ; &I-J83-2250; [02-48] + )) +(define-char + '((<-denotational + ((name . "THERE EXISTS") + (=ucs . #x2203) ; ∃ + )) + (<-fullwidth + ((name . "THERE EXISTS") + (=ucs . #x2203) ; ∃ + )) + (=jis-x0208@1983 . #x2250) ; &J90-2250; [02-48] (=ks-x1001 . #x2224) ; &I-K0-2224; [02-04] - (=jis-x0208-1990 . #x2250) ; &I-J90-2250; [02-48] + (=jis-x0208@1990 . #x2250) ; &I-J90-2250; [02-48] (=jef-china3 . #x7FDD) ; &I-JC3-7FDD; + (=ucs@jis . #x2203) ; &J90-2250; + (=ucs@ks . #x2203) ; &J90-2250; )) (define-char '((name . "THERE DOES NOT EXIST") @@ -53,7 +89,18 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2205) ; ∅ - (=jis-x0213-1-2000 . #x2247) ; &I-JX1-2247; [02-39] + )) +(define-char + '((<-denotational + ((name . "EMPTY SET") + (=ucs . #x2205) ; ∅ + )) + (<-fullwidth + ((name . "EMPTY SET") + (=ucs . #x2205) ; ∅ + )) + (=jis-x0213-1-2000 . #x2247) ; &JX1-2247; [02-39] + (=ucs@jis . #x2205) ; &JX1-2247; )) (define-char '((name . "INCREMENT") @@ -68,10 +115,22 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2207) ; ∇ - (=jis-x0208-1983 . #x2260) ; &I-J83-2260; [02-64] + )) +(define-char + '((<-denotational + ((name . "NABLA") + (=ucs . #x2207) ; ∇ + )) + (<-fullwidth + ((name . "NABLA") + (=ucs . #x2207) ; ∇ + )) + (=jis-x0208@1983 . #x2260) ; &J90-2260; [02-64] (=ks-x1001 . #x2154) ; &I-K0-2154; [01-52] - (=jis-x0208-1990 . #x2260) ; &I-J90-2260; [02-64] + (=jis-x0208@1990 . #x2260) ; &I-J90-2260; [02-64] (=jef-china3 . #x7FE2) ; &I-JC3-7FE2; + (=ucs@jis . #x2207) ; &J90-2260; + (=ucs@ks . #x2207) ; &J90-2260; )) (define-char '((name . "ELEMENT OF") @@ -79,11 +138,24 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2208) ; ∈ - (=gb2312 . #x214A) ; &I-G0-214A; [01-42] - (=jis-x0208-1983 . #x223A) ; &I-J83-223A; [02-26] + )) +(define-char + '((<-denotational + ((name . "ELEMENT OF") + (=ucs . #x2208) ; ∈ + )) + (<-fullwidth + ((name . "ELEMENT OF") + (=ucs . #x2208) ; ∈ + )) + (=gb2312 . #x214A) ; &J90-223A; [01-42] + (=jis-x0208@1983 . #x223A) ; &I-J83-223A; [02-26] (=ks-x1001 . #x2174) ; &I-K0-2174; [01-84] - (=jis-x0208-1990 . #x223A) ; &I-J90-223A; [02-26] + (=jis-x0208@1990 . #x223A) ; &I-J90-223A; [02-26] (=jef-china3 . #x7FD0) ; &I-JC3-7FD0; + (=ucs@gb . #x2208) ; &J90-223A; + (=ucs@jis . #x2208) ; &J90-223A; + (=ucs@ks . #x2208) ; &J90-223A; )) (define-char '((name . "NOT AN ELEMENT OF") @@ -92,7 +164,18 @@ (mirrored . t) (->decomposition #x2208 #x0338) (=ucs . #x2209) ; ∉ - (=jis-x0213-1-2000 . #x2246) ; &I-JX1-2246; [02-38] + )) +(define-char + '((<-denotational + ((name . "NOT AN ELEMENT OF") + (=ucs . #x2209) ; ∉ + )) + (<-fullwidth + ((name . "NOT AN ELEMENT OF") + (=ucs . #x2209) ; ∉ + )) + (=jis-x0213-1-2000 . #x2246) ; &JX1-2246; [02-38] + (=ucs@jis . #x2209) ; &JX1-2246; )) (define-char '((name . "SMALL ELEMENT OF") @@ -107,10 +190,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x220B) ; ∋ - (=jis-x0208-1983 . #x223B) ; &I-J83-223B; [02-27] + )) +(define-char + '((<-denotational + ((name . "CONTAINS AS MEMBER") + (=ucs . #x220B) ; ∋ + )) + (<-fullwidth + ((name . "CONTAINS AS MEMBER") + (=ucs . #x220B) ; ∋ + )) + (=jis-x0208@1983 . #x223B) ; &J90-223B; [02-27] (=ks-x1001 . #x2175) ; &I-K0-2175; [01-85] - (=jis-x0208-1990 . #x223B) ; &I-J90-223B; [02-27] + (=jis-x0208@1990 . #x223B) ; &I-J90-223B; [02-27] (=jef-china3 . #x7FD1) ; &I-JC3-7FD1; + (=ucs@jis . #x220B) ; &J90-223B; + (=ucs@ks . #x220B) ; &J90-223B; )) (define-char '((name . "DOES NOT CONTAIN AS MEMBER") @@ -140,8 +235,20 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x220F) ; ∏ - (=gb2312 . #x2147) ; &I-G0-2147; [01-39] + )) +(define-char + '((<-denotational + ((name . "N-ARY PRODUCT") + (=ucs . #x220F) ; ∏ + )) + (<-fullwidth + ((name . "N-ARY PRODUCT") + (=ucs . #x220F) ; ∏ + )) + (=gb2312 . #x2147) ; &K0-2233; [01-39] (=ks-x1001 . #x2233) ; &I-K0-2233; [02-19] + (=ucs@gb . #x220F) ; &K0-2233; + (=ucs@ks . #x220F) ; &K0-2233; )) (define-char '((name . "N-ARY COPRODUCT") @@ -156,8 +263,20 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2211) ; ∑ - (=gb2312 . #x2146) ; &I-G0-2146; [01-38] + )) +(define-char + '((<-denotational + ((name . "N-ARY SUMMATION") + (=ucs . #x2211) ; ∑ + )) + (<-fullwidth + ((name . "N-ARY SUMMATION") + (=ucs . #x2211) ; ∑ + )) + (=gb2312 . #x2146) ; &K0-2232; [01-38] (=ks-x1001 . #x2232) ; &I-K0-2232; [02-18] + (=ucs@gb . #x2211) ; &K0-2232; + (=ucs@ks . #x2211) ; &K0-2232; )) (define-char '((name . "MINUS SIGN") @@ -165,7 +284,18 @@ (bidi-category . "ET") (mirrored . nil) (=ucs . #x2212) ; − - (=jis-x0208 . #x215D) ; &I-J90-215D; [01-61] + )) +(define-char + '((<-denotational + ((name . "MINUS SIGN") + (=ucs . #x2212) ; − + )) + (<-fullwidth + ((name . "MINUS SIGN") + (=ucs . #x2212) ; − + )) + (=jis-x0208 . #x215D) ; &J90-215D; [01-61] + (=ucs@jis . #x2212) ; &J90-215D; )) (define-char '((name . "MINUS-OR-PLUS SIGN") @@ -173,7 +303,18 @@ (bidi-category . "ET") (mirrored . nil) (=ucs . #x2213) ; ∓ - (=jis-x0213-1-2000 . #x235B) ; &I-JX1-235B; [03-59] + )) +(define-char + '((<-denotational + ((name . "MINUS-OR-PLUS SIGN") + (=ucs . #x2213) ; ∓ + )) + (<-fullwidth + ((name . "MINUS-OR-PLUS SIGN") + (=ucs . #x2213) ; ∓ + )) + (=jis-x0213-1-2000 . #x235B) ; &JX1-235B; [03-59] + (=ucs@jis . #x2213) ; &JX1-235B; )) (define-char '((name . "DOT PLUS") @@ -188,8 +329,20 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2215) ; ∕ - (=cns11643-1 . #x2261) ; &I-C1-2261; [02-65] + )) +(define-char + '((<-denotational + ((name . "DIVISION SLASH") + (=ucs . #x2215) ; ∕ + )) + (<-fullwidth + ((name . "DIVISION SLASH") + (=ucs . #x2215) ; ∕ + )) + (=cns11643-1 . #x2261) ; &C1-2261; [02-65] (=big5 . #xA241) ; &I-B-A241; + (=ucs@cns . #x2215) ; &C1-2261; + (=ucs@big5 . #x2215) ; &C1-2261; )) (define-char '((name . "SET MINUS") @@ -225,12 +378,27 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x221A) ; √ - (=gb2312 . #x214C) ; &I-G0-214C; [01-44] - (=jis-x0208-1983 . #x2265) ; &I-J83-2265; [02-69] + )) +(define-char + '((<-denotational + ((name . "SQUARE ROOT") + (=ucs . #x221A) ; √ + )) + (<-fullwidth + ((name . "SQUARE ROOT") + (=ucs . #x221A) ; √ + )) + (=gb2312 . #x214C) ; &J90-2265; [01-44] + (=jis-x0208@1983 . #x2265) ; &I-J83-2265; [02-69] (=ks-x1001 . #x216E) ; &I-K0-216E; [01-78] - (=jis-x0208-1990 . #x2265) ; &I-J90-2265; [02-69] + (=jis-x0208@1990 . #x2265) ; &I-J90-2265; [02-69] (=cns11643-1 . #x2235) ; &I-C1-2235; [02-21] (=big5 . #xA1D4) ; &I-B-A1D4; + (=ucs@gb . #x221A) ; &J90-2265; + (=ucs@cns . #x221A) ; &J90-2265; + (=ucs@jis . #x221A) ; &J90-2265; + (=ucs@ks . #x221A) ; &J90-2265; + (=ucs@big5 . #x221A) ; &J90-2265; )) (define-char '((name . "CUBE ROOT") @@ -252,11 +420,24 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x221D) ; ∝ - (=gb2312 . #x2158) ; &I-G0-2158; [01-56] - (=jis-x0208-1983 . #x2267) ; &I-J83-2267; [02-71] + )) +(define-char + '((<-denotational + ((name . "PROPORTIONAL TO") + (=ucs . #x221D) ; ∝ + )) + (<-fullwidth + ((name . "PROPORTIONAL TO") + (=ucs . #x221D) ; ∝ + )) + (=gb2312 . #x2158) ; &J90-2267; [01-56] + (=jis-x0208@1983 . #x2267) ; &I-J83-2267; [02-71] (=ks-x1001 . #x2170) ; &I-K0-2170; [01-80] - (=jis-x0208-1990 . #x2267) ; &I-J90-2267; [02-71] + (=jis-x0208@1990 . #x2267) ; &I-J90-2267; [02-71] (=jef-china3 . #x7FE7) ; &I-JC3-7FE7; + (=ucs@gb . #x221D) ; &J90-2267; + (=ucs@jis . #x221D) ; &J90-2267; + (=ucs@ks . #x221D) ; &J90-2267; )) (define-char '((name . "INFINITY") @@ -264,11 +445,26 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x221E) ; ∞ - (=jis-x0208 . #x2167) ; &I-J90-2167; [01-71] + )) +(define-char + '((<-denotational + ((name . "INFINITY") + (=ucs . #x221E) ; ∞ + )) + (<-fullwidth + ((name . "INFINITY") + (=ucs . #x221E) ; ∞ + )) + (=jis-x0208 . #x2167) ; &J90-2167; [01-71] (=gb2312 . #x215E) ; &I-G0-215E; [01-62] (=ks-x1001 . #x2144) ; &I-K0-2144; [01-36] (=cns11643-1 . #x223C) ; &I-C1-223C; [02-28] (=big5 . #xA1DB) ; &I-B-A1DB; + (=ucs@gb . #x221E) ; &J90-2167; + (=ucs@cns . #x221E) ; &J90-2167; + (=ucs@jis . #x221E) ; &J90-2167; + (=ucs@ks . #x221E) ; &J90-2167; + (=ucs@big5 . #x221E) ; &J90-2167; )) (define-char '((name . "RIGHT ANGLE") @@ -276,9 +472,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x221F) ; ∟ - (=cns11643-1 . #x2249) ; &I-C1-2249; [02-41] + )) +(define-char + '((<-denotational + ((name . "RIGHT ANGLE") + (=ucs . #x221F) ; ∟ + )) + (<-fullwidth + ((name . "RIGHT ANGLE") + (=ucs . #x221F) ; ∟ + )) + (=cns11643-1 . #x2249) ; &JX1-2D78; [02-41] (=jis-x0213-1-2000 . #x2D78) ; &I-JX1-2D78; [13-88] (=big5 . #xA1E8) ; &I-B-A1E8; + (=ucs@cns . #x221F) ; &JX1-2D78; + (=ucs@jis . #x221F) ; &JX1-2D78; + (=ucs@big5 . #x221F) ; &JX1-2D78; )) (define-char '((name . "ANGLE") @@ -286,13 +495,28 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2220) ; ∠ - (=gb2312 . #x214F) ; &I-G0-214F; [01-47] - (=jis-x0208-1983 . #x225C) ; &I-J83-225C; [02-60] + )) +(define-char + '((<-denotational + ((name . "ANGLE") + (=ucs . #x2220) ; ∠ + )) + (<-fullwidth + ((name . "ANGLE") + (=ucs . #x2220) ; ∠ + )) + (=gb2312 . #x214F) ; &J90-225C; [01-47] + (=jis-x0208@1983 . #x225C) ; &I-J83-225C; [02-60] (=ks-x1001 . #x2150) ; &I-K0-2150; [01-48] - (=jis-x0208-1990 . #x225C) ; &I-J90-225C; [02-60] + (=jis-x0208@1990 . #x225C) ; &I-J90-225C; [02-60] (=cns11643-1 . #x2248) ; &I-C1-2248; [02-40] (=big5 . #xA1E7) ; &I-B-A1E7; (=jef-china3 . #x7FDE) ; &I-JC3-7FDE; + (=ucs@gb . #x2220) ; &J90-225C; + (=ucs@cns . #x2220) ; &J90-225C; + (=ucs@jis . #x2220) ; &J90-225C; + (=ucs@ks . #x2220) ; &J90-225C; + (=ucs@big5 . #x2220) ; &J90-225C; )) (define-char '((name . "MEASURED ANGLE") @@ -314,7 +538,18 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2223) ; ∣ - (=big5 . #xA1FD) ; &I-B-A1FD; + )) +(define-char + '((<-denotational + ((name . "DIVIDES") + (=ucs . #x2223) ; ∣ + )) + (<-fullwidth + ((name . "DIVIDES") + (=ucs . #x2223) ; ∣ + )) + (=big5 . #xA1FD) ; &B-A1FD; + (=ucs@big5 . #x2223) ; &B-A1FD; )) (define-char '((name . "DOES NOT DIVIDE") @@ -330,10 +565,24 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2225) ; ∥ - (=gb2312 . #x214E) ; &I-G0-214E; [01-46] + )) +(define-char + '((<-denotational + ((name . "PARALLEL TO") + (=ucs . #x2225) ; ∥ + )) + (<-fullwidth + ((name . "PARALLEL TO") + (=ucs . #x2225) ; ∥ + )) + (=gb2312 . #x214E) ; &JX1-2254; [01-46] (=ks-x1001 . #x212B) ; &I-K0-212B; [01-11] (=jis-x0213-1-2000 . #x2254) ; &I-JX1-2254; [02-52] (=big5 . #xA1FC) ; &I-B-A1FC; + (=ucs@gb . #x2225) ; &JX1-2254; + (=ucs@jis . #x2225) ; &JX1-2254; + (=ucs@ks . #x2225) ; &JX1-2254; + (=ucs@big5 . #x2225) ; &JX1-2254; )) (define-char '((name . "NOT PARALLEL TO") @@ -342,7 +591,18 @@ (mirrored . t) (->decomposition #x2225 #x0338) (=ucs . #x2226) ; ∦ - (=jis-x0213-1-2000 . #x2255) ; &I-JX1-2255; [02-53] + )) +(define-char + '((<-denotational + ((name . "NOT PARALLEL TO") + (=ucs . #x2226) ; ∦ + )) + (<-fullwidth + ((name . "NOT PARALLEL TO") + (=ucs . #x2226) ; ∦ + )) + (=jis-x0213-1-2000 . #x2255) ; &JX1-2255; [02-53] + (=ucs@jis . #x2226) ; &JX1-2255; )) (define-char '((name . "LOGICAL AND") @@ -350,10 +610,24 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2227) ; ∧ - (=gb2312 . #x2144) ; &I-G0-2144; [01-36] - (=jis-x0208-1983 . #x224A) ; &I-J83-224A; [02-42] + )) +(define-char + '((<-denotational + ((name . "LOGICAL AND") + (=ucs . #x2227) ; ∧ + )) + (<-fullwidth + ((name . "LOGICAL AND") + (=ucs . #x2227) ; ∧ + )) + (=gb2312 . #x2144) ; &J90-224A; [01-36] + (=jis-x0208@1983 . #x224A) ; &I-J83-224A; [02-42] (=ks-x1001 . #x217C) ; &I-K0-217C; [01-92] - (=jis-x0208-1990 . #x224A) ; &I-J90-224A; [02-42] + (=jis-x0208@1990 . #x224A) ; &I-J90-224A; [02-42] + (=jef-china3 . #x7FD8) ; &I-JC3-7FD8; + (=ucs@gb . #x2227) ; &J90-224A; + (=ucs@jis . #x2227) ; &J90-224A; + (=ucs@ks . #x2227) ; &J90-224A; )) (define-char '((name . "LOGICAL OR") @@ -361,10 +635,24 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2228) ; ∨ - (=gb2312 . #x2145) ; &I-G0-2145; [01-37] - (=jis-x0208-1983 . #x224B) ; &I-J83-224B; [02-43] + )) +(define-char + '((<-denotational + ((name . "LOGICAL OR") + (=ucs . #x2228) ; ∨ + )) + (<-fullwidth + ((name . "LOGICAL OR") + (=ucs . #x2228) ; ∨ + )) + (=gb2312 . #x2145) ; &J90-224B; [01-37] + (=jis-x0208@1983 . #x224B) ; &I-J83-224B; [02-43] (=ks-x1001 . #x217D) ; &I-K0-217D; [01-93] - (=jis-x0208-1990 . #x224B) ; &I-J90-224B; [02-43] + (=jis-x0208@1990 . #x224B) ; &I-J90-224B; [02-43] + (=jef-china3 . #x7FD9) ; &I-JC3-7FD9; + (=ucs@gb . #x2228) ; &J90-224B; + (=ucs@jis . #x2228) ; &J90-224B; + (=ucs@ks . #x2228) ; &J90-224B; )) (define-char '((name . "INTERSECTION") @@ -372,12 +660,28 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2229) ; ∩ - (=gb2312 . #x2149) ; &I-G0-2149; [01-41] - (=jis-x0208-1983 . #x2241) ; &I-J83-2241; [02-33] + )) +(define-char + '((<-denotational + ((name . "INTERSECTION") + (=ucs . #x2229) ; ∩ + )) + (<-fullwidth + ((name . "INTERSECTION") + (=ucs . #x2229) ; ∩ + )) + (=gb2312 . #x2149) ; &J90-2241; [01-41] + (=jis-x0208@1983 . #x2241) ; &I-J83-2241; [02-33] (=ks-x1001 . #x217B) ; &I-K0-217B; [01-91] - (=jis-x0208-1990 . #x2241) ; &I-J90-2241; [02-33] + (=jis-x0208@1990 . #x2241) ; &I-J90-2241; [02-33] (=cns11643-1 . #x2245) ; &I-C1-2245; [02-37] (=big5 . #xA1E4) ; &I-B-A1E4; + (=jef-china3 . #x7FD7) ; &I-JC3-7FD7; + (=ucs@gb . #x2229) ; &J90-2241; + (=ucs@cns . #x2229) ; &J90-2241; + (=ucs@jis . #x2229) ; &J90-2241; + (=ucs@ks . #x2229) ; &J90-2241; + (=ucs@big5 . #x2229) ; &J90-2241; )) (define-char '((name . "UNION") @@ -385,12 +689,28 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x222A) ; ∪ - (=gb2312 . #x2148) ; &I-G0-2148; [01-40] - (=jis-x0208-1983 . #x2240) ; &I-J83-2240; [02-32] + )) +(define-char + '((<-denotational + ((name . "UNION") + (=ucs . #x222A) ; ∪ + )) + (<-fullwidth + ((name . "UNION") + (=ucs . #x222A) ; ∪ + )) + (=gb2312 . #x2148) ; &J90-2240; [01-40] + (=jis-x0208@1983 . #x2240) ; &I-J83-2240; [02-32] (=ks-x1001 . #x217A) ; &I-K0-217A; [01-90] - (=jis-x0208-1990 . #x2240) ; &I-J90-2240; [02-32] + (=jis-x0208@1990 . #x2240) ; &I-J90-2240; [02-32] (=cns11643-1 . #x2246) ; &I-C1-2246; [02-38] (=big5 . #xA1E5) ; &I-B-A1E5; + (=jef-china3 . #x7FD6) ; &I-JC3-7FD6; + (=ucs@gb . #x222A) ; &J90-2240; + (=ucs@cns . #x222A) ; &J90-2240; + (=ucs@jis . #x222A) ; &J90-2240; + (=ucs@ks . #x222A) ; &J90-2240; + (=ucs@big5 . #x222A) ; &J90-2240; )) (define-char '((name . "INTEGRAL") @@ -398,13 +718,28 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x222B) ; ∫ - (=gb2312 . #x2152) ; &I-G0-2152; [01-50] - (=jis-x0208-1983 . #x2269) ; &I-J83-2269; [02-73] + )) +(define-char + '((<-denotational + ((name . "INTEGRAL") + (=ucs . #x222B) ; ∫ + )) + (<-fullwidth + ((name . "INTEGRAL") + (=ucs . #x222B) ; ∫ + )) + (=gb2312 . #x2152) ; &J90-2269; [01-50] + (=jis-x0208@1983 . #x2269) ; &I-J83-2269; [02-73] (=ks-x1001 . #x2172) ; &I-K0-2172; [01-82] - (=jis-x0208-1990 . #x2269) ; &I-J90-2269; [02-73] + (=jis-x0208@1990 . #x2269) ; &I-J90-2269; [02-73] (=cns11643-1 . #x224D) ; &I-C1-224D; [02-45] (=big5 . #xA1EC) ; &I-B-A1EC; (=jef-china3 . #x7FE8) ; &I-JC3-7FE8; + (=ucs@gb . #x222B) ; &J90-2269; + (=ucs@cns . #x222B) ; &J90-2269; + (=ucs@jis . #x222B) ; &J90-2269; + (=ucs@ks . #x222B) ; &J90-2269; + (=ucs@big5 . #x222B) ; &J90-2269; )) (define-char '((name . "DOUBLE INTEGRAL") @@ -413,10 +748,22 @@ (mirrored . t) (->decomposition compat #x222B #x222B) (=ucs . #x222C) ; ∬ - (=jis-x0208-1983 . #x226A) ; &I-J83-226A; [02-74] + )) +(define-char + '((<-denotational + ((name . "DOUBLE INTEGRAL") + (=ucs . #x222C) ; ∬ + )) + (<-fullwidth + ((name . "DOUBLE INTEGRAL") + (=ucs . #x222C) ; ∬ + )) + (=jis-x0208@1983 . #x226A) ; &J90-226A; [02-74] (=ks-x1001 . #x2173) ; &I-K0-2173; [01-83] - (=jis-x0208-1990 . #x226A) ; &I-J90-226A; [02-74] + (=jis-x0208@1990 . #x226A) ; &I-J90-226A; [02-74] (=jef-china3 . #x7FE9) ; &I-JC3-7FE9; + (=ucs@jis . #x222C) ; &J90-226A; + (=ucs@ks . #x222C) ; &J90-226A; )) (define-char '((name . "TRIPLE INTEGRAL") @@ -432,11 +779,26 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x222E) ; ∮ - (=gb2312 . #x2153) ; &I-G0-2153; [01-51] + )) +(define-char + '((<-denotational + ((name . "CONTOUR INTEGRAL") + (=ucs . #x222E) ; ∮ + )) + (<-fullwidth + ((name . "CONTOUR INTEGRAL") + (=ucs . #x222E) ; ∮ + )) + (=gb2312 . #x2153) ; &JX1-2D73; [01-51] (=ks-x1001 . #x2231) ; &I-K0-2231; [02-17] (=cns11643-1 . #x224E) ; &I-C1-224E; [02-46] (=jis-x0213-1-2000 . #x2D73) ; &I-JX1-2D73; [13-83] (=big5 . #xA1ED) ; &I-B-A1ED; + (=ucs@gb . #x222E) ; &JX1-2D73; + (=ucs@cns . #x222E) ; &JX1-2D73; + (=ucs@jis . #x222E) ; &JX1-2D73; + (=ucs@ks . #x222E) ; &JX1-2D73; + (=ucs@big5 . #x222E) ; &JX1-2D73; )) (define-char '((name . "SURFACE INTEGRAL") @@ -481,11 +843,26 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2234) ; ∴ - (=jis-x0208 . #x2168) ; &I-J90-2168; [01-72] + )) +(define-char + '((<-denotational + ((name . "THEREFORE") + (=ucs . #x2234) ; ∴ + )) + (<-fullwidth + ((name . "THEREFORE") + (=ucs . #x2234) ; ∴ + )) + (=jis-x0208 . #x2168) ; &J90-2168; [01-72] (=gb2312 . #x2160) ; &I-G0-2160; [01-64] (=ks-x1001 . #x2145) ; &I-K0-2145; [01-37] (=cns11643-1 . #x2250) ; &I-C1-2250; [02-48] (=big5 . #xA1EF) ; &I-B-A1EF; + (=ucs@gb . #x2234) ; &J90-2168; + (=ucs@cns . #x2234) ; &J90-2168; + (=ucs@jis . #x2234) ; &J90-2168; + (=ucs@ks . #x2234) ; &J90-2168; + (=ucs@big5 . #x2234) ; &J90-2168; )) (define-char '((name . "BECAUSE") @@ -493,12 +870,27 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2235) ; ∵ - (=gb2312 . #x215F) ; &I-G0-215F; [01-63] - (=jis-x0208-1983 . #x2268) ; &I-J83-2268; [02-72] + )) +(define-char + '((<-denotational + ((name . "BECAUSE") + (=ucs . #x2235) ; ∵ + )) + (<-fullwidth + ((name . "BECAUSE") + (=ucs . #x2235) ; ∵ + )) + (=gb2312 . #x215F) ; &J90-2268; [01-63] + (=jis-x0208@1983 . #x2268) ; &I-J83-2268; [02-72] (=ks-x1001 . #x2171) ; &I-K0-2171; [01-81] - (=jis-x0208-1990 . #x2268) ; &I-J90-2268; [02-72] + (=jis-x0208@1990 . #x2268) ; &I-J90-2268; [02-72] (=cns11643-1 . #x224F) ; &I-C1-224F; [02-47] (=big5 . #xA1EE) ; &I-B-A1EE; + (=ucs@gb . #x2235) ; &J90-2268; + (=ucs@cns . #x2235) ; &J90-2268; + (=ucs@jis . #x2235) ; &J90-2268; + (=ucs@ks . #x2235) ; &J90-2268; + (=ucs@big5 . #x2235) ; &J90-2268; )) (define-char '((name . "RATIO") @@ -506,7 +898,18 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2236) ; ∶ - (=gb2312 . #x2143) ; &I-G0-2143; [01-35] + )) +(define-char + '((<-denotational + ((name . "RATIO") + (=ucs . #x2236) ; ∶ + )) + (<-fullwidth + ((name . "RATIO") + (=ucs . #x2236) ; ∶ + )) + (=gb2312 . #x2143) ; &G0-2143; [01-35] + (=ucs@gb . #x2236) ; &G0-2143; )) (define-char '((name . "PROPORTION") @@ -514,7 +917,18 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2237) ; ∷ - (=gb2312 . #x214B) ; &I-G0-214B; [01-43] + )) +(define-char + '((<-denotational + ((name . "PROPORTION") + (=ucs . #x2237) ; ∷ + )) + (<-fullwidth + ((name . "PROPORTION") + (=ucs . #x2237) ; ∷ + )) + (=gb2312 . #x214B) ; &G0-214B; [01-43] + (=ucs@gb . #x2237) ; &G0-214B; )) (define-char '((name . "DOT MINUS") @@ -550,10 +964,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x223C) ; ∼ - (=ks-x1001 . #x212D) ; &I-K0-212D; [01-13] + )) +(define-char + '((<-denotational + ((name . "TILDE OPERATOR") + (=ucs . #x223C) ; ∼ + )) + (<-fullwidth + ((name . "TILDE OPERATOR") + (=ucs . #x223C) ; ∼ + )) + (=ks-x1001 . #x212D) ; &C1-2244; [01-13] (=cns11643-1 . #x2244) ; &I-C1-2244; [02-36] (=big5 . #xA1E3) ; &I-B-A1E3; - (=ucs@big5 . #xFF5E) ; ∼ + (=ucs@cns . #xFF5E) ; &C1-2244; + (=ucs@ks . #x223C) ; &C1-2244; + (=ucs@big5 . #xFF5E) ; &C1-2244; )) (define-char '((name . "REVERSED TILDE") @@ -562,11 +988,24 @@ (mirrored . t) (iso-10646-comment . "lazy S") (=ucs . #x223D) ; ∽ - (=gb2312 . #x2157) ; &I-G0-2157; [01-55] - (=jis-x0208-1983 . #x2266) ; &I-J83-2266; [02-70] + )) +(define-char + '((<-denotational + ((name . "REVERSED TILDE") + (=ucs . #x223D) ; ∽ + )) + (<-fullwidth + ((name . "REVERSED TILDE") + (=ucs . #x223D) ; ∽ + )) + (=gb2312 . #x2157) ; &J90-2266; [01-55] + (=jis-x0208@1983 . #x2266) ; &I-J83-2266; [02-70] (=ks-x1001 . #x216F) ; &I-K0-216F; [01-79] - (=jis-x0208-1990 . #x2266) ; &I-J90-2266; [02-70] + (=jis-x0208@1990 . #x2266) ; &I-J90-2266; [02-70] (=jef-china3 . #x7FE6) ; &I-JC3-7FE6; + (=ucs@gb . #x223D) ; &J90-2266; + (=ucs@jis . #x223D) ; &J90-2266; + (=ucs@ks . #x223D) ; &J90-2266; )) (define-char '((name . "INVERTED LAZY S") @@ -610,7 +1049,18 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2243) ; ≃ - (=jis-x0213-1-2000 . #x226C) ; &I-JX1-226C; [02-76] + )) +(define-char + '((<-denotational + ((name . "ASYMPTOTICALLY EQUAL TO") + (=ucs . #x2243) ; ≃ + )) + (<-fullwidth + ((name . "ASYMPTOTICALLY EQUAL TO") + (=ucs . #x2243) ; ≃ + )) + (=jis-x0213-1-2000 . #x226C) ; &JX1-226C; [02-76] + (=ucs@jis . #x2243) ; &JX1-226C; )) (define-char '((name . "NOT ASYMPTOTICALLY EQUAL TO") @@ -626,7 +1076,18 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2245) ; ≅ - (=jis-x0213-1-2000 . #x226D) ; &I-JX1-226D; [02-77] + )) +(define-char + '((<-denotational + ((name . "APPROXIMATELY EQUAL TO") + (=ucs . #x2245) ; ≅ + )) + (<-fullwidth + ((name . "APPROXIMATELY EQUAL TO") + (=ucs . #x2245) ; ≅ + )) + (=jis-x0213-1-2000 . #x226D) ; &JX1-226D; [02-77] + (=ucs@jis . #x2245) ; &JX1-226D; )) (define-char '((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO") @@ -649,8 +1110,20 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2248) ; ≈ - (=gb2312 . #x2156) ; &I-G0-2156; [01-54] + )) +(define-char + '((<-denotational + ((name . "ALMOST EQUAL TO") + (=ucs . #x2248) ; ≈ + )) + (<-fullwidth + ((name . "ALMOST EQUAL TO") + (=ucs . #x2248) ; ≈ + )) + (=gb2312 . #x2156) ; &JX1-226E; [01-54] (=jis-x0213-1-2000 . #x226E) ; &I-JX1-226E; [02-78] + (=ucs@gb . #x2248) ; &JX1-226E; + (=ucs@jis . #x2248) ; &JX1-226E; )) (define-char '((name . "NOT ALMOST EQUAL TO") @@ -680,7 +1153,18 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x224C) ; ≌ - (=gb2312 . #x2155) ; &I-G0-2155; [01-53] + )) +(define-char + '((<-denotational + ((name . "ALL EQUAL TO") + (=ucs . #x224C) ; ≌ + )) + (<-fullwidth + ((name . "ALL EQUAL TO") + (=ucs . #x224C) ; ≌ + )) + (=gb2312 . #x2155) ; &G0-2155; [01-53] + (=ucs@gb . #x224C) ; &G0-2155; )) (define-char '((name . "EQUIVALENT TO") @@ -723,11 +1207,25 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2252) ; ≒ - (=jis-x0208-1983 . #x2262) ; &I-J83-2262; [02-66] + )) +(define-char + '((<-denotational + ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF") + (=ucs . #x2252) ; ≒ + )) + (<-fullwidth + ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF") + (=ucs . #x2252) ; ≒ + )) + (=jis-x0208@1983 . #x2262) ; &J90-2262; [02-66] (=ks-x1001 . #x2156) ; &I-K0-2156; [01-54] - (=jis-x0208-1990 . #x2262) ; &I-J90-2262; [02-66] + (=jis-x0208@1990 . #x2262) ; &I-J90-2262; [02-66] (=cns11643-1 . #x223D) ; &I-C1-223D; [02-29] (=big5 . #xA1DC) ; &I-B-A1DC; + (=ucs@cns . #x2252) ; &J90-2262; + (=ucs@jis . #x2252) ; &J90-2262; + (=ucs@ks . #x2252) ; &J90-2262; + (=ucs@big5 . #x2252) ; &J90-2262; )) (define-char '((name . "IMAGE OF OR APPROXIMATELY EQUAL TO") @@ -827,11 +1325,27 @@ (mirrored . t) (->decomposition #x003D #x0338) (=ucs . #x2260) ; ≠ - (=jis-x0208 . #x2162) ; &I-J90-2162; [01-66] + )) +(define-char + '((->decomposition #xFF1D #x0338) + (<-denotational + ((name . "NOT EQUAL TO") + (=ucs . #x2260) ; ≠ + )) + (<-fullwidth + ((name . "NOT EQUAL TO") + (=ucs . #x2260) ; ≠ + )) + (=jis-x0208 . #x2162) ; &J90-2162; [01-66] (=gb2312 . #x2159) ; &I-G0-2159; [01-57] (=ks-x1001 . #x2141) ; &I-K0-2141; [01-33] (=cns11643-1 . #x223B) ; &I-C1-223B; [02-27] (=big5 . #xA1DA) ; &I-B-A1DA; + (=ucs@gb . #x2260) ; &J90-2162; + (=ucs@cns . #x2260) ; &J90-2162; + (=ucs@jis . #x2260) ; &J90-2162; + (=ucs@ks . #x2260) ; &J90-2162; + (=ucs@big5 . #x2260) ; &J90-2162; )) (define-char '((name . "IDENTICAL TO") @@ -839,12 +1353,27 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2261) ; ≡ - (=gb2312 . #x2154) ; &I-G0-2154; [01-52] - (=jis-x0208-1983 . #x2261) ; &I-J83-2261; [02-65] + )) +(define-char + '((<-denotational + ((name . "IDENTICAL TO") + (=ucs . #x2261) ; ≡ + )) + (<-fullwidth + ((name . "IDENTICAL TO") + (=ucs . #x2261) ; ≡ + )) + (=gb2312 . #x2154) ; &J90-2261; [01-52] + (=jis-x0208@1983 . #x2261) ; &I-J83-2261; [02-65] (=ks-x1001 . #x2155) ; &I-K0-2155; [01-53] - (=jis-x0208-1990 . #x2261) ; &I-J90-2261; [02-65] + (=jis-x0208@1990 . #x2261) ; &I-J90-2261; [02-65] (=cns11643-1 . #x223E) ; &I-C1-223E; [02-30] (=big5 . #xA1DD) ; &I-B-A1DD; + (=ucs@gb . #x2261) ; &J90-2261; + (=ucs@cns . #x2261) ; &J90-2261; + (=ucs@jis . #x2261) ; &J90-2261; + (=ucs@ks . #x2261) ; &J90-2261; + (=ucs@big5 . #x2261) ; &J90-2261; )) (define-char '((name . "NOT IDENTICAL TO") @@ -853,7 +1382,19 @@ (mirrored . t) (->decomposition #x2261 #x0338) (=ucs . #x2262) ; ≢ - (=jis-x0213-1-2000 . #x226B) ; &I-JX1-226B; [02-75] + )) +(define-char + '((->decomposition #xEC41B7 #x0338) + (<-denotational + ((name . "NOT IDENTICAL TO") + (=ucs . #x2262) ; ≢ + )) + (<-fullwidth + ((name . "NOT IDENTICAL TO") + (=ucs . #x2262) ; ≢ + )) + (=jis-x0213-1-2000 . #x226B) ; &JX1-226B; [02-75] + (=ucs@jis . #x2262) ; &JX1-226B; )) (define-char '((name . "STRICTLY EQUIVALENT TO") @@ -868,8 +1409,20 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2264) ; ≤ - (=gb2312 . #x215C) ; &I-G0-215C; [01-60] + )) +(define-char + '((<-denotational + ((name . "LESS-THAN OR EQUAL TO") + (=ucs . #x2264) ; ≤ + )) + (<-fullwidth + ((name . "LESS-THAN OR EQUAL TO") + (=ucs . #x2264) ; ≤ + )) + (=gb2312 . #x215C) ; &K0-2142; [01-60] (=ks-x1001 . #x2142) ; &I-K0-2142; [01-34] + (=ucs@gb . #x2264) ; &K0-2142; + (=ucs@ks . #x2264) ; &K0-2142; )) (define-char '((name . "GREATER-THAN OR EQUAL TO") @@ -877,8 +1430,20 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2265) ; ≥ - (=gb2312 . #x215D) ; &I-G0-215D; [01-61] + )) +(define-char + '((<-denotational + ((name . "GREATER-THAN OR EQUAL TO") + (=ucs . #x2265) ; ≥ + )) + (<-fullwidth + ((name . "GREATER-THAN OR EQUAL TO") + (=ucs . #x2265) ; ≥ + )) + (=gb2312 . #x215D) ; &K0-2143; [01-61] (=ks-x1001 . #x2143) ; &I-K0-2143; [01-35] + (=ucs@gb . #x2265) ; &K0-2143; + (=ucs@ks . #x2265) ; &K0-2143; )) (define-char '((name . "LESS-THAN OVER EQUAL TO") @@ -886,9 +1451,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2266) ; ≦ - (=jis-x0208 . #x2165) ; &I-J90-2165; [01-69] + )) +(define-char + '((<-denotational + ((name . "LESS-THAN OVER EQUAL TO") + (=ucs . #x2266) ; ≦ + )) + (<-fullwidth + ((name . "LESS-THAN OVER EQUAL TO") + (=ucs . #x2266) ; ≦ + )) + (=jis-x0208 . #x2165) ; &J90-2165; [01-69] (=cns11643-1 . #x2239) ; &I-C1-2239; [02-25] (=big5 . #xA1D8) ; &I-B-A1D8; + (=ucs@cns . #x2266) ; &J90-2165; + (=ucs@jis . #x2266) ; &J90-2165; + (=ucs@big5 . #x2266) ; &J90-2165; )) (define-char '((name . "GREATER-THAN OVER EQUAL TO") @@ -896,9 +1474,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2267) ; ≧ - (=jis-x0208 . #x2166) ; &I-J90-2166; [01-70] + )) +(define-char + '((<-denotational + ((name . "GREATER-THAN OVER EQUAL TO") + (=ucs . #x2267) ; ≧ + )) + (<-fullwidth + ((name . "GREATER-THAN OVER EQUAL TO") + (=ucs . #x2267) ; ≧ + )) + (=jis-x0208 . #x2166) ; &J90-2166; [01-70] (=cns11643-1 . #x223A) ; &I-C1-223A; [02-26] (=big5 . #xA1D9) ; &I-B-A1D9; + (=ucs@cns . #x2267) ; &J90-2166; + (=ucs@jis . #x2267) ; &J90-2166; + (=ucs@big5 . #x2267) ; &J90-2166; )) (define-char '((name . "LESS-THAN BUT NOT EQUAL TO") @@ -920,10 +1511,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x226A) ; ≪ - (=jis-x0208-1983 . #x2263) ; &I-J83-2263; [02-67] + )) +(define-char + '((<-denotational + ((name . "MUCH LESS-THAN") + (=ucs . #x226A) ; ≪ + )) + (<-fullwidth + ((name . "MUCH LESS-THAN") + (=ucs . #x226A) ; ≪ + )) + (=jis-x0208@1983 . #x2263) ; &J90-2263; [02-67] (=ks-x1001 . #x216C) ; &I-K0-216C; [01-76] - (=jis-x0208-1990 . #x2263) ; &I-J90-2263; [02-67] + (=jis-x0208@1990 . #x2263) ; &I-J90-2263; [02-67] (=jef-china3 . #x7FE3) ; &I-JC3-7FE3; + (=ucs@jis . #x226A) ; &J90-2263; + (=ucs@ks . #x226A) ; &J90-2263; )) (define-char '((name . "MUCH GREATER-THAN") @@ -931,10 +1534,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x226B) ; ≫ - (=jis-x0208-1983 . #x2264) ; &I-J83-2264; [02-68] + )) +(define-char + '((<-denotational + ((name . "MUCH GREATER-THAN") + (=ucs . #x226B) ; ≫ + )) + (<-fullwidth + ((name . "MUCH GREATER-THAN") + (=ucs . #x226B) ; ≫ + )) + (=jis-x0208@1983 . #x2264) ; &J90-2264; [02-68] (=ks-x1001 . #x216D) ; &I-K0-216D; [01-77] - (=jis-x0208-1990 . #x2264) ; &I-J90-2264; [02-68] + (=jis-x0208@1990 . #x2264) ; &I-J90-2264; [02-68] (=jef-china3 . #x7FE4) ; &I-JC3-7FE4; + (=ucs@jis . #x226B) ; &J90-2264; + (=ucs@ks . #x226B) ; &J90-2264; )) (define-char '((name . "BETWEEN") @@ -958,7 +1573,19 @@ (mirrored . t) (->decomposition #x003C #x0338) (=ucs . #x226E) ; ≮ - (=gb2312 . #x215A) ; &I-G0-215A; [01-58] + )) +(define-char + '((->decomposition #xFF1C #x0338) + (<-denotational + ((name . "NOT LESS-THAN") + (=ucs . #x226E) ; ≮ + )) + (<-fullwidth + ((name . "NOT LESS-THAN") + (=ucs . #x226E) ; ≮ + )) + (=gb2312 . #x215A) ; &G0-215A; [01-58] + (=ucs@gb . #x226E) ; &G0-215A; )) (define-char '((name . "NOT GREATER-THAN") @@ -967,7 +1594,19 @@ (mirrored . t) (->decomposition #x003E #x0338) (=ucs . #x226F) ; ≯ - (=gb2312 . #x215B) ; &I-G0-215B; [01-59] + )) +(define-char + '((->decomposition #xFF1E #x0338) + (<-denotational + ((name . "NOT GREATER-THAN") + (=ucs . #x226F) ; ≯ + )) + (<-fullwidth + ((name . "NOT GREATER-THAN") + (=ucs . #x226F) ; ≯ + )) + (=gb2312 . #x215B) ; &G0-215B; [01-59] + (=ucs@gb . #x226F) ; &G0-215B; )) (define-char '((name . "NEITHER LESS-THAN NOR EQUAL TO") @@ -1021,7 +1660,18 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2276) ; ≶ - (=jis-x0213-1-2000 . #x226F) ; &I-JX1-226F; [02-79] + )) +(define-char + '((<-denotational + ((name . "LESS-THAN OR GREATER-THAN") + (=ucs . #x2276) ; ≶ + )) + (<-fullwidth + ((name . "LESS-THAN OR GREATER-THAN") + (=ucs . #x2276) ; ≶ + )) + (=jis-x0213-1-2000 . #x226F) ; &JX1-226F; [02-79] + (=ucs@jis . #x2276) ; &JX1-226F; )) (define-char '((name . "GREATER-THAN OR LESS-THAN") @@ -1029,7 +1679,18 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2277) ; ≷ - (=jis-x0213-1-2000 . #x2270) ; &I-JX1-2270; [02-80] + )) +(define-char + '((<-denotational + ((name . "GREATER-THAN OR LESS-THAN") + (=ucs . #x2277) ; ≷ + )) + (<-fullwidth + ((name . "GREATER-THAN OR LESS-THAN") + (=ucs . #x2277) ; ≷ + )) + (=jis-x0213-1-2000 . #x2270) ; &JX1-2270; [02-80] + (=ucs@jis . #x2277) ; &JX1-2270; )) (define-char '((name . "NEITHER LESS-THAN NOR GREATER-THAN") @@ -1111,10 +1772,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2282) ; ⊂ - (=jis-x0208-1983 . #x223E) ; &I-J83-223E; [02-30] + )) +(define-char + '((<-denotational + ((name . "SUBSET OF") + (=ucs . #x2282) ; ⊂ + )) + (<-fullwidth + ((name . "SUBSET OF") + (=ucs . #x2282) ; ⊂ + )) + (=jis-x0208@1983 . #x223E) ; &J90-223E; [02-30] (=ks-x1001 . #x2178) ; &I-K0-2178; [01-88] - (=jis-x0208-1990 . #x223E) ; &I-J90-223E; [02-30] + (=jis-x0208@1990 . #x223E) ; &I-J90-223E; [02-30] (=jef-china3 . #x7FD4) ; &I-JC3-7FD4; + (=ucs@jis . #x2282) ; &J90-223E; + (=ucs@ks . #x2282) ; &J90-223E; )) (define-char '((name . "SUPERSET OF") @@ -1122,10 +1795,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2283) ; ⊃ - (=jis-x0208-1983 . #x223F) ; &I-J83-223F; [02-31] + )) +(define-char + '((<-denotational + ((name . "SUPERSET OF") + (=ucs . #x2283) ; ⊃ + )) + (<-fullwidth + ((name . "SUPERSET OF") + (=ucs . #x2283) ; ⊃ + )) + (=jis-x0208@1983 . #x223F) ; &J90-223F; [02-31] (=ks-x1001 . #x2179) ; &I-K0-2179; [01-89] - (=jis-x0208-1990 . #x223F) ; &I-J90-223F; [02-31] + (=jis-x0208@1990 . #x223F) ; &I-J90-223F; [02-31] (=jef-china3 . #x7FD5) ; &I-JC3-7FD5; + (=ucs@jis . #x2283) ; &J90-223F; + (=ucs@ks . #x2283) ; &J90-223F; )) (define-char '((name . "NOT A SUBSET OF") @@ -1134,7 +1819,18 @@ (mirrored . t) (->decomposition #x2282 #x0338) (=ucs . #x2284) ; ⊄ - (=jis-x0213-1-2000 . #x2242) ; &I-JX1-2242; [02-34] + )) +(define-char + '((<-denotational + ((name . "NOT A SUBSET OF") + (=ucs . #x2284) ; ⊄ + )) + (<-fullwidth + ((name . "NOT A SUBSET OF") + (=ucs . #x2284) ; ⊄ + )) + (=jis-x0213-1-2000 . #x2242) ; &JX1-2242; [02-34] + (=ucs@jis . #x2284) ; &JX1-2242; )) (define-char '((name . "NOT A SUPERSET OF") @@ -1143,7 +1839,18 @@ (mirrored . t) (->decomposition #x2283 #x0338) (=ucs . #x2285) ; ⊅ - (=jis-x0213-1-2000 . #x2243) ; &I-JX1-2243; [02-35] + )) +(define-char + '((<-denotational + ((name . "NOT A SUPERSET OF") + (=ucs . #x2285) ; ⊅ + )) + (<-fullwidth + ((name . "NOT A SUPERSET OF") + (=ucs . #x2285) ; ⊅ + )) + (=jis-x0213-1-2000 . #x2243) ; &JX1-2243; [02-35] + (=ucs@jis . #x2285) ; &JX1-2243; )) (define-char '((name . "SUBSET OF OR EQUAL TO") @@ -1151,10 +1858,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2286) ; ⊆ - (=jis-x0208-1983 . #x223C) ; &I-J83-223C; [02-28] + )) +(define-char + '((<-denotational + ((name . "SUBSET OF OR EQUAL TO") + (=ucs . #x2286) ; ⊆ + )) + (<-fullwidth + ((name . "SUBSET OF OR EQUAL TO") + (=ucs . #x2286) ; ⊆ + )) + (=jis-x0208@1983 . #x223C) ; &J90-223C; [02-28] (=ks-x1001 . #x2176) ; &I-K0-2176; [01-86] - (=jis-x0208-1990 . #x223C) ; &I-J90-223C; [02-28] + (=jis-x0208@1990 . #x223C) ; &I-J90-223C; [02-28] (=jef-china3 . #x7FD2) ; &I-JC3-7FD2; + (=ucs@jis . #x2286) ; &J90-223C; + (=ucs@ks . #x2286) ; &J90-223C; )) (define-char '((name . "SUPERSET OF OR EQUAL TO") @@ -1162,10 +1881,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x2287) ; ⊇ - (=jis-x0208-1983 . #x223D) ; &I-J83-223D; [02-29] + )) +(define-char + '((<-denotational + ((name . "SUPERSET OF OR EQUAL TO") + (=ucs . #x2287) ; ⊇ + )) + (<-fullwidth + ((name . "SUPERSET OF OR EQUAL TO") + (=ucs . #x2287) ; ⊇ + )) + (=jis-x0208@1983 . #x223D) ; &J90-223D; [02-29] (=ks-x1001 . #x2177) ; &I-K0-2177; [01-87] - (=jis-x0208-1990 . #x223D) ; &I-J90-223D; [02-29] + (=jis-x0208@1990 . #x223D) ; &I-J90-223D; [02-29] (=jef-china3 . #x7FD3) ; &I-JC3-7FD3; + (=ucs@jis . #x2287) ; &J90-223D; + (=ucs@ks . #x2287) ; &J90-223D; )) (define-char '((name . "NEITHER A SUBSET OF NOR EQUAL TO") @@ -1189,7 +1920,18 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x228A) ; ⊊ - (=jis-x0213-1-2000 . #x2244) ; &I-JX1-2244; [02-36] + )) +(define-char + '((<-denotational + ((name . "SUBSET OF WITH NOT EQUAL TO") + (=ucs . #x228A) ; ⊊ + )) + (<-fullwidth + ((name . "SUBSET OF WITH NOT EQUAL TO") + (=ucs . #x228A) ; ⊊ + )) + (=jis-x0213-1-2000 . #x2244) ; &JX1-2244; [02-36] + (=ucs@jis . #x228A) ; &JX1-2244; )) (define-char '((name . "SUPERSET OF WITH NOT EQUAL TO") @@ -1197,7 +1939,18 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x228B) ; ⊋ - (=jis-x0213-1-2000 . #x2245) ; &I-JX1-2245; [02-37] + )) +(define-char + '((<-denotational + ((name . "SUPERSET OF WITH NOT EQUAL TO") + (=ucs . #x228B) ; ⊋ + )) + (<-fullwidth + ((name . "SUPERSET OF WITH NOT EQUAL TO") + (=ucs . #x228B) ; ⊋ + )) + (=jis-x0213-1-2000 . #x2245) ; &JX1-2245; [02-37] + (=ucs@jis . #x228B) ; &JX1-2245; )) (define-char '((name . "MULTISET") @@ -1268,9 +2021,22 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2295) ; ⊕ - (=cns11643-1 . #x2253) ; &I-C1-2253; [02-51] + )) +(define-char + '((<-denotational + ((name . "CIRCLED PLUS") + (=ucs . #x2295) ; ⊕ + )) + (<-fullwidth + ((name . "CIRCLED PLUS") + (=ucs . #x2295) ; ⊕ + )) + (=cns11643-1 . #x2253) ; &JX1-2251; [02-51] (=jis-x0213-1-2000 . #x2251) ; &I-JX1-2251; [02-49] (=big5 . #xA1F2) ; &I-B-A1F2; + (=ucs@cns . #x2295) ; &JX1-2251; + (=ucs@jis . #x2295) ; &JX1-2251; + (=ucs@big5 . #x2295) ; &JX1-2251; )) (define-char '((name . "CIRCLED MINUS") @@ -1278,7 +2044,18 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2296) ; ⊖ - (=jis-x0213-1-2000 . #x2252) ; &I-JX1-2252; [02-50] + )) +(define-char + '((<-denotational + ((name . "CIRCLED MINUS") + (=ucs . #x2296) ; ⊖ + )) + (<-fullwidth + ((name . "CIRCLED MINUS") + (=ucs . #x2296) ; ⊖ + )) + (=jis-x0213-1-2000 . #x2252) ; &JX1-2252; [02-50] + (=ucs@jis . #x2296) ; &JX1-2252; )) (define-char '((name . "CIRCLED TIMES") @@ -1286,7 +2063,18 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2297) ; ⊗ - (=jis-x0213-1-2000 . #x2253) ; &I-JX1-2253; [02-51] + )) +(define-char + '((<-denotational + ((name . "CIRCLED TIMES") + (=ucs . #x2297) ; ⊗ + )) + (<-fullwidth + ((name . "CIRCLED TIMES") + (=ucs . #x2297) ; ⊗ + )) + (=jis-x0213-1-2000 . #x2253) ; &JX1-2253; [02-51] + (=ucs@jis . #x2297) ; &JX1-2253; )) (define-char '((name . "CIRCLED DIVISION SLASH") @@ -1301,10 +2089,24 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x2299) ; ⊙ - (=gb2312 . #x2151) ; &I-G0-2151; [01-49] + )) +(define-char + '((<-denotational + ((name . "CIRCLED DOT OPERATOR") + (=ucs . #x2299) ; ⊙ + )) + (<-fullwidth + ((name . "CIRCLED DOT OPERATOR") + (=ucs . #x2299) ; ⊙ + )) + (=gb2312 . #x2151) ; &C1-2254; [01-49] (=ks-x1001 . #x2241) ; &I-K0-2241; [02-33] (=cns11643-1 . #x2254) ; &I-C1-2254; [02-52] (=big5 . #xA1F3) ; &I-B-A1F3; + (=ucs@gb . #x2299) ; &C1-2254; + (=ucs@cns . #x2299) ; &C1-2254; + (=ucs@ks . #x2299) ; &C1-2254; + (=ucs@big5 . #x2299) ; &C1-2254; )) (define-char '((name . "CIRCLED RING OPERATOR") @@ -1389,12 +2191,27 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x22A5) ; ⊥ - (=gb2312 . #x214D) ; &I-G0-214D; [01-45] - (=jis-x0208-1983 . #x225D) ; &I-J83-225D; [02-61] + )) +(define-char + '((<-denotational + ((name . "UP TACK") + (=ucs . #x22A5) ; ⊥ + )) + (<-fullwidth + ((name . "UP TACK") + (=ucs . #x22A5) ; ⊥ + )) + (=gb2312 . #x214D) ; &J90-225D; [01-45] + (=jis-x0208@1983 . #x225D) ; &I-J83-225D; [02-61] (=ks-x1001 . #x2151) ; &I-K0-2151; [01-49] - (=jis-x0208-1990 . #x225D) ; &I-J90-225D; [02-61] + (=jis-x0208@1990 . #x225D) ; &I-J90-225D; [02-61] (=cns11643-1 . #x2247) ; &I-C1-2247; [02-39] (=big5 . #xA1E6) ; &I-B-A1E6; + (=ucs@gb . #x22A5) ; &J90-225D; + (=ucs@cns . #x22A5) ; &J90-225D; + (=ucs@jis . #x22A5) ; &J90-225D; + (=ucs@ks . #x22A5) ; &J90-225D; + (=ucs@big5 . #x22A5) ; &J90-225D; )) (define-char '((name . "ASSERTION") @@ -1581,9 +2398,22 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x22BF) ; ⊿ - (=cns11643-1 . #x224A) ; &I-C1-224A; [02-42] + )) +(define-char + '((<-denotational + ((name . "RIGHT TRIANGLE") + (=ucs . #x22BF) ; ⊿ + )) + (<-fullwidth + ((name . "RIGHT TRIANGLE") + (=ucs . #x22BF) ; ⊿ + )) + (=cns11643-1 . #x224A) ; &JX1-2D79; [02-42] (=jis-x0213-1-2000 . #x2D79) ; &I-JX1-2D79; [13-89] (=big5 . #xA1E9) ; &I-B-A1E9; + (=ucs@cns . #x22BF) ; &JX1-2D79; + (=ucs@jis . #x22BF) ; &JX1-2D79; + (=ucs@big5 . #x22BF) ; &JX1-2D79; )) (define-char '((name . "N-ARY LOGICAL AND") @@ -1591,7 +2421,6 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x22C0) ; ⋀ - (=jef-china3 . #x7FD8) ; &I-JC3-7FD8; )) (define-char '((name . "N-ARY LOGICAL OR") @@ -1599,7 +2428,6 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x22C1) ; ⋁ - (=jef-china3 . #x7FD9) ; &I-JC3-7FD9; )) (define-char '((name . "N-ARY INTERSECTION") @@ -1607,7 +2435,6 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x22C2) ; ⋂ - (=jef-china3 . #x7FD7) ; &I-JC3-7FD7; )) (define-char '((name . "N-ARY UNION") @@ -1615,7 +2442,6 @@ (bidi-category . "ON") (mirrored . nil) (=ucs . #x22C3) ; ⋃ - (=jef-china3 . #x7FD6) ; &I-JC3-7FD6; )) (define-char '((name . "DIAMOND OPERATOR") @@ -1777,7 +2603,18 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x22DA) ; ⋚ - (=jis-x0213-1-2000 . #x2776) ; &I-JX1-2776; [07-86] + )) +(define-char + '((<-denotational + ((name . "LESS-THAN EQUAL TO OR GREATER-THAN") + (=ucs . #x22DA) ; ⋚ + )) + (<-fullwidth + ((name . "LESS-THAN EQUAL TO OR GREATER-THAN") + (=ucs . #x22DA) ; ⋚ + )) + (=jis-x0213-1-2000 . #x2776) ; &JX1-2776; [07-86] + (=ucs@jis . #x22DA) ; &JX1-2776; )) (define-char '((name . "GREATER-THAN EQUAL TO OR LESS-THAN") @@ -1785,7 +2622,18 @@ (bidi-category . "ON") (mirrored . t) (=ucs . #x22DB) ; ⋛ - (=jis-x0213-1-2000 . #x2777) ; &I-JX1-2777; [07-87] + )) +(define-char + '((<-denotational + ((name . "GREATER-THAN EQUAL TO OR LESS-THAN") + (=ucs . #x22DB) ; ⋛ + )) + (<-fullwidth + ((name . "GREATER-THAN EQUAL TO OR LESS-THAN") + (=ucs . #x22DB) ; ⋛ + )) + (=jis-x0213-1-2000 . #x2777) ; &JX1-2777; [07-87] + (=ucs@jis . #x22DB) ; &JX1-2777; )) (define-char '((name . "EQUAL TO OR LESS-THAN")