(japanese-jisx0208 . #x224F) ;
(korean-ksc5601 . #x2223) ;
(japanese-jisx0208-1990 . #x224F) ;
+ (china3-jef . #x7FDC) ;
(ucs . #x2200) ; ∀
))
(define-char
(japanese-jisx0208 . #x225F) ;
(korean-ksc5601 . #x2153) ;
(japanese-jisx0208-1990 . #x225F) ;
+ (china3-jef . #x7FE1) ;
(ucs . #x2202) ; ∂
))
(define-char
(japanese-jisx0208 . #x2250) ;
(korean-ksc5601 . #x2224) ;
(japanese-jisx0208-1990 . #x2250) ;
+ (china3-jef . #x7FDD) ;
(ucs . #x2203) ; ∃
))
(define-char
(japanese-jisx0208 . #x2260) ;
(korean-ksc5601 . #x2154) ;
(japanese-jisx0208-1990 . #x2260) ;
+ (china3-jef . #x7FE2) ;
(ucs . #x2207) ; ∇
))
(define-char
(japanese-jisx0208 . #x223A) ;
(korean-ksc5601 . #x2174) ;
(japanese-jisx0208-1990 . #x223A) ;
+ (china3-jef . #x7FD0) ;
(ucs . #x2208) ; ∈
))
(define-char
(japanese-jisx0208 . #x223B) ;
(korean-ksc5601 . #x2175) ;
(japanese-jisx0208-1990 . #x223B) ;
+ (china3-jef . #x7FD1) ;
(ucs . #x220B) ; ∋
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ET")
(mirrored . nil)
- (japanese-jisx0208-1978 . #x215D) ;
- (japanese-jisx0208 . #x215D) ;
- (japanese-jisx0208-1990 . #x215D) ;
- (ucs . #x2212) ; −
+ (=jis-x0208 . #x215D) ;
+ (ucs . #x2212) ; −
))
(define-char
'((name . "MINUS-OR-PLUS SIGN")
(bidi-category . "ON")
(mirrored . t)
(chinese-cns11643-1 . #x2261) ;
- (chinese-big5 . #xA241) ;
+ (chinese-big5 . #xA241) ;
(ucs . #x2215) ; ∕
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-big5 . #xA242) ;
(ucs . #x2216) ; ∖
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-big5 . #xA258) ;
(ucs . #x2218) ; ∘
))
(define-char
(korean-ksc5601 . #x216E) ;
(chinese-cns11643-1 . #x2235) ;
(japanese-jisx0208-1990 . #x2265) ;
- (chinese-big5 . #xA1D4) ;
+ (chinese-big5 . #xA1D4) ;
(ucs . #x221A) ; √
))
(define-char
(japanese-jisx0208 . #x2267) ;
(korean-ksc5601 . #x2170) ;
(japanese-jisx0208-1990 . #x2267) ;
+ (china3-jef . #x7FE7) ;
(ucs . #x221D) ; ∝
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0208-1978 . #x2167) ;
- (chinese-gb2312 . #x215E) ;
- (japanese-jisx0208 . #x2167) ;
- (korean-ksc5601 . #x2144) ;
- (chinese-cns11643-1 . #x223C) ;
- (japanese-jisx0208-1990 . #x2167) ;
- (chinese-big5 . #xA1DB) ;
- (ucs . #x221E) ; ∞
+ (chinese-gb2312 . #x215E) ;
+ (=jis-x0208 . #x2167) ;
+ (korean-ksc5601 . #x2144) ;
+ (chinese-cns11643-1 . #x223C) ;
+ (chinese-big5 . #xA1DB) ;
+ (ucs . #x221E) ; ∞
))
(define-char
'((name . "RIGHT ANGLE")
(mirrored . t)
(chinese-cns11643-1 . #x2249) ;
(japanese-jisx0213-1 . #x2D78) ;
- (chinese-big5 . #xA1E8) ;
+ (chinese-big5 . #xA1E8) ;
(ucs . #x221F) ; ∟
))
(define-char
(korean-ksc5601 . #x2150) ;
(chinese-cns11643-1 . #x2248) ;
(japanese-jisx0208-1990 . #x225C) ;
- (chinese-big5 . #xA1E7) ;
+ (chinese-big5 . #xA1E7) ;
+ (china3-jef . #x7FDE) ;
(ucs . #x2220) ; ∠
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-big5 . #xA1FD) ;
+ (chinese-big5 . #xA1FD) ;
(ucs . #x2223) ; ∣
))
(define-char
(chinese-gb2312 . #x214E) ;
(korean-ksc5601 . #x212B) ;
(japanese-jisx0213-1 . #x2254) ;
- (chinese-big5 . #xA1FC) ;
+ (chinese-big5 . #xA1FC) ;
(ucs . #x2225) ; ∥
))
(define-char
(korean-ksc5601 . #x217B) ;
(chinese-cns11643-1 . #x2245) ;
(japanese-jisx0208-1990 . #x2241) ;
- (chinese-big5 . #xA1E4) ;
+ (chinese-big5 . #xA1E4) ;
(ucs . #x2229) ; ∩
))
(define-char
(korean-ksc5601 . #x217A) ;
(chinese-cns11643-1 . #x2246) ;
(japanese-jisx0208-1990 . #x2240) ;
- (chinese-big5 . #xA1E5) ;
+ (chinese-big5 . #xA1E5) ;
(ucs . #x222A) ; ∪
))
(define-char
(korean-ksc5601 . #x2172) ;
(chinese-cns11643-1 . #x224D) ;
(japanese-jisx0208-1990 . #x2269) ;
- (chinese-big5 . #xA1EC) ;
+ (chinese-big5 . #xA1EC) ;
+ (china3-jef . #x7FE8) ;
(ucs . #x222B) ; ∫
))
(define-char
(japanese-jisx0208 . #x226A) ;
(korean-ksc5601 . #x2173) ;
(japanese-jisx0208-1990 . #x226A) ;
+ (china3-jef . #x7FE9) ;
(ucs . #x222C) ; ∬
))
(define-char
(korean-ksc5601 . #x2231) ;
(chinese-cns11643-1 . #x224E) ;
(japanese-jisx0213-1 . #x2D73) ;
- (chinese-big5 . #xA1ED) ;
+ (chinese-big5 . #xA1ED) ;
(ucs . #x222E) ; ∮
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0208-1978 . #x2168) ;
- (chinese-gb2312 . #x2160) ;
- (japanese-jisx0208 . #x2168) ;
- (korean-ksc5601 . #x2145) ;
- (chinese-cns11643-1 . #x2250) ;
- (japanese-jisx0208-1990 . #x2168) ;
- (chinese-big5 . #xA1EF) ;
- (ucs . #x2234) ; ∴
+ (chinese-gb2312 . #x2160) ;
+ (=jis-x0208 . #x2168) ;
+ (korean-ksc5601 . #x2145) ;
+ (chinese-cns11643-1 . #x2250) ;
+ (chinese-big5 . #xA1EF) ;
+ (ucs . #x2234) ; ∴
))
(define-char
'((name . "BECAUSE")
(korean-ksc5601 . #x2171) ;
(chinese-cns11643-1 . #x224F) ;
(japanese-jisx0208-1990 . #x2268) ;
- (chinese-big5 . #xA1EE) ;
+ (chinese-big5 . #xA1EE) ;
(ucs . #x2235) ; ∵
))
(define-char
(mirrored . t)
(korean-ksc5601 . #x212D) ;
(chinese-cns11643-1 . #x2244) ;
- (chinese-big5 . #xA1E3) ;
+ (chinese-big5 . #xA1E3) ;
+ (ucs-big5 . #xFF5E) ; ∼
(ucs . #x223C) ; ∼
))
(define-char
(japanese-jisx0208 . #x2266) ;
(korean-ksc5601 . #x216F) ;
(japanese-jisx0208-1990 . #x2266) ;
+ (china3-jef . #x7FE6) ;
(ucs . #x223D) ; ∽
))
(define-char
(korean-ksc5601 . #x2156) ;
(chinese-cns11643-1 . #x223D) ;
(japanese-jisx0208-1990 . #x2262) ;
- (chinese-big5 . #xA1DC) ;
+ (chinese-big5 . #xA1DC) ;
(ucs . #x2252) ; ≒
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003D #x0338)
- (japanese-jisx0208-1978 . #x2162) ;
- (chinese-gb2312 . #x2159) ;
- (japanese-jisx0208 . #x2162) ;
- (korean-ksc5601 . #x2141) ;
- (chinese-cns11643-1 . #x223B) ;
- (japanese-jisx0208-1990 . #x2162) ;
- (chinese-big5 . #xA1DA) ;
- (ucs . #x2260) ; ≠
+ (chinese-gb2312 . #x2159) ;
+ (=jis-x0208 . #x2162) ;
+ (korean-ksc5601 . #x2141) ;
+ (chinese-cns11643-1 . #x223B) ;
+ (chinese-big5 . #xA1DA) ;
+ (ucs . #x2260) ; ≠
))
(define-char
'((name . "IDENTICAL TO")
(korean-ksc5601 . #x2155) ;
(chinese-cns11643-1 . #x223E) ;
(japanese-jisx0208-1990 . #x2261) ;
- (chinese-big5 . #xA1DD) ;
+ (chinese-big5 . #xA1DD) ;
(ucs . #x2261) ; ≡
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208-1978 . #x2165) ;
- (japanese-jisx0208 . #x2165) ;
- (chinese-cns11643-1 . #x2239) ;
- (japanese-jisx0208-1990 . #x2165) ;
- (chinese-big5 . #xA1D8) ;
- (ucs . #x2266) ; ≦
+ (=jis-x0208 . #x2165) ;
+ (chinese-cns11643-1 . #x2239) ;
+ (chinese-big5 . #xA1D8) ;
+ (ucs . #x2266) ; ≦
))
(define-char
'((name . "GREATER-THAN OVER EQUAL TO")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208-1978 . #x2166) ;
- (japanese-jisx0208 . #x2166) ;
- (chinese-cns11643-1 . #x223A) ;
- (japanese-jisx0208-1990 . #x2166) ;
- (chinese-big5 . #xA1D9) ;
- (ucs . #x2267) ; ≧
+ (=jis-x0208 . #x2166) ;
+ (chinese-cns11643-1 . #x223A) ;
+ (chinese-big5 . #xA1D9) ;
+ (ucs . #x2267) ; ≧
))
(define-char
'((name . "LESS-THAN BUT NOT EQUAL TO")
(japanese-jisx0208 . #x2263) ;
(korean-ksc5601 . #x216C) ;
(japanese-jisx0208-1990 . #x2263) ;
+ (china3-jef . #x7FE3) ;
(ucs . #x226A) ; ≪
))
(define-char
(japanese-jisx0208 . #x2264) ;
(korean-ksc5601 . #x216D) ;
(japanese-jisx0208-1990 . #x2264) ;
+ (china3-jef . #x7FE4) ;
(ucs . #x226B) ; ≫
))
(define-char
(japanese-jisx0208 . #x223E) ;
(korean-ksc5601 . #x2178) ;
(japanese-jisx0208-1990 . #x223E) ;
+ (china3-jef . #x7FD4) ;
(ucs . #x2282) ; ⊂
))
(define-char
(japanese-jisx0208 . #x223F) ;
(korean-ksc5601 . #x2179) ;
(japanese-jisx0208-1990 . #x223F) ;
+ (china3-jef . #x7FD5) ;
(ucs . #x2283) ; ⊃
))
(define-char
(japanese-jisx0208 . #x223C) ;
(korean-ksc5601 . #x2176) ;
(japanese-jisx0208-1990 . #x223C) ;
+ (china3-jef . #x7FD2) ;
(ucs . #x2286) ; ⊆
))
(define-char
(japanese-jisx0208 . #x223D) ;
(korean-ksc5601 . #x2177) ;
(japanese-jisx0208-1990 . #x223D) ;
+ (china3-jef . #x7FD3) ;
(ucs . #x2287) ; ⊇
))
(define-char
(mirrored . nil)
(chinese-cns11643-1 . #x2253) ;
(japanese-jisx0213-1 . #x2251) ;
- (chinese-big5 . #xA1F2) ;
+ (chinese-big5 . #xA1F2) ;
(ucs . #x2295) ; ⊕
))
(define-char
(chinese-gb2312 . #x2151) ;
(korean-ksc5601 . #x2241) ;
(chinese-cns11643-1 . #x2254) ;
- (chinese-big5 . #xA1F3) ;
+ (chinese-big5 . #xA1F3) ;
(ucs . #x2299) ; ⊙
))
(define-char
(korean-ksc5601 . #x2151) ;
(chinese-cns11643-1 . #x2247) ;
(japanese-jisx0208-1990 . #x225D) ;
- (chinese-big5 . #xA1E6) ;
+ (chinese-big5 . #xA1E6) ;
(ucs . #x22A5) ; ⊥
))
(define-char
(mirrored . t)
(chinese-cns11643-1 . #x224A) ;
(japanese-jisx0213-1 . #x2D79) ;
- (chinese-big5 . #xA1E9) ;
+ (chinese-big5 . #xA1E9) ;
(ucs . #x22BF) ; ⊿
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (china3-jef . #x7FD8) ;
(ucs . #x22C0) ; ⋀
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (china3-jef . #x7FD9) ;
(ucs . #x22C1) ; ⋁
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (china3-jef . #x7FD7) ;
(ucs . #x22C2) ; ⋂
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (china3-jef . #x7FD6) ;
(ucs . #x22C3) ; ⋃
))
(define-char