Add coding: magic cookie.
[chise/xemacs-chise.git.1] / lisp / utf-2000 / u02200-Mathematical-Operators.el
index 11d9e04..a0ad6fb 100644 (file)
@@ -1,10 +1,11 @@
+;; -*- coding: utf-8-mcs -*-
 (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)       ; ∀
@@ -21,8 +22,8 @@
     (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)       ; ∂
@@ -32,8 +33,8 @@
     (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)       ; ∃
@@ -66,8 +67,8 @@
     (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)       ; ∇
@@ -77,9 +78,9 @@
     (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)       ; ∈
     (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)       ; ∋
     (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
     (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
     (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
     (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)       ; 
-    (chinese-big5      . #xA1D4)       ; 
+    (=big5             . #xA1D4)       ; 
     (=ucs              . #x221A)       ; √
     ))
 (define-char
     (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)       ; ∝
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    . #x215E)       ; 
+    (=gb2312           . #x215E)       ; 
     (=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
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-cns11643-1 . #x2249)      ; 
+    (=cns11643-1       . #x2249)       ; 
     (=jis-x0213-1-2000 . #x2D78)       ; 
-    (chinese-big5      . #xA1E8)       ; 
+    (=big5             . #xA1E8)       ; 
     (=ucs              . #x221F)       ; ∟
     ))
 (define-char
     (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)       ; 
-    (chinese-big5      . #xA1E7)       ; 
+    (=big5             . #xA1E7)       ; 
     (=jef-china3       . #x7FDE)       ; 
     (=ucs              . #x2220)       ; ∠
     ))
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-big5      . #xA1FD)       ; 
+    (=big5             . #xA1FD)       ; 
     (=ucs              . #x2223)       ; ∣
     ))
 (define-char
     (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)       ; 
-    (chinese-big5      . #xA1FC)       ; 
+    (=big5             . #xA1FC)       ; 
     (=ucs              . #x2225)       ; ∥
     ))
 (define-char
     (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)       ; ∧
     ))
     (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)       ; ∨
     ))
     (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)       ; 
-    (chinese-big5      . #xA1E4)       ; 
+    (=big5             . #xA1E4)       ; 
     (=ucs              . #x2229)       ; ∩
     ))
 (define-char
     (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)       ; 
-    (chinese-big5      . #xA1E5)       ; 
+    (=big5             . #xA1E5)       ; 
     (=ucs              . #x222A)       ; ∪
     ))
 (define-char
     (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)       ; 
-    (chinese-big5      . #xA1EC)       ; 
+    (=big5             . #xA1EC)       ; 
     (=jef-china3       . #x7FE8)       ; 
     (=ucs              . #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)       ; ∬
     (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)       ; 
-    (chinese-big5      . #xA1ED)       ; 
+    (=big5             . #xA1ED)       ; 
     (=ucs              . #x222E)       ; ∮
     ))
 (define-char
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    . #x2160)       ; 
+    (=gb2312           . #x2160)       ; 
     (=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
     (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)       ; 
-    (chinese-big5      . #xA1EE)       ; 
+    (=big5             . #xA1EE)       ; 
     (=ucs              . #x2235)       ; ∵
     ))
 (define-char
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    . #x2143)       ; 
+    (=gb2312           . #x2143)       ; 
     (=ucs              . #x2236)       ; ∶
     ))
 (define-char
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-gb2312    . #x214B)       ; 
+    (=gb2312           . #x214B)       ; 
     (=ucs              . #x2237)       ; ∷
     ))
 (define-char
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (korean-ksc5601    . #x212D)       ; 
-    (chinese-cns11643-1 . #x2244)      ; 
-    (chinese-big5      . #xA1E3)       ; 
+    (=ks-x1001         . #x212D)       ; 
+    (=cns11643-1       . #x2244)       ; 
+    (=big5             . #xA1E3)       ; 
     (=ucs@big5         . #xFF5E)       ; ∼
     (=ucs              . #x223C)       ; ∼
     ))
     (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)       ; ∽
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-gb2312    . #x2156)       ; 
+    (=gb2312           . #x2156)       ; 
     (=jis-x0213-1-2000 . #x226E)       ; 
     (=ucs              . #x2248)       ; ≈
     ))
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-gb2312    . #x2155)       ; 
+    (=gb2312           . #x2155)       ; 
     (=ucs              . #x224C)       ; ≌
     ))
 (define-char
     (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)       ; 
-    (chinese-big5      . #xA1DC)       ; 
+    (=big5             . #xA1DC)       ; 
     (=ucs              . #x2252)       ; ≒
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (->decomposition   #x003D #x0338)
-    (chinese-gb2312    . #x2159)       ; 
+    (=gb2312           . #x2159)       ; 
     (=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
     (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)       ; 
-    (chinese-big5      . #xA1DD)       ; 
+    (=big5             . #xA1DD)       ; 
     (=ucs              . #x2261)       ; ≡
     ))
 (define-char
     (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
     (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
     (bidi-category     . "ON")
     (mirrored          . t)
     (=jis-x0208                . #x2165)       ; 
-    (chinese-cns11643-1 . #x2239)      ; 
-    (chinese-big5      . #xA1D8)       ; 
+    (=cns11643-1       . #x2239)       ; 
+    (=big5             . #xA1D8)       ; 
     (=ucs              . #x2266)       ; ≦
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=jis-x0208                . #x2166)       ; 
-    (chinese-cns11643-1 . #x223A)      ; 
-    (chinese-big5      . #xA1D9)       ; 
+    (=cns11643-1       . #x223A)       ; 
+    (=big5             . #xA1D9)       ; 
     (=ucs              . #x2267)       ; ≧
     ))
 (define-char
     (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)       ; ≪
     (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)       ; ≫
     (bidi-category     . "ON")
     (mirrored          . t)
     (->decomposition   #x003C #x0338)
-    (chinese-gb2312    . #x215A)       ; 
+    (=gb2312           . #x215A)       ; 
     (=ucs              . #x226E)       ; ≮
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (->decomposition   #x003E #x0338)
-    (chinese-gb2312    . #x215B)       ; 
+    (=gb2312           . #x215B)       ; 
     (=ucs              . #x226F)       ; ≯
     ))
 (define-char
     (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)       ; ⊂
     (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)       ; ⊃
     (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)       ; ⊆
     (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)       ; ⊇
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (chinese-cns11643-1 . #x2253)      ; 
+    (=cns11643-1       . #x2253)       ; 
     (=jis-x0213-1-2000 . #x2251)       ; 
-    (chinese-big5      . #xA1F2)       ; 
+    (=big5             . #xA1F2)       ; 
     (=ucs              . #x2295)       ; ⊕
     ))
 (define-char
     (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
     (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)       ; 
-    (chinese-big5      . #xA1E6)       ; 
+    (=big5             . #xA1E6)       ; 
     (=ucs              . #x22A5)       ; ⊥
     ))
 (define-char
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . t)
-    (chinese-cns11643-1 . #x224A)      ; 
+    (=cns11643-1       . #x224A)       ; 
     (=jis-x0213-1-2000 . #x2D79)       ; 
-    (chinese-big5      . #xA1E9)       ; 
+    (=big5             . #xA1E9)       ; 
     (=ucs              . #x22BF)       ; ⊿
     ))
 (define-char