+;; -*- coding: utf-8-mcs-er -*-
(define-char
'((name . "FOR ALL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jis-x0208-1983 . #x224F) ;
- (=ks-x1001 . #x2223) ;
- (=jis-x0208-1990 . #x224F) ;
- (=jef-china3 . #x7FDC) ;
(=ucs . #x2200) ; ∀
+ (=jis-x0208-1983 . #x224F) ; &I-J83-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;
))
(define-char
'((name . "COMPLEMENT")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208-1983 . #x225F) ;
- (=ks-x1001 . #x2153) ;
- (=jis-x0208-1990 . #x225F) ;
- (=jef-china3 . #x7FE1) ;
(=ucs . #x2202) ; ∂
+ (=jis-x0208-1983 . #x225F) ; &I-J83-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;
))
(define-char
'((name . "THERE EXISTS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208-1983 . #x2250) ;
- (=ks-x1001 . #x2224) ;
- (=jis-x0208-1990 . #x2250) ;
- (=jef-china3 . #x7FDD) ;
(=ucs . #x2203) ; ∃
+ (=jis-x0208-1983 . #x2250) ; &I-J83-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;
))
(define-char
'((name . "THERE DOES NOT EXIST")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jis-x0213-1-2000 . #x2247) ;
(=ucs . #x2205) ; ∅
+ (=jis-x0213-1-2000 . #x2247) ; &I-JX1-2247; [02-39]
))
(define-char
'((name . "INCREMENT")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jis-x0208-1983 . #x2260) ;
- (=ks-x1001 . #x2154) ;
- (=jis-x0208-1990 . #x2260) ;
- (=jef-china3 . #x7FE2) ;
(=ucs . #x2207) ; ∇
+ (=jis-x0208-1983 . #x2260) ; &I-J83-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;
))
(define-char
'((name . "ELEMENT OF")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x214A) ;
- (=jis-x0208-1983 . #x223A) ;
- (=ks-x1001 . #x2174) ;
- (=jis-x0208-1990 . #x223A) ;
- (=jef-china3 . #x7FD0) ;
(=ucs . #x2208) ; ∈
+ (=gb2312 . #x214A) ; &I-G0-214A; [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]
+ (=jef-china3 . #x7FD0) ; &I-JC3-7FD0;
))
(define-char
'((name . "NOT AN ELEMENT OF")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2208 #x0338)
- (=jis-x0213-1-2000 . #x2246) ;
(=ucs . #x2209) ; ∉
+ (=jis-x0213-1-2000 . #x2246) ; &I-JX1-2246; [02-38]
))
(define-char
'((name . "SMALL ELEMENT OF")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208-1983 . #x223B) ;
- (=ks-x1001 . #x2175) ;
- (=jis-x0208-1990 . #x223B) ;
- (=jef-china3 . #x7FD1) ;
(=ucs . #x220B) ; ∋
+ (=jis-x0208-1983 . #x223B) ; &I-J83-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;
))
(define-char
'((name . "DOES NOT CONTAIN AS MEMBER")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2147) ;
- (=ks-x1001 . #x2233) ;
(=ucs . #x220F) ; ∏
+ (=gb2312 . #x2147) ; &I-G0-2147; [01-39]
+ (=ks-x1001 . #x2233) ; &I-K0-2233; [02-19]
))
(define-char
'((name . "N-ARY COPRODUCT")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2146) ;
- (=ks-x1001 . #x2232) ;
(=ucs . #x2211) ; ∑
+ (=gb2312 . #x2146) ; &I-G0-2146; [01-38]
+ (=ks-x1001 . #x2232) ; &I-K0-2232; [02-18]
))
(define-char
'((name . "MINUS SIGN")
(general-category symbol math) ; Informative Category
(bidi-category . "ET")
(mirrored . nil)
- (=jis-x0208 . #x215D) ;
(=ucs . #x2212) ; −
+ (=jis-x0208 . #x215D) ; &I-J90-215D; [01-61]
))
(define-char
'((name . "MINUS-OR-PLUS SIGN")
(general-category symbol math) ; Informative Category
(bidi-category . "ET")
(mirrored . nil)
- (=jis-x0213-1-2000 . #x235B) ;
(=ucs . #x2213) ; ∓
+ (=jis-x0213-1-2000 . #x235B) ; &I-JX1-235B; [03-59]
))
(define-char
'((name . "DOT PLUS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 . #x2261) ;
- (=big5 . #xA241) ;
(=ucs . #x2215) ; ∕
+ (=cns11643-1 . #x2261) ; &I-C1-2261; [02-65]
+ (=big5 . #xA241) ; &I-B-A241;
))
(define-char
'((name . "SET MINUS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x214C) ;
- (=jis-x0208-1983 . #x2265) ;
- (=ks-x1001 . #x216E) ;
- (chinese-cns11643-1 . #x2235) ;
- (=jis-x0208-1990 . #x2265) ;
- (=big5 . #xA1D4) ;
(=ucs . #x221A) ; √
+ (=gb2312 . #x214C) ; &I-G0-214C; [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]
+ (=cns11643-1 . #x2235) ; &I-C1-2235; [02-21]
+ (=big5 . #xA1D4) ; &I-B-A1D4;
))
(define-char
'((name . "CUBE ROOT")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2158) ;
- (=jis-x0208-1983 . #x2267) ;
- (=ks-x1001 . #x2170) ;
- (=jis-x0208-1990 . #x2267) ;
- (=jef-china3 . #x7FE7) ;
(=ucs . #x221D) ; ∝
+ (=gb2312 . #x2158) ; &I-G0-2158; [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]
+ (=jef-china3 . #x7FE7) ; &I-JC3-7FE7;
))
(define-char
'((name . "INFINITY")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x215E) ;
- (=jis-x0208 . #x2167) ;
- (=ks-x1001 . #x2144) ;
- (chinese-cns11643-1 . #x223C) ;
- (=big5 . #xA1DB) ;
(=ucs . #x221E) ; ∞
+ (=jis-x0208 . #x2167) ; &I-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;
))
(define-char
'((name . "RIGHT ANGLE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 . #x2249) ;
- (=jis-x0213-1-2000 . #x2D78) ;
- (=big5 . #xA1E8) ;
(=ucs . #x221F) ; ∟
+ (=cns11643-1 . #x2249) ; &I-C1-2249; [02-41]
+ (=jis-x0213-1-2000 . #x2D78) ; &I-JX1-2D78; [13-88]
+ (=big5 . #xA1E8) ; &I-B-A1E8;
))
(define-char
'((name . "ANGLE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x214F) ;
- (=jis-x0208-1983 . #x225C) ;
- (=ks-x1001 . #x2150) ;
- (chinese-cns11643-1 . #x2248) ;
- (=jis-x0208-1990 . #x225C) ;
- (=big5 . #xA1E7) ;
- (=jef-china3 . #x7FDE) ;
(=ucs . #x2220) ; ∠
+ (=gb2312 . #x214F) ; &I-G0-214F; [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]
+ (=cns11643-1 . #x2248) ; &I-C1-2248; [02-40]
+ (=big5 . #xA1E7) ; &I-B-A1E7;
+ (=jef-china3 . #x7FDE) ; &I-JC3-7FDE;
))
(define-char
'((name . "MEASURED ANGLE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=big5 . #xA1FD) ;
(=ucs . #x2223) ; ∣
+ (=big5 . #xA1FD) ; &I-B-A1FD;
))
(define-char
'((name . "DOES NOT DIVIDE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x214E) ;
- (=ks-x1001 . #x212B) ;
- (=jis-x0213-1-2000 . #x2254) ;
- (=big5 . #xA1FC) ;
(=ucs . #x2225) ; ∥
+ (=gb2312 . #x214E) ; &I-G0-214E; [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;
))
(define-char
'((name . "NOT PARALLEL TO")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2225 #x0338)
- (=jis-x0213-1-2000 . #x2255) ;
(=ucs . #x2226) ; ∦
+ (=jis-x0213-1-2000 . #x2255) ; &I-JX1-2255; [02-53]
))
(define-char
'((name . "LOGICAL AND")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2144) ;
- (=jis-x0208-1983 . #x224A) ;
- (=ks-x1001 . #x217C) ;
- (=jis-x0208-1990 . #x224A) ;
(=ucs . #x2227) ; ∧
+ (=gb2312 . #x2144) ; &I-G0-2144; [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]
))
(define-char
'((name . "LOGICAL OR")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2145) ;
- (=jis-x0208-1983 . #x224B) ;
- (=ks-x1001 . #x217D) ;
- (=jis-x0208-1990 . #x224B) ;
(=ucs . #x2228) ; ∨
+ (=gb2312 . #x2145) ; &I-G0-2145; [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]
))
(define-char
'((name . "INTERSECTION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2149) ;
- (=jis-x0208-1983 . #x2241) ;
- (=ks-x1001 . #x217B) ;
- (chinese-cns11643-1 . #x2245) ;
- (=jis-x0208-1990 . #x2241) ;
- (=big5 . #xA1E4) ;
(=ucs . #x2229) ; ∩
+ (=gb2312 . #x2149) ; &I-G0-2149; [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]
+ (=cns11643-1 . #x2245) ; &I-C1-2245; [02-37]
+ (=big5 . #xA1E4) ; &I-B-A1E4;
))
(define-char
'((name . "UNION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2148) ;
- (=jis-x0208-1983 . #x2240) ;
- (=ks-x1001 . #x217A) ;
- (chinese-cns11643-1 . #x2246) ;
- (=jis-x0208-1990 . #x2240) ;
- (=big5 . #xA1E5) ;
(=ucs . #x222A) ; ∪
+ (=gb2312 . #x2148) ; &I-G0-2148; [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]
+ (=cns11643-1 . #x2246) ; &I-C1-2246; [02-38]
+ (=big5 . #xA1E5) ; &I-B-A1E5;
))
(define-char
'((name . "INTEGRAL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2152) ;
- (=jis-x0208-1983 . #x2269) ;
- (=ks-x1001 . #x2172) ;
- (chinese-cns11643-1 . #x224D) ;
- (=jis-x0208-1990 . #x2269) ;
- (=big5 . #xA1EC) ;
- (=jef-china3 . #x7FE8) ;
(=ucs . #x222B) ; ∫
+ (=gb2312 . #x2152) ; &I-G0-2152; [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]
+ (=cns11643-1 . #x224D) ; &I-C1-224D; [02-45]
+ (=big5 . #xA1EC) ; &I-B-A1EC;
+ (=jef-china3 . #x7FE8) ; &I-JC3-7FE8;
))
(define-char
'((name . "DOUBLE INTEGRAL")
(bidi-category . "ON")
(mirrored . t)
(->decomposition compat #x222B #x222B)
- (=jis-x0208-1983 . #x226A) ;
- (=ks-x1001 . #x2173) ;
- (=jis-x0208-1990 . #x226A) ;
- (=jef-china3 . #x7FE9) ;
(=ucs . #x222C) ; ∬
+ (=jis-x0208-1983 . #x226A) ; &I-J83-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;
))
(define-char
'((name . "TRIPLE INTEGRAL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2153) ;
- (=ks-x1001 . #x2231) ;
- (chinese-cns11643-1 . #x224E) ;
- (=jis-x0213-1-2000 . #x2D73) ;
- (=big5 . #xA1ED) ;
(=ucs . #x222E) ; ∮
+ (=gb2312 . #x2153) ; &I-G0-2153; [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;
))
(define-char
'((name . "SURFACE INTEGRAL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2160) ;
- (=jis-x0208 . #x2168) ;
- (=ks-x1001 . #x2145) ;
- (chinese-cns11643-1 . #x2250) ;
- (=big5 . #xA1EF) ;
(=ucs . #x2234) ; ∴
+ (=jis-x0208 . #x2168) ; &I-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;
))
(define-char
'((name . "BECAUSE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x215F) ;
- (=jis-x0208-1983 . #x2268) ;
- (=ks-x1001 . #x2171) ;
- (chinese-cns11643-1 . #x224F) ;
- (=jis-x0208-1990 . #x2268) ;
- (=big5 . #xA1EE) ;
(=ucs . #x2235) ; ∵
+ (=gb2312 . #x215F) ; &I-G0-215F; [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]
+ (=cns11643-1 . #x224F) ; &I-C1-224F; [02-47]
+ (=big5 . #xA1EE) ; &I-B-A1EE;
))
(define-char
'((name . "RATIO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2143) ;
(=ucs . #x2236) ; ∶
+ (=gb2312 . #x2143) ; &I-G0-2143; [01-35]
))
(define-char
'((name . "PROPORTION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x214B) ;
(=ucs . #x2237) ; ∷
+ (=gb2312 . #x214B) ; &I-G0-214B; [01-43]
))
(define-char
'((name . "DOT MINUS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=ks-x1001 . #x212D) ;
- (chinese-cns11643-1 . #x2244) ;
- (=big5 . #xA1E3) ;
- (=ucs@big5 . #xFF5E) ; ∼
(=ucs . #x223C) ; ∼
+ (=ks-x1001 . #x212D) ; &I-K0-212D; [01-13]
+ (=cns11643-1 . #x2244) ; &I-C1-2244; [02-36]
+ (=big5 . #xA1E3) ; &I-B-A1E3;
+ (=ucs@big5 . #xFF5E) ; ∼
))
(define-char
'((name . "REVERSED TILDE")
(bidi-category . "ON")
(mirrored . t)
(iso-10646-comment . "lazy S")
- (chinese-gb2312 . #x2157) ;
- (=jis-x0208-1983 . #x2266) ;
- (=ks-x1001 . #x216F) ;
- (=jis-x0208-1990 . #x2266) ;
- (=jef-china3 . #x7FE6) ;
(=ucs . #x223D) ; ∽
+ (=gb2312 . #x2157) ; &I-G0-2157; [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]
+ (=jef-china3 . #x7FE6) ; &I-JC3-7FE6;
))
(define-char
'((name . "INVERTED LAZY S")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x226C) ;
(=ucs . #x2243) ; ≃
+ (=jis-x0213-1-2000 . #x226C) ; &I-JX1-226C; [02-76]
))
(define-char
'((name . "NOT ASYMPTOTICALLY EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x226D) ;
(=ucs . #x2245) ; ≅
+ (=jis-x0213-1-2000 . #x226D) ; &I-JX1-226D; [02-77]
))
(define-char
'((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2156) ;
- (=jis-x0213-1-2000 . #x226E) ;
(=ucs . #x2248) ; ≈
+ (=gb2312 . #x2156) ; &I-G0-2156; [01-54]
+ (=jis-x0213-1-2000 . #x226E) ; &I-JX1-226E; [02-78]
))
(define-char
'((name . "NOT ALMOST EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2155) ;
(=ucs . #x224C) ; ≌
+ (=gb2312 . #x2155) ; &I-G0-2155; [01-53]
))
(define-char
'((name . "EQUIVALENT TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208-1983 . #x2262) ;
- (=ks-x1001 . #x2156) ;
- (chinese-cns11643-1 . #x223D) ;
- (=jis-x0208-1990 . #x2262) ;
- (=big5 . #xA1DC) ;
(=ucs . #x2252) ; ≒
+ (=jis-x0208-1983 . #x2262) ; &I-J83-2262; [02-66]
+ (=ks-x1001 . #x2156) ; &I-K0-2156; [01-54]
+ (=jis-x0208-1990 . #x2262) ; &I-J90-2262; [02-66]
+ (=cns11643-1 . #x223D) ; &I-C1-223D; [02-29]
+ (=big5 . #xA1DC) ; &I-B-A1DC;
))
(define-char
'((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003D #x0338)
- (chinese-gb2312 . #x2159) ;
- (=jis-x0208 . #x2162) ;
- (=ks-x1001 . #x2141) ;
- (chinese-cns11643-1 . #x223B) ;
- (=big5 . #xA1DA) ;
(=ucs . #x2260) ; ≠
+ (=jis-x0208 . #x2162) ; &I-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;
))
(define-char
'((name . "IDENTICAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2154) ;
- (=jis-x0208-1983 . #x2261) ;
- (=ks-x1001 . #x2155) ;
- (chinese-cns11643-1 . #x223E) ;
- (=jis-x0208-1990 . #x2261) ;
- (=big5 . #xA1DD) ;
(=ucs . #x2261) ; ≡
+ (=gb2312 . #x2154) ; &I-G0-2154; [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]
+ (=cns11643-1 . #x223E) ; &I-C1-223E; [02-30]
+ (=big5 . #xA1DD) ; &I-B-A1DD;
))
(define-char
'((name . "NOT IDENTICAL TO")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2261 #x0338)
- (=jis-x0213-1-2000 . #x226B) ;
(=ucs . #x2262) ; ≢
+ (=jis-x0213-1-2000 . #x226B) ; &I-JX1-226B; [02-75]
))
(define-char
'((name . "STRICTLY EQUIVALENT TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x215C) ;
- (=ks-x1001 . #x2142) ;
(=ucs . #x2264) ; ≤
+ (=gb2312 . #x215C) ; &I-G0-215C; [01-60]
+ (=ks-x1001 . #x2142) ; &I-K0-2142; [01-34]
))
(define-char
'((name . "GREATER-THAN OR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x215D) ;
- (=ks-x1001 . #x2143) ;
(=ucs . #x2265) ; ≥
+ (=gb2312 . #x215D) ; &I-G0-215D; [01-61]
+ (=ks-x1001 . #x2143) ; &I-K0-2143; [01-35]
))
(define-char
'((name . "LESS-THAN OVER EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208 . #x2165) ;
- (chinese-cns11643-1 . #x2239) ;
- (=big5 . #xA1D8) ;
(=ucs . #x2266) ; ≦
+ (=jis-x0208 . #x2165) ; &I-J90-2165; [01-69]
+ (=cns11643-1 . #x2239) ; &I-C1-2239; [02-25]
+ (=big5 . #xA1D8) ; &I-B-A1D8;
))
(define-char
'((name . "GREATER-THAN OVER EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208 . #x2166) ;
- (chinese-cns11643-1 . #x223A) ;
- (=big5 . #xA1D9) ;
(=ucs . #x2267) ; ≧
+ (=jis-x0208 . #x2166) ; &I-J90-2166; [01-70]
+ (=cns11643-1 . #x223A) ; &I-C1-223A; [02-26]
+ (=big5 . #xA1D9) ; &I-B-A1D9;
))
(define-char
'((name . "LESS-THAN BUT NOT EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208-1983 . #x2263) ;
- (=ks-x1001 . #x216C) ;
- (=jis-x0208-1990 . #x2263) ;
- (=jef-china3 . #x7FE3) ;
(=ucs . #x226A) ; ≪
+ (=jis-x0208-1983 . #x2263) ; &I-J83-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;
))
(define-char
'((name . "MUCH GREATER-THAN")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208-1983 . #x2264) ;
- (=ks-x1001 . #x216D) ;
- (=jis-x0208-1990 . #x2264) ;
- (=jef-china3 . #x7FE4) ;
(=ucs . #x226B) ; ≫
+ (=jis-x0208-1983 . #x2264) ; &I-J83-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;
))
(define-char
'((name . "BETWEEN")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003C #x0338)
- (chinese-gb2312 . #x215A) ;
(=ucs . #x226E) ; ≮
+ (=gb2312 . #x215A) ; &I-G0-215A; [01-58]
))
(define-char
'((name . "NOT GREATER-THAN")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003E #x0338)
- (chinese-gb2312 . #x215B) ;
(=ucs . #x226F) ; ≯
+ (=gb2312 . #x215B) ; &I-G0-215B; [01-59]
))
(define-char
'((name . "NEITHER LESS-THAN NOR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x226F) ;
(=ucs . #x2276) ; ≶
+ (=jis-x0213-1-2000 . #x226F) ; &I-JX1-226F; [02-79]
))
(define-char
'((name . "GREATER-THAN OR LESS-THAN")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x2270) ;
(=ucs . #x2277) ; ≷
+ (=jis-x0213-1-2000 . #x2270) ; &I-JX1-2270; [02-80]
))
(define-char
'((name . "NEITHER LESS-THAN NOR GREATER-THAN")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208-1983 . #x223E) ;
- (=ks-x1001 . #x2178) ;
- (=jis-x0208-1990 . #x223E) ;
- (=jef-china3 . #x7FD4) ;
(=ucs . #x2282) ; ⊂
+ (=jis-x0208-1983 . #x223E) ; &I-J83-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;
))
(define-char
'((name . "SUPERSET OF")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208-1983 . #x223F) ;
- (=ks-x1001 . #x2179) ;
- (=jis-x0208-1990 . #x223F) ;
- (=jef-china3 . #x7FD5) ;
(=ucs . #x2283) ; ⊃
+ (=jis-x0208-1983 . #x223F) ; &I-J83-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;
))
(define-char
'((name . "NOT A SUBSET OF")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2282 #x0338)
- (=jis-x0213-1-2000 . #x2242) ;
(=ucs . #x2284) ; ⊄
+ (=jis-x0213-1-2000 . #x2242) ; &I-JX1-2242; [02-34]
))
(define-char
'((name . "NOT A SUPERSET OF")
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2283 #x0338)
- (=jis-x0213-1-2000 . #x2243) ;
(=ucs . #x2285) ; ⊅
+ (=jis-x0213-1-2000 . #x2243) ; &I-JX1-2243; [02-35]
))
(define-char
'((name . "SUBSET OF OR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208-1983 . #x223C) ;
- (=ks-x1001 . #x2176) ;
- (=jis-x0208-1990 . #x223C) ;
- (=jef-china3 . #x7FD2) ;
(=ucs . #x2286) ; ⊆
+ (=jis-x0208-1983 . #x223C) ; &I-J83-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;
))
(define-char
'((name . "SUPERSET OF OR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208-1983 . #x223D) ;
- (=ks-x1001 . #x2177) ;
- (=jis-x0208-1990 . #x223D) ;
- (=jef-china3 . #x7FD3) ;
(=ucs . #x2287) ; ⊇
+ (=jis-x0208-1983 . #x223D) ; &I-J83-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;
))
(define-char
'((name . "NEITHER A SUBSET OF NOR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x2244) ;
(=ucs . #x228A) ; ⊊
+ (=jis-x0213-1-2000 . #x2244) ; &I-JX1-2244; [02-36]
))
(define-char
'((name . "SUPERSET OF WITH NOT EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x2245) ;
(=ucs . #x228B) ; ⊋
+ (=jis-x0213-1-2000 . #x2245) ; &I-JX1-2245; [02-37]
))
(define-char
'((name . "MULTISET")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-cns11643-1 . #x2253) ;
- (=jis-x0213-1-2000 . #x2251) ;
- (=big5 . #xA1F2) ;
(=ucs . #x2295) ; ⊕
+ (=cns11643-1 . #x2253) ; &I-C1-2253; [02-51]
+ (=jis-x0213-1-2000 . #x2251) ; &I-JX1-2251; [02-49]
+ (=big5 . #xA1F2) ; &I-B-A1F2;
))
(define-char
'((name . "CIRCLED MINUS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jis-x0213-1-2000 . #x2252) ;
(=ucs . #x2296) ; ⊖
+ (=jis-x0213-1-2000 . #x2252) ; &I-JX1-2252; [02-50]
))
(define-char
'((name . "CIRCLED TIMES")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jis-x0213-1-2000 . #x2253) ;
(=ucs . #x2297) ; ⊗
+ (=jis-x0213-1-2000 . #x2253) ; &I-JX1-2253; [02-51]
))
(define-char
'((name . "CIRCLED DIVISION SLASH")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2151) ;
- (=ks-x1001 . #x2241) ;
- (chinese-cns11643-1 . #x2254) ;
- (=big5 . #xA1F3) ;
(=ucs . #x2299) ; ⊙
+ (=gb2312 . #x2151) ; &I-G0-2151; [01-49]
+ (=ks-x1001 . #x2241) ; &I-K0-2241; [02-33]
+ (=cns11643-1 . #x2254) ; &I-C1-2254; [02-52]
+ (=big5 . #xA1F3) ; &I-B-A1F3;
))
(define-char
'((name . "CIRCLED RING OPERATOR")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x214D) ;
- (=jis-x0208-1983 . #x225D) ;
- (=ks-x1001 . #x2151) ;
- (chinese-cns11643-1 . #x2247) ;
- (=jis-x0208-1990 . #x225D) ;
- (=big5 . #xA1E6) ;
(=ucs . #x22A5) ; ⊥
+ (=gb2312 . #x214D) ; &I-G0-214D; [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]
+ (=cns11643-1 . #x2247) ; &I-C1-2247; [02-39]
+ (=big5 . #xA1E6) ; &I-B-A1E6;
))
(define-char
'((name . "ASSERTION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 . #x224A) ;
- (=jis-x0213-1-2000 . #x2D79) ;
- (=big5 . #xA1E9) ;
(=ucs . #x22BF) ; ⊿
+ (=cns11643-1 . #x224A) ; &I-C1-224A; [02-42]
+ (=jis-x0213-1-2000 . #x2D79) ; &I-JX1-2D79; [13-89]
+ (=big5 . #xA1E9) ; &I-B-A1E9;
))
(define-char
'((name . "N-ARY LOGICAL AND")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jef-china3 . #x7FD8) ;
(=ucs . #x22C0) ; ⋀
+ (=jef-china3 . #x7FD8) ; &I-JC3-7FD8;
))
(define-char
'((name . "N-ARY LOGICAL OR")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jef-china3 . #x7FD9) ;
(=ucs . #x22C1) ; ⋁
+ (=jef-china3 . #x7FD9) ; &I-JC3-7FD9;
))
(define-char
'((name . "N-ARY INTERSECTION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jef-china3 . #x7FD7) ;
(=ucs . #x22C2) ; ⋂
+ (=jef-china3 . #x7FD7) ; &I-JC3-7FD7;
))
(define-char
'((name . "N-ARY UNION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jef-china3 . #x7FD6) ;
(=ucs . #x22C3) ; ⋃
+ (=jef-china3 . #x7FD6) ; &I-JC3-7FD6;
))
(define-char
'((name . "DIAMOND OPERATOR")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x2776) ;
(=ucs . #x22DA) ; ⋚
+ (=jis-x0213-1-2000 . #x2776) ; &I-JX1-2776; [07-86]
))
(define-char
'((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x2777) ;
(=ucs . #x22DB) ; ⋛
+ (=jis-x0213-1-2000 . #x2777) ; &I-JX1-2777; [07-87]
))
(define-char
'((name . "EQUAL TO OR LESS-THAN")