Add some missing mappings to CHINA3-JEF code points.
[chise/xemacs-chise.git] / lisp / utf-2000 / u02200-Mathematical-Operators.el
index cf931a1..079b4cd 100644 (file)
@@ -6,6 +6,7 @@
     (japanese-jisx0208         . #x224F)       ; 
     (korean-ksc5601            . #x2223)       ; 
     (japanese-jisx0208-1990    . #x224F)       ; 
+    (china3-jef                        . #x7FDC)       ; 
     (ucs                       . #x2200)       ; ∀
     ))
 (define-char
@@ -23,6 +24,7 @@
     (japanese-jisx0208         . #x225F)       ; 
     (korean-ksc5601            . #x2153)       ; 
     (japanese-jisx0208-1990    . #x225F)       ; 
+    (china3-jef                        . #x7FE1)       ; 
     (ucs                       . #x2202)       ; ∂
     ))
 (define-char
@@ -33,6 +35,7 @@
     (japanese-jisx0208         . #x2250)       ; 
     (korean-ksc5601            . #x2224)       ; 
     (japanese-jisx0208-1990    . #x2250)       ; 
+    (china3-jef                        . #x7FDD)       ; 
     (ucs                       . #x2203)       ; ∃
     ))
 (define-char
@@ -66,6 +69,7 @@
     (japanese-jisx0208         . #x2260)       ; 
     (korean-ksc5601            . #x2154)       ; 
     (japanese-jisx0208-1990    . #x2260)       ; 
+    (china3-jef                        . #x7FE2)       ; 
     (ucs                       . #x2207)       ; ∇
     ))
 (define-char
@@ -77,6 +81,7 @@
     (japanese-jisx0208         . #x223A)       ; 
     (korean-ksc5601            . #x2174)       ; 
     (japanese-jisx0208-1990    . #x223A)       ; 
+    (china3-jef                        . #x7FD0)       ; 
     (ucs                       . #x2208)       ; ∈
     ))
 (define-char
     (japanese-jisx0208         . #x223B)       ; 
     (korean-ksc5601            . #x2175)       ; 
     (japanese-jisx0208-1990    . #x223B)       ; 
+    (china3-jef                        . #x7FD1)       ; 
     (ucs                       . #x220B)       ; ∋
     ))
 (define-char
     (japanese-jisx0208         . #x2267)       ; 
     (korean-ksc5601            . #x2170)       ; 
     (japanese-jisx0208-1990    . #x2267)       ; 
+    (china3-jef                        . #x7FE7)       ; 
     (ucs                       . #x221D)       ; ∝
     ))
 (define-char
     (chinese-cns11643-1                . #x2248)       ; 
     (japanese-jisx0208-1990    . #x225C)       ; 
     (chinese-big5              . #xA1E7)       ; 
+    (china3-jef                        . #x7FDE)       ; 
     (ucs                       . #x2220)       ; ∠
     ))
 (define-char
     (chinese-cns11643-1                . #x224D)       ; 
     (japanese-jisx0208-1990    . #x2269)       ; 
     (chinese-big5              . #xA1EC)       ; 
+    (china3-jef                        . #x7FE8)       ; 
     (ucs                       . #x222B)       ; ∫
     ))
 (define-char
     (japanese-jisx0208         . #x226A)       ; 
     (korean-ksc5601            . #x2173)       ; 
     (japanese-jisx0208-1990    . #x226A)       ; 
+    (china3-jef                        . #x7FE9)       ; 
     (ucs                       . #x222C)       ; ∬
     ))
 (define-char
     (japanese-jisx0208         . #x2266)       ; 
     (korean-ksc5601            . #x216F)       ; 
     (japanese-jisx0208-1990    . #x2266)       ; 
+    (china3-jef                        . #x7FE6)       ; 
     (ucs                       . #x223D)       ; ∽
     ))
 (define-char
     (japanese-jisx0208         . #x2263)       ; 
     (korean-ksc5601            . #x216C)       ; 
     (japanese-jisx0208-1990    . #x2263)       ; 
+    (china3-jef                        . #x7FE3)       ; 
     (ucs                       . #x226A)       ; ≪
     ))
 (define-char
     (japanese-jisx0208         . #x2264)       ; 
     (korean-ksc5601            . #x216D)       ; 
     (japanese-jisx0208-1990    . #x2264)       ; 
+    (china3-jef                        . #x7FE4)       ; 
     (ucs                       . #x226B)       ; ≫
     ))
 (define-char
     (japanese-jisx0208         . #x223E)       ; 
     (korean-ksc5601            . #x2178)       ; 
     (japanese-jisx0208-1990    . #x223E)       ; 
+    (china3-jef                        . #x7FD4)       ; 
     (ucs                       . #x2282)       ; ⊂
     ))
 (define-char
     (japanese-jisx0208         . #x223F)       ; 
     (korean-ksc5601            . #x2179)       ; 
     (japanese-jisx0208-1990    . #x223F)       ; 
+    (china3-jef                        . #x7FD5)       ; 
     (ucs                       . #x2283)       ; ⊃
     ))
 (define-char
     (japanese-jisx0208         . #x223C)       ; 
     (korean-ksc5601            . #x2176)       ; 
     (japanese-jisx0208-1990    . #x223C)       ; 
+    (china3-jef                        . #x7FD2)       ; 
     (ucs                       . #x2286)       ; ⊆
     ))
 (define-char
     (japanese-jisx0208         . #x223D)       ; 
     (korean-ksc5601            . #x2177)       ; 
     (japanese-jisx0208-1990    . #x223D)       ; 
+    (china3-jef                        . #x7FD3)       ; 
     (ucs                       . #x2287)       ; ⊇
     ))
 (define-char
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
+    (china3-jef                . #x7FD8)       ; 
     (ucs               . #x22C0)       ; ⋀
     ))
 (define-char
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
+    (china3-jef                . #x7FD9)       ; 
     (ucs               . #x22C1)       ; ⋁
     ))
 (define-char
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
+    (china3-jef                . #x7FD7)       ; 
     (ucs               . #x22C2)       ; ⋂
     ))
 (define-char
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
+    (china3-jef                . #x7FD6)       ; 
     (ucs               . #x22C3)       ; ⋃
     ))
 (define-char