Reformatted.
[chise/xemacs-chise.git.1] / lisp / utf-2000 / u02200-Mathematical-Operators.el
index 21a62aa..0026fb9 100644 (file)
@@ -5,9 +5,9 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2200)       ; ∀
-    (=jis-x0208-1990   . #x224F)       ; 
-    (=ks-x1001         . #x2223)       ; 
     (=jis-x0208-1983   . #x224F)       ; 
+    (=ks-x1001         . #x2223)       ; 
+    (=jis-x0208-1990   . #x224F)       ; 
     (=jef-china3       . #x7FDC)       ; 
     ))
 (define-char
@@ -23,9 +23,9 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2202)       ; ∂
-    (=jis-x0208-1990   . #x225F)       ; 
-    (=ks-x1001         . #x2153)       ; 
     (=jis-x0208-1983   . #x225F)       ; 
+    (=ks-x1001         . #x2153)       ; 
+    (=jis-x0208-1990   . #x225F)       ; 
     (=jef-china3       . #x7FE1)       ; 
     ))
 (define-char
@@ -34,9 +34,9 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2203)       ; ∃
-    (=jis-x0208-1990   . #x2250)       ; 
-    (=ks-x1001         . #x2224)       ; 
     (=jis-x0208-1983   . #x2250)       ; 
+    (=ks-x1001         . #x2224)       ; 
+    (=jis-x0208-1990   . #x2250)       ; 
     (=jef-china3       . #x7FDD)       ; 
     ))
 (define-char
@@ -68,9 +68,9 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2207)       ; ∇
-    (=jis-x0208-1990   . #x2260)       ; 
-    (=ks-x1001         . #x2154)       ; 
     (=jis-x0208-1983   . #x2260)       ; 
+    (=ks-x1001         . #x2154)       ; 
+    (=jis-x0208-1990   . #x2260)       ; 
     (=jef-china3       . #x7FE2)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2208)       ; ∈
-    (=jis-x0208-1990   . #x223A)       ; 
-    (=ks-x1001         . #x2174)       ; 
-    (=jis-x0208-1983   . #x223A)       ; 
     (=gb2312           . #x214A)       ; 
+    (=jis-x0208-1983   . #x223A)       ; 
+    (=ks-x1001         . #x2174)       ; 
+    (=jis-x0208-1990   . #x223A)       ; 
     (=jef-china3       . #x7FD0)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x220B)       ; ∋
-    (=jis-x0208-1990   . #x223B)       ; 
-    (=ks-x1001         . #x2175)       ; 
     (=jis-x0208-1983   . #x223B)       ; 
+    (=ks-x1001         . #x2175)       ; 
+    (=jis-x0208-1990   . #x223B)       ; 
     (=jef-china3       . #x7FD1)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x220F)       ; ∏
-    (=ks-x1001         . #x2233)       ; 
     (=gb2312           . #x2147)       ; 
+    (=ks-x1001         . #x2233)       ; 
     ))
 (define-char
   '((name              . "N-ARY COPRODUCT")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2211)       ; ∑
-    (=ks-x1001         . #x2232)       ; 
     (=gb2312           . #x2146)       ; 
+    (=ks-x1001         . #x2232)       ; 
     ))
 (define-char
   '((name              . "MINUS SIGN")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x221A)       ; √
-    (=cns11643-1       . #x2235)       ; 
-    (=jis-x0208-1990   . #x2265)       ; 
-    (=ks-x1001         . #x216E)       ; 
-    (=jis-x0208-1983   . #x2265)       ; 
     (=gb2312           . #x214C)       ; 
+    (=jis-x0208-1983   . #x2265)       ; 
+    (=ks-x1001         . #x216E)       ; 
+    (=jis-x0208-1990   . #x2265)       ; 
+    (=cns11643-1       . #x2235)       ; 
     (=big5             . #xA1D4)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x221D)       ; ∝
-    (=jis-x0208-1990   . #x2267)       ; 
-    (=ks-x1001         . #x2170)       ; 
-    (=jis-x0208-1983   . #x2267)       ; 
     (=gb2312           . #x2158)       ; 
+    (=jis-x0208-1983   . #x2267)       ; 
+    (=ks-x1001         . #x2170)       ; 
+    (=jis-x0208-1990   . #x2267)       ; 
     (=jef-china3       . #x7FE7)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x221E)       ; ∞
-    (=cns11643-1       . #x223C)       ; 
-    (=ks-x1001         . #x2144)       ; 
     (=gb2312           . #x215E)       ; 
     (=jis-x0208                . #x2167)       ; 
+    (=ks-x1001         . #x2144)       ; 
+    (=cns11643-1       . #x223C)       ; 
     (=big5             . #xA1DB)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x221F)       ; ∟
-    (=jis-x0213-1-2000 . #x2D78)       ; 
     (=cns11643-1       . #x2249)       ; 
+    (=jis-x0213-1-2000 . #x2D78)       ; 
     (=big5             . #xA1E8)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2220)       ; ∠
-    (=cns11643-1       . #x2248)       ; 
-    (=jis-x0208-1990   . #x225C)       ; 
-    (=ks-x1001         . #x2150)       ; 
-    (=jis-x0208-1983   . #x225C)       ; 
     (=gb2312           . #x214F)       ; 
+    (=jis-x0208-1983   . #x225C)       ; 
+    (=ks-x1001         . #x2150)       ; 
+    (=jis-x0208-1990   . #x225C)       ; 
+    (=cns11643-1       . #x2248)       ; 
     (=big5             . #xA1E7)       ; 
     (=jef-china3       . #x7FDE)       ; 
     ))
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2225)       ; ∥
-    (=jis-x0213-1-2000 . #x2254)       ; 
-    (=ks-x1001         . #x212B)       ; 
     (=gb2312           . #x214E)       ; 
+    (=ks-x1001         . #x212B)       ; 
+    (=jis-x0213-1-2000 . #x2254)       ; 
     (=big5             . #xA1FC)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2227)       ; ∧
-    (=jis-x0208-1990   . #x224A)       ; 
-    (=ks-x1001         . #x217C)       ; 
-    (=jis-x0208-1983   . #x224A)       ; 
     (=gb2312           . #x2144)       ; 
+    (=jis-x0208-1983   . #x224A)       ; 
+    (=ks-x1001         . #x217C)       ; 
+    (=jis-x0208-1990   . #x224A)       ; 
     ))
 (define-char
   '((name              . "LOGICAL OR")
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2228)       ; ∨
-    (=jis-x0208-1990   . #x224B)       ; 
-    (=ks-x1001         . #x217D)       ; 
-    (=jis-x0208-1983   . #x224B)       ; 
     (=gb2312           . #x2145)       ; 
+    (=jis-x0208-1983   . #x224B)       ; 
+    (=ks-x1001         . #x217D)       ; 
+    (=jis-x0208-1990   . #x224B)       ; 
     ))
 (define-char
   '((name              . "INTERSECTION")
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2229)       ; ∩
-    (=cns11643-1       . #x2245)       ; 
-    (=jis-x0208-1990   . #x2241)       ; 
-    (=ks-x1001         . #x217B)       ; 
-    (=jis-x0208-1983   . #x2241)       ; 
     (=gb2312           . #x2149)       ; 
+    (=jis-x0208-1983   . #x2241)       ; 
+    (=ks-x1001         . #x217B)       ; 
+    (=jis-x0208-1990   . #x2241)       ; 
+    (=cns11643-1       . #x2245)       ; 
     (=big5             . #xA1E4)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x222A)       ; ∪
-    (=cns11643-1       . #x2246)       ; 
-    (=jis-x0208-1990   . #x2240)       ; 
-    (=ks-x1001         . #x217A)       ; 
-    (=jis-x0208-1983   . #x2240)       ; 
     (=gb2312           . #x2148)       ; 
+    (=jis-x0208-1983   . #x2240)       ; 
+    (=ks-x1001         . #x217A)       ; 
+    (=jis-x0208-1990   . #x2240)       ; 
+    (=cns11643-1       . #x2246)       ; 
     (=big5             . #xA1E5)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x222B)       ; ∫
-    (=cns11643-1       . #x224D)       ; 
-    (=jis-x0208-1990   . #x2269)       ; 
-    (=ks-x1001         . #x2172)       ; 
-    (=jis-x0208-1983   . #x2269)       ; 
     (=gb2312           . #x2152)       ; 
+    (=jis-x0208-1983   . #x2269)       ; 
+    (=ks-x1001         . #x2172)       ; 
+    (=jis-x0208-1990   . #x2269)       ; 
+    (=cns11643-1       . #x224D)       ; 
     (=big5             . #xA1EC)       ; 
     (=jef-china3       . #x7FE8)       ; 
     ))
     (mirrored          . t)
     (->decomposition   compat #x222B #x222B)
     (=ucs              . #x222C)       ; ∬
-    (=jis-x0208-1990   . #x226A)       ; 
-    (=ks-x1001         . #x2173)       ; 
     (=jis-x0208-1983   . #x226A)       ; 
+    (=ks-x1001         . #x2173)       ; 
+    (=jis-x0208-1990   . #x226A)       ; 
     (=jef-china3       . #x7FE9)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x222E)       ; ∮
-    (=jis-x0213-1-2000 . #x2D73)       ; 
-    (=cns11643-1       . #x224E)       ; 
-    (=ks-x1001         . #x2231)       ; 
     (=gb2312           . #x2153)       ; 
+    (=ks-x1001         . #x2231)       ; 
+    (=cns11643-1       . #x224E)       ; 
+    (=jis-x0213-1-2000 . #x2D73)       ; 
     (=big5             . #xA1ED)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2234)       ; ∴
-    (=cns11643-1       . #x2250)       ; 
-    (=ks-x1001         . #x2145)       ; 
     (=gb2312           . #x2160)       ; 
     (=jis-x0208                . #x2168)       ; 
+    (=ks-x1001         . #x2145)       ; 
+    (=cns11643-1       . #x2250)       ; 
     (=big5             . #xA1EF)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2235)       ; ∵
-    (=cns11643-1       . #x224F)       ; 
-    (=jis-x0208-1990   . #x2268)       ; 
-    (=ks-x1001         . #x2171)       ; 
-    (=jis-x0208-1983   . #x2268)       ; 
     (=gb2312           . #x215F)       ; 
+    (=jis-x0208-1983   . #x2268)       ; 
+    (=ks-x1001         . #x2171)       ; 
+    (=jis-x0208-1990   . #x2268)       ; 
+    (=cns11643-1       . #x224F)       ; 
     (=big5             . #xA1EE)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x223C)       ; ∼
-    (=ucs@big5         . #xFF5E)       ; ∼
-    (=cns11643-1       . #x2244)       ; 
     (=ks-x1001         . #x212D)       ; 
+    (=cns11643-1       . #x2244)       ; 
     (=big5             . #xA1E3)       ; 
+    (=ucs@big5         . #xFF5E)       ; ∼
     ))
 (define-char
   '((name              . "REVERSED TILDE")
     (mirrored          . t)
     (iso-10646-comment . "lazy S")
     (=ucs              . #x223D)       ; ∽
-    (=jis-x0208-1990   . #x2266)       ; 
-    (=ks-x1001         . #x216F)       ; 
-    (=jis-x0208-1983   . #x2266)       ; 
     (=gb2312           . #x2157)       ; 
+    (=jis-x0208-1983   . #x2266)       ; 
+    (=ks-x1001         . #x216F)       ; 
+    (=jis-x0208-1990   . #x2266)       ; 
     (=jef-china3       . #x7FE6)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2248)       ; ≈
-    (=jis-x0213-1-2000 . #x226E)       ; 
     (=gb2312           . #x2156)       ; 
+    (=jis-x0213-1-2000 . #x226E)       ; 
     ))
 (define-char
   '((name              . "NOT ALMOST EQUAL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2252)       ; ≒
-    (=cns11643-1       . #x223D)       ; 
-    (=jis-x0208-1990   . #x2262)       ; 
-    (=ks-x1001         . #x2156)       ; 
     (=jis-x0208-1983   . #x2262)       ; 
+    (=ks-x1001         . #x2156)       ; 
+    (=jis-x0208-1990   . #x2262)       ; 
+    (=cns11643-1       . #x223D)       ; 
     (=big5             . #xA1DC)       ; 
     ))
 (define-char
     (mirrored          . t)
     (->decomposition   #x003D #x0338)
     (=ucs              . #x2260)       ; ≠
-    (=cns11643-1       . #x223B)       ; 
-    (=ks-x1001         . #x2141)       ; 
     (=gb2312           . #x2159)       ; 
     (=jis-x0208                . #x2162)       ; 
+    (=ks-x1001         . #x2141)       ; 
+    (=cns11643-1       . #x223B)       ; 
     (=big5             . #xA1DA)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2261)       ; ≡
-    (=cns11643-1       . #x223E)       ; 
-    (=jis-x0208-1990   . #x2261)       ; 
-    (=ks-x1001         . #x2155)       ; 
-    (=jis-x0208-1983   . #x2261)       ; 
     (=gb2312           . #x2154)       ; 
+    (=jis-x0208-1983   . #x2261)       ; 
+    (=ks-x1001         . #x2155)       ; 
+    (=jis-x0208-1990   . #x2261)       ; 
+    (=cns11643-1       . #x223E)       ; 
     (=big5             . #xA1DD)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2264)       ; ≤
-    (=ks-x1001         . #x2142)       ; 
     (=gb2312           . #x215C)       ; 
+    (=ks-x1001         . #x2142)       ; 
     ))
 (define-char
   '((name              . "GREATER-THAN OR EQUAL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2265)       ; ≥
-    (=ks-x1001         . #x2143)       ; 
     (=gb2312           . #x215D)       ; 
+    (=ks-x1001         . #x2143)       ; 
     ))
 (define-char
   '((name              . "LESS-THAN OVER EQUAL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2266)       ; ≦
-    (=cns11643-1       . #x2239)       ; 
     (=jis-x0208                . #x2165)       ; 
+    (=cns11643-1       . #x2239)       ; 
     (=big5             . #xA1D8)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2267)       ; ≧
-    (=cns11643-1       . #x223A)       ; 
     (=jis-x0208                . #x2166)       ; 
+    (=cns11643-1       . #x223A)       ; 
     (=big5             . #xA1D9)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x226A)       ; ≪
-    (=jis-x0208-1990   . #x2263)       ; 
-    (=ks-x1001         . #x216C)       ; 
     (=jis-x0208-1983   . #x2263)       ; 
+    (=ks-x1001         . #x216C)       ; 
+    (=jis-x0208-1990   . #x2263)       ; 
     (=jef-china3       . #x7FE3)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x226B)       ; ≫
-    (=jis-x0208-1990   . #x2264)       ; 
-    (=ks-x1001         . #x216D)       ; 
     (=jis-x0208-1983   . #x2264)       ; 
+    (=ks-x1001         . #x216D)       ; 
+    (=jis-x0208-1990   . #x2264)       ; 
     (=jef-china3       . #x7FE4)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2282)       ; ⊂
-    (=jis-x0208-1990   . #x223E)       ; 
-    (=ks-x1001         . #x2178)       ; 
     (=jis-x0208-1983   . #x223E)       ; 
+    (=ks-x1001         . #x2178)       ; 
+    (=jis-x0208-1990   . #x223E)       ; 
     (=jef-china3       . #x7FD4)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2283)       ; ⊃
-    (=jis-x0208-1990   . #x223F)       ; 
-    (=ks-x1001         . #x2179)       ; 
     (=jis-x0208-1983   . #x223F)       ; 
+    (=ks-x1001         . #x2179)       ; 
+    (=jis-x0208-1990   . #x223F)       ; 
     (=jef-china3       . #x7FD5)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2286)       ; ⊆
-    (=jis-x0208-1990   . #x223C)       ; 
-    (=ks-x1001         . #x2176)       ; 
     (=jis-x0208-1983   . #x223C)       ; 
+    (=ks-x1001         . #x2176)       ; 
+    (=jis-x0208-1990   . #x223C)       ; 
     (=jef-china3       . #x7FD2)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2287)       ; ⊇
-    (=jis-x0208-1990   . #x223D)       ; 
-    (=ks-x1001         . #x2177)       ; 
     (=jis-x0208-1983   . #x223D)       ; 
+    (=ks-x1001         . #x2177)       ; 
+    (=jis-x0208-1990   . #x223D)       ; 
     (=jef-china3       . #x7FD3)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2295)       ; ⊕
-    (=jis-x0213-1-2000 . #x2251)       ; 
     (=cns11643-1       . #x2253)       ; 
+    (=jis-x0213-1-2000 . #x2251)       ; 
     (=big5             . #xA1F2)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2299)       ; ⊙
-    (=cns11643-1       . #x2254)       ; 
-    (=ks-x1001         . #x2241)       ; 
     (=gb2312           . #x2151)       ; 
+    (=ks-x1001         . #x2241)       ; 
+    (=cns11643-1       . #x2254)       ; 
     (=big5             . #xA1F3)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x22A5)       ; ⊥
-    (=cns11643-1       . #x2247)       ; 
-    (=jis-x0208-1990   . #x225D)       ; 
-    (=ks-x1001         . #x2151)       ; 
-    (=jis-x0208-1983   . #x225D)       ; 
     (=gb2312           . #x214D)       ; 
+    (=jis-x0208-1983   . #x225D)       ; 
+    (=ks-x1001         . #x2151)       ; 
+    (=jis-x0208-1990   . #x225D)       ; 
+    (=cns11643-1       . #x2247)       ; 
     (=big5             . #xA1E6)       ; 
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x22BF)       ; ⊿
-    (=jis-x0213-1-2000 . #x2D79)       ; 
     (=cns11643-1       . #x224A)       ; 
+    (=jis-x0213-1-2000 . #x2D79)       ; 
     (=big5             . #xA1E9)       ; 
     ))
 (define-char