(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(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")
(bidi-category . "ON")
(mirrored . nil)
(=ucs . #x22C0) ; ⋀
- (=jef-china3 . #x7FD8) ; &I-JC3-7FD8;
))
(define-char
'((name . "N-ARY LOGICAL OR")
(bidi-category . "ON")
(mirrored . nil)
(=ucs . #x22C1) ; ⋁
- (=jef-china3 . #x7FD9) ; &I-JC3-7FD9;
))
(define-char
'((name . "N-ARY INTERSECTION")
(bidi-category . "ON")
(mirrored . nil)
(=ucs . #x22C2) ; ⋂
- (=jef-china3 . #x7FD7) ; &I-JC3-7FD7;
))
(define-char
'((name . "N-ARY UNION")
(bidi-category . "ON")
(mirrored . nil)
(=ucs . #x22C3) ; ⋃
- (=jef-china3 . #x7FD6) ; &I-JC3-7FD6;
))
(define-char
'((name . "DIAMOND OPERATOR")
(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")
(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")
projects / chise / xemacs-chise.git.1 / commitdiff