(mirrored . nil)
(japanese-jisx0208 . #x224F) ;
(korean-ksc5601 . #x2223) ;
- (japanese-jisx0208-1990 . #x224F) ; ∀
+ (japanese-jisx0208-1990 . #x224F) ;
(ucs . #x2200) ; ∀
))
(define-char
(mirrored . t)
(japanese-jisx0208 . #x225F) ;
(korean-ksc5601 . #x2153) ;
- (japanese-jisx0208-1990 . #x225F) ; ∂
+ (japanese-jisx0208-1990 . #x225F) ;
(ucs . #x2202) ; ∂
))
(define-char
(mirrored . t)
(japanese-jisx0208 . #x2250) ;
(korean-ksc5601 . #x2224) ;
- (japanese-jisx0208-1990 . #x2250) ; ∃
+ (japanese-jisx0208-1990 . #x2250) ;
(ucs . #x2203) ; ∃
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0213-1 . #x2247) ; ∅
+ (japanese-jisx0213-1 . #x2247) ;
(ucs . #x2205) ; ∅
))
(define-char
(mirrored . nil)
(japanese-jisx0208 . #x2260) ;
(korean-ksc5601 . #x2154) ;
- (japanese-jisx0208-1990 . #x2260) ; ∇
+ (japanese-jisx0208-1990 . #x2260) ;
(ucs . #x2207) ; ∇
))
(define-char
(chinese-gb2312 . #x214A) ;
(japanese-jisx0208 . #x223A) ;
(korean-ksc5601 . #x2174) ;
- (japanese-jisx0208-1990 . #x223A) ; ∈
+ (japanese-jisx0208-1990 . #x223A) ;
(ucs . #x2208) ; ∈
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2208 #x0338)
- (japanese-jisx0213-1 . #x2246) ; ∉
+ (japanese-jisx0213-1 . #x2246) ;
(ucs . #x2209) ; ∉
))
(define-char
(mirrored . t)
(japanese-jisx0208 . #x223B) ;
(korean-ksc5601 . #x2175) ;
- (japanese-jisx0208-1990 . #x223B) ; ∋
+ (japanese-jisx0208-1990 . #x223B) ;
(ucs . #x220B) ; ∋
))
(define-char
(mirrored . nil)
(japanese-jisx0208-1978 . #x215D) ;
(japanese-jisx0208 . #x215D) ;
- (japanese-jisx0208-1990 . #x215D) ; −
+ (japanese-jisx0208-1990 . #x215D) ;
(ucs . #x2212) ; −
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ET")
(mirrored . nil)
- (japanese-jisx0213-1 . #x235B) ; ∓
+ (japanese-jisx0213-1 . #x235B) ;
(ucs . #x2213) ; ∓
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(chinese-cns11643-1 . #x2261) ;
+ (chinese-big5 . #xA241) ;
(ucs . #x2215) ; ∕
))
(define-char
(japanese-jisx0208 . #x2265) ;
(korean-ksc5601 . #x216E) ;
(chinese-cns11643-1 . #x2235) ;
- (japanese-jisx0208-1990 . #x2265) ; √
+ (japanese-jisx0208-1990 . #x2265) ;
+ (chinese-big5 . #xA1D4) ;
(ucs . #x221A) ; √
))
(define-char
(chinese-gb2312 . #x2158) ;
(japanese-jisx0208 . #x2267) ;
(korean-ksc5601 . #x2170) ;
- (japanese-jisx0208-1990 . #x2267) ; ∝
+ (japanese-jisx0208-1990 . #x2267) ;
(ucs . #x221D) ; ∝
))
(define-char
(japanese-jisx0208 . #x2167) ;
(korean-ksc5601 . #x2144) ;
(chinese-cns11643-1 . #x223C) ;
- (japanese-jisx0208-1990 . #x2167) ; ∞
+ (japanese-jisx0208-1990 . #x2167) ;
+ (chinese-big5 . #xA1DB) ;
(ucs . #x221E) ; ∞
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(chinese-cns11643-1 . #x2249) ;
- (japanese-jisx0213-1 . #x2D78) ; ∟
+ (japanese-jisx0213-1 . #x2D78) ;
+ (chinese-big5 . #xA1E8) ;
(ucs . #x221F) ; ∟
))
(define-char
(japanese-jisx0208 . #x225C) ;
(korean-ksc5601 . #x2150) ;
(chinese-cns11643-1 . #x2248) ;
- (japanese-jisx0208-1990 . #x225C) ; ∠
+ (japanese-jisx0208-1990 . #x225C) ;
+ (chinese-big5 . #xA1E7) ;
(ucs . #x2220) ; ∠
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
+ (chinese-big5 . #xA1FD) ;
(ucs . #x2223) ; ∣
))
(define-char
(mirrored . nil)
(chinese-gb2312 . #x214E) ;
(korean-ksc5601 . #x212B) ;
- (japanese-jisx0213-1 . #x2254) ; ∥
+ (japanese-jisx0213-1 . #x2254) ;
+ (chinese-big5 . #xA1FC) ;
(ucs . #x2225) ; ∥
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2225 #x0338)
- (japanese-jisx0213-1 . #x2255) ; ∦
+ (japanese-jisx0213-1 . #x2255) ;
(ucs . #x2226) ; ∦
))
(define-char
(chinese-gb2312 . #x2144) ;
(japanese-jisx0208 . #x224A) ;
(korean-ksc5601 . #x217C) ;
- (japanese-jisx0208-1990 . #x224A) ; ∧
+ (japanese-jisx0208-1990 . #x224A) ;
(ucs . #x2227) ; ∧
))
(define-char
(chinese-gb2312 . #x2145) ;
(japanese-jisx0208 . #x224B) ;
(korean-ksc5601 . #x217D) ;
- (japanese-jisx0208-1990 . #x224B) ; ∨
+ (japanese-jisx0208-1990 . #x224B) ;
(ucs . #x2228) ; ∨
))
(define-char
(japanese-jisx0208 . #x2241) ;
(korean-ksc5601 . #x217B) ;
(chinese-cns11643-1 . #x2245) ;
- (japanese-jisx0208-1990 . #x2241) ; ∩
+ (japanese-jisx0208-1990 . #x2241) ;
+ (chinese-big5 . #xA1E4) ;
(ucs . #x2229) ; ∩
))
(define-char
(japanese-jisx0208 . #x2240) ;
(korean-ksc5601 . #x217A) ;
(chinese-cns11643-1 . #x2246) ;
- (japanese-jisx0208-1990 . #x2240) ; ∪
+ (japanese-jisx0208-1990 . #x2240) ;
+ (chinese-big5 . #xA1E5) ;
(ucs . #x222A) ; ∪
))
(define-char
(japanese-jisx0208 . #x2269) ;
(korean-ksc5601 . #x2172) ;
(chinese-cns11643-1 . #x224D) ;
- (japanese-jisx0208-1990 . #x2269) ; ∫
+ (japanese-jisx0208-1990 . #x2269) ;
+ (chinese-big5 . #xA1EC) ;
(ucs . #x222B) ; ∫
))
(define-char
(->decomposition compat #x222B #x222B)
(japanese-jisx0208 . #x226A) ;
(korean-ksc5601 . #x2173) ;
- (japanese-jisx0208-1990 . #x226A) ; ∬
+ (japanese-jisx0208-1990 . #x226A) ;
(ucs . #x222C) ; ∬
))
(define-char
(chinese-gb2312 . #x2153) ;
(korean-ksc5601 . #x2231) ;
(chinese-cns11643-1 . #x224E) ;
- (japanese-jisx0213-1 . #x2D73) ; ∮
+ (japanese-jisx0213-1 . #x2D73) ;
+ (chinese-big5 . #xA1ED) ;
(ucs . #x222E) ; ∮
))
(define-char
(japanese-jisx0208 . #x2168) ;
(korean-ksc5601 . #x2145) ;
(chinese-cns11643-1 . #x2250) ;
- (japanese-jisx0208-1990 . #x2168) ; ∴
+ (japanese-jisx0208-1990 . #x2168) ;
+ (chinese-big5 . #xA1EF) ;
(ucs . #x2234) ; ∴
))
(define-char
(japanese-jisx0208 . #x2268) ;
(korean-ksc5601 . #x2171) ;
(chinese-cns11643-1 . #x224F) ;
- (japanese-jisx0208-1990 . #x2268) ; ∵
+ (japanese-jisx0208-1990 . #x2268) ;
+ (chinese-big5 . #xA1EE) ;
(ucs . #x2235) ; ∵
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(korean-ksc5601 . #x212D) ;
+ (chinese-cns11643-1 . #x2244) ;
+ (chinese-big5 . #xA1E3) ;
+ (ucs-big5 . #xFF5E) ; ∼
(ucs . #x223C) ; ∼
))
(define-char
(chinese-gb2312 . #x2157) ;
(japanese-jisx0208 . #x2266) ;
(korean-ksc5601 . #x216F) ;
- (japanese-jisx0208-1990 . #x2266) ; ∽
+ (japanese-jisx0208-1990 . #x2266) ;
(ucs . #x223D) ; ∽
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 . #x226C) ; ≃
+ (japanese-jisx0213-1 . #x226C) ;
(ucs . #x2243) ; ≃
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 . #x226D) ; ≅
+ (japanese-jisx0213-1 . #x226D) ;
(ucs . #x2245) ; ≅
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(chinese-gb2312 . #x2156) ;
- (japanese-jisx0213-1 . #x226E) ; ≈
+ (japanese-jisx0213-1 . #x226E) ;
(ucs . #x2248) ; ≈
))
(define-char
(japanese-jisx0208 . #x2262) ;
(korean-ksc5601 . #x2156) ;
(chinese-cns11643-1 . #x223D) ;
- (japanese-jisx0208-1990 . #x2262) ; ≒
+ (japanese-jisx0208-1990 . #x2262) ;
+ (chinese-big5 . #xA1DC) ;
(ucs . #x2252) ; ≒
))
(define-char
(japanese-jisx0208 . #x2162) ;
(korean-ksc5601 . #x2141) ;
(chinese-cns11643-1 . #x223B) ;
- (japanese-jisx0208-1990 . #x2162) ; ≠
+ (japanese-jisx0208-1990 . #x2162) ;
+ (chinese-big5 . #xA1DA) ;
(ucs . #x2260) ; ≠
))
(define-char
(japanese-jisx0208 . #x2261) ;
(korean-ksc5601 . #x2155) ;
(chinese-cns11643-1 . #x223E) ;
- (japanese-jisx0208-1990 . #x2261) ; ≡
+ (japanese-jisx0208-1990 . #x2261) ;
+ (chinese-big5 . #xA1DD) ;
(ucs . #x2261) ; ≡
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2261 #x0338)
- (japanese-jisx0213-1 . #x226B) ; ≢
+ (japanese-jisx0213-1 . #x226B) ;
(ucs . #x2262) ; ≢
))
(define-char
(japanese-jisx0208-1978 . #x2165) ;
(japanese-jisx0208 . #x2165) ;
(chinese-cns11643-1 . #x2239) ;
- (japanese-jisx0208-1990 . #x2165) ; ≦
+ (japanese-jisx0208-1990 . #x2165) ;
+ (chinese-big5 . #xA1D8) ;
(ucs . #x2266) ; ≦
))
(define-char
(japanese-jisx0208-1978 . #x2166) ;
(japanese-jisx0208 . #x2166) ;
(chinese-cns11643-1 . #x223A) ;
- (japanese-jisx0208-1990 . #x2166) ; ≧
+ (japanese-jisx0208-1990 . #x2166) ;
+ (chinese-big5 . #xA1D9) ;
(ucs . #x2267) ; ≧
))
(define-char
(mirrored . t)
(japanese-jisx0208 . #x2263) ;
(korean-ksc5601 . #x216C) ;
- (japanese-jisx0208-1990 . #x2263) ; ≪
+ (japanese-jisx0208-1990 . #x2263) ;
(ucs . #x226A) ; ≪
))
(define-char
(mirrored . t)
(japanese-jisx0208 . #x2264) ;
(korean-ksc5601 . #x216D) ;
- (japanese-jisx0208-1990 . #x2264) ; ≫
+ (japanese-jisx0208-1990 . #x2264) ;
(ucs . #x226B) ; ≫
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 . #x226F) ; ≶
+ (japanese-jisx0213-1 . #x226F) ;
(ucs . #x2276) ; ≶
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 . #x2270) ; ≷
+ (japanese-jisx0213-1 . #x2270) ;
(ucs . #x2277) ; ≷
))
(define-char
(mirrored . t)
(japanese-jisx0208 . #x223E) ;
(korean-ksc5601 . #x2178) ;
- (japanese-jisx0208-1990 . #x223E) ; ⊂
+ (japanese-jisx0208-1990 . #x223E) ;
(ucs . #x2282) ; ⊂
))
(define-char
(mirrored . t)
(japanese-jisx0208 . #x223F) ;
(korean-ksc5601 . #x2179) ;
- (japanese-jisx0208-1990 . #x223F) ; ⊃
+ (japanese-jisx0208-1990 . #x223F) ;
(ucs . #x2283) ; ⊃
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2282 #x0338)
- (japanese-jisx0213-1 . #x2242) ; ⊄
+ (japanese-jisx0213-1 . #x2242) ;
(ucs . #x2284) ; ⊄
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x2283 #x0338)
- (japanese-jisx0213-1 . #x2243) ; ⊅
+ (japanese-jisx0213-1 . #x2243) ;
(ucs . #x2285) ; ⊅
))
(define-char
(mirrored . t)
(japanese-jisx0208 . #x223C) ;
(korean-ksc5601 . #x2176) ;
- (japanese-jisx0208-1990 . #x223C) ; ⊆
+ (japanese-jisx0208-1990 . #x223C) ;
(ucs . #x2286) ; ⊆
))
(define-char
(mirrored . t)
(japanese-jisx0208 . #x223D) ;
(korean-ksc5601 . #x2177) ;
- (japanese-jisx0208-1990 . #x223D) ; ⊇
+ (japanese-jisx0208-1990 . #x223D) ;
(ucs . #x2287) ; ⊇
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 . #x2244) ; ⊊
+ (japanese-jisx0213-1 . #x2244) ;
(ucs . #x228A) ; ⊊
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 . #x2245) ; ⊋
+ (japanese-jisx0213-1 . #x2245) ;
(ucs . #x228B) ; ⊋
))
(define-char
(bidi-category . "ON")
(mirrored . nil)
(chinese-cns11643-1 . #x2253) ;
- (japanese-jisx0213-1 . #x2251) ; ⊕
+ (japanese-jisx0213-1 . #x2251) ;
+ (chinese-big5 . #xA1F2) ;
(ucs . #x2295) ; ⊕
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0213-1 . #x2252) ; ⊖
+ (japanese-jisx0213-1 . #x2252) ;
(ucs . #x2296) ; ⊖
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0213-1 . #x2253) ; ⊗
+ (japanese-jisx0213-1 . #x2253) ;
(ucs . #x2297) ; ⊗
))
(define-char
(chinese-gb2312 . #x2151) ;
(korean-ksc5601 . #x2241) ;
(chinese-cns11643-1 . #x2254) ;
+ (chinese-big5 . #xA1F3) ;
(ucs . #x2299) ; ⊙
))
(define-char
(japanese-jisx0208 . #x225D) ;
(korean-ksc5601 . #x2151) ;
(chinese-cns11643-1 . #x2247) ;
- (japanese-jisx0208-1990 . #x225D) ; ⊥
+ (japanese-jisx0208-1990 . #x225D) ;
+ (chinese-big5 . #xA1E6) ;
(ucs . #x22A5) ; ⊥
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(chinese-cns11643-1 . #x224A) ;
- (japanese-jisx0213-1 . #x2D79) ; ⊿
+ (japanese-jisx0213-1 . #x2D79) ;
+ (chinese-big5 . #xA1E9) ;
(ucs . #x22BF) ; ⊿
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 . #x2776) ; ⋚
+ (japanese-jisx0213-1 . #x2776) ;
(ucs . #x22DA) ; ⋚
))
(define-char
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0213-1 . #x2777) ; ⋛
+ (japanese-jisx0213-1 . #x2777) ;
(ucs . #x22DB) ; ⋛
))
(define-char