((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]
(=jef-china3 . #x7FDC) ; &I-JC3-7FDC;
(=ucs@jis . #x2200) ; &J90-224F;
(=ucs@ks . #x2200) ; &J90-224F;
+ (<-fullwidth
+ ((name . "FOR ALL")
+ (=ucs . #x2200) ; ∀
+ ))
))
(define-char
'((name . "COMPLEMENT")
((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]
(=jef-china3 . #x7FE1) ; &I-JC3-7FE1;
(=ucs@jis . #x2202) ; &J90-225F;
(=ucs@ks . #x2202) ; &J90-225F;
+ (<-fullwidth
+ ((name . "PARTIAL DIFFERENTIAL")
+ (=ucs . #x2202) ; ∂
+ ))
))
(define-char
'((name . "THERE EXISTS")
((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]
(=jef-china3 . #x7FDD) ; &I-JC3-7FDD;
(=ucs@jis . #x2203) ; &J90-2250;
(=ucs@ks . #x2203) ; &J90-2250;
+ (<-fullwidth
+ ((name . "THERE EXISTS")
+ (=ucs . #x2203) ; ∃
+ ))
))
(define-char
'((name . "THERE DOES NOT EXIST")
((name . "EMPTY SET")
(=ucs . #x2205) ; ∅
))
+ (=jis-x0213-1-2000 . #x2247) ; &JX1-2247; [02-39]
+ (=ucs@jis . #x2205) ; &JX1-2247;
(<-fullwidth
((name . "EMPTY SET")
(=ucs . #x2205) ; ∅
))
- (=jis-x0213-1-2000 . #x2247) ; &JX1-2247; [02-39]
- (=ucs@jis . #x2205) ; &JX1-2247;
))
(define-char
'((name . "INCREMENT")
((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]
(=jef-china3 . #x7FE2) ; &I-JC3-7FE2;
(=ucs@jis . #x2207) ; &J90-2260;
(=ucs@ks . #x2207) ; &J90-2260;
+ (<-fullwidth
+ ((name . "NABLA")
+ (=ucs . #x2207) ; ∇
+ ))
))
(define-char
'((name . "ELEMENT OF")
((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]
(=ucs@gb . #x2208) ; &J90-223A;
(=ucs@jis . #x2208) ; &J90-223A;
(=ucs@ks . #x2208) ; &J90-223A;
+ (<-fullwidth
+ ((name . "ELEMENT OF")
+ (=ucs . #x2208) ; ∈
+ ))
))
(define-char
'((name . "NOT AN ELEMENT OF")
((name . "NOT AN ELEMENT OF")
(=ucs . #x2209) ; ∉
))
+ (=jis-x0213-1-2000 . #x2246) ; &JX1-2246; [02-38]
+ (=ucs@jis . #x2209) ; &JX1-2246;
(<-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")
((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]
(=jef-china3 . #x7FD1) ; &I-JC3-7FD1;
(=ucs@jis . #x220B) ; &J90-223B;
(=ucs@ks . #x220B) ; &J90-223B;
+ (<-fullwidth
+ ((name . "CONTAINS AS MEMBER")
+ (=ucs . #x220B) ; ∋
+ ))
))
(define-char
'((name . "DOES NOT CONTAIN AS MEMBER")
((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;
+ (<-fullwidth
+ ((name . "N-ARY PRODUCT")
+ (=ucs . #x220F) ; ∏
+ ))
))
(define-char
'((name . "N-ARY COPRODUCT")
((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;
+ (<-fullwidth
+ ((name . "N-ARY SUMMATION")
+ (=ucs . #x2211) ; ∑
+ ))
))
(define-char
'((name . "MINUS SIGN")
((name . "MINUS SIGN")
(=ucs . #x2212) ; −
))
+ (=jis-x0208 . #x215D) ; &J90-215D; [01-61]
+ (=ucs@jis . #x2212) ; &J90-215D;
(<-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")
((name . "MINUS-OR-PLUS SIGN")
(=ucs . #x2213) ; ∓
))
+ (=jis-x0213-1-2000 . #x235B) ; &JX1-235B; [03-59]
+ (=ucs@jis . #x2213) ; &JX1-235B;
(<-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")
((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;
+ (<-fullwidth
+ ((name . "DIVISION SLASH")
+ (=ucs . #x2215) ; ∕
+ ))
))
(define-char
'((name . "SET MINUS")
((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]
(=ucs@jis . #x221A) ; &J90-2265;
(=ucs@ks . #x221A) ; &J90-2265;
(=ucs@big5 . #x221A) ; &J90-2265;
+ (<-fullwidth
+ ((name . "SQUARE ROOT")
+ (=ucs . #x221A) ; √
+ ))
))
(define-char
'((name . "CUBE ROOT")
((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]
(=ucs@gb . #x221D) ; &J90-2267;
(=ucs@jis . #x221D) ; &J90-2267;
(=ucs@ks . #x221D) ; &J90-2267;
+ (<-fullwidth
+ ((name . "PROPORTIONAL TO")
+ (=ucs . #x221D) ; ∝
+ ))
))
(define-char
'((name . "INFINITY")
((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]
(=ucs@jis . #x221E) ; &J90-2167;
(=ucs@ks . #x221E) ; &J90-2167;
(=ucs@big5 . #x221E) ; &J90-2167;
+ (<-fullwidth
+ ((name . "INFINITY")
+ (=ucs . #x221E) ; ∞
+ ))
))
(define-char
'((name . "RIGHT ANGLE")
((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;
+ (<-fullwidth
+ ((name . "RIGHT ANGLE")
+ (=ucs . #x221F) ; ∟
+ ))
))
(define-char
'((name . "ANGLE")
((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]
(=ucs@jis . #x2220) ; &J90-225C;
(=ucs@ks . #x2220) ; &J90-225C;
(=ucs@big5 . #x2220) ; &J90-225C;
+ (<-fullwidth
+ ((name . "ANGLE")
+ (=ucs . #x2220) ; ∠
+ ))
))
(define-char
'((name . "MEASURED ANGLE")
((name . "DIVIDES")
(=ucs . #x2223) ; ∣
))
+ (=big5 . #xA1FD) ; &B-A1FD;
+ (=ucs@big5 . #x2223) ; &B-A1FD;
(<-fullwidth
((name . "DIVIDES")
(=ucs . #x2223) ; ∣
))
- (=big5 . #xA1FD) ; &B-A1FD;
- (=ucs@big5 . #x2223) ; &B-A1FD;
))
(define-char
'((name . "DOES NOT DIVIDE")
((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]
(=ucs@jis . #x2225) ; &JX1-2254;
(=ucs@ks . #x2225) ; &JX1-2254;
(=ucs@big5 . #x2225) ; &JX1-2254;
+ (<-fullwidth
+ ((name . "PARALLEL TO")
+ (=ucs . #x2225) ; ∥
+ ))
))
(define-char
'((name . "NOT PARALLEL TO")
((name . "NOT PARALLEL TO")
(=ucs . #x2226) ; ∦
))
+ (=jis-x0213-1-2000 . #x2255) ; &JX1-2255; [02-53]
+ (=ucs@jis . #x2226) ; &JX1-2255;
(<-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")
((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]
(=ucs@gb . #x2227) ; &J90-224A;
(=ucs@jis . #x2227) ; &J90-224A;
(=ucs@ks . #x2227) ; &J90-224A;
+ (<-fullwidth
+ ((name . "LOGICAL AND")
+ (=ucs . #x2227) ; ∧
+ ))
))
(define-char
'((name . "LOGICAL OR")
((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]
(=ucs@gb . #x2228) ; &J90-224B;
(=ucs@jis . #x2228) ; &J90-224B;
(=ucs@ks . #x2228) ; &J90-224B;
+ (<-fullwidth
+ ((name . "LOGICAL OR")
+ (=ucs . #x2228) ; ∨
+ ))
))
(define-char
'((name . "INTERSECTION")
((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]
(=ucs@jis . #x2229) ; &J90-2241;
(=ucs@ks . #x2229) ; &J90-2241;
(=ucs@big5 . #x2229) ; &J90-2241;
+ (<-fullwidth
+ ((name . "INTERSECTION")
+ (=ucs . #x2229) ; ∩
+ ))
))
(define-char
'((name . "UNION")
((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]
(=ucs@jis . #x222A) ; &J90-2240;
(=ucs@ks . #x222A) ; &J90-2240;
(=ucs@big5 . #x222A) ; &J90-2240;
+ (<-fullwidth
+ ((name . "UNION")
+ (=ucs . #x222A) ; ∪
+ ))
))
(define-char
'((name . "INTEGRAL")
((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]
(=ucs@jis . #x222B) ; &J90-2269;
(=ucs@ks . #x222B) ; &J90-2269;
(=ucs@big5 . #x222B) ; &J90-2269;
+ (<-fullwidth
+ ((name . "INTEGRAL")
+ (=ucs . #x222B) ; ∫
+ ))
))
(define-char
'((name . "DOUBLE INTEGRAL")
((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]
(=jef-china3 . #x7FE9) ; &I-JC3-7FE9;
(=ucs@jis . #x222C) ; &J90-226A;
(=ucs@ks . #x222C) ; &J90-226A;
+ (<-fullwidth
+ ((name . "DOUBLE INTEGRAL")
+ (=ucs . #x222C) ; ∬
+ ))
))
(define-char
'((name . "TRIPLE INTEGRAL")
((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]
(=ucs@jis . #x222E) ; &JX1-2D73;
(=ucs@ks . #x222E) ; &JX1-2D73;
(=ucs@big5 . #x222E) ; &JX1-2D73;
+ (<-fullwidth
+ ((name . "CONTOUR INTEGRAL")
+ (=ucs . #x222E) ; ∮
+ ))
))
(define-char
'((name . "SURFACE INTEGRAL")
((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]
(=ucs@jis . #x2234) ; &J90-2168;
(=ucs@ks . #x2234) ; &J90-2168;
(=ucs@big5 . #x2234) ; &J90-2168;
+ (<-fullwidth
+ ((name . "THEREFORE")
+ (=ucs . #x2234) ; ∴
+ ))
))
(define-char
'((name . "BECAUSE")
((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]
(=ucs@jis . #x2235) ; &J90-2268;
(=ucs@ks . #x2235) ; &J90-2268;
(=ucs@big5 . #x2235) ; &J90-2268;
+ (<-fullwidth
+ ((name . "BECAUSE")
+ (=ucs . #x2235) ; ∵
+ ))
))
(define-char
'((name . "RATIO")
((name . "RATIO")
(=ucs . #x2236) ; ∶
))
+ (=gb2312 . #x2143) ; &G0-2143; [01-35]
+ (=ucs@gb . #x2236) ; &G0-2143;
(<-fullwidth
((name . "RATIO")
(=ucs . #x2236) ; ∶
))
- (=gb2312 . #x2143) ; &G0-2143; [01-35]
- (=ucs@gb . #x2236) ; &G0-2143;
))
(define-char
'((name . "PROPORTION")
((name . "PROPORTION")
(=ucs . #x2237) ; ∷
))
+ (=gb2312 . #x214B) ; &G0-214B; [01-43]
+ (=ucs@gb . #x2237) ; &G0-214B;
(<-fullwidth
((name . "PROPORTION")
(=ucs . #x2237) ; ∷
))
- (=gb2312 . #x214B) ; &G0-214B; [01-43]
- (=ucs@gb . #x2237) ; &G0-214B;
))
(define-char
'((name . "DOT MINUS")
((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@cns . #xFF5E) ; &C1-2244;
(=ucs@ks . #x223C) ; &C1-2244;
(=ucs@big5 . #xFF5E) ; &C1-2244;
+ (<-fullwidth
+ ((name . "TILDE OPERATOR")
+ (=ucs . #x223C) ; ∼
+ ))
))
(define-char
'((name . "REVERSED TILDE")
((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]
(=ucs@gb . #x223D) ; &J90-2266;
(=ucs@jis . #x223D) ; &J90-2266;
(=ucs@ks . #x223D) ; &J90-2266;
+ (<-fullwidth
+ ((name . "REVERSED TILDE")
+ (=ucs . #x223D) ; ∽
+ ))
))
(define-char
'((name . "INVERTED LAZY S")
((name . "ASYMPTOTICALLY EQUAL TO")
(=ucs . #x2243) ; ≃
))
+ (=jis-x0213-1-2000 . #x226C) ; &JX1-226C; [02-76]
+ (=ucs@jis . #x2243) ; &JX1-226C;
(<-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")
((name . "APPROXIMATELY EQUAL TO")
(=ucs . #x2245) ; ≅
))
+ (=jis-x0213-1-2000 . #x226D) ; &JX1-226D; [02-77]
+ (=ucs@jis . #x2245) ; &JX1-226D;
(<-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")
((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;
+ (<-fullwidth
+ ((name . "ALMOST EQUAL TO")
+ (=ucs . #x2248) ; ≈
+ ))
))
(define-char
'((name . "NOT ALMOST EQUAL TO")
((name . "ALL EQUAL TO")
(=ucs . #x224C) ; ≌
))
+ (=gb2312 . #x2155) ; &G0-2155; [01-53]
+ (=ucs@gb . #x224C) ; &G0-2155;
(<-fullwidth
((name . "ALL EQUAL TO")
(=ucs . #x224C) ; ≌
))
- (=gb2312 . #x2155) ; &G0-2155; [01-53]
- (=ucs@gb . #x224C) ; &G0-2155;
))
(define-char
'((name . "EQUIVALENT TO")
((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]
(=ucs@jis . #x2252) ; &J90-2262;
(=ucs@ks . #x2252) ; &J90-2262;
(=ucs@big5 . #x2252) ; &J90-2262;
+ (<-fullwidth
+ ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
+ (=ucs . #x2252) ; ≒
+ ))
))
(define-char
'((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
((name . "NOT EQUAL TO")
(=ucs . #x2260) ; ≠
))
- (<-fullwidth
- ((name . "NOT EQUAL TO")
- (=ucs . #x2260) ; ≠
- ))
(=decomposition
((name . "FULLWIDTH EQUALS SIGN")
(=ucs . #xFF1D) ; ＝
(=ucs@jis . #x2260) ; &J90-2162;
(=ucs@ks . #x2260) ; &J90-2162;
(=ucs@big5 . #x2260) ; &J90-2162;
+ (<-fullwidth
+ ((name . "NOT EQUAL TO")
+ (=ucs . #x2260) ; ≠
+ ))
))
(define-char
'((name . "IDENTICAL TO")
((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]
(=ucs@jis . #x2261) ; &J90-2261;
(=ucs@ks . #x2261) ; &J90-2261;
(=ucs@big5 . #x2261) ; &J90-2261;
+ (<-fullwidth
+ ((name . "IDENTICAL TO")
+ (=ucs . #x2261) ; ≡
+ ))
))
(define-char
'((name . "NOT IDENTICAL TO")
((name . "NOT IDENTICAL TO")
(=ucs . #x2262) ; ≢
))
- (<-fullwidth
- ((name . "NOT IDENTICAL TO")
- (=ucs . #x2262) ; ≢
- ))
(=decomposition
((=gb2312 . #x2154) ; &J90-2261; [01-52]
(=jis-x0208@1983 . #x2261) ; &I-J83-2261; [02-65]
))
(=jis-x0213-1-2000 . #x226B) ; &JX1-226B; [02-75]
(=ucs@jis . #x2262) ; &JX1-226B;
+ (<-fullwidth
+ ((name . "NOT IDENTICAL TO")
+ (=ucs . #x2262) ; ≢
+ ))
))
(define-char
'((name . "STRICTLY EQUIVALENT TO")
((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;
+ (<-fullwidth
+ ((name . "LESS-THAN OR EQUAL TO")
+ (=ucs . #x2264) ; ≤
+ ))
))
(define-char
'((name . "GREATER-THAN OR EQUAL TO")
((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;
+ (<-fullwidth
+ ((name . "GREATER-THAN OR EQUAL TO")
+ (=ucs . #x2265) ; ≥
+ ))
))
(define-char
'((name . "LESS-THAN OVER EQUAL TO")
((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;
+ (<-fullwidth
+ ((name . "LESS-THAN OVER EQUAL TO")
+ (=ucs . #x2266) ; ≦
+ ))
))
(define-char
'((name . "GREATER-THAN OVER EQUAL TO")
((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;
+ (<-fullwidth
+ ((name . "GREATER-THAN OVER EQUAL TO")
+ (=ucs . #x2267) ; ≧
+ ))
))
(define-char
'((name . "LESS-THAN BUT NOT EQUAL TO")
((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]
(=jef-china3 . #x7FE3) ; &I-JC3-7FE3;
(=ucs@jis . #x226A) ; &J90-2263;
(=ucs@ks . #x226A) ; &J90-2263;
+ (<-fullwidth
+ ((name . "MUCH LESS-THAN")
+ (=ucs . #x226A) ; ≪
+ ))
))
(define-char
'((name . "MUCH GREATER-THAN")
((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]
(=jef-china3 . #x7FE4) ; &I-JC3-7FE4;
(=ucs@jis . #x226B) ; &J90-2264;
(=ucs@ks . #x226B) ; &J90-2264;
+ (<-fullwidth
+ ((name . "MUCH GREATER-THAN")
+ (=ucs . #x226B) ; ≫
+ ))
))
(define-char
'((name . "BETWEEN")
((name . "NOT LESS-THAN")
(=ucs . #x226E) ; ≮
))
- (<-fullwidth
- ((name . "NOT LESS-THAN")
- (=ucs . #x226E) ; ≮
- ))
(=decomposition
((name . "FULLWIDTH LESS-THAN SIGN")
(=ucs . #xFF1C) ; ＜
))
(=gb2312 . #x215A) ; &G0-215A; [01-58]
(=ucs@gb . #x226E) ; &G0-215A;
+ (<-fullwidth
+ ((name . "NOT LESS-THAN")
+ (=ucs . #x226E) ; ≮
+ ))
))
(define-char
'((name . "NOT GREATER-THAN")
((name . "NOT GREATER-THAN")
(=ucs . #x226F) ; ≯
))
- (<-fullwidth
- ((name . "NOT GREATER-THAN")
- (=ucs . #x226F) ; ≯
- ))
(=decomposition
((name . "FULLWIDTH GREATER-THAN SIGN")
(=ucs . #xFF1E) ; ＞
))
(=gb2312 . #x215B) ; &G0-215B; [01-59]
(=ucs@gb . #x226F) ; &G0-215B;
+ (<-fullwidth
+ ((name . "NOT GREATER-THAN")
+ (=ucs . #x226F) ; ≯
+ ))
))
(define-char
'((name . "NEITHER LESS-THAN NOR EQUAL TO")
((name . "LESS-THAN OR GREATER-THAN")
(=ucs . #x2276) ; ≶
))
+ (=jis-x0213-1-2000 . #x226F) ; &JX1-226F; [02-79]
+ (=ucs@jis . #x2276) ; &JX1-226F;
(<-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")
((name . "GREATER-THAN OR LESS-THAN")
(=ucs . #x2277) ; ≷
))
+ (=jis-x0213-1-2000 . #x2270) ; &JX1-2270; [02-80]
+ (=ucs@jis . #x2277) ; &JX1-2270;
(<-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")
((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]
(=jef-china3 . #x7FD4) ; &I-JC3-7FD4;
(=ucs@jis . #x2282) ; &J90-223E;
(=ucs@ks . #x2282) ; &J90-223E;
+ (<-fullwidth
+ ((name . "SUBSET OF")
+ (=ucs . #x2282) ; ⊂
+ ))
))
(define-char
'((name . "SUPERSET OF")
((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]
(=jef-china3 . #x7FD5) ; &I-JC3-7FD5;
(=ucs@jis . #x2283) ; &J90-223F;
(=ucs@ks . #x2283) ; &J90-223F;
+ (<-fullwidth
+ ((name . "SUPERSET OF")
+ (=ucs . #x2283) ; ⊃
+ ))
))
(define-char
'((name . "NOT A SUBSET OF")
((name . "NOT A SUBSET OF")
(=ucs . #x2284) ; ⊄
))
+ (=jis-x0213-1-2000 . #x2242) ; &JX1-2242; [02-34]
+ (=ucs@jis . #x2284) ; &JX1-2242;
(<-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")
((name . "NOT A SUPERSET OF")
(=ucs . #x2285) ; ⊅
))
+ (=jis-x0213-1-2000 . #x2243) ; &JX1-2243; [02-35]
+ (=ucs@jis . #x2285) ; &JX1-2243;
(<-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")
((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]
(=jef-china3 . #x7FD2) ; &I-JC3-7FD2;
(=ucs@jis . #x2286) ; &J90-223C;
(=ucs@ks . #x2286) ; &J90-223C;
+ (<-fullwidth
+ ((name . "SUBSET OF OR EQUAL TO")
+ (=ucs . #x2286) ; ⊆
+ ))
))
(define-char
'((name . "SUPERSET OF OR EQUAL TO")
((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]
(=jef-china3 . #x7FD3) ; &I-JC3-7FD3;
(=ucs@jis . #x2287) ; &J90-223D;
(=ucs@ks . #x2287) ; &J90-223D;
+ (<-fullwidth
+ ((name . "SUPERSET OF OR EQUAL TO")
+ (=ucs . #x2287) ; ⊇
+ ))
))
(define-char
'((name . "NEITHER A SUBSET OF NOR EQUAL TO")
((name . "SUBSET OF WITH NOT EQUAL TO")
(=ucs . #x228A) ; ⊊
))
+ (=jis-x0213-1-2000 . #x2244) ; &JX1-2244; [02-36]
+ (=ucs@jis . #x228A) ; &JX1-2244;
(<-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")
((name . "SUPERSET OF WITH NOT EQUAL TO")
(=ucs . #x228B) ; ⊋
))
+ (=jis-x0213-1-2000 . #x2245) ; &JX1-2245; [02-37]
+ (=ucs@jis . #x228B) ; &JX1-2245;
(<-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")
((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;
+ (<-fullwidth
+ ((name . "CIRCLED PLUS")
+ (=ucs . #x2295) ; ⊕
+ ))
))
(define-char
'((name . "CIRCLED MINUS")
((name . "CIRCLED MINUS")
(=ucs . #x2296) ; ⊖
))
+ (=jis-x0213-1-2000 . #x2252) ; &JX1-2252; [02-50]
+ (=ucs@jis . #x2296) ; &JX1-2252;
(<-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")
((name . "CIRCLED TIMES")
(=ucs . #x2297) ; ⊗
))
+ (=jis-x0213-1-2000 . #x2253) ; &JX1-2253; [02-51]
+ (=ucs@jis . #x2297) ; &JX1-2253;
(<-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")
((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]
(=ucs@cns . #x2299) ; &C1-2254;
(=ucs@ks . #x2299) ; &C1-2254;
(=ucs@big5 . #x2299) ; &C1-2254;
+ (<-fullwidth
+ ((name . "CIRCLED DOT OPERATOR")
+ (=ucs . #x2299) ; ⊙
+ ))
))
(define-char
'((name . "CIRCLED RING OPERATOR")
((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]
(=ucs@jis . #x22A5) ; &J90-225D;
(=ucs@ks . #x22A5) ; &J90-225D;
(=ucs@big5 . #x22A5) ; &J90-225D;
+ (<-fullwidth
+ ((name . "UP TACK")
+ (=ucs . #x22A5) ; ⊥
+ ))
))
(define-char
'((name . "ASSERTION")
((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;
+ (<-fullwidth
+ ((name . "RIGHT TRIANGLE")
+ (=ucs . #x22BF) ; ⊿
+ ))
))
(define-char
'((name . "N-ARY LOGICAL AND")
((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
(=ucs . #x22DA) ; ⋚
))
+ (=jis-x0213-1-2000 . #x2776) ; &JX1-2776; [07-86]
+ (=ucs@jis . #x22DA) ; &JX1-2776;
(<-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")
((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
(=ucs . #x22DB) ; ⋛
))
+ (=jis-x0213-1-2000 . #x2777) ; &JX1-2777; [07-87]
+ (=ucs@jis . #x22DB) ; &JX1-2777;
(<-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- / commitdiff