update.
[chise/xemacs-chise.git-] / lisp / utf-2000 / u02200-Mathematical-Operators.el
index a763a53..cf931a1 100644 (file)
@@ -5,7 +5,7 @@
     (mirrored          . nil)
     (japanese-jisx0208         . #x224F)       ; 
     (korean-ksc5601            . #x2223)       ; 
-    (japanese-jisx0208-1990    . #x224F)       ; ∀
+    (japanese-jisx0208-1990    . #x224F)       ; 
     (ucs                       . #x2200)       ; ∀
     ))
 (define-char
@@ -22,7 +22,7 @@
     (mirrored          . t)
     (japanese-jisx0208         . #x225F)       ; 
     (korean-ksc5601            . #x2153)       ; 
-    (japanese-jisx0208-1990    . #x225F)       ; ∂
+    (japanese-jisx0208-1990    . #x225F)       ; 
     (ucs                       . #x2202)       ; ∂
     ))
 (define-char
@@ -32,7 +32,7 @@
     (mirrored          . t)
     (japanese-jisx0208         . #x2250)       ; 
     (korean-ksc5601            . #x2224)       ; 
-    (japanese-jisx0208-1990    . #x2250)       ; ∃
+    (japanese-jisx0208-1990    . #x2250)       ; 
     (ucs                       . #x2203)       ; ∃
     ))
 (define-char
@@ -48,7 +48,7 @@
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
-    (japanese-jisx0213-1       . #x2247)       ; ∅
+    (japanese-jisx0213-1       . #x2247)       ; 
     (ucs                       . #x2205)       ; ∅
     ))
 (define-char
@@ -65,7 +65,7 @@
     (mirrored          . nil)
     (japanese-jisx0208         . #x2260)       ; 
     (korean-ksc5601            . #x2154)       ; 
-    (japanese-jisx0208-1990    . #x2260)       ; ∇
+    (japanese-jisx0208-1990    . #x2260)       ; 
     (ucs                       . #x2207)       ; ∇
     ))
 (define-char
@@ -76,7 +76,7 @@
     (chinese-gb2312            . #x214A)       ; 
     (japanese-jisx0208         . #x223A)       ; 
     (korean-ksc5601            . #x2174)       ; 
-    (japanese-jisx0208-1990    . #x223A)       ; ∈
+    (japanese-jisx0208-1990    . #x223A)       ; 
     (ucs                       . #x2208)       ; ∈
     ))
 (define-char
@@ -85,7 +85,7 @@
     (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