+;; -*- coding: utf-8-mcs-er -*-
(define-char
'((name . "FOR ALL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0208 . #x224F) ;
- (korean-ksc5601 . #x2223) ;
- (=jis-x0208-1990 . #x224F) ;
- (=jef-china3 . #x7FDC) ;
(=ucs . #x2200) ; ∀
))
(define-char
+ '((<-denotational
+ ((name . "FOR ALL")
+ (=ucs . #x2200) ; ∀
+ ))
+ (=ucs@jis . #x2200) ; &J90-224F;
+ (=ucs@ks . #x2200) ; &J90-224F;
+ (=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-x0213-1 . #x224F) ; &I-JX1-224F; [02-47]
+ (=jef-china3 . #x7FDC) ; &I-JC3-7FDC;
+ (<-fullwidth
+ ((name . "FOR ALL")
+ (=ucs . #x2200) ; ∀
+ ))
+ ))
+(define-char
'((name . "COMPLEMENT")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x225F) ;
- (korean-ksc5601 . #x2153) ;
- (=jis-x0208-1990 . #x225F) ;
- (=jef-china3 . #x7FE1) ;
(=ucs . #x2202) ; ∂
))
(define-char
+ '((<-denotational
+ ((name . "PARTIAL DIFFERENTIAL")
+ (=ucs . #x2202) ; ∂
+ ))
+ (=ucs@jis . #x2202) ; &J90-225F;
+ (=ucs@ks . #x2202) ; &J90-225F;
+ (=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-x0213-1 . #x225F) ; &I-JX1-225F; [02-63]
+ (=jef-china3 . #x7FE1) ; &I-JC3-7FE1;
+ (<-fullwidth
+ ((name . "PARTIAL DIFFERENTIAL")
+ (=ucs . #x2202) ; ∂
+ ))
+ ))
+(define-char
'((name . "THERE EXISTS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x2250) ;
- (korean-ksc5601 . #x2224) ;
- (=jis-x0208-1990 . #x2250) ;
- (=jef-china3 . #x7FDD) ;
(=ucs . #x2203) ; ∃
))
(define-char
+ '((<-denotational
+ ((name . "THERE EXISTS")
+ (=ucs . #x2203) ; ∃
+ ))
+ (=ucs@jis . #x2203) ; &J90-2250;
+ (=ucs@ks . #x2203) ; &J90-2250;
+ (=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-x0213-1 . #x2250) ; &I-JX1-2250; [02-48]
+ (=jef-china3 . #x7FDD) ; &I-JC3-7FDD;
+ (<-fullwidth
+ ((name . "THERE EXISTS")
+ (=ucs . #x2203) ; ∃
+ ))
+ ))
+(define-char
'((name . "THERE DOES NOT EXIST")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2203 #x0338)
+ (=decomposition
+ ((name . "THERE EXISTS")
+ (=ucs . #x2203) ; ∃
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2204) ; ∄
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jis-x0213-1-2000 . #x2247) ;
(=ucs . #x2205) ; ∅
))
(define-char
+ '((<-denotational
+ ((name . "EMPTY SET")
+ (=ucs . #x2205) ; ∅
+ ))
+ (=ucs@jis . #x2205) ; &JX1-2247;
+ (=jis-x0213-1 . #x2247) ; &JX1-2247; [02-39]
+ (<-fullwidth
+ ((name . "EMPTY SET")
+ (=ucs . #x2205) ; ∅
+ ))
+ ))
+(define-char
'((name . "INCREMENT")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0208 . #x2260) ;
- (korean-ksc5601 . #x2154) ;
- (=jis-x0208-1990 . #x2260) ;
- (=jef-china3 . #x7FE2) ;
(=ucs . #x2207) ; ∇
))
(define-char
+ '((<-denotational
+ ((name . "NABLA")
+ (=ucs . #x2207) ; ∇
+ ))
+ (=ucs@jis . #x2207) ; &J90-2260;
+ (=ucs@ks . #x2207) ; &J90-2260;
+ (=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-x0213-1 . #x2260) ; &I-JX1-2260; [02-64]
+ (=jef-china3 . #x7FE2) ; &I-JC3-7FE2;
+ (<-fullwidth
+ ((name . "NABLA")
+ (=ucs . #x2207) ; ∇
+ ))
+ ))
+(define-char
'((name . "ELEMENT OF")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x214A) ;
- (japanese-jisx0208 . #x223A) ;
- (korean-ksc5601 . #x2174) ;
- (=jis-x0208-1990 . #x223A) ;
- (=jef-china3 . #x7FD0) ;
(=ucs . #x2208) ; ∈
))
(define-char
+ '((<-denotational
+ ((name . "ELEMENT OF")
+ (=ucs . #x2208) ; ∈
+ ))
+ (=ucs@gb . #x2208) ; &J90-223A;
+ (=ucs@jis . #x2208) ; &J90-223A;
+ (=ucs@ks . #x2208) ; &J90-223A;
+ (=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-x0213-1 . #x223A) ; &I-JX1-223A; [02-26]
+ (=jef-china3 . #x7FD0) ; &I-JC3-7FD0;
+ (<-fullwidth
+ ((name . "ELEMENT OF")
+ (=ucs . #x2208) ; ∈
+ ))
+ ))
+(define-char
'((name . "NOT AN ELEMENT OF")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2208 #x0338)
- (=jis-x0213-1-2000 . #x2246) ;
+ (=decomposition
+ ((name . "ELEMENT OF")
+ (=ucs . #x2208) ; ∈
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2209) ; ∉
))
(define-char
+ '((<-denotational
+ ((name . "NOT AN ELEMENT OF")
+ (=ucs . #x2209) ; ∉
+ ))
+ (=ucs@jis . #x2209) ; &JX1-2246;
+ (=jis-x0213-1 . #x2246) ; &JX1-2246; [02-38]
+ (<-fullwidth
+ ((name . "NOT AN ELEMENT OF")
+ (=ucs . #x2209) ; ∉
+ ))
+ ))
+(define-char
'((name . "SMALL ELEMENT OF")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x223B) ;
- (korean-ksc5601 . #x2175) ;
- (=jis-x0208-1990 . #x223B) ;
- (=jef-china3 . #x7FD1) ;
(=ucs . #x220B) ; ∋
))
(define-char
+ '((<-denotational
+ ((name . "CONTAINS AS MEMBER")
+ (=ucs . #x220B) ; ∋
+ ))
+ (=ucs@jis . #x220B) ; &J90-223B;
+ (=ucs@ks . #x220B) ; &J90-223B;
+ (=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-x0213-1 . #x223B) ; &I-JX1-223B; [02-27]
+ (=jef-china3 . #x7FD1) ; &I-JC3-7FD1;
+ (<-fullwidth
+ ((name . "CONTAINS AS MEMBER")
+ (=ucs . #x220B) ; ∋
+ ))
+ ))
+(define-char
'((name . "DOES NOT CONTAIN AS MEMBER")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x220B #x0338)
+ (=decomposition
+ ((name . "CONTAINS AS MEMBER")
+ (=ucs . #x220B) ; ∋
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x220C) ; ∌
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2147) ;
- (korean-ksc5601 . #x2233) ;
(=ucs . #x220F) ; ∏
))
(define-char
+ '((<-denotational
+ ((name . "N-ARY PRODUCT")
+ (=ucs . #x220F) ; ∏
+ ))
+ (=ucs@gb . #x220F) ; &K0-2233;
+ (=ucs@ks . #x220F) ; &K0-2233;
+ (=gb2312 . #x2147) ; &K0-2233; [01-39]
+ (=ks-x1001 . #x2233) ; &I-K0-2233; [02-19]
+ (<-fullwidth
+ ((name . "N-ARY PRODUCT")
+ (=ucs . #x220F) ; ∏
+ ))
+ ))
+(define-char
'((name . "N-ARY COPRODUCT")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2146) ;
- (korean-ksc5601 . #x2232) ;
(=ucs . #x2211) ; ∑
))
(define-char
+ '((<-denotational
+ ((name . "N-ARY SUMMATION")
+ (=ucs . #x2211) ; ∑
+ ))
+ (=ucs@gb . #x2211) ; &K0-2232;
+ (=ucs@ks . #x2211) ; &K0-2232;
+ (=gb2312 . #x2146) ; &K0-2232; [01-38]
+ (=ks-x1001 . #x2232) ; &I-K0-2232; [02-18]
+ (<-fullwidth
+ ((name . "N-ARY SUMMATION")
+ (=ucs . #x2211) ; ∑
+ ))
+ ))
+(define-char
'((name . "MINUS SIGN")
(general-category symbol math) ; Informative Category
(bidi-category . "ET")
(mirrored . nil)
- (=jis-x0208 . #x215D) ;
(=ucs . #x2212) ; −
))
(define-char
+ '((<-denotational
+ ((name . "MINUS SIGN")
+ (=ucs . #x2212) ; −
+ ))
+ (=ucs@jis . #x2212) ; &J90-215D;
+ (=jis-x0208 . #x215D) ; &J90-215D; [01-61]
+ (=jis-x0213-1 . #x215D) ; &I-JX1-215D; [01-61]
+ (<-fullwidth
+ ((name . "MINUS SIGN")
+ (=ucs . #x2212) ; −
+ ))
+ ))
+(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) ; ∓
))
(define-char
+ '((<-denotational
+ ((name . "MINUS-OR-PLUS SIGN")
+ (=ucs . #x2213) ; ∓
+ ))
+ (=ucs@jis . #x2213) ; &JX1-235B;
+ (=jis-x0213-1 . #x235B) ; &JX1-235B; [03-59]
+ (<-fullwidth
+ ((name . "MINUS-OR-PLUS SIGN")
+ (=ucs . #x2213) ; ∓
+ ))
+ ))
+(define-char
'((name . "DOT PLUS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 . #x2261) ;
- (chinese-big5 . #xA241) ;
(=ucs . #x2215) ; ∕
))
(define-char
+ '((<-denotational
+ ((name . "DIVISION SLASH")
+ (=ucs . #x2215) ; ∕
+ ))
+ (=ucs@cns . #x2215) ; &C1-2261;
+ (=ucs@big5 . #x2215) ; &C1-2261;
+ (=cns11643-1 . #x2261) ; &C1-2261; [02-65]
+ (=big5 . #xA241) ; &I-B-A241;
+ (<-fullwidth
+ ((name . "DIVISION SLASH")
+ (=ucs . #x2215) ; ∕
+ ))
+ ))
+(define-char
'((name . "SET MINUS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x214C) ;
- (japanese-jisx0208 . #x2265) ;
- (korean-ksc5601 . #x216E) ;
- (chinese-cns11643-1 . #x2235) ;
- (=jis-x0208-1990 . #x2265) ;
- (chinese-big5 . #xA1D4) ;
(=ucs . #x221A) ; √
))
(define-char
+ '((<-denotational
+ ((name . "SQUARE ROOT")
+ (=ucs . #x221A) ; √
+ ))
+ (=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;
+ (=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]
+ (=cns11643-1 . #x2235) ; &I-C1-2235; [02-21]
+ (=jis-x0213-1 . #x2265) ; &I-JX1-2265; [02-69]
+ (=big5 . #xA1D4) ; &I-B-A1D4;
+ (<-fullwidth
+ ((name . "SQUARE ROOT")
+ (=ucs . #x221A) ; √
+ ))
+ ))
+(define-char
'((name . "CUBE ROOT")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2158) ;
- (japanese-jisx0208 . #x2267) ;
- (korean-ksc5601 . #x2170) ;
- (=jis-x0208-1990 . #x2267) ;
- (=jef-china3 . #x7FE7) ;
(=ucs . #x221D) ; ∝
))
(define-char
+ '((<-denotational
+ ((name . "PROPORTIONAL TO")
+ (=ucs . #x221D) ; ∝
+ ))
+ (=ucs@gb . #x221D) ; &J90-2267;
+ (=ucs@jis . #x221D) ; &J90-2267;
+ (=ucs@ks . #x221D) ; &J90-2267;
+ (=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-x0213-1 . #x2267) ; &I-JX1-2267; [02-71]
+ (=jef-china3 . #x7FE7) ; &I-JC3-7FE7;
+ (<-fullwidth
+ ((name . "PROPORTIONAL TO")
+ (=ucs . #x221D) ; ∝
+ ))
+ ))
+(define-char
'((name . "INFINITY")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x215E) ;
- (=jis-x0208 . #x2167) ;
- (korean-ksc5601 . #x2144) ;
- (chinese-cns11643-1 . #x223C) ;
- (chinese-big5 . #xA1DB) ;
(=ucs . #x221E) ; ∞
))
(define-char
+ '((<-denotational
+ ((name . "INFINITY")
+ (=ucs . #x221E) ; ∞
+ ))
+ (=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;
+ (=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]
+ (=jis-x0213-1 . #x2167) ; &I-JX1-2167; [01-71]
+ (=big5 . #xA1DB) ; &I-B-A1DB;
+ (<-fullwidth
+ ((name . "INFINITY")
+ (=ucs . #x221E) ; ∞
+ ))
+ ))
+(define-char
'((name . "RIGHT ANGLE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 . #x2249) ;
- (=jis-x0213-1-2000 . #x2D78) ;
- (chinese-big5 . #xA1E8) ;
(=ucs . #x221F) ; ∟
))
(define-char
+ '((<-denotational
+ ((name . "RIGHT ANGLE")
+ (=ucs . #x221F) ; ∟
+ ))
+ (=ucs@cns . #x221F) ; &JX1-2D78;
+ (=ucs@jis . #x221F) ; &JX1-2D78;
+ (=ucs@big5 . #x221F) ; &JX1-2D78;
+ (=cns11643-1 . #x2249) ; &JX1-2D78; [02-41]
+ (=jis-x0213-1 . #x2D78) ; &I-JX1-2D78; [13-88]
+ (=big5 . #xA1E8) ; &I-B-A1E8;
+ (<-fullwidth
+ ((name . "RIGHT ANGLE")
+ (=ucs . #x221F) ; ∟
+ ))
+ ))
+(define-char
'((name . "ANGLE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x214F) ;
- (japanese-jisx0208 . #x225C) ;
- (korean-ksc5601 . #x2150) ;
- (chinese-cns11643-1 . #x2248) ;
- (=jis-x0208-1990 . #x225C) ;
- (chinese-big5 . #xA1E7) ;
- (=jef-china3 . #x7FDE) ;
(=ucs . #x2220) ; ∠
))
(define-char
+ '((<-denotational
+ ((name . "ANGLE")
+ (=ucs . #x2220) ; ∠
+ ))
+ (=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;
+ (=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]
+ (=cns11643-1 . #x2248) ; &I-C1-2248; [02-40]
+ (=jis-x0213-1 . #x225C) ; &I-JX1-225C; [02-60]
+ (=big5 . #xA1E7) ; &I-B-A1E7;
+ (=jef-china3 . #x7FDE) ; &I-JC3-7FDE;
+ (<-fullwidth
+ ((name . "ANGLE")
+ (=ucs . #x2220) ; ∠
+ ))
+ ))
+(define-char
'((name . "MEASURED ANGLE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-big5 . #xA1FD) ;
(=ucs . #x2223) ; ∣
))
(define-char
+ '((<-denotational
+ ((name . "DIVIDES")
+ (=ucs . #x2223) ; ∣
+ ))
+ (=ucs@big5 . #x2223) ; &B-A1FD;
+ (=big5 . #xA1FD) ; &B-A1FD;
+ (<-fullwidth
+ ((name . "DIVIDES")
+ (=ucs . #x2223) ; ∣
+ ))
+ ))
+(define-char
'((name . "DOES NOT DIVIDE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2223 #x0338)
+ (=decomposition
+ ((name . "DIVIDES")
+ (=ucs . #x2223) ; ∣
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2224) ; ∤
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x214E) ;
- (korean-ksc5601 . #x212B) ;
- (=jis-x0213-1-2000 . #x2254) ;
- (chinese-big5 . #xA1FC) ;
(=ucs . #x2225) ; ∥
))
(define-char
+ '((<-denotational
+ ((name . "PARALLEL TO")
+ (=ucs . #x2225) ; ∥
+ ))
+ (=ucs@gb . #x2225) ; &JX1-2254;
+ (=ucs@jis . #x2225) ; &JX1-2254;
+ (=ucs@ks . #x2225) ; &JX1-2254;
+ (=ucs@big5 . #x2225) ; &JX1-2254;
+ (=gb2312 . #x214E) ; &JX1-2254; [01-46]
+ (=ks-x1001 . #x212B) ; &I-K0-212B; [01-11]
+ (=jis-x0213-1 . #x2254) ; &I-JX1-2254; [02-52]
+ (=big5 . #xA1FC) ; &I-B-A1FC;
+ (<-fullwidth
+ ((name . "PARALLEL TO")
+ (=ucs . #x2225) ; ∥
+ ))
+ ))
+(define-char
'((name . "NOT PARALLEL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2225 #x0338)
- (=jis-x0213-1-2000 . #x2255) ;
+ (=decomposition
+ ((name . "PARALLEL TO")
+ (=ucs . #x2225) ; ∥
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2226) ; ∦
))
(define-char
+ '((<-denotational
+ ((name . "NOT PARALLEL TO")
+ (=ucs . #x2226) ; ∦
+ ))
+ (=ucs@jis . #x2226) ; &JX1-2255;
+ (=jis-x0213-1 . #x2255) ; &JX1-2255; [02-53]
+ (<-fullwidth
+ ((name . "NOT PARALLEL TO")
+ (=ucs . #x2226) ; ∦
+ ))
+ ))
+(define-char
'((name . "LOGICAL AND")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2144) ;
- (japanese-jisx0208 . #x224A) ;
- (korean-ksc5601 . #x217C) ;
- (=jis-x0208-1990 . #x224A) ;
(=ucs . #x2227) ; ∧
))
(define-char
+ '((<-denotational
+ ((name . "LOGICAL AND")
+ (=ucs . #x2227) ; ∧
+ ))
+ (=ucs@gb . #x2227) ; &J90-224A;
+ (=ucs@jis . #x2227) ; &J90-224A;
+ (=ucs@ks . #x2227) ; &J90-224A;
+ (=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-x0213-1 . #x224A) ; &I-JX1-224A; [02-42]
+ (=jef-china3 . #x7FD8) ; &I-JC3-7FD8;
+ (<-fullwidth
+ ((name . "LOGICAL AND")
+ (=ucs . #x2227) ; ∧
+ ))
+ ))
+(define-char
'((name . "LOGICAL OR")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2145) ;
- (japanese-jisx0208 . #x224B) ;
- (korean-ksc5601 . #x217D) ;
- (=jis-x0208-1990 . #x224B) ;
(=ucs . #x2228) ; ∨
))
(define-char
+ '((<-denotational
+ ((name . "LOGICAL OR")
+ (=ucs . #x2228) ; ∨
+ ))
+ (=ucs@gb . #x2228) ; &J90-224B;
+ (=ucs@jis . #x2228) ; &J90-224B;
+ (=ucs@ks . #x2228) ; &J90-224B;
+ (=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-x0213-1 . #x224B) ; &I-JX1-224B; [02-43]
+ (=jef-china3 . #x7FD9) ; &I-JC3-7FD9;
+ (<-fullwidth
+ ((name . "LOGICAL OR")
+ (=ucs . #x2228) ; ∨
+ ))
+ ))
+(define-char
'((name . "INTERSECTION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2149) ;
- (japanese-jisx0208 . #x2241) ;
- (korean-ksc5601 . #x217B) ;
- (chinese-cns11643-1 . #x2245) ;
- (=jis-x0208-1990 . #x2241) ;
- (chinese-big5 . #xA1E4) ;
(=ucs . #x2229) ; ∩
))
(define-char
+ '((<-denotational
+ ((name . "INTERSECTION")
+ (=ucs . #x2229) ; ∩
+ ))
+ (=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;
+ (=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]
+ (=cns11643-1 . #x2245) ; &I-C1-2245; [02-37]
+ (=jis-x0213-1 . #x2241) ; &I-JX1-2241; [02-33]
+ (=big5 . #xA1E4) ; &I-B-A1E4;
+ (=jef-china3 . #x7FD7) ; &I-JC3-7FD7;
+ (<-fullwidth
+ ((name . "INTERSECTION")
+ (=ucs . #x2229) ; ∩
+ ))
+ ))
+(define-char
'((name . "UNION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2148) ;
- (japanese-jisx0208 . #x2240) ;
- (korean-ksc5601 . #x217A) ;
- (chinese-cns11643-1 . #x2246) ;
- (=jis-x0208-1990 . #x2240) ;
- (chinese-big5 . #xA1E5) ;
(=ucs . #x222A) ; ∪
))
(define-char
+ '((<-denotational
+ ((name . "UNION")
+ (=ucs . #x222A) ; ∪
+ ))
+ (=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;
+ (=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]
+ (=cns11643-1 . #x2246) ; &I-C1-2246; [02-38]
+ (=jis-x0213-1 . #x2240) ; &I-JX1-2240; [02-32]
+ (=big5 . #xA1E5) ; &I-B-A1E5;
+ (=jef-china3 . #x7FD6) ; &I-JC3-7FD6;
+ (<-fullwidth
+ ((name . "UNION")
+ (=ucs . #x222A) ; ∪
+ ))
+ ))
+(define-char
'((name . "INTEGRAL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2152) ;
- (japanese-jisx0208 . #x2269) ;
- (korean-ksc5601 . #x2172) ;
- (chinese-cns11643-1 . #x224D) ;
- (=jis-x0208-1990 . #x2269) ;
- (chinese-big5 . #xA1EC) ;
- (=jef-china3 . #x7FE8) ;
(=ucs . #x222B) ; ∫
))
(define-char
+ '((<-denotational
+ ((name . "INTEGRAL")
+ (=ucs . #x222B) ; ∫
+ ))
+ (=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;
+ (=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]
+ (=cns11643-1 . #x224D) ; &I-C1-224D; [02-45]
+ (=jis-x0213-1 . #x2269) ; &I-JX1-2269; [02-73]
+ (=big5 . #xA1EC) ; &I-B-A1EC;
+ (=jef-china3 . #x7FE8) ; &I-JC3-7FE8;
+ (<-fullwidth
+ ((name . "INTEGRAL")
+ (=ucs . #x222B) ; ∫
+ ))
+ ))
+(define-char
'((name . "DOUBLE INTEGRAL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition compat #x222B #x222B)
- (japanese-jisx0208 . #x226A) ;
- (korean-ksc5601 . #x2173) ;
- (=jis-x0208-1990 . #x226A) ;
- (=jef-china3 . #x7FE9) ;
+ (=>decomposition@compat
+ ((name . "INTEGRAL")
+ (=ucs . #x222B) ; ∫
+ )
+ ((name . "INTEGRAL")
+ (=ucs . #x222B) ; ∫
+ ))
(=ucs . #x222C) ; ∬
))
(define-char
+ '((<-denotational
+ ((name . "DOUBLE INTEGRAL")
+ (=ucs . #x222C) ; ∬
+ ))
+ (=ucs@jis . #x222C) ; &J90-226A;
+ (=ucs@ks . #x222C) ; &J90-226A;
+ (=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-x0213-1 . #x226A) ; &I-JX1-226A; [02-74]
+ (=jef-china3 . #x7FE9) ; &I-JC3-7FE9;
+ (<-fullwidth
+ ((name . "DOUBLE INTEGRAL")
+ (=ucs . #x222C) ; ∬
+ ))
+ ))
+(define-char
'((name . "TRIPLE INTEGRAL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition compat #x222B #x222B #x222B)
+ (=>decomposition@compat
+ ((name . "INTEGRAL")
+ (=ucs . #x222B) ; ∫
+ )
+ ((name . "INTEGRAL")
+ (=ucs . #x222B) ; ∫
+ )
+ ((name . "INTEGRAL")
+ (=ucs . #x222B) ; ∫
+ ))
(=ucs . #x222D) ; ∭
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2153) ;
- (korean-ksc5601 . #x2231) ;
- (chinese-cns11643-1 . #x224E) ;
- (=jis-x0213-1-2000 . #x2D73) ;
- (chinese-big5 . #xA1ED) ;
(=ucs . #x222E) ; ∮
))
(define-char
+ '((<-denotational
+ ((name . "CONTOUR INTEGRAL")
+ (=ucs . #x222E) ; ∮
+ ))
+ (=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;
+ (=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 . #x2D73) ; &I-JX1-2D73; [13-83]
+ (=big5 . #xA1ED) ; &I-B-A1ED;
+ (<-fullwidth
+ ((name . "CONTOUR INTEGRAL")
+ (=ucs . #x222E) ; ∮
+ ))
+ ))
+(define-char
'((name . "SURFACE INTEGRAL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition compat #x222E #x222E)
+ (=>decomposition@compat
+ ((name . "CONTOUR INTEGRAL")
+ (=ucs . #x222E) ; ∮
+ )
+ ((name . "CONTOUR INTEGRAL")
+ (=ucs . #x222E) ; ∮
+ ))
(=ucs . #x222F) ; ∯
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition compat #x222E #x222E #x222E)
+ (=>decomposition@compat
+ ((name . "CONTOUR INTEGRAL")
+ (=ucs . #x222E) ; ∮
+ )
+ ((name . "CONTOUR INTEGRAL")
+ (=ucs . #x222E) ; ∮
+ )
+ ((name . "CONTOUR INTEGRAL")
+ (=ucs . #x222E) ; ∮
+ ))
(=ucs . #x2230) ; ∰
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2160) ;
- (=jis-x0208 . #x2168) ;
- (korean-ksc5601 . #x2145) ;
- (chinese-cns11643-1 . #x2250) ;
- (chinese-big5 . #xA1EF) ;
(=ucs . #x2234) ; ∴
))
(define-char
+ '((<-denotational
+ ((name . "THEREFORE")
+ (=ucs . #x2234) ; ∴
+ ))
+ (=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;
+ (=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]
+ (=jis-x0213-1 . #x2168) ; &I-JX1-2168; [01-72]
+ (=big5 . #xA1EF) ; &I-B-A1EF;
+ (<-fullwidth
+ ((name . "THEREFORE")
+ (=ucs . #x2234) ; ∴
+ ))
+ ))
+(define-char
'((name . "BECAUSE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x215F) ;
- (japanese-jisx0208 . #x2268) ;
- (korean-ksc5601 . #x2171) ;
- (chinese-cns11643-1 . #x224F) ;
- (=jis-x0208-1990 . #x2268) ;
- (chinese-big5 . #xA1EE) ;
(=ucs . #x2235) ; ∵
))
(define-char
+ '((<-denotational
+ ((name . "BECAUSE")
+ (=ucs . #x2235) ; ∵
+ ))
+ (=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;
+ (=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]
+ (=cns11643-1 . #x224F) ; &I-C1-224F; [02-47]
+ (=jis-x0213-1 . #x2268) ; &I-JX1-2268; [02-72]
+ (=big5 . #xA1EE) ; &I-B-A1EE;
+ (<-fullwidth
+ ((name . "BECAUSE")
+ (=ucs . #x2235) ; ∵
+ ))
+ ))
+(define-char
'((name . "RATIO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2143) ;
(=ucs . #x2236) ; ∶
))
(define-char
+ '((<-denotational
+ ((name . "RATIO")
+ (=ucs . #x2236) ; ∶
+ ))
+ (=ucs@gb . #x2236) ; &G0-2143;
+ (=gb2312 . #x2143) ; &G0-2143; [01-35]
+ (<-fullwidth
+ ((name . "RATIO")
+ (=ucs . #x2236) ; ∶
+ ))
+ ))
+(define-char
'((name . "PROPORTION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x214B) ;
(=ucs . #x2237) ; ∷
))
(define-char
+ '((<-denotational
+ ((name . "PROPORTION")
+ (=ucs . #x2237) ; ∷
+ ))
+ (=ucs@gb . #x2237) ; &G0-214B;
+ (=gb2312 . #x214B) ; &G0-214B; [01-43]
+ (<-fullwidth
+ ((name . "PROPORTION")
+ (=ucs . #x2237) ; ∷
+ ))
+ ))
+(define-char
'((name . "DOT MINUS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (korean-ksc5601 . #x212D) ;
- (chinese-cns11643-1 . #x2244) ;
- (chinese-big5 . #xA1E3) ;
- (ucs-big5 . #xFF5E) ; ∼
(=ucs . #x223C) ; ∼
))
(define-char
+ '((<-denotational
+ ((name . "TILDE OPERATOR")
+ (=ucs . #x223C) ; ∼
+ ))
+ (=ucs@cns . #xFF5E) ; &C1-2244;
+ (=ucs@ks . #x223C) ; &C1-2244;
+ (=ucs@big5 . #xFF5E) ; &C1-2244;
+ (=ks-x1001 . #x212D) ; &C1-2244; [01-13]
+ (=cns11643-1 . #x2244) ; &I-C1-2244; [02-36]
+ (=big5 . #xA1E3) ; &I-B-A1E3;
+ (<-fullwidth
+ ((name . "TILDE OPERATOR")
+ (=ucs . #x223C) ; ∼
+ ))
+ ))
+(define-char
'((name . "REVERSED TILDE")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(iso-10646-comment . "lazy S")
- (chinese-gb2312 . #x2157) ;
- (japanese-jisx0208 . #x2266) ;
- (korean-ksc5601 . #x216F) ;
- (=jis-x0208-1990 . #x2266) ;
- (=jef-china3 . #x7FE6) ;
(=ucs . #x223D) ; ∽
))
(define-char
+ '((<-denotational
+ ((name . "REVERSED TILDE")
+ (=ucs . #x223D) ; ∽
+ ))
+ (=ucs@gb . #x223D) ; &J90-2266;
+ (=ucs@jis . #x223D) ; &J90-2266;
+ (=ucs@ks . #x223D) ; &J90-2266;
+ (=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-x0213-1 . #x2266) ; &I-JX1-2266; [02-70]
+ (=jef-china3 . #x7FE6) ; &I-JC3-7FE6;
+ (<-fullwidth
+ ((name . "REVERSED TILDE")
+ (=ucs . #x223D) ; ∽
+ ))
+ ))
+(define-char
'((name . "INVERTED LAZY S")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x223C #x0338)
+ (=decomposition
+ ((name . "TILDE OPERATOR")
+ (=ucs . #x223C) ; ∼
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2241) ; ≁
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x226C) ;
(=ucs . #x2243) ; ≃
))
(define-char
+ '((<-denotational
+ ((name . "ASYMPTOTICALLY EQUAL TO")
+ (=ucs . #x2243) ; ≃
+ ))
+ (=ucs@jis . #x2243) ; &JX1-226C;
+ (=jis-x0213-1 . #x226C) ; &JX1-226C; [02-76]
+ (<-fullwidth
+ ((name . "ASYMPTOTICALLY EQUAL TO")
+ (=ucs . #x2243) ; ≃
+ ))
+ ))
+(define-char
'((name . "NOT ASYMPTOTICALLY EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2243 #x0338)
+ (=decomposition
+ ((name . "ASYMPTOTICALLY EQUAL TO")
+ (=ucs . #x2243) ; ≃
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2244) ; ≄
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x226D) ;
(=ucs . #x2245) ; ≅
))
(define-char
+ '((<-denotational
+ ((name . "APPROXIMATELY EQUAL TO")
+ (=ucs . #x2245) ; ≅
+ ))
+ (=ucs@jis . #x2245) ; &JX1-226D;
+ (=jis-x0213-1 . #x226D) ; &JX1-226D; [02-77]
+ (<-fullwidth
+ ((name . "APPROXIMATELY EQUAL TO")
+ (=ucs . #x2245) ; ≅
+ ))
+ ))
+(define-char
'((name . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2245 #x0338)
+ (=decomposition
+ ((name . "APPROXIMATELY EQUAL TO")
+ (=ucs . #x2245) ; ≅
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2247) ; ≇
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2156) ;
- (=jis-x0213-1-2000 . #x226E) ;
(=ucs . #x2248) ; ≈
))
(define-char
+ '((<-denotational
+ ((name . "ALMOST EQUAL TO")
+ (=ucs . #x2248) ; ≈
+ ))
+ (=ucs@gb . #x2248) ; &JX1-226E;
+ (=ucs@jis . #x2248) ; &JX1-226E;
+ (=gb2312 . #x2156) ; &JX1-226E; [01-54]
+ (=jis-x0213-1 . #x226E) ; &I-JX1-226E; [02-78]
+ (<-fullwidth
+ ((name . "ALMOST EQUAL TO")
+ (=ucs . #x2248) ; ≈
+ ))
+ ))
+(define-char
'((name . "NOT ALMOST EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2248 #x0338)
+ (=decomposition
+ ((name . "ALMOST EQUAL TO")
+ (=ucs . #x2248) ; ≈
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2249) ; ≉
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2155) ;
(=ucs . #x224C) ; ≌
))
(define-char
+ '((<-denotational
+ ((name . "ALL EQUAL TO")
+ (=ucs . #x224C) ; ≌
+ ))
+ (=ucs@gb . #x224C) ; &G0-2155;
+ (=gb2312 . #x2155) ; &G0-2155; [01-53]
+ (<-fullwidth
+ ((name . "ALL EQUAL TO")
+ (=ucs . #x224C) ; ≌
+ ))
+ ))
+(define-char
'((name . "EQUIVALENT TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x2262) ;
- (korean-ksc5601 . #x2156) ;
- (chinese-cns11643-1 . #x223D) ;
- (=jis-x0208-1990 . #x2262) ;
- (chinese-big5 . #xA1DC) ;
(=ucs . #x2252) ; ≒
))
(define-char
+ '((<-denotational
+ ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
+ (=ucs . #x2252) ; ≒
+ ))
+ (=ucs@cns . #x2252) ; &J90-2262;
+ (=ucs@jis . #x2252) ; &J90-2262;
+ (=ucs@ks . #x2252) ; &J90-2262;
+ (=ucs@big5 . #x2252) ; &J90-2262;
+ (=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]
+ (=cns11643-1 . #x223D) ; &I-C1-223D; [02-29]
+ (=jis-x0213-1 . #x2262) ; &I-JX1-2262; [02-66]
+ (=big5 . #xA1DC) ; &I-B-A1DC;
+ (<-fullwidth
+ ((name . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
+ (=ucs . #x2252) ; ≒
+ ))
+ ))
+(define-char
'((name . "IMAGE OF OR APPROXIMATELY EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x003D #x0338)
- (chinese-gb2312 . #x2159) ;
- (=jis-x0208 . #x2162) ;
- (korean-ksc5601 . #x2141) ;
- (chinese-cns11643-1 . #x223B) ;
- (chinese-big5 . #xA1DA) ;
+ (=decomposition
+ ((name . "EQUALS SIGN")
+ (=ucs . #x003D) ; =
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2260) ; ≠
))
(define-char
+ '((<-denotational
+ ((name . "NOT EQUAL TO")
+ (=ucs . #x2260) ; ≠
+ ))
+ (=decomposition
+ ((name . "FULLWIDTH EQUALS SIGN")
+ (=ucs . #xFF1D) ; =
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
+ (=ucs@gb . #x2260) ; ≠
+ (=ucs@cns . #x2260) ; ≠
+ (=ucs@jis . #x2260) ; ≠
+ (=ucs@ks . #x2260) ; ≠
+ (=ucs@big5 . #x2260) ; ≠
+ (=jis-x0208 . #x2162) ; ≠ [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]
+ (=jis-x0213-1 . #x2162) ; &I-JX1-2162; [01-66]
+ (=big5 . #xA1DA) ; &I-B-A1DA;
+ (<-fullwidth
+ ((name . "NOT EQUAL TO")
+ (=ucs . #x2260) ; ≠
+ ))
+ ))
+(define-char
'((name . "IDENTICAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2154) ;
- (japanese-jisx0208 . #x2261) ;
- (korean-ksc5601 . #x2155) ;
- (chinese-cns11643-1 . #x223E) ;
- (=jis-x0208-1990 . #x2261) ;
- (chinese-big5 . #xA1DD) ;
(=ucs . #x2261) ; ≡
))
(define-char
+ '((<-denotational
+ ((name . "IDENTICAL TO")
+ (=ucs . #x2261) ; ≡
+ ))
+ (=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;
+ (=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]
+ (=cns11643-1 . #x223E) ; &I-C1-223E; [02-30]
+ (=jis-x0213-1 . #x2261) ; &I-JX1-2261; [02-65]
+ (=big5 . #xA1DD) ; &I-B-A1DD;
+ (<-fullwidth
+ ((name . "IDENTICAL TO")
+ (=ucs . #x2261) ; ≡
+ ))
+ ))
+(define-char
'((name . "NOT IDENTICAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2261 #x0338)
- (=jis-x0213-1-2000 . #x226B) ;
+ (=decomposition
+ ((name . "IDENTICAL TO")
+ (=ucs . #x2261) ; ≡
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2262) ; ≢
))
(define-char
+ '((<-denotational
+ ((name . "NOT IDENTICAL TO")
+ (=ucs . #x2262) ; ≢
+ ))
+ (=decomposition
+ ((=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;
+ (=gb2312 . #x2154) ; &J90-2261; [01-52]
+ (=jis-x0208@1983 . #x2261) ; &I-J83-2261; [02-65]
+ (=ks-x1001 . #x2155) ; &I-K0-2155; [01-53]
+ (=cns11643-1 . #x223E) ; &I-C1-223E; [02-30]
+ (=jis-x0213-1 . #x2261) ; &I-JX1-2261; [02-65]
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
+ (=ucs@jis . #x2262) ; &J90-2261;̸
+ (=jis-x0213-1 . #x226B) ; &J90-2261;̸ [02-75]
+ (<-fullwidth
+ ((name . "NOT IDENTICAL TO")
+ (=ucs . #x2262) ; ≢
+ ))
+ ))
+(define-char
'((name . "STRICTLY EQUIVALENT TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x215C) ;
- (korean-ksc5601 . #x2142) ;
(=ucs . #x2264) ; ≤
))
(define-char
+ '((<-denotational
+ ((name . "LESS-THAN OR EQUAL TO")
+ (=ucs . #x2264) ; ≤
+ ))
+ (=ucs@gb . #x2264) ; &K0-2142;
+ (=ucs@ks . #x2264) ; &K0-2142;
+ (=gb2312 . #x215C) ; &K0-2142; [01-60]
+ (=ks-x1001 . #x2142) ; &I-K0-2142; [01-34]
+ (<-fullwidth
+ ((name . "LESS-THAN OR EQUAL TO")
+ (=ucs . #x2264) ; ≤
+ ))
+ ))
+(define-char
'((name . "GREATER-THAN OR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x215D) ;
- (korean-ksc5601 . #x2143) ;
(=ucs . #x2265) ; ≥
))
(define-char
+ '((<-denotational
+ ((name . "GREATER-THAN OR EQUAL TO")
+ (=ucs . #x2265) ; ≥
+ ))
+ (=ucs@gb . #x2265) ; &K0-2143;
+ (=ucs@ks . #x2265) ; &K0-2143;
+ (=gb2312 . #x215D) ; &K0-2143; [01-61]
+ (=ks-x1001 . #x2143) ; &I-K0-2143; [01-35]
+ (<-fullwidth
+ ((name . "GREATER-THAN OR EQUAL TO")
+ (=ucs . #x2265) ; ≥
+ ))
+ ))
+(define-char
'((name . "LESS-THAN OVER EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208 . #x2165) ;
- (chinese-cns11643-1 . #x2239) ;
- (chinese-big5 . #xA1D8) ;
(=ucs . #x2266) ; ≦
))
(define-char
+ '((<-denotational
+ ((name . "LESS-THAN OVER EQUAL TO")
+ (=ucs . #x2266) ; ≦
+ ))
+ (=ucs@cns . #x2266) ; &J90-2165;
+ (=ucs@jis . #x2266) ; &J90-2165;
+ (=ucs@big5 . #x2266) ; &J90-2165;
+ (=jis-x0208 . #x2165) ; &J90-2165; [01-69]
+ (=cns11643-1 . #x2239) ; &I-C1-2239; [02-25]
+ (=jis-x0213-1 . #x2165) ; &I-JX1-2165; [01-69]
+ (=big5 . #xA1D8) ; &I-B-A1D8;
+ (<-fullwidth
+ ((name . "LESS-THAN OVER EQUAL TO")
+ (=ucs . #x2266) ; ≦
+ ))
+ ))
+(define-char
'((name . "GREATER-THAN OVER EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0208 . #x2166) ;
- (chinese-cns11643-1 . #x223A) ;
- (chinese-big5 . #xA1D9) ;
(=ucs . #x2267) ; ≧
))
(define-char
+ '((<-denotational
+ ((name . "GREATER-THAN OVER EQUAL TO")
+ (=ucs . #x2267) ; ≧
+ ))
+ (=ucs@cns . #x2267) ; &J90-2166;
+ (=ucs@jis . #x2267) ; &J90-2166;
+ (=ucs@big5 . #x2267) ; &J90-2166;
+ (=jis-x0208 . #x2166) ; &J90-2166; [01-70]
+ (=cns11643-1 . #x223A) ; &I-C1-223A; [02-26]
+ (=jis-x0213-1 . #x2166) ; &I-JX1-2166; [01-70]
+ (=big5 . #xA1D9) ; &I-B-A1D9;
+ (<-fullwidth
+ ((name . "GREATER-THAN OVER EQUAL TO")
+ (=ucs . #x2267) ; ≧
+ ))
+ ))
+(define-char
'((name . "LESS-THAN BUT NOT EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x2263) ;
- (korean-ksc5601 . #x216C) ;
- (=jis-x0208-1990 . #x2263) ;
- (=jef-china3 . #x7FE3) ;
(=ucs . #x226A) ; ≪
))
(define-char
+ '((<-denotational
+ ((name . "MUCH LESS-THAN")
+ (=ucs . #x226A) ; ≪
+ ))
+ (=ucs@jis . #x226A) ; &J90-2263;
+ (=ucs@ks . #x226A) ; &J90-2263;
+ (=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-x0213-1 . #x2263) ; &I-JX1-2263; [02-67]
+ (=jef-china3 . #x7FE3) ; &I-JC3-7FE3;
+ (<-fullwidth
+ ((name . "MUCH LESS-THAN")
+ (=ucs . #x226A) ; ≪
+ ))
+ ))
+(define-char
'((name . "MUCH GREATER-THAN")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x2264) ;
- (korean-ksc5601 . #x216D) ;
- (=jis-x0208-1990 . #x2264) ;
- (=jef-china3 . #x7FE4) ;
(=ucs . #x226B) ; ≫
))
(define-char
+ '((<-denotational
+ ((name . "MUCH GREATER-THAN")
+ (=ucs . #x226B) ; ≫
+ ))
+ (=ucs@jis . #x226B) ; &J90-2264;
+ (=ucs@ks . #x226B) ; &J90-2264;
+ (=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-x0213-1 . #x2264) ; &I-JX1-2264; [02-68]
+ (=jef-china3 . #x7FE4) ; &I-JC3-7FE4;
+ (<-fullwidth
+ ((name . "MUCH GREATER-THAN")
+ (=ucs . #x226B) ; ≫
+ ))
+ ))
+(define-char
'((name . "BETWEEN")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (->decomposition #x224D #x0338)
+ (=decomposition
+ ((name . "EQUIVALENT TO")
+ (=ucs . #x224D) ; ≍
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x226D) ; ≭
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x003C #x0338)
- (chinese-gb2312 . #x215A) ;
+ (=decomposition
+ ((name . "LESS-THAN SIGN")
+ (=ucs . #x003C) ; <
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x226E) ; ≮
))
(define-char
+ '((<-denotational
+ ((name . "NOT LESS-THAN")
+ (=ucs . #x226E) ; ≮
+ ))
+ (=decomposition
+ ((name . "FULLWIDTH LESS-THAN SIGN")
+ (=ucs . #xFF1C) ; <
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
+ (=ucs@gb . #x226E) ; ≮
+ (=gb2312 . #x215A) ; ≮ [01-58]
+ (<-fullwidth
+ ((name . "NOT LESS-THAN")
+ (=ucs . #x226E) ; ≮
+ ))
+ ))
+(define-char
'((name . "NOT GREATER-THAN")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x003E #x0338)
- (chinese-gb2312 . #x215B) ;
+ (=decomposition
+ ((name . "GREATER-THAN SIGN")
+ (=ucs . #x003E) ; >
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x226F) ; ≯
))
(define-char
+ '((<-denotational
+ ((name . "NOT GREATER-THAN")
+ (=ucs . #x226F) ; ≯
+ ))
+ (=decomposition
+ ((name . "FULLWIDTH GREATER-THAN SIGN")
+ (=ucs . #xFF1E) ; >
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
+ (=ucs@gb . #x226F) ; ≯
+ (=gb2312 . #x215B) ; ≯ [01-59]
+ (<-fullwidth
+ ((name . "NOT GREATER-THAN")
+ (=ucs . #x226F) ; ≯
+ ))
+ ))
+(define-char
'((name . "NEITHER LESS-THAN NOR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2264 #x0338)
+ (=decomposition
+ ((name . "LESS-THAN OR EQUAL TO")
+ (=ucs . #x2264) ; ≤
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2270) ; ≰
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2265 #x0338)
+ (=decomposition
+ ((name . "GREATER-THAN OR EQUAL TO")
+ (=ucs . #x2265) ; ≥
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2271) ; ≱
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2272 #x0338)
+ (=decomposition
+ ((name . "LESS-THAN OR EQUIVALENT TO")
+ (=ucs . #x2272) ; ≲
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2274) ; ≴
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2273 #x0338)
+ (=decomposition
+ ((name . "GREATER-THAN OR EQUIVALENT TO")
+ (=ucs . #x2273) ; ≳
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2275) ; ≵
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x226F) ;
(=ucs . #x2276) ; ≶
))
(define-char
+ '((<-denotational
+ ((name . "LESS-THAN OR GREATER-THAN")
+ (=ucs . #x2276) ; ≶
+ ))
+ (=ucs@jis . #x2276) ; &JX1-226F;
+ (=jis-x0213-1 . #x226F) ; &JX1-226F; [02-79]
+ (<-fullwidth
+ ((name . "LESS-THAN OR GREATER-THAN")
+ (=ucs . #x2276) ; ≶
+ ))
+ ))
+(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) ; ≷
))
(define-char
+ '((<-denotational
+ ((name . "GREATER-THAN OR LESS-THAN")
+ (=ucs . #x2277) ; ≷
+ ))
+ (=ucs@jis . #x2277) ; &JX1-2270;
+ (=jis-x0213-1 . #x2270) ; &JX1-2270; [02-80]
+ (<-fullwidth
+ ((name . "GREATER-THAN OR LESS-THAN")
+ (=ucs . #x2277) ; ≷
+ ))
+ ))
+(define-char
'((name . "NEITHER LESS-THAN NOR GREATER-THAN")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2276 #x0338)
+ (=decomposition
+ ((name . "LESS-THAN OR GREATER-THAN")
+ (=ucs . #x2276) ; ≶
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2278) ; ≸
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2277 #x0338)
+ (=decomposition
+ ((name . "GREATER-THAN OR LESS-THAN")
+ (=ucs . #x2277) ; ≷
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2279) ; ≹
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x227A #x0338)
+ (=decomposition
+ ((name . "PRECEDES")
+ (=ucs . #x227A) ; ≺
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2280) ; ⊀
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x227B #x0338)
+ (=decomposition
+ ((name . "SUCCEEDS")
+ (=ucs . #x227B) ; ≻
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2281) ; ⊁
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x223E) ;
- (korean-ksc5601 . #x2178) ;
- (=jis-x0208-1990 . #x223E) ;
- (=jef-china3 . #x7FD4) ;
(=ucs . #x2282) ; ⊂
))
(define-char
+ '((<-denotational
+ ((name . "SUBSET OF")
+ (=ucs . #x2282) ; ⊂
+ ))
+ (=ucs@jis . #x2282) ; &J90-223E;
+ (=ucs@ks . #x2282) ; &J90-223E;
+ (=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-x0213-1 . #x223E) ; &I-JX1-223E; [02-30]
+ (=jef-china3 . #x7FD4) ; &I-JC3-7FD4;
+ (<-fullwidth
+ ((name . "SUBSET OF")
+ (=ucs . #x2282) ; ⊂
+ ))
+ ))
+(define-char
'((name . "SUPERSET OF")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x223F) ;
- (korean-ksc5601 . #x2179) ;
- (=jis-x0208-1990 . #x223F) ;
- (=jef-china3 . #x7FD5) ;
(=ucs . #x2283) ; ⊃
))
(define-char
+ '((<-denotational
+ ((name . "SUPERSET OF")
+ (=ucs . #x2283) ; ⊃
+ ))
+ (=ucs@jis . #x2283) ; &J90-223F;
+ (=ucs@ks . #x2283) ; &J90-223F;
+ (=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-x0213-1 . #x223F) ; &I-JX1-223F; [02-31]
+ (=jef-china3 . #x7FD5) ; &I-JC3-7FD5;
+ (<-fullwidth
+ ((name . "SUPERSET OF")
+ (=ucs . #x2283) ; ⊃
+ ))
+ ))
+(define-char
'((name . "NOT A SUBSET OF")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2282 #x0338)
- (=jis-x0213-1-2000 . #x2242) ;
+ (=decomposition
+ ((name . "SUBSET OF")
+ (=ucs . #x2282) ; ⊂
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2284) ; ⊄
))
(define-char
+ '((<-denotational
+ ((name . "NOT A SUBSET OF")
+ (=ucs . #x2284) ; ⊄
+ ))
+ (=ucs@jis . #x2284) ; &JX1-2242;
+ (=jis-x0213-1 . #x2242) ; &JX1-2242; [02-34]
+ (<-fullwidth
+ ((name . "NOT A SUBSET OF")
+ (=ucs . #x2284) ; ⊄
+ ))
+ ))
+(define-char
'((name . "NOT A SUPERSET OF")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2283 #x0338)
- (=jis-x0213-1-2000 . #x2243) ;
+ (=decomposition
+ ((name . "SUPERSET OF")
+ (=ucs . #x2283) ; ⊃
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2285) ; ⊅
))
(define-char
+ '((<-denotational
+ ((name . "NOT A SUPERSET OF")
+ (=ucs . #x2285) ; ⊅
+ ))
+ (=ucs@jis . #x2285) ; &JX1-2243;
+ (=jis-x0213-1 . #x2243) ; &JX1-2243; [02-35]
+ (<-fullwidth
+ ((name . "NOT A SUPERSET OF")
+ (=ucs . #x2285) ; ⊅
+ ))
+ ))
+(define-char
'((name . "SUBSET OF OR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x223C) ;
- (korean-ksc5601 . #x2176) ;
- (=jis-x0208-1990 . #x223C) ;
- (=jef-china3 . #x7FD2) ;
(=ucs . #x2286) ; ⊆
))
(define-char
+ '((<-denotational
+ ((name . "SUBSET OF OR EQUAL TO")
+ (=ucs . #x2286) ; ⊆
+ ))
+ (=ucs@jis . #x2286) ; &J90-223C;
+ (=ucs@ks . #x2286) ; &J90-223C;
+ (=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-x0213-1 . #x223C) ; &I-JX1-223C; [02-28]
+ (=jef-china3 . #x7FD2) ; &I-JC3-7FD2;
+ (<-fullwidth
+ ((name . "SUBSET OF OR EQUAL TO")
+ (=ucs . #x2286) ; ⊆
+ ))
+ ))
+(define-char
'((name . "SUPERSET OF OR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x223D) ;
- (korean-ksc5601 . #x2177) ;
- (=jis-x0208-1990 . #x223D) ;
- (=jef-china3 . #x7FD3) ;
(=ucs . #x2287) ; ⊇
))
(define-char
+ '((<-denotational
+ ((name . "SUPERSET OF OR EQUAL TO")
+ (=ucs . #x2287) ; ⊇
+ ))
+ (=ucs@jis . #x2287) ; &J90-223D;
+ (=ucs@ks . #x2287) ; &J90-223D;
+ (=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-x0213-1 . #x223D) ; &I-JX1-223D; [02-29]
+ (=jef-china3 . #x7FD3) ; &I-JC3-7FD3;
+ (<-fullwidth
+ ((name . "SUPERSET OF OR EQUAL TO")
+ (=ucs . #x2287) ; ⊇
+ ))
+ ))
+(define-char
'((name . "NEITHER A SUBSET OF NOR EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2286 #x0338)
+ (=decomposition
+ ((name . "SUBSET OF OR EQUAL TO")
+ (=ucs . #x2286) ; ⊆
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2288) ; ⊈
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2287 #x0338)
+ (=decomposition
+ ((name . "SUPERSET OF OR EQUAL TO")
+ (=ucs . #x2287) ; ⊇
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x2289) ; ⊉
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x2244) ;
(=ucs . #x228A) ; ⊊
))
(define-char
+ '((<-denotational
+ ((name . "SUBSET OF WITH NOT EQUAL TO")
+ (=ucs . #x228A) ; ⊊
+ ))
+ (=ucs@jis . #x228A) ; &JX1-2244;
+ (=jis-x0213-1 . #x2244) ; &JX1-2244; [02-36]
+ (<-fullwidth
+ ((name . "SUBSET OF WITH NOT EQUAL TO")
+ (=ucs . #x228A) ; ⊊
+ ))
+ ))
+(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) ; ⊋
))
(define-char
+ '((<-denotational
+ ((name . "SUPERSET OF WITH NOT EQUAL TO")
+ (=ucs . #x228B) ; ⊋
+ ))
+ (=ucs@jis . #x228B) ; &JX1-2245;
+ (=jis-x0213-1 . #x2245) ; &JX1-2245; [02-37]
+ (<-fullwidth
+ ((name . "SUPERSET OF WITH NOT EQUAL TO")
+ (=ucs . #x228B) ; ⊋
+ ))
+ ))
+(define-char
'((name . "MULTISET")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-cns11643-1 . #x2253) ;
- (=jis-x0213-1-2000 . #x2251) ;
- (chinese-big5 . #xA1F2) ;
(=ucs . #x2295) ; ⊕
))
(define-char
+ '((<-denotational
+ ((name . "CIRCLED PLUS")
+ (=ucs . #x2295) ; ⊕
+ ))
+ (=ucs@cns . #x2295) ; &JX1-2251;
+ (=ucs@jis . #x2295) ; &JX1-2251;
+ (=ucs@big5 . #x2295) ; &JX1-2251;
+ (=cns11643-1 . #x2253) ; &JX1-2251; [02-51]
+ (=jis-x0213-1 . #x2251) ; &I-JX1-2251; [02-49]
+ (=big5 . #xA1F2) ; &I-B-A1F2;
+ (<-fullwidth
+ ((name . "CIRCLED PLUS")
+ (=ucs . #x2295) ; ⊕
+ ))
+ ))
+(define-char
'((name . "CIRCLED MINUS")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jis-x0213-1-2000 . #x2252) ;
(=ucs . #x2296) ; ⊖
))
(define-char
+ '((<-denotational
+ ((name . "CIRCLED MINUS")
+ (=ucs . #x2296) ; ⊖
+ ))
+ (=ucs@jis . #x2296) ; &JX1-2252;
+ (=jis-x0213-1 . #x2252) ; &JX1-2252; [02-50]
+ (<-fullwidth
+ ((name . "CIRCLED MINUS")
+ (=ucs . #x2296) ; ⊖
+ ))
+ ))
+(define-char
'((name . "CIRCLED TIMES")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jis-x0213-1-2000 . #x2253) ;
(=ucs . #x2297) ; ⊗
))
(define-char
+ '((<-denotational
+ ((name . "CIRCLED TIMES")
+ (=ucs . #x2297) ; ⊗
+ ))
+ (=ucs@jis . #x2297) ; &JX1-2253;
+ (=jis-x0213-1 . #x2253) ; &JX1-2253; [02-51]
+ (<-fullwidth
+ ((name . "CIRCLED TIMES")
+ (=ucs . #x2297) ; ⊗
+ ))
+ ))
+(define-char
'((name . "CIRCLED DIVISION SLASH")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2151) ;
- (korean-ksc5601 . #x2241) ;
- (chinese-cns11643-1 . #x2254) ;
- (chinese-big5 . #xA1F3) ;
(=ucs . #x2299) ; ⊙
))
(define-char
+ '((<-denotational
+ ((name . "CIRCLED DOT OPERATOR")
+ (=ucs . #x2299) ; ⊙
+ ))
+ (=ucs@gb . #x2299) ; &C1-2254;
+ (=ucs@cns . #x2299) ; &C1-2254;
+ (=ucs@ks . #x2299) ; &C1-2254;
+ (=ucs@big5 . #x2299) ; &C1-2254;
+ (=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;
+ (<-fullwidth
+ ((name . "CIRCLED DOT OPERATOR")
+ (=ucs . #x2299) ; ⊙
+ ))
+ ))
+(define-char
'((name . "CIRCLED RING OPERATOR")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x214D) ;
- (japanese-jisx0208 . #x225D) ;
- (korean-ksc5601 . #x2151) ;
- (chinese-cns11643-1 . #x2247) ;
- (=jis-x0208-1990 . #x225D) ;
- (chinese-big5 . #xA1E6) ;
(=ucs . #x22A5) ; ⊥
))
(define-char
+ '((<-denotational
+ ((name . "UP TACK")
+ (=ucs . #x22A5) ; ⊥
+ ))
+ (=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;
+ (=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]
+ (=cns11643-1 . #x2247) ; &I-C1-2247; [02-39]
+ (=jis-x0213-1 . #x225D) ; &I-JX1-225D; [02-61]
+ (=big5 . #xA1E6) ; &I-B-A1E6;
+ (<-fullwidth
+ ((name . "UP TACK")
+ (=ucs . #x22A5) ; ⊥
+ ))
+ ))
+(define-char
'((name . "ASSERTION")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x22A2 #x0338)
+ (=decomposition
+ ((name . "RIGHT TACK")
+ (=ucs . #x22A2) ; ⊢
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x22AC) ; ⊬
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x22A8 #x0338)
+ (=decomposition
+ ((name . "TRUE")
+ (=ucs . #x22A8) ; ⊨
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x22AD) ; ⊭
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x22A9 #x0338)
+ (=decomposition
+ ((name . "FORCES")
+ (=ucs . #x22A9) ; ⊩
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x22AE) ; ⊮
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x22AB #x0338)
+ (=decomposition
+ ((name . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
+ (=ucs . #x22AB) ; ⊫
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x22AF) ; ⊯
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 . #x224A) ;
- (=jis-x0213-1-2000 . #x2D79) ;
- (chinese-big5 . #xA1E9) ;
(=ucs . #x22BF) ; ⊿
))
(define-char
+ '((<-denotational
+ ((name . "RIGHT TRIANGLE")
+ (=ucs . #x22BF) ; ⊿
+ ))
+ (=ucs@cns . #x22BF) ; &JX1-2D79;
+ (=ucs@jis . #x22BF) ; &JX1-2D79;
+ (=ucs@big5 . #x22BF) ; &JX1-2D79;
+ (=cns11643-1 . #x224A) ; &JX1-2D79; [02-42]
+ (=jis-x0213-1 . #x2D79) ; &I-JX1-2D79; [13-89]
+ (=big5 . #xA1E9) ; &I-B-A1E9;
+ (<-fullwidth
+ ((name . "RIGHT TRIANGLE")
+ (=ucs . #x22BF) ; ⊿
+ ))
+ ))
+(define-char
'((name . "N-ARY LOGICAL AND")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jef-china3 . #x7FD8) ;
(=ucs . #x22C0) ; ⋀
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jef-china3 . #x7FD9) ;
(=ucs . #x22C1) ; ⋁
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jef-china3 . #x7FD7) ;
(=ucs . #x22C2) ; ⋂
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (=jef-china3 . #x7FD6) ;
(=ucs . #x22C3) ; ⋃
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (=jis-x0213-1-2000 . #x2776) ;
(=ucs . #x22DA) ; ⋚
))
(define-char
+ '((<-denotational
+ ((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
+ (=ucs . #x22DA) ; ⋚
+ ))
+ (=ucs@jis . #x22DA) ; &JX1-2776;
+ (=jis-x0213-1 . #x2776) ; &JX1-2776; [07-86]
+ (<-fullwidth
+ ((name . "LESS-THAN EQUAL TO OR GREATER-THAN")
+ (=ucs . #x22DA) ; ⋚
+ ))
+ ))
+(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) ; ⋛
))
(define-char
+ '((<-denotational
+ ((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
+ (=ucs . #x22DB) ; ⋛
+ ))
+ (=ucs@jis . #x22DB) ; &JX1-2777;
+ (=jis-x0213-1 . #x2777) ; &JX1-2777; [07-87]
+ (<-fullwidth
+ ((name . "GREATER-THAN EQUAL TO OR LESS-THAN")
+ (=ucs . #x22DB) ; ⋛
+ ))
+ ))
+(define-char
'((name . "EQUAL TO OR LESS-THAN")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x227C #x0338)
+ (=decomposition
+ ((name . "PRECEDES OR EQUAL TO")
+ (=ucs . #x227C) ; ≼
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x22E0) ; ⋠
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x227D #x0338)
+ (=decomposition
+ ((name . "SUCCEEDS OR EQUAL TO")
+ (=ucs . #x227D) ; ≽
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x22E1) ; ⋡
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2291 #x0338)
+ (=decomposition
+ ((name . "SQUARE IMAGE OF OR EQUAL TO")
+ (=ucs . #x2291) ; ⊑
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x22E2) ; ⋢
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x2292 #x0338)
+ (=decomposition
+ ((name . "SQUARE ORIGINAL OF OR EQUAL TO")
+ (=ucs . #x2292) ; ⊒
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x22E3) ; ⋣
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x22B2 #x0338)
+ (=decomposition
+ ((name . "NORMAL SUBGROUP OF")
+ (=ucs . #x22B2) ; ⊲
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x22EA) ; ⋪
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x22B3 #x0338)
+ (=decomposition
+ ((name . "CONTAINS AS NORMAL SUBGROUP")
+ (=ucs . #x22B3) ; ⊳
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x22EB) ; ⋫
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x22B4 #x0338)
+ (=decomposition
+ ((name . "NORMAL SUBGROUP OF OR EQUAL TO")
+ (=ucs . #x22B4) ; ⊴
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x22EC) ; ⋬
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (->decomposition #x22B5 #x0338)
+ (=decomposition
+ ((name . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
+ (=ucs . #x22B5) ; ⊵
+ )
+ ((name . "COMBINING LONG SOLIDUS OVERLAY")
+ (=ucs . #x0338) ; ̸
+ ))
(=ucs . #x22ED) ; ⋭
))
(define-char