projects
/
chise
/
xemacs-chise.git.1
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add coding: magic cookie.
[chise/xemacs-chise.git.1]
/
lisp
/
utf-2000
/
u02200-Mathematical-Operators.el
diff --git
a/lisp/utf-2000/u02200-Mathematical-Operators.el
b/lisp/utf-2000/u02200-Mathematical-Operators.el
index
2219c57
..
a0ad6fb
100644
(file)
--- a/
lisp/utf-2000/u02200-Mathematical-Operators.el
+++ b/
lisp/utf-2000/u02200-Mathematical-Operators.el
@@
-1,10
+1,11
@@
+;; -*- coding: utf-8-mcs -*-
(define-char
'((name . "FOR ALL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(define-char
'((name . "FOR ALL")
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0208 . #x224F) ;
- (korean-ksc5601 . #x2223) ;
+ (=jis-x0208-1983 . #x224F) ;
+ (=ks-x1001 . #x2223) ;
(=jis-x0208-1990 . #x224F) ;
(=jef-china3 . #x7FDC) ;
(=ucs . #x2200) ; ∀
(=jis-x0208-1990 . #x224F) ;
(=jef-china3 . #x7FDC) ;
(=ucs . #x2200) ; ∀
@@
-21,8
+22,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x225F) ;
- (korean-ksc5601 . #x2153) ;
+ (=jis-x0208-1983 . #x225F) ;
+ (=ks-x1001 . #x2153) ;
(=jis-x0208-1990 . #x225F) ;
(=jef-china3 . #x7FE1) ;
(=ucs . #x2202) ; ∂
(=jis-x0208-1990 . #x225F) ;
(=jef-china3 . #x7FE1) ;
(=ucs . #x2202) ; ∂
@@
-32,8
+33,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x2250) ;
- (korean-ksc5601 . #x2224) ;
+ (=jis-x0208-1983 . #x2250) ;
+ (=ks-x1001 . #x2224) ;
(=jis-x0208-1990 . #x2250) ;
(=jef-china3 . #x7FDD) ;
(=ucs . #x2203) ; ∃
(=jis-x0208-1990 . #x2250) ;
(=jef-china3 . #x7FDD) ;
(=ucs . #x2203) ; ∃
@@
-66,8
+67,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (japanese-jisx0208 . #x2260) ;
- (korean-ksc5601 . #x2154) ;
+ (=jis-x0208-1983 . #x2260) ;
+ (=ks-x1001 . #x2154) ;
(=jis-x0208-1990 . #x2260) ;
(=jef-china3 . #x7FE2) ;
(=ucs . #x2207) ; ∇
(=jis-x0208-1990 . #x2260) ;
(=jef-china3 . #x7FE2) ;
(=ucs . #x2207) ; ∇
@@
-77,9
+78,9
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x214A) ;
- (japanese-jisx0208 . #x223A) ;
- (korean-ksc5601 . #x2174) ;
+ (=gb2312 . #x214A) ;
+ (=jis-x0208-1983 . #x223A) ;
+ (=ks-x1001 . #x2174) ;
(=jis-x0208-1990 . #x223A) ;
(=jef-china3 . #x7FD0) ;
(=ucs . #x2208) ; ∈
(=jis-x0208-1990 . #x223A) ;
(=jef-china3 . #x7FD0) ;
(=ucs . #x2208) ; ∈
@@
-105,8
+106,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x223B) ;
- (korean-ksc5601 . #x2175) ;
+ (=jis-x0208-1983 . #x223B) ;
+ (=ks-x1001 . #x2175) ;
(=jis-x0208-1990 . #x223B) ;
(=jef-china3 . #x7FD1) ;
(=ucs . #x220B) ; ∋
(=jis-x0208-1990 . #x223B) ;
(=jef-china3 . #x7FD1) ;
(=ucs . #x220B) ; ∋
@@
-138,8
+139,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2147) ;
- (korean-ksc5601 . #x2233) ;
+ (=gb2312 . #x2147) ;
+ (=ks-x1001 . #x2233) ;
(=ucs . #x220F) ; ∏
))
(define-char
(=ucs . #x220F) ; ∏
))
(define-char
@@
-154,8
+155,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2146) ;
- (korean-ksc5601 . #x2232) ;
+ (=gb2312 . #x2146) ;
+ (=ks-x1001 . #x2232) ;
(=ucs . #x2211) ; ∑
))
(define-char
(=ucs . #x2211) ; ∑
))
(define-char
@@
-186,8
+187,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 . #x2261) ;
- (chinese-big5 . #xA241) ;
+ (=cns11643-1 . #x2261) ;
+ (=big5 . #xA241) ;
(=ucs . #x2215) ; ∕
))
(define-char
(=ucs . #x2215) ; ∕
))
(define-char
@@
-223,12
+224,12
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x214C) ;
- (japanese-jisx0208 . #x2265) ;
- (korean-ksc5601 . #x216E) ;
- (chinese-cns11643-1 . #x2235) ;
+ (=gb2312 . #x214C) ;
+ (=jis-x0208-1983 . #x2265) ;
+ (=ks-x1001 . #x216E) ;
+ (=cns11643-1 . #x2235) ;
(=jis-x0208-1990 . #x2265) ;
(=jis-x0208-1990 . #x2265) ;
- (chinese-big5 . #xA1D4) ;
+ (=big5 . #xA1D4) ;
(=ucs . #x221A) ; √
))
(define-char
(=ucs . #x221A) ; √
))
(define-char
@@
-250,9
+251,9
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2158) ;
- (japanese-jisx0208 . #x2267) ;
- (korean-ksc5601 . #x2170) ;
+ (=gb2312 . #x2158) ;
+ (=jis-x0208-1983 . #x2267) ;
+ (=ks-x1001 . #x2170) ;
(=jis-x0208-1990 . #x2267) ;
(=jef-china3 . #x7FE7) ;
(=ucs . #x221D) ; ∝
(=jis-x0208-1990 . #x2267) ;
(=jef-china3 . #x7FE7) ;
(=ucs . #x221D) ; ∝
@@
-262,11
+263,11
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x215E) ;
+ (=gb2312 . #x215E) ;
(=jis-x0208 . #x2167) ;
(=jis-x0208 . #x2167) ;
- (korean-ksc5601 . #x2144) ;
- (chinese-cns11643-1 . #x223C) ;
- (chinese-big5 . #xA1DB) ;
+ (=ks-x1001 . #x2144) ;
+ (=cns11643-1 . #x223C) ;
+ (=big5 . #xA1DB) ;
(=ucs . #x221E) ; ∞
))
(define-char
(=ucs . #x221E) ; ∞
))
(define-char
@@
-274,9
+275,9
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 . #x2249) ;
+ (=cns11643-1 . #x2249) ;
(=jis-x0213-1-2000 . #x2D78) ;
(=jis-x0213-1-2000 . #x2D78) ;
- (chinese-big5 . #xA1E8) ;
+ (=big5 . #xA1E8) ;
(=ucs . #x221F) ; ∟
))
(define-char
(=ucs . #x221F) ; ∟
))
(define-char
@@
-284,12
+285,12
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x214F) ;
- (japanese-jisx0208 . #x225C) ;
- (korean-ksc5601 . #x2150) ;
- (chinese-cns11643-1 . #x2248) ;
+ (=gb2312 . #x214F) ;
+ (=jis-x0208-1983 . #x225C) ;
+ (=ks-x1001 . #x2150) ;
+ (=cns11643-1 . #x2248) ;
(=jis-x0208-1990 . #x225C) ;
(=jis-x0208-1990 . #x225C) ;
- (chinese-big5 . #xA1E7) ;
+ (=big5 . #xA1E7) ;
(=jef-china3 . #x7FDE) ;
(=ucs . #x2220) ; ∠
))
(=jef-china3 . #x7FDE) ;
(=ucs . #x2220) ; ∠
))
@@
-312,7
+313,7
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-big5 . #xA1FD) ;
+ (=big5 . #xA1FD) ;
(=ucs . #x2223) ; ∣
))
(define-char
(=ucs . #x2223) ; ∣
))
(define-char
@@
-328,10
+329,10
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x214E) ;
- (korean-ksc5601 . #x212B) ;
+ (=gb2312 . #x214E) ;
+ (=ks-x1001 . #x212B) ;
(=jis-x0213-1-2000 . #x2254) ;
(=jis-x0213-1-2000 . #x2254) ;
- (chinese-big5 . #xA1FC) ;
+ (=big5 . #xA1FC) ;
(=ucs . #x2225) ; ∥
))
(define-char
(=ucs . #x2225) ; ∥
))
(define-char
@@
-348,9
+349,9
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2144) ;
- (japanese-jisx0208 . #x224A) ;
- (korean-ksc5601 . #x217C) ;
+ (=gb2312 . #x2144) ;
+ (=jis-x0208-1983 . #x224A) ;
+ (=ks-x1001 . #x217C) ;
(=jis-x0208-1990 . #x224A) ;
(=ucs . #x2227) ; ∧
))
(=jis-x0208-1990 . #x224A) ;
(=ucs . #x2227) ; ∧
))
@@
-359,9
+360,9
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2145) ;
- (japanese-jisx0208 . #x224B) ;
- (korean-ksc5601 . #x217D) ;
+ (=gb2312 . #x2145) ;
+ (=jis-x0208-1983 . #x224B) ;
+ (=ks-x1001 . #x217D) ;
(=jis-x0208-1990 . #x224B) ;
(=ucs . #x2228) ; ∨
))
(=jis-x0208-1990 . #x224B) ;
(=ucs . #x2228) ; ∨
))
@@
-370,12
+371,12
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2149) ;
- (japanese-jisx0208 . #x2241) ;
- (korean-ksc5601 . #x217B) ;
- (chinese-cns11643-1 . #x2245) ;
+ (=gb2312 . #x2149) ;
+ (=jis-x0208-1983 . #x2241) ;
+ (=ks-x1001 . #x217B) ;
+ (=cns11643-1 . #x2245) ;
(=jis-x0208-1990 . #x2241) ;
(=jis-x0208-1990 . #x2241) ;
- (chinese-big5 . #xA1E4) ;
+ (=big5 . #xA1E4) ;
(=ucs . #x2229) ; ∩
))
(define-char
(=ucs . #x2229) ; ∩
))
(define-char
@@
-383,12
+384,12
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2148) ;
- (japanese-jisx0208 . #x2240) ;
- (korean-ksc5601 . #x217A) ;
- (chinese-cns11643-1 . #x2246) ;
+ (=gb2312 . #x2148) ;
+ (=jis-x0208-1983 . #x2240) ;
+ (=ks-x1001 . #x217A) ;
+ (=cns11643-1 . #x2246) ;
(=jis-x0208-1990 . #x2240) ;
(=jis-x0208-1990 . #x2240) ;
- (chinese-big5 . #xA1E5) ;
+ (=big5 . #xA1E5) ;
(=ucs . #x222A) ; ∪
))
(define-char
(=ucs . #x222A) ; ∪
))
(define-char
@@
-396,12
+397,12
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2152) ;
- (japanese-jisx0208 . #x2269) ;
- (korean-ksc5601 . #x2172) ;
- (chinese-cns11643-1 . #x224D) ;
+ (=gb2312 . #x2152) ;
+ (=jis-x0208-1983 . #x2269) ;
+ (=ks-x1001 . #x2172) ;
+ (=cns11643-1 . #x224D) ;
(=jis-x0208-1990 . #x2269) ;
(=jis-x0208-1990 . #x2269) ;
- (chinese-big5 . #xA1EC) ;
+ (=big5 . #xA1EC) ;
(=jef-china3 . #x7FE8) ;
(=ucs . #x222B) ; ∫
))
(=jef-china3 . #x7FE8) ;
(=ucs . #x222B) ; ∫
))
@@
-411,8
+412,8
@@
(bidi-category . "ON")
(mirrored . t)
(->decomposition compat #x222B #x222B)
(bidi-category . "ON")
(mirrored . t)
(->decomposition compat #x222B #x222B)
- (japanese-jisx0208 . #x226A) ;
- (korean-ksc5601 . #x2173) ;
+ (=jis-x0208-1983 . #x226A) ;
+ (=ks-x1001 . #x2173) ;
(=jis-x0208-1990 . #x226A) ;
(=jef-china3 . #x7FE9) ;
(=ucs . #x222C) ; ∬
(=jis-x0208-1990 . #x226A) ;
(=jef-china3 . #x7FE9) ;
(=ucs . #x222C) ; ∬
@@
-430,11
+431,11
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2153) ;
- (korean-ksc5601 . #x2231) ;
- (chinese-cns11643-1 . #x224E) ;
+ (=gb2312 . #x2153) ;
+ (=ks-x1001 . #x2231) ;
+ (=cns11643-1 . #x224E) ;
(=jis-x0213-1-2000 . #x2D73) ;
(=jis-x0213-1-2000 . #x2D73) ;
- (chinese-big5 . #xA1ED) ;
+ (=big5 . #xA1ED) ;
(=ucs . #x222E) ; ∮
))
(define-char
(=ucs . #x222E) ; ∮
))
(define-char
@@
-479,11
+480,11
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2160) ;
+ (=gb2312 . #x2160) ;
(=jis-x0208 . #x2168) ;
(=jis-x0208 . #x2168) ;
- (korean-ksc5601 . #x2145) ;
- (chinese-cns11643-1 . #x2250) ;
- (chinese-big5 . #xA1EF) ;
+ (=ks-x1001 . #x2145) ;
+ (=cns11643-1 . #x2250) ;
+ (=big5 . #xA1EF) ;
(=ucs . #x2234) ; ∴
))
(define-char
(=ucs . #x2234) ; ∴
))
(define-char
@@
-491,12
+492,12
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x215F) ;
- (japanese-jisx0208 . #x2268) ;
- (korean-ksc5601 . #x2171) ;
- (chinese-cns11643-1 . #x224F) ;
+ (=gb2312 . #x215F) ;
+ (=jis-x0208-1983 . #x2268) ;
+ (=ks-x1001 . #x2171) ;
+ (=cns11643-1 . #x224F) ;
(=jis-x0208-1990 . #x2268) ;
(=jis-x0208-1990 . #x2268) ;
- (chinese-big5 . #xA1EE) ;
+ (=big5 . #xA1EE) ;
(=ucs . #x2235) ; ∵
))
(define-char
(=ucs . #x2235) ; ∵
))
(define-char
@@
-504,7
+505,7
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2143) ;
+ (=gb2312 . #x2143) ;
(=ucs . #x2236) ; ∶
))
(define-char
(=ucs . #x2236) ; ∶
))
(define-char
@@
-512,7
+513,7
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x214B) ;
+ (=gb2312 . #x214B) ;
(=ucs . #x2237) ; ∷
))
(define-char
(=ucs . #x2237) ; ∷
))
(define-char
@@
-548,10
+549,10
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (korean-ksc5601 . #x212D) ;
- (chinese-cns11643-1 . #x2244) ;
- (chinese-big5 . #xA1E3) ;
- (ucs-big5 . #xFF5E) ; ∼
+ (=ks-x1001 . #x212D) ;
+ (=cns11643-1 . #x2244) ;
+ (=big5 . #xA1E3) ;
+ (=ucs@big5 . #xFF5E) ; ∼
(=ucs . #x223C) ; ∼
))
(define-char
(=ucs . #x223C) ; ∼
))
(define-char
@@
-560,9
+561,9
@@
(bidi-category . "ON")
(mirrored . t)
(iso-10646-comment . "lazy S")
(bidi-category . "ON")
(mirrored . t)
(iso-10646-comment . "lazy S")
- (chinese-gb2312 . #x2157) ;
- (japanese-jisx0208 . #x2266) ;
- (korean-ksc5601 . #x216F) ;
+ (=gb2312 . #x2157) ;
+ (=jis-x0208-1983 . #x2266) ;
+ (=ks-x1001 . #x216F) ;
(=jis-x0208-1990 . #x2266) ;
(=jef-china3 . #x7FE6) ;
(=ucs . #x223D) ; ∽
(=jis-x0208-1990 . #x2266) ;
(=jef-china3 . #x7FE6) ;
(=ucs . #x223D) ; ∽
@@
-647,7
+648,7
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2156) ;
+ (=gb2312 . #x2156) ;
(=jis-x0213-1-2000 . #x226E) ;
(=ucs . #x2248) ; ≈
))
(=jis-x0213-1-2000 . #x226E) ;
(=ucs . #x2248) ; ≈
))
@@
-678,7
+679,7
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x2155) ;
+ (=gb2312 . #x2155) ;
(=ucs . #x224C) ; ≌
))
(define-char
(=ucs . #x224C) ; ≌
))
(define-char
@@
-721,11
+722,11
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x2262) ;
- (korean-ksc5601 . #x2156) ;
- (chinese-cns11643-1 . #x223D) ;
+ (=jis-x0208-1983 . #x2262) ;
+ (=ks-x1001 . #x2156) ;
+ (=cns11643-1 . #x223D) ;
(=jis-x0208-1990 . #x2262) ;
(=jis-x0208-1990 . #x2262) ;
- (chinese-big5 . #xA1DC) ;
+ (=big5 . #xA1DC) ;
(=ucs . #x2252) ; ≒
))
(define-char
(=ucs . #x2252) ; ≒
))
(define-char
@@
-825,11
+826,11
@@
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003D #x0338)
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003D #x0338)
- (chinese-gb2312 . #x2159) ;
+ (=gb2312 . #x2159) ;
(=jis-x0208 . #x2162) ;
(=jis-x0208 . #x2162) ;
- (korean-ksc5601 . #x2141) ;
- (chinese-cns11643-1 . #x223B) ;
- (chinese-big5 . #xA1DA) ;
+ (=ks-x1001 . #x2141) ;
+ (=cns11643-1 . #x223B) ;
+ (=big5 . #xA1DA) ;
(=ucs . #x2260) ; ≠
))
(define-char
(=ucs . #x2260) ; ≠
))
(define-char
@@
-837,12
+838,12
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2154) ;
- (japanese-jisx0208 . #x2261) ;
- (korean-ksc5601 . #x2155) ;
- (chinese-cns11643-1 . #x223E) ;
+ (=gb2312 . #x2154) ;
+ (=jis-x0208-1983 . #x2261) ;
+ (=ks-x1001 . #x2155) ;
+ (=cns11643-1 . #x223E) ;
(=jis-x0208-1990 . #x2261) ;
(=jis-x0208-1990 . #x2261) ;
- (chinese-big5 . #xA1DD) ;
+ (=big5 . #xA1DD) ;
(=ucs . #x2261) ; ≡
))
(define-char
(=ucs . #x2261) ; ≡
))
(define-char
@@
-866,8
+867,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x215C) ;
- (korean-ksc5601 . #x2142) ;
+ (=gb2312 . #x215C) ;
+ (=ks-x1001 . #x2142) ;
(=ucs . #x2264) ; ≤
))
(define-char
(=ucs . #x2264) ; ≤
))
(define-char
@@
-875,8
+876,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-gb2312 . #x215D) ;
- (korean-ksc5601 . #x2143) ;
+ (=gb2312 . #x215D) ;
+ (=ks-x1001 . #x2143) ;
(=ucs . #x2265) ; ≥
))
(define-char
(=ucs . #x2265) ; ≥
))
(define-char
@@
-885,8
+886,8
@@
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208 . #x2165) ;
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208 . #x2165) ;
- (chinese-cns11643-1 . #x2239) ;
- (chinese-big5 . #xA1D8) ;
+ (=cns11643-1 . #x2239) ;
+ (=big5 . #xA1D8) ;
(=ucs . #x2266) ; ≦
))
(define-char
(=ucs . #x2266) ; ≦
))
(define-char
@@
-895,8
+896,8
@@
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208 . #x2166) ;
(bidi-category . "ON")
(mirrored . t)
(=jis-x0208 . #x2166) ;
- (chinese-cns11643-1 . #x223A) ;
- (chinese-big5 . #xA1D9) ;
+ (=cns11643-1 . #x223A) ;
+ (=big5 . #xA1D9) ;
(=ucs . #x2267) ; ≧
))
(define-char
(=ucs . #x2267) ; ≧
))
(define-char
@@
-918,8
+919,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x2263) ;
- (korean-ksc5601 . #x216C) ;
+ (=jis-x0208-1983 . #x2263) ;
+ (=ks-x1001 . #x216C) ;
(=jis-x0208-1990 . #x2263) ;
(=jef-china3 . #x7FE3) ;
(=ucs . #x226A) ; ≪
(=jis-x0208-1990 . #x2263) ;
(=jef-china3 . #x7FE3) ;
(=ucs . #x226A) ; ≪
@@
-929,8
+930,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x2264) ;
- (korean-ksc5601 . #x216D) ;
+ (=jis-x0208-1983 . #x2264) ;
+ (=ks-x1001 . #x216D) ;
(=jis-x0208-1990 . #x2264) ;
(=jef-china3 . #x7FE4) ;
(=ucs . #x226B) ; ≫
(=jis-x0208-1990 . #x2264) ;
(=jef-china3 . #x7FE4) ;
(=ucs . #x226B) ; ≫
@@
-956,7
+957,7
@@
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003C #x0338)
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003C #x0338)
- (chinese-gb2312 . #x215A) ;
+ (=gb2312 . #x215A) ;
(=ucs . #x226E) ; ≮
))
(define-char
(=ucs . #x226E) ; ≮
))
(define-char
@@
-965,7
+966,7
@@
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003E #x0338)
(bidi-category . "ON")
(mirrored . t)
(->decomposition #x003E #x0338)
- (chinese-gb2312 . #x215B) ;
+ (=gb2312 . #x215B) ;
(=ucs . #x226F) ; ≯
))
(define-char
(=ucs . #x226F) ; ≯
))
(define-char
@@
-1109,8
+1110,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x223E) ;
- (korean-ksc5601 . #x2178) ;
+ (=jis-x0208-1983 . #x223E) ;
+ (=ks-x1001 . #x2178) ;
(=jis-x0208-1990 . #x223E) ;
(=jef-china3 . #x7FD4) ;
(=ucs . #x2282) ; ⊂
(=jis-x0208-1990 . #x223E) ;
(=jef-china3 . #x7FD4) ;
(=ucs . #x2282) ; ⊂
@@
-1120,8
+1121,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x223F) ;
- (korean-ksc5601 . #x2179) ;
+ (=jis-x0208-1983 . #x223F) ;
+ (=ks-x1001 . #x2179) ;
(=jis-x0208-1990 . #x223F) ;
(=jef-china3 . #x7FD5) ;
(=ucs . #x2283) ; ⊃
(=jis-x0208-1990 . #x223F) ;
(=jef-china3 . #x7FD5) ;
(=ucs . #x2283) ; ⊃
@@
-1149,8
+1150,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x223C) ;
- (korean-ksc5601 . #x2176) ;
+ (=jis-x0208-1983 . #x223C) ;
+ (=ks-x1001 . #x2176) ;
(=jis-x0208-1990 . #x223C) ;
(=jef-china3 . #x7FD2) ;
(=ucs . #x2286) ; ⊆
(=jis-x0208-1990 . #x223C) ;
(=jef-china3 . #x7FD2) ;
(=ucs . #x2286) ; ⊆
@@
-1160,8
+1161,8
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (japanese-jisx0208 . #x223D) ;
- (korean-ksc5601 . #x2177) ;
+ (=jis-x0208-1983 . #x223D) ;
+ (=ks-x1001 . #x2177) ;
(=jis-x0208-1990 . #x223D) ;
(=jef-china3 . #x7FD3) ;
(=ucs . #x2287) ; ⊇
(=jis-x0208-1990 . #x223D) ;
(=jef-china3 . #x7FD3) ;
(=ucs . #x2287) ; ⊇
@@
-1266,9
+1267,9
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-cns11643-1 . #x2253) ;
+ (=cns11643-1 . #x2253) ;
(=jis-x0213-1-2000 . #x2251) ;
(=jis-x0213-1-2000 . #x2251) ;
- (chinese-big5 . #xA1F2) ;
+ (=big5 . #xA1F2) ;
(=ucs . #x2295) ; ⊕
))
(define-char
(=ucs . #x2295) ; ⊕
))
(define-char
@@
-1299,10
+1300,10
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x2151) ;
- (korean-ksc5601 . #x2241) ;
- (chinese-cns11643-1 . #x2254) ;
- (chinese-big5 . #xA1F3) ;
+ (=gb2312 . #x2151) ;
+ (=ks-x1001 . #x2241) ;
+ (=cns11643-1 . #x2254) ;
+ (=big5 . #xA1F3) ;
(=ucs . #x2299) ; ⊙
))
(define-char
(=ucs . #x2299) ; ⊙
))
(define-char
@@
-1387,12
+1388,12
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . nil)
- (chinese-gb2312 . #x214D) ;
- (japanese-jisx0208 . #x225D) ;
- (korean-ksc5601 . #x2151) ;
- (chinese-cns11643-1 . #x2247) ;
+ (=gb2312 . #x214D) ;
+ (=jis-x0208-1983 . #x225D) ;
+ (=ks-x1001 . #x2151) ;
+ (=cns11643-1 . #x2247) ;
(=jis-x0208-1990 . #x225D) ;
(=jis-x0208-1990 . #x225D) ;
- (chinese-big5 . #xA1E6) ;
+ (=big5 . #xA1E6) ;
(=ucs . #x22A5) ; ⊥
))
(define-char
(=ucs . #x22A5) ; ⊥
))
(define-char
@@
-1579,9
+1580,9
@@
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
(general-category symbol math) ; Informative Category
(bidi-category . "ON")
(mirrored . t)
- (chinese-cns11643-1 . #x224A) ;
+ (=cns11643-1 . #x224A) ;
(=jis-x0213-1-2000 . #x2D79) ;
(=jis-x0213-1-2000 . #x2D79) ;
- (chinese-big5 . #xA1E9) ;
+ (=big5 . #xA1E9) ;
(=ucs . #x22BF) ; ⊿
))
(define-char
(=ucs . #x22BF) ; ⊿
))
(define-char