(bidi-category . "ON")
(mirrored . nil)
(=jis-x0208-1983 . #x224F) ;
- (korean-ksc5601 . #x2223) ;
+ (=ks-x1001 . #x2223) ;
(=jis-x0208-1990 . #x224F) ;
(=jef-china3 . #x7FDC) ;
(=ucs . #x2200) ; ∀
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208-1983 . #x225F) ;
- (korean-ksc5601 . #x2153) ;
+ (=ks-x1001 . #x2153) ;
(=jis-x0208-1990 . #x225F) ;
(=jef-china3 . #x7FE1) ;
(=ucs . #x2202) ; ∂
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208-1983 . #x2250) ;
- (korean-ksc5601 . #x2224) ;
+ (=ks-x1001 . #x2224) ;
(=jis-x0208-1990 . #x2250) ;
(=jef-china3 . #x7FDD) ;
(=ucs . #x2203) ; ∃
(bidi-category . "ON")
(mirrored . nil)
(=jis-x0208-1983 . #x2260) ;
- (korean-ksc5601 . #x2154) ;
+ (=ks-x1001 . #x2154) ;
(=jis-x0208-1990 . #x2260) ;
(=jef-china3 . #x7FE2) ;
(=ucs . #x2207) ; ∇
(mirrored . t)
(chinese-gb2312 . #x214A) ;
(=jis-x0208-1983 . #x223A) ;
- (korean-ksc5601 . #x2174) ;
+ (=ks-x1001 . #x2174) ;
(=jis-x0208-1990 . #x223A) ;
(=jef-china3 . #x7FD0) ;
(=ucs . #x2208) ; ∈
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208-1983 . #x223B) ;
- (korean-ksc5601 . #x2175) ;
+ (=ks-x1001 . #x2175) ;
(=jis-x0208-1990 . #x223B) ;
(=jef-china3 . #x7FD1) ;
(=ucs . #x220B) ; ∋
(bidi-category . "ON")
(mirrored . nil)
(chinese-gb2312 . #x2147) ;
- (korean-ksc5601 . #x2233) ;
+ (=ks-x1001 . #x2233) ;
(=ucs . #x220F) ; ∏
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(chinese-gb2312 . #x2146) ;
- (korean-ksc5601 . #x2232) ;
+ (=ks-x1001 . #x2232) ;
(=ucs . #x2211) ; ∑
))
(define-char
(mirrored . t)
(chinese-gb2312 . #x214C) ;
(=jis-x0208-1983 . #x2265) ;
- (korean-ksc5601 . #x216E) ;
+ (=ks-x1001 . #x216E) ;
(chinese-cns11643-1 . #x2235) ;
(=jis-x0208-1990 . #x2265) ;
(chinese-big5 . #xA1D4) ;
(mirrored . t)
(chinese-gb2312 . #x2158) ;
(=jis-x0208-1983 . #x2267) ;
- (korean-ksc5601 . #x2170) ;
+ (=ks-x1001 . #x2170) ;
(=jis-x0208-1990 . #x2267) ;
(=jef-china3 . #x7FE7) ;
(=ucs . #x221D) ; ∝
(mirrored . nil)
(chinese-gb2312 . #x215E) ;
(=jis-x0208 . #x2167) ;
- (korean-ksc5601 . #x2144) ;
+ (=ks-x1001 . #x2144) ;
(chinese-cns11643-1 . #x223C) ;
(chinese-big5 . #xA1DB) ;
(=ucs . #x221E) ; ∞
(mirrored . t)
(chinese-gb2312 . #x214F) ;
(=jis-x0208-1983 . #x225C) ;
- (korean-ksc5601 . #x2150) ;
+ (=ks-x1001 . #x2150) ;
(chinese-cns11643-1 . #x2248) ;
(=jis-x0208-1990 . #x225C) ;
(chinese-big5 . #xA1E7) ;
(bidi-category . "ON")
(mirrored . nil)
(chinese-gb2312 . #x214E) ;
- (korean-ksc5601 . #x212B) ;
+ (=ks-x1001 . #x212B) ;
(=jis-x0213-1-2000 . #x2254) ;
(chinese-big5 . #xA1FC) ;
(=ucs . #x2225) ; ∥
(mirrored . nil)
(chinese-gb2312 . #x2144) ;
(=jis-x0208-1983 . #x224A) ;
- (korean-ksc5601 . #x217C) ;
+ (=ks-x1001 . #x217C) ;
(=jis-x0208-1990 . #x224A) ;
(=ucs . #x2227) ; ∧
))
(mirrored . nil)
(chinese-gb2312 . #x2145) ;
(=jis-x0208-1983 . #x224B) ;
- (korean-ksc5601 . #x217D) ;
+ (=ks-x1001 . #x217D) ;
(=jis-x0208-1990 . #x224B) ;
(=ucs . #x2228) ; ∨
))
(mirrored . nil)
(chinese-gb2312 . #x2149) ;
(=jis-x0208-1983 . #x2241) ;
- (korean-ksc5601 . #x217B) ;
+ (=ks-x1001 . #x217B) ;
(chinese-cns11643-1 . #x2245) ;
(=jis-x0208-1990 . #x2241) ;
(chinese-big5 . #xA1E4) ;
(mirrored . nil)
(chinese-gb2312 . #x2148) ;
(=jis-x0208-1983 . #x2240) ;
- (korean-ksc5601 . #x217A) ;
+ (=ks-x1001 . #x217A) ;
(chinese-cns11643-1 . #x2246) ;
(=jis-x0208-1990 . #x2240) ;
(chinese-big5 . #xA1E5) ;
(mirrored . t)
(chinese-gb2312 . #x2152) ;
(=jis-x0208-1983 . #x2269) ;
- (korean-ksc5601 . #x2172) ;
+ (=ks-x1001 . #x2172) ;
(chinese-cns11643-1 . #x224D) ;
(=jis-x0208-1990 . #x2269) ;
(chinese-big5 . #xA1EC) ;
(mirrored . t)
(->decomposition compat #x222B #x222B)
(=jis-x0208-1983 . #x226A) ;
- (korean-ksc5601 . #x2173) ;
+ (=ks-x1001 . #x2173) ;
(=jis-x0208-1990 . #x226A) ;
(=jef-china3 . #x7FE9) ;
(=ucs . #x222C) ; ∬
(bidi-category . "ON")
(mirrored . t)
(chinese-gb2312 . #x2153) ;
- (korean-ksc5601 . #x2231) ;
+ (=ks-x1001 . #x2231) ;
(chinese-cns11643-1 . #x224E) ;
(=jis-x0213-1-2000 . #x2D73) ;
(chinese-big5 . #xA1ED) ;
(mirrored . nil)
(chinese-gb2312 . #x2160) ;
(=jis-x0208 . #x2168) ;
- (korean-ksc5601 . #x2145) ;
+ (=ks-x1001 . #x2145) ;
(chinese-cns11643-1 . #x2250) ;
(chinese-big5 . #xA1EF) ;
(=ucs . #x2234) ; ∴
(mirrored . nil)
(chinese-gb2312 . #x215F) ;
(=jis-x0208-1983 . #x2268) ;
- (korean-ksc5601 . #x2171) ;
+ (=ks-x1001 . #x2171) ;
(chinese-cns11643-1 . #x224F) ;
(=jis-x0208-1990 . #x2268) ;
(chinese-big5 . #xA1EE) ;
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (korean-ksc5601 . #x212D) ;
+ (=ks-x1001 . #x212D) ;
(chinese-cns11643-1 . #x2244) ;
(chinese-big5 . #xA1E3) ;
(=ucs@big5 . #xFF5E) ; ∼
(iso-10646-comment . "lazy S")
(chinese-gb2312 . #x2157) ;
(=jis-x0208-1983 . #x2266) ;
- (korean-ksc5601 . #x216F) ;
+ (=ks-x1001 . #x216F) ;
(=jis-x0208-1990 . #x2266) ;
(=jef-china3 . #x7FE6) ;
(=ucs . #x223D) ; ∽
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208-1983 . #x2262) ;
- (korean-ksc5601 . #x2156) ;
+ (=ks-x1001 . #x2156) ;
(chinese-cns11643-1 . #x223D) ;
(=jis-x0208-1990 . #x2262) ;
(chinese-big5 . #xA1DC) ;
(->decomposition #x003D #x0338)
(chinese-gb2312 . #x2159) ;
(=jis-x0208 . #x2162) ;
- (korean-ksc5601 . #x2141) ;
+ (=ks-x1001 . #x2141) ;
(chinese-cns11643-1 . #x223B) ;
(chinese-big5 . #xA1DA) ;
(=ucs . #x2260) ; ≠
(mirrored . nil)
(chinese-gb2312 . #x2154) ;
(=jis-x0208-1983 . #x2261) ;
- (korean-ksc5601 . #x2155) ;
+ (=ks-x1001 . #x2155) ;
(chinese-cns11643-1 . #x223E) ;
(=jis-x0208-1990 . #x2261) ;
(chinese-big5 . #xA1DD) ;
(bidi-category . "ON")
(mirrored . t)
(chinese-gb2312 . #x215C) ;
- (korean-ksc5601 . #x2142) ;
+ (=ks-x1001 . #x2142) ;
(=ucs . #x2264) ; ≤
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(chinese-gb2312 . #x215D) ;
- (korean-ksc5601 . #x2143) ;
+ (=ks-x1001 . #x2143) ;
(=ucs . #x2265) ; ≥
))
(define-char
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208-1983 . #x2263) ;
- (korean-ksc5601 . #x216C) ;
+ (=ks-x1001 . #x216C) ;
(=jis-x0208-1990 . #x2263) ;
(=jef-china3 . #x7FE3) ;
(=ucs . #x226A) ; ≪
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208-1983 . #x2264) ;
- (korean-ksc5601 . #x216D) ;
+ (=ks-x1001 . #x216D) ;
(=jis-x0208-1990 . #x2264) ;
(=jef-china3 . #x7FE4) ;
(=ucs . #x226B) ; ≫
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208-1983 . #x223E) ;
- (korean-ksc5601 . #x2178) ;
+ (=ks-x1001 . #x2178) ;
(=jis-x0208-1990 . #x223E) ;
(=jef-china3 . #x7FD4) ;
(=ucs . #x2282) ; ⊂
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208-1983 . #x223F) ;
- (korean-ksc5601 . #x2179) ;
+ (=ks-x1001 . #x2179) ;
(=jis-x0208-1990 . #x223F) ;
(=jef-china3 . #x7FD5) ;
(=ucs . #x2283) ; ⊃
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208-1983 . #x223C) ;
- (korean-ksc5601 . #x2176) ;
+ (=ks-x1001 . #x2176) ;
(=jis-x0208-1990 . #x223C) ;
(=jef-china3 . #x7FD2) ;
(=ucs . #x2286) ; ⊆
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208-1983 . #x223D) ;
- (korean-ksc5601 . #x2177) ;
+ (=ks-x1001 . #x2177) ;
(=jis-x0208-1990 . #x223D) ;
(=jef-china3 . #x7FD3) ;
(=ucs . #x2287) ; ⊇
(bidi-category . "ON")
(mirrored . nil)
(chinese-gb2312 . #x2151) ;
- (korean-ksc5601 . #x2241) ;
+ (=ks-x1001 . #x2241) ;
(chinese-cns11643-1 . #x2254) ;
(chinese-big5 . #xA1F3) ;
(=ucs . #x2299) ; ⊙
(mirrored . nil)
(chinese-gb2312 . #x214D) ;
(=jis-x0208-1983 . #x225D) ;
- (korean-ksc5601 . #x2151) ;
+ (=ks-x1001 . #x2151) ;
(chinese-cns11643-1 . #x2247) ;
(=jis-x0208-1990 . #x225D) ;
(chinese-big5 . #xA1E6) ;