Use utf-8-mcs-er instead of utf-8-mcs.

[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 0ce7f99..fe12f4a 100644 (file)
--- a/lisp/utf-2000/u02200-Mathematical-Operators.el
+++ b/lisp/utf-2000/u02200-Mathematical-Operators.el
@@ -1,14 +1,14 @@
-;; -*- coding: utf-8-mcs -*-
+;; -*- coding: utf-8-mcs-er -*-

 (define-char
   '((name              . "FOR ALL")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2200)       ; ∀
 (define-char
   '((name              . "FOR ALL")
     (general-category  symbol math) ; Informative Category
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2200)       ; ∀

-    (=jis-x0208-1983   . #x224F)       ; �����
-    (=ks-x1001         . #x2223)       ; �����
-    (=jis-x0208-1990   . #x224F)       ; �����
-    (=jef-china3       . #x7FDC)       ; �����
+    (=jis-x0208-1983   . #x224F)       ; &I-J83-224F;
+    (=ks-x1001         . #x2223)       ; &I-K0-2223;
+    (=jis-x0208-1990   . #x224F)       ; &I-J90-224F;
+    (=jef-china3       . #x7FDC)       ; &I-JC3-7FDC;

     ))
 (define-char
   '((name              . "COMPLEMENT")
     ))
 (define-char
   '((name              . "COMPLEMENT")

@@ -23,10 +23,10 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2202)       ; ∂
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2202)       ; ∂

-    (=jis-x0208-1983   . #x225F)       ; �����
-    (=ks-x1001         . #x2153)       ; �����
-    (=jis-x0208-1990   . #x225F)       ; �����
-    (=jef-china3       . #x7FE1)       ; �����
+    (=jis-x0208-1983   . #x225F)       ; &I-J83-225F;
+    (=ks-x1001         . #x2153)       ; &I-K0-2153;
+    (=jis-x0208-1990   . #x225F)       ; &I-J90-225F;
+    (=jef-china3       . #x7FE1)       ; &I-JC3-7FE1;

     ))
 (define-char
   '((name              . "THERE EXISTS")
     ))
 (define-char
   '((name              . "THERE EXISTS")

@@ -34,10 +34,10 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2203)       ; ∃
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2203)       ; ∃

-    (=jis-x0208-1983   . #x2250)       ; �����
-    (=ks-x1001         . #x2224)       ; �����
-    (=jis-x0208-1990   . #x2250)       ; �����
-    (=jef-china3       . #x7FDD)       ; �����
+    (=jis-x0208-1983   . #x2250)       ; &I-J83-2250;
+    (=ks-x1001         . #x2224)       ; &I-K0-2224;
+    (=jis-x0208-1990   . #x2250)       ; &I-J90-2250;
+    (=jef-china3       . #x7FDD)       ; &I-JC3-7FDD;

     ))
 (define-char
   '((name              . "THERE DOES NOT EXIST")
     ))
 (define-char
   '((name              . "THERE DOES NOT EXIST")

@@ -53,7 +53,7 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2205)       ; ∅
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2205)       ; ∅

-    (=jis-x0213-1-2000 . #x2247)       ; �����
+    (=jis-x0213-1-2000 . #x2247)       ; &I-JX1-2247;

     ))
 (define-char
   '((name              . "INCREMENT")
     ))
 (define-char
   '((name              . "INCREMENT")

@@ -68,10 +68,10 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2207)       ; ∇
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2207)       ; ∇

-    (=jis-x0208-1983   . #x2260)       ; �����
-    (=ks-x1001         . #x2154)       ; �����
-    (=jis-x0208-1990   . #x2260)       ; �����
-    (=jef-china3       . #x7FE2)       ; �����
+    (=jis-x0208-1983   . #x2260)       ; &I-J83-2260;
+    (=ks-x1001         . #x2154)       ; &I-K0-2154;
+    (=jis-x0208-1990   . #x2260)       ; &I-J90-2260;
+    (=jef-china3       . #x7FE2)       ; &I-JC3-7FE2;

     ))
 (define-char
   '((name              . "ELEMENT OF")
     ))
 (define-char
   '((name              . "ELEMENT OF")

@@ -79,11 +79,11 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2208)       ; ∈
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2208)       ; ∈

-    (=gb2312           . #x214A)       ; �����
-    (=jis-x0208-1983   . #x223A)       ; �����
-    (=ks-x1001         . #x2174)       ; �����
-    (=jis-x0208-1990   . #x223A)       ; �����
-    (=jef-china3       . #x7FD0)       ; �����
+    (=gb2312           . #x214A)       ; &I-G0-214A;
+    (=jis-x0208-1983   . #x223A)       ; &I-J83-223A;
+    (=ks-x1001         . #x2174)       ; &I-K0-2174;
+    (=jis-x0208-1990   . #x223A)       ; &I-J90-223A;
+    (=jef-china3       . #x7FD0)       ; &I-JC3-7FD0;

     ))
 (define-char
   '((name              . "NOT AN ELEMENT OF")
     ))
 (define-char
   '((name              . "NOT AN ELEMENT OF")

@@ -92,7 +92,7 @@
     (mirrored          . t)
     (->decomposition   #x2208 #x0338)
     (=ucs              . #x2209)       ; ∉
     (mirrored          . t)
     (->decomposition   #x2208 #x0338)
     (=ucs              . #x2209)       ; ∉

-    (=jis-x0213-1-2000 . #x2246)       ; �����
+    (=jis-x0213-1-2000 . #x2246)       ; &I-JX1-2246;

     ))
 (define-char
   '((name              . "SMALL ELEMENT OF")
     ))
 (define-char
   '((name              . "SMALL ELEMENT OF")

@@ -107,10 +107,10 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x220B)       ; ∋
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x220B)       ; ∋

-    (=jis-x0208-1983   . #x223B)       ; �����
-    (=ks-x1001         . #x2175)       ; �����
-    (=jis-x0208-1990   . #x223B)       ; �����
-    (=jef-china3       . #x7FD1)       ; �����
+    (=jis-x0208-1983   . #x223B)       ; &I-J83-223B;
+    (=ks-x1001         . #x2175)       ; &I-K0-2175;
+    (=jis-x0208-1990   . #x223B)       ; &I-J90-223B;
+    (=jef-china3       . #x7FD1)       ; &I-JC3-7FD1;

     ))
 (define-char
   '((name              . "DOES NOT CONTAIN AS MEMBER")
     ))
 (define-char
   '((name              . "DOES NOT CONTAIN AS MEMBER")

@@ -140,8 +140,8 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x220F)       ; ∏
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x220F)       ; ∏

-    (=gb2312           . #x2147)       ; �����
-    (=ks-x1001         . #x2233)       ; �����
+    (=gb2312           . #x2147)       ; &I-G0-2147;
+    (=ks-x1001         . #x2233)       ; &I-K0-2233;

     ))
 (define-char
   '((name              . "N-ARY COPRODUCT")
     ))
 (define-char
   '((name              . "N-ARY COPRODUCT")

@@ -156,8 +156,8 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2211)       ; ∑
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2211)       ; ∑

-    (=gb2312           . #x2146)       ; �����
-    (=ks-x1001         . #x2232)       ; �����
+    (=gb2312           . #x2146)       ; &I-G0-2146;
+    (=ks-x1001         . #x2232)       ; &I-K0-2232;

     ))
 (define-char
   '((name              . "MINUS SIGN")
     ))
 (define-char
   '((name              . "MINUS SIGN")

@@ -165,7 +165,7 @@
     (bidi-category     . "ET")
     (mirrored          . nil)
     (=ucs              . #x2212)       ; −
     (bidi-category     . "ET")
     (mirrored          . nil)
     (=ucs              . #x2212)       ; −

-    (=jis-x0208                . #x215D)       ; �����
+    (=jis-x0208                . #x215D)       ; &I-J90-215D;

     ))
 (define-char
   '((name              . "MINUS-OR-PLUS SIGN")
     ))
 (define-char
   '((name              . "MINUS-OR-PLUS SIGN")

@@ -173,7 +173,7 @@
     (bidi-category     . "ET")
     (mirrored          . nil)
     (=ucs              . #x2213)       ; ∓
     (bidi-category     . "ET")
     (mirrored          . nil)
     (=ucs              . #x2213)       ; ∓

-    (=jis-x0213-1-2000 . #x235B)       ; �����
+    (=jis-x0213-1-2000 . #x235B)       ; &I-JX1-235B;

     ))
 (define-char
   '((name              . "DOT PLUS")
     ))
 (define-char
   '((name              . "DOT PLUS")

@@ -188,8 +188,8 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2215)       ; ∕
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2215)       ; ∕

-    (=cns11643-1       . #x2261)       ; �����
-    (=big5             . #xA241)       ; ������
+    (=cns11643-1       . #x2261)       ; &I-C1-2261;
+    (=big5             . #xA241)       ; &I-B-A241;

     ))
 (define-char
   '((name              . "SET MINUS")
     ))
 (define-char
   '((name              . "SET MINUS")

@@ -225,12 +225,12 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x221A)       ; √
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x221A)       ; √

-    (=gb2312           . #x214C)       ; �����
-    (=jis-x0208-1983   . #x2265)       ; �����
-    (=ks-x1001         . #x216E)       ; �����
-    (=jis-x0208-1990   . #x2265)       ; �����
-    (=cns11643-1       . #x2235)       ; �����
-    (=big5             . #xA1D4)       ; ������
+    (=gb2312           . #x214C)       ; &I-G0-214C;
+    (=jis-x0208-1983   . #x2265)       ; &I-J83-2265;
+    (=ks-x1001         . #x216E)       ; &I-K0-216E;
+    (=jis-x0208-1990   . #x2265)       ; &I-J90-2265;
+    (=cns11643-1       . #x2235)       ; &I-C1-2235;
+    (=big5             . #xA1D4)       ; &I-B-A1D4;

     ))
 (define-char
   '((name              . "CUBE ROOT")
     ))
 (define-char
   '((name              . "CUBE ROOT")

@@ -252,11 +252,11 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x221D)       ; ∝
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x221D)       ; ∝

-    (=gb2312           . #x2158)       ; �����
-    (=jis-x0208-1983   . #x2267)       ; �����
-    (=ks-x1001         . #x2170)       ; �����
-    (=jis-x0208-1990   . #x2267)       ; �����
-    (=jef-china3       . #x7FE7)       ; �����
+    (=gb2312           . #x2158)       ; &I-G0-2158;
+    (=jis-x0208-1983   . #x2267)       ; &I-J83-2267;
+    (=ks-x1001         . #x2170)       ; &I-K0-2170;
+    (=jis-x0208-1990   . #x2267)       ; &I-J90-2267;
+    (=jef-china3       . #x7FE7)       ; &I-JC3-7FE7;

     ))
 (define-char
   '((name              . "INFINITY")
     ))
 (define-char
   '((name              . "INFINITY")

@@ -264,11 +264,11 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x221E)       ; ∞
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x221E)       ; ∞

-    (=jis-x0208                . #x2167)       ; �����
-    (=gb2312           . #x215E)       ; �����
-    (=ks-x1001         . #x2144)       ; �����
-    (=cns11643-1       . #x223C)       ; �����
-    (=big5             . #xA1DB)       ; ������
+    (=jis-x0208                . #x2167)       ; &I-J90-2167;
+    (=gb2312           . #x215E)       ; &I-G0-215E;
+    (=ks-x1001         . #x2144)       ; &I-K0-2144;
+    (=cns11643-1       . #x223C)       ; &I-C1-223C;
+    (=big5             . #xA1DB)       ; &I-B-A1DB;

     ))
 (define-char
   '((name              . "RIGHT ANGLE")
     ))
 (define-char
   '((name              . "RIGHT ANGLE")

@@ -276,9 +276,9 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x221F)       ; ∟
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x221F)       ; ∟

-    (=cns11643-1       . #x2249)       ; �����
-    (=jis-x0213-1-2000 . #x2D78)       ; �����
-    (=big5             . #xA1E8)       ; ������
+    (=cns11643-1       . #x2249)       ; &I-C1-2249;
+    (=jis-x0213-1-2000 . #x2D78)       ; &I-JX1-2D78;
+    (=big5             . #xA1E8)       ; &I-B-A1E8;

     ))
 (define-char
   '((name              . "ANGLE")
     ))
 (define-char
   '((name              . "ANGLE")

@@ -286,13 +286,13 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2220)       ; ∠
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2220)       ; ∠

-    (=gb2312           . #x214F)       ; �����
-    (=jis-x0208-1983   . #x225C)       ; �����
-    (=ks-x1001         . #x2150)       ; �����
-    (=jis-x0208-1990   . #x225C)       ; �����
-    (=cns11643-1       . #x2248)       ; �����
-    (=big5             . #xA1E7)       ; ������
-    (=jef-china3       . #x7FDE)       ; �����
+    (=gb2312           . #x214F)       ; &I-G0-214F;
+    (=jis-x0208-1983   . #x225C)       ; &I-J83-225C;
+    (=ks-x1001         . #x2150)       ; &I-K0-2150;
+    (=jis-x0208-1990   . #x225C)       ; &I-J90-225C;
+    (=cns11643-1       . #x2248)       ; &I-C1-2248;
+    (=big5             . #xA1E7)       ; &I-B-A1E7;
+    (=jef-china3       . #x7FDE)       ; &I-JC3-7FDE;

     ))
 (define-char
   '((name              . "MEASURED ANGLE")
     ))
 (define-char
   '((name              . "MEASURED ANGLE")

@@ -314,7 +314,7 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2223)       ; ∣
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2223)       ; ∣

-    (=big5             . #xA1FD)       ; ������
+    (=big5             . #xA1FD)       ; &I-B-A1FD;

     ))
 (define-char
   '((name              . "DOES NOT DIVIDE")
     ))
 (define-char
   '((name              . "DOES NOT DIVIDE")

@@ -330,10 +330,10 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2225)       ; ∥
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2225)       ; ∥

-    (=gb2312           . #x214E)       ; �����
-    (=ks-x1001         . #x212B)       ; �����
-    (=jis-x0213-1-2000 . #x2254)       ; �����
-    (=big5             . #xA1FC)       ; ������
+    (=gb2312           . #x214E)       ; &I-G0-214E;
+    (=ks-x1001         . #x212B)       ; &I-K0-212B;
+    (=jis-x0213-1-2000 . #x2254)       ; &I-JX1-2254;
+    (=big5             . #xA1FC)       ; &I-B-A1FC;

     ))
 (define-char
   '((name              . "NOT PARALLEL TO")
     ))
 (define-char
   '((name              . "NOT PARALLEL TO")

@@ -342,7 +342,7 @@
     (mirrored          . t)
     (->decomposition   #x2225 #x0338)
     (=ucs              . #x2226)       ; ∦
     (mirrored          . t)
     (->decomposition   #x2225 #x0338)
     (=ucs              . #x2226)       ; ∦

-    (=jis-x0213-1-2000 . #x2255)       ; �����
+    (=jis-x0213-1-2000 . #x2255)       ; &I-JX1-2255;

     ))
 (define-char
   '((name              . "LOGICAL AND")
     ))
 (define-char
   '((name              . "LOGICAL AND")

@@ -350,10 +350,10 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2227)       ; ∧
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2227)       ; ∧

-    (=gb2312           . #x2144)       ; �����
-    (=jis-x0208-1983   . #x224A)       ; �����
-    (=ks-x1001         . #x217C)       ; �����
-    (=jis-x0208-1990   . #x224A)       ; �����
+    (=gb2312           . #x2144)       ; &I-G0-2144;
+    (=jis-x0208-1983   . #x224A)       ; &I-J83-224A;
+    (=ks-x1001         . #x217C)       ; &I-K0-217C;
+    (=jis-x0208-1990   . #x224A)       ; &I-J90-224A;

     ))
 (define-char
   '((name              . "LOGICAL OR")
     ))
 (define-char
   '((name              . "LOGICAL OR")

@@ -361,10 +361,10 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2228)       ; ∨
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2228)       ; ∨

-    (=gb2312           . #x2145)       ; �����
-    (=jis-x0208-1983   . #x224B)       ; �����
-    (=ks-x1001         . #x217D)       ; �����
-    (=jis-x0208-1990   . #x224B)       ; �����
+    (=gb2312           . #x2145)       ; &I-G0-2145;
+    (=jis-x0208-1983   . #x224B)       ; &I-J83-224B;
+    (=ks-x1001         . #x217D)       ; &I-K0-217D;
+    (=jis-x0208-1990   . #x224B)       ; &I-J90-224B;

     ))
 (define-char
   '((name              . "INTERSECTION")
     ))
 (define-char
   '((name              . "INTERSECTION")

@@ -372,12 +372,12 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2229)       ; ∩
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2229)       ; ∩

-    (=gb2312           . #x2149)       ; �����
-    (=jis-x0208-1983   . #x2241)       ; �����
-    (=ks-x1001         . #x217B)       ; �����
-    (=jis-x0208-1990   . #x2241)       ; �����
-    (=cns11643-1       . #x2245)       ; �����
-    (=big5             . #xA1E4)       ; ������
+    (=gb2312           . #x2149)       ; &I-G0-2149;
+    (=jis-x0208-1983   . #x2241)       ; &I-J83-2241;
+    (=ks-x1001         . #x217B)       ; &I-K0-217B;
+    (=jis-x0208-1990   . #x2241)       ; &I-J90-2241;
+    (=cns11643-1       . #x2245)       ; &I-C1-2245;
+    (=big5             . #xA1E4)       ; &I-B-A1E4;

     ))
 (define-char
   '((name              . "UNION")
     ))
 (define-char
   '((name              . "UNION")

@@ -385,12 +385,12 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x222A)       ; ∪
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x222A)       ; ∪

-    (=gb2312           . #x2148)       ; �����
-    (=jis-x0208-1983   . #x2240)       ; �����
-    (=ks-x1001         . #x217A)       ; �����
-    (=jis-x0208-1990   . #x2240)       ; �����
-    (=cns11643-1       . #x2246)       ; �����
-    (=big5             . #xA1E5)       ; ������
+    (=gb2312           . #x2148)       ; &I-G0-2148;
+    (=jis-x0208-1983   . #x2240)       ; &I-J83-2240;
+    (=ks-x1001         . #x217A)       ; &I-K0-217A;
+    (=jis-x0208-1990   . #x2240)       ; &I-J90-2240;
+    (=cns11643-1       . #x2246)       ; &I-C1-2246;
+    (=big5             . #xA1E5)       ; &I-B-A1E5;

     ))
 (define-char
   '((name              . "INTEGRAL")
     ))
 (define-char
   '((name              . "INTEGRAL")

@@ -398,13 +398,13 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x222B)       ; ∫
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x222B)       ; ∫

-    (=gb2312           . #x2152)       ; �����
-    (=jis-x0208-1983   . #x2269)       ; �����
-    (=ks-x1001         . #x2172)       ; �����
-    (=jis-x0208-1990   . #x2269)       ; �����
-    (=cns11643-1       . #x224D)       ; �����
-    (=big5             . #xA1EC)       ; ������
-    (=jef-china3       . #x7FE8)       ; �����
+    (=gb2312           . #x2152)       ; &I-G0-2152;
+    (=jis-x0208-1983   . #x2269)       ; &I-J83-2269;
+    (=ks-x1001         . #x2172)       ; &I-K0-2172;
+    (=jis-x0208-1990   . #x2269)       ; &I-J90-2269;
+    (=cns11643-1       . #x224D)       ; &I-C1-224D;
+    (=big5             . #xA1EC)       ; &I-B-A1EC;
+    (=jef-china3       . #x7FE8)       ; &I-JC3-7FE8;

     ))
 (define-char
   '((name              . "DOUBLE INTEGRAL")
     ))
 (define-char
   '((name              . "DOUBLE INTEGRAL")

@@ -413,10 +413,10 @@
     (mirrored          . t)
     (->decomposition   compat #x222B #x222B)
     (=ucs              . #x222C)       ; ∬
     (mirrored          . t)
     (->decomposition   compat #x222B #x222B)
     (=ucs              . #x222C)       ; ∬

-    (=jis-x0208-1983   . #x226A)       ; �����
-    (=ks-x1001         . #x2173)       ; �����
-    (=jis-x0208-1990   . #x226A)       ; �����
-    (=jef-china3       . #x7FE9)       ; �����
+    (=jis-x0208-1983   . #x226A)       ; &I-J83-226A;
+    (=ks-x1001         . #x2173)       ; &I-K0-2173;
+    (=jis-x0208-1990   . #x226A)       ; &I-J90-226A;
+    (=jef-china3       . #x7FE9)       ; &I-JC3-7FE9;

     ))
 (define-char
   '((name              . "TRIPLE INTEGRAL")
     ))
 (define-char
   '((name              . "TRIPLE INTEGRAL")

@@ -432,11 +432,11 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x222E)       ; ∮
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x222E)       ; ∮

-    (=gb2312           . #x2153)       ; �����
-    (=ks-x1001         . #x2231)       ; �����
-    (=cns11643-1       . #x224E)       ; �����
-    (=jis-x0213-1-2000 . #x2D73)       ; �����
-    (=big5             . #xA1ED)       ; ������
+    (=gb2312           . #x2153)       ; &I-G0-2153;
+    (=ks-x1001         . #x2231)       ; &I-K0-2231;
+    (=cns11643-1       . #x224E)       ; &I-C1-224E;
+    (=jis-x0213-1-2000 . #x2D73)       ; &I-JX1-2D73;
+    (=big5             . #xA1ED)       ; &I-B-A1ED;

     ))
 (define-char
   '((name              . "SURFACE INTEGRAL")
     ))
 (define-char
   '((name              . "SURFACE INTEGRAL")

@@ -481,11 +481,11 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2234)       ; ∴
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2234)       ; ∴

-    (=jis-x0208                . #x2168)       ; �����
-    (=gb2312           . #x2160)       ; �����
-    (=ks-x1001         . #x2145)       ; �����
-    (=cns11643-1       . #x2250)       ; �����
-    (=big5             . #xA1EF)       ; ������
+    (=jis-x0208                . #x2168)       ; &I-J90-2168;
+    (=gb2312           . #x2160)       ; &I-G0-2160;
+    (=ks-x1001         . #x2145)       ; &I-K0-2145;
+    (=cns11643-1       . #x2250)       ; &I-C1-2250;
+    (=big5             . #xA1EF)       ; &I-B-A1EF;

     ))
 (define-char
   '((name              . "BECAUSE")
     ))
 (define-char
   '((name              . "BECAUSE")

@@ -493,12 +493,12 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2235)       ; ∵
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2235)       ; ∵

-    (=gb2312           . #x215F)       ; �����
-    (=jis-x0208-1983   . #x2268)       ; �����
-    (=ks-x1001         . #x2171)       ; �����
-    (=jis-x0208-1990   . #x2268)       ; �����
-    (=cns11643-1       . #x224F)       ; �����
-    (=big5             . #xA1EE)       ; ������
+    (=gb2312           . #x215F)       ; &I-G0-215F;
+    (=jis-x0208-1983   . #x2268)       ; &I-J83-2268;
+    (=ks-x1001         . #x2171)       ; &I-K0-2171;
+    (=jis-x0208-1990   . #x2268)       ; &I-J90-2268;
+    (=cns11643-1       . #x224F)       ; &I-C1-224F;
+    (=big5             . #xA1EE)       ; &I-B-A1EE;

     ))
 (define-char
   '((name              . "RATIO")
     ))
 (define-char
   '((name              . "RATIO")

@@ -506,7 +506,7 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2236)       ; ∶
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2236)       ; ∶

-    (=gb2312           . #x2143)       ; �����
+    (=gb2312           . #x2143)       ; &I-G0-2143;

     ))
 (define-char
   '((name              . "PROPORTION")
     ))
 (define-char
   '((name              . "PROPORTION")

@@ -514,7 +514,7 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2237)       ; ∷
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2237)       ; ∷

-    (=gb2312           . #x214B)       ; �����
+    (=gb2312           . #x214B)       ; &I-G0-214B;

     ))
 (define-char
   '((name              . "DOT MINUS")
     ))
 (define-char
   '((name              . "DOT MINUS")

@@ -550,9 +550,9 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x223C)       ; ∼
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x223C)       ; ∼

-    (=ks-x1001         . #x212D)       ; �����
-    (=cns11643-1       . #x2244)       ; �����
-    (=big5             . #xA1E3)       ; ������
+    (=ks-x1001         . #x212D)       ; &I-K0-212D;
+    (=cns11643-1       . #x2244)       ; &I-C1-2244;
+    (=big5             . #xA1E3)       ; &I-B-A1E3;

     (=ucs@big5         . #xFF5E)       ; ∼
     ))
 (define-char
     (=ucs@big5         . #xFF5E)       ; ∼
     ))
 (define-char

@@ -562,11 +562,11 @@
     (mirrored          . t)
     (iso-10646-comment . "lazy S")
     (=ucs              . #x223D)       ; ∽
     (mirrored          . t)
     (iso-10646-comment . "lazy S")
     (=ucs              . #x223D)       ; ∽

-    (=gb2312           . #x2157)       ; �����
-    (=jis-x0208-1983   . #x2266)       ; �����
-    (=ks-x1001         . #x216F)       ; �����
-    (=jis-x0208-1990   . #x2266)       ; �����
-    (=jef-china3       . #x7FE6)       ; �����
+    (=gb2312           . #x2157)       ; &I-G0-2157;
+    (=jis-x0208-1983   . #x2266)       ; &I-J83-2266;
+    (=ks-x1001         . #x216F)       ; &I-K0-216F;
+    (=jis-x0208-1990   . #x2266)       ; &I-J90-2266;
+    (=jef-china3       . #x7FE6)       ; &I-JC3-7FE6;

     ))
 (define-char
   '((name              . "INVERTED LAZY S")
     ))
 (define-char
   '((name              . "INVERTED LAZY S")

@@ -610,7 +610,7 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2243)       ; ≃
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2243)       ; ≃

-    (=jis-x0213-1-2000 . #x226C)       ; �����
+    (=jis-x0213-1-2000 . #x226C)       ; &I-JX1-226C;

     ))
 (define-char
   '((name              . "NOT ASYMPTOTICALLY EQUAL TO")
     ))
 (define-char
   '((name              . "NOT ASYMPTOTICALLY EQUAL TO")

@@ -626,7 +626,7 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2245)       ; ≅
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2245)       ; ≅

-    (=jis-x0213-1-2000 . #x226D)       ; �����
+    (=jis-x0213-1-2000 . #x226D)       ; &I-JX1-226D;

     ))
 (define-char
   '((name              . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
     ))
 (define-char
   '((name              . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")

@@ -649,8 +649,8 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2248)       ; ≈
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2248)       ; ≈

-    (=gb2312           . #x2156)       ; �����
-    (=jis-x0213-1-2000 . #x226E)       ; �����
+    (=gb2312           . #x2156)       ; &I-G0-2156;
+    (=jis-x0213-1-2000 . #x226E)       ; &I-JX1-226E;

     ))
 (define-char
   '((name              . "NOT ALMOST EQUAL TO")
     ))
 (define-char
   '((name              . "NOT ALMOST EQUAL TO")

@@ -680,7 +680,7 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x224C)       ; ≌
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x224C)       ; ≌

-    (=gb2312           . #x2155)       ; �����
+    (=gb2312           . #x2155)       ; &I-G0-2155;

     ))
 (define-char
   '((name              . "EQUIVALENT TO")
     ))
 (define-char
   '((name              . "EQUIVALENT TO")

@@ -723,11 +723,11 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2252)       ; ≒
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2252)       ; ≒

-    (=jis-x0208-1983   . #x2262)       ; �����
-    (=ks-x1001         . #x2156)       ; �����
-    (=jis-x0208-1990   . #x2262)       ; �����
-    (=cns11643-1       . #x223D)       ; �����
-    (=big5             . #xA1DC)       ; ������
+    (=jis-x0208-1983   . #x2262)       ; &I-J83-2262;
+    (=ks-x1001         . #x2156)       ; &I-K0-2156;
+    (=jis-x0208-1990   . #x2262)       ; &I-J90-2262;
+    (=cns11643-1       . #x223D)       ; &I-C1-223D;
+    (=big5             . #xA1DC)       ; &I-B-A1DC;

     ))
 (define-char
   '((name              . "IMAGE OF OR APPROXIMATELY EQUAL TO")
     ))
 (define-char
   '((name              . "IMAGE OF OR APPROXIMATELY EQUAL TO")

@@ -827,11 +827,11 @@
     (mirrored          . t)
     (->decomposition   #x003D #x0338)
     (=ucs              . #x2260)       ; ≠
     (mirrored          . t)
     (->decomposition   #x003D #x0338)
     (=ucs              . #x2260)       ; ≠

-    (=jis-x0208                . #x2162)       ; �����
-    (=gb2312           . #x2159)       ; �����
-    (=ks-x1001         . #x2141)       ; �����
-    (=cns11643-1       . #x223B)       ; �����
-    (=big5             . #xA1DA)       ; ������
+    (=jis-x0208                . #x2162)       ; &I-J90-2162;
+    (=gb2312           . #x2159)       ; &I-G0-2159;
+    (=ks-x1001         . #x2141)       ; &I-K0-2141;
+    (=cns11643-1       . #x223B)       ; &I-C1-223B;
+    (=big5             . #xA1DA)       ; &I-B-A1DA;

     ))
 (define-char
   '((name              . "IDENTICAL TO")
     ))
 (define-char
   '((name              . "IDENTICAL TO")

@@ -839,12 +839,12 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2261)       ; ≡
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2261)       ; ≡

-    (=gb2312           . #x2154)       ; �����
-    (=jis-x0208-1983   . #x2261)       ; �����
-    (=ks-x1001         . #x2155)       ; �����
-    (=jis-x0208-1990   . #x2261)       ; �����
-    (=cns11643-1       . #x223E)       ; �����
-    (=big5             . #xA1DD)       ; ������
+    (=gb2312           . #x2154)       ; &I-G0-2154;
+    (=jis-x0208-1983   . #x2261)       ; &I-J83-2261;
+    (=ks-x1001         . #x2155)       ; &I-K0-2155;
+    (=jis-x0208-1990   . #x2261)       ; &I-J90-2261;
+    (=cns11643-1       . #x223E)       ; &I-C1-223E;
+    (=big5             . #xA1DD)       ; &I-B-A1DD;

     ))
 (define-char
   '((name              . "NOT IDENTICAL TO")
     ))
 (define-char
   '((name              . "NOT IDENTICAL TO")

@@ -853,7 +853,7 @@
     (mirrored          . t)
     (->decomposition   #x2261 #x0338)
     (=ucs              . #x2262)       ; ≢
     (mirrored          . t)
     (->decomposition   #x2261 #x0338)
     (=ucs              . #x2262)       ; ≢

-    (=jis-x0213-1-2000 . #x226B)       ; �����
+    (=jis-x0213-1-2000 . #x226B)       ; &I-JX1-226B;

     ))
 (define-char
   '((name              . "STRICTLY EQUIVALENT TO")
     ))
 (define-char
   '((name              . "STRICTLY EQUIVALENT TO")

@@ -868,8 +868,8 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2264)       ; ≤
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2264)       ; ≤

-    (=gb2312           . #x215C)       ; �����
-    (=ks-x1001         . #x2142)       ; �����
+    (=gb2312           . #x215C)       ; &I-G0-215C;
+    (=ks-x1001         . #x2142)       ; &I-K0-2142;

     ))
 (define-char
   '((name              . "GREATER-THAN OR EQUAL TO")
     ))
 (define-char
   '((name              . "GREATER-THAN OR EQUAL TO")

@@ -877,8 +877,8 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2265)       ; ≥
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2265)       ; ≥

-    (=gb2312           . #x215D)       ; �����
-    (=ks-x1001         . #x2143)       ; �����
+    (=gb2312           . #x215D)       ; &I-G0-215D;
+    (=ks-x1001         . #x2143)       ; &I-K0-2143;

     ))
 (define-char
   '((name              . "LESS-THAN OVER EQUAL TO")
     ))
 (define-char
   '((name              . "LESS-THAN OVER EQUAL TO")

@@ -886,9 +886,9 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2266)       ; ≦
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2266)       ; ≦

-    (=jis-x0208                . #x2165)       ; �����
-    (=cns11643-1       . #x2239)       ; �����
-    (=big5             . #xA1D8)       ; ������
+    (=jis-x0208                . #x2165)       ; &I-J90-2165;
+    (=cns11643-1       . #x2239)       ; &I-C1-2239;
+    (=big5             . #xA1D8)       ; &I-B-A1D8;

     ))
 (define-char
   '((name              . "GREATER-THAN OVER EQUAL TO")
     ))
 (define-char
   '((name              . "GREATER-THAN OVER EQUAL TO")

@@ -896,9 +896,9 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2267)       ; ≧
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2267)       ; ≧

-    (=jis-x0208                . #x2166)       ; �����
-    (=cns11643-1       . #x223A)       ; �����
-    (=big5             . #xA1D9)       ; ������
+    (=jis-x0208                . #x2166)       ; &I-J90-2166;
+    (=cns11643-1       . #x223A)       ; &I-C1-223A;
+    (=big5             . #xA1D9)       ; &I-B-A1D9;

     ))
 (define-char
   '((name              . "LESS-THAN BUT NOT EQUAL TO")
     ))
 (define-char
   '((name              . "LESS-THAN BUT NOT EQUAL TO")

@@ -920,10 +920,10 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x226A)       ; ≪
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x226A)       ; ≪

-    (=jis-x0208-1983   . #x2263)       ; �����
-    (=ks-x1001         . #x216C)       ; �����
-    (=jis-x0208-1990   . #x2263)       ; �����
-    (=jef-china3       . #x7FE3)       ; �����
+    (=jis-x0208-1983   . #x2263)       ; &I-J83-2263;
+    (=ks-x1001         . #x216C)       ; &I-K0-216C;
+    (=jis-x0208-1990   . #x2263)       ; &I-J90-2263;
+    (=jef-china3       . #x7FE3)       ; &I-JC3-7FE3;

     ))
 (define-char
   '((name              . "MUCH GREATER-THAN")
     ))
 (define-char
   '((name              . "MUCH GREATER-THAN")

@@ -931,10 +931,10 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x226B)       ; ≫
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x226B)       ; ≫

-    (=jis-x0208-1983   . #x2264)       ; �����
-    (=ks-x1001         . #x216D)       ; �����
-    (=jis-x0208-1990   . #x2264)       ; �����
-    (=jef-china3       . #x7FE4)       ; �����
+    (=jis-x0208-1983   . #x2264)       ; &I-J83-2264;
+    (=ks-x1001         . #x216D)       ; &I-K0-216D;
+    (=jis-x0208-1990   . #x2264)       ; &I-J90-2264;
+    (=jef-china3       . #x7FE4)       ; &I-JC3-7FE4;

     ))
 (define-char
   '((name              . "BETWEEN")
     ))
 (define-char
   '((name              . "BETWEEN")

@@ -958,7 +958,7 @@
     (mirrored          . t)
     (->decomposition   #x003C #x0338)
     (=ucs              . #x226E)       ; ≮
     (mirrored          . t)
     (->decomposition   #x003C #x0338)
     (=ucs              . #x226E)       ; ≮

-    (=gb2312           . #x215A)       ; �����
+    (=gb2312           . #x215A)       ; &I-G0-215A;

     ))
 (define-char
   '((name              . "NOT GREATER-THAN")
     ))
 (define-char
   '((name              . "NOT GREATER-THAN")

@@ -967,7 +967,7 @@
     (mirrored          . t)
     (->decomposition   #x003E #x0338)
     (=ucs              . #x226F)       ; ≯
     (mirrored          . t)
     (->decomposition   #x003E #x0338)
     (=ucs              . #x226F)       ; ≯

-    (=gb2312           . #x215B)       ; �����
+    (=gb2312           . #x215B)       ; &I-G0-215B;

     ))
 (define-char
   '((name              . "NEITHER LESS-THAN NOR EQUAL TO")
     ))
 (define-char
   '((name              . "NEITHER LESS-THAN NOR EQUAL TO")

@@ -1021,7 +1021,7 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2276)       ; ≶
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2276)       ; ≶

-    (=jis-x0213-1-2000 . #x226F)       ; �����
+    (=jis-x0213-1-2000 . #x226F)       ; &I-JX1-226F;

     ))
 (define-char
   '((name              . "GREATER-THAN OR LESS-THAN")
     ))
 (define-char
   '((name              . "GREATER-THAN OR LESS-THAN")

@@ -1029,7 +1029,7 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2277)       ; ≷
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2277)       ; ≷

-    (=jis-x0213-1-2000 . #x2270)       ; �����
+    (=jis-x0213-1-2000 . #x2270)       ; &I-JX1-2270;

     ))
 (define-char
   '((name              . "NEITHER LESS-THAN NOR GREATER-THAN")
     ))
 (define-char
   '((name              . "NEITHER LESS-THAN NOR GREATER-THAN")

@@ -1111,10 +1111,10 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2282)       ; ⊂
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2282)       ; ⊂

-    (=jis-x0208-1983   . #x223E)       ; �����
-    (=ks-x1001         . #x2178)       ; �����
-    (=jis-x0208-1990   . #x223E)       ; �����
-    (=jef-china3       . #x7FD4)       ; �����
+    (=jis-x0208-1983   . #x223E)       ; &I-J83-223E;
+    (=ks-x1001         . #x2178)       ; &I-K0-2178;
+    (=jis-x0208-1990   . #x223E)       ; &I-J90-223E;
+    (=jef-china3       . #x7FD4)       ; &I-JC3-7FD4;

     ))
 (define-char
   '((name              . "SUPERSET OF")
     ))
 (define-char
   '((name              . "SUPERSET OF")

@@ -1122,10 +1122,10 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2283)       ; ⊃
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2283)       ; ⊃

-    (=jis-x0208-1983   . #x223F)       ; �����
-    (=ks-x1001         . #x2179)       ; �����
-    (=jis-x0208-1990   . #x223F)       ; �����
-    (=jef-china3       . #x7FD5)       ; �����
+    (=jis-x0208-1983   . #x223F)       ; &I-J83-223F;
+    (=ks-x1001         . #x2179)       ; &I-K0-2179;
+    (=jis-x0208-1990   . #x223F)       ; &I-J90-223F;
+    (=jef-china3       . #x7FD5)       ; &I-JC3-7FD5;

     ))
 (define-char
   '((name              . "NOT A SUBSET OF")
     ))
 (define-char
   '((name              . "NOT A SUBSET OF")

@@ -1134,7 +1134,7 @@
     (mirrored          . t)
     (->decomposition   #x2282 #x0338)
     (=ucs              . #x2284)       ; ⊄
     (mirrored          . t)
     (->decomposition   #x2282 #x0338)
     (=ucs              . #x2284)       ; ⊄

-    (=jis-x0213-1-2000 . #x2242)       ; �����
+    (=jis-x0213-1-2000 . #x2242)       ; &I-JX1-2242;

     ))
 (define-char
   '((name              . "NOT A SUPERSET OF")
     ))
 (define-char
   '((name              . "NOT A SUPERSET OF")

@@ -1143,7 +1143,7 @@
     (mirrored          . t)
     (->decomposition   #x2283 #x0338)
     (=ucs              . #x2285)       ; ⊅
     (mirrored          . t)
     (->decomposition   #x2283 #x0338)
     (=ucs              . #x2285)       ; ⊅

-    (=jis-x0213-1-2000 . #x2243)       ; �����
+    (=jis-x0213-1-2000 . #x2243)       ; &I-JX1-2243;

     ))
 (define-char
   '((name              . "SUBSET OF OR EQUAL TO")
     ))
 (define-char
   '((name              . "SUBSET OF OR EQUAL TO")

@@ -1151,10 +1151,10 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2286)       ; ⊆
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2286)       ; ⊆

-    (=jis-x0208-1983   . #x223C)       ; �����
-    (=ks-x1001         . #x2176)       ; �����
-    (=jis-x0208-1990   . #x223C)       ; �����
-    (=jef-china3       . #x7FD2)       ; �����
+    (=jis-x0208-1983   . #x223C)       ; &I-J83-223C;
+    (=ks-x1001         . #x2176)       ; &I-K0-2176;
+    (=jis-x0208-1990   . #x223C)       ; &I-J90-223C;
+    (=jef-china3       . #x7FD2)       ; &I-JC3-7FD2;

     ))
 (define-char
   '((name              . "SUPERSET OF OR EQUAL TO")
     ))
 (define-char
   '((name              . "SUPERSET OF OR EQUAL TO")

@@ -1162,10 +1162,10 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2287)       ; ⊇
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2287)       ; ⊇

-    (=jis-x0208-1983   . #x223D)       ; �����
-    (=ks-x1001         . #x2177)       ; �����
-    (=jis-x0208-1990   . #x223D)       ; �����
-    (=jef-china3       . #x7FD3)       ; �����
+    (=jis-x0208-1983   . #x223D)       ; &I-J83-223D;
+    (=ks-x1001         . #x2177)       ; &I-K0-2177;
+    (=jis-x0208-1990   . #x223D)       ; &I-J90-223D;
+    (=jef-china3       . #x7FD3)       ; &I-JC3-7FD3;

     ))
 (define-char
   '((name              . "NEITHER A SUBSET OF NOR EQUAL TO")
     ))
 (define-char
   '((name              . "NEITHER A SUBSET OF NOR EQUAL TO")

@@ -1189,7 +1189,7 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x228A)       ; ⊊
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x228A)       ; ⊊

-    (=jis-x0213-1-2000 . #x2244)       ; �����
+    (=jis-x0213-1-2000 . #x2244)       ; &I-JX1-2244;

     ))
 (define-char
   '((name              . "SUPERSET OF WITH NOT EQUAL TO")
     ))
 (define-char
   '((name              . "SUPERSET OF WITH NOT EQUAL TO")

@@ -1197,7 +1197,7 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x228B)       ; ⊋
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x228B)       ; ⊋

-    (=jis-x0213-1-2000 . #x2245)       ; �����
+    (=jis-x0213-1-2000 . #x2245)       ; &I-JX1-2245;

     ))
 (define-char
   '((name              . "MULTISET")
     ))
 (define-char
   '((name              . "MULTISET")

@@ -1268,9 +1268,9 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2295)       ; ⊕
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2295)       ; ⊕

-    (=cns11643-1       . #x2253)       ; �����
-    (=jis-x0213-1-2000 . #x2251)       ; �����
-    (=big5             . #xA1F2)       ; ������
+    (=cns11643-1       . #x2253)       ; &I-C1-2253;
+    (=jis-x0213-1-2000 . #x2251)       ; &I-JX1-2251;
+    (=big5             . #xA1F2)       ; &I-B-A1F2;

     ))
 (define-char
   '((name              . "CIRCLED MINUS")
     ))
 (define-char
   '((name              . "CIRCLED MINUS")

@@ -1278,7 +1278,7 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2296)       ; ⊖
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2296)       ; ⊖

-    (=jis-x0213-1-2000 . #x2252)       ; �����
+    (=jis-x0213-1-2000 . #x2252)       ; &I-JX1-2252;

     ))
 (define-char
   '((name              . "CIRCLED TIMES")
     ))
 (define-char
   '((name              . "CIRCLED TIMES")

@@ -1286,7 +1286,7 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2297)       ; ⊗
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2297)       ; ⊗

-    (=jis-x0213-1-2000 . #x2253)       ; �����
+    (=jis-x0213-1-2000 . #x2253)       ; &I-JX1-2253;

     ))
 (define-char
   '((name              . "CIRCLED DIVISION SLASH")
     ))
 (define-char
   '((name              . "CIRCLED DIVISION SLASH")

@@ -1301,10 +1301,10 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2299)       ; ⊙
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2299)       ; ⊙

-    (=gb2312           . #x2151)       ; �����
-    (=ks-x1001         . #x2241)       ; �����
-    (=cns11643-1       . #x2254)       ; �����
-    (=big5             . #xA1F3)       ; ������
+    (=gb2312           . #x2151)       ; &I-G0-2151;
+    (=ks-x1001         . #x2241)       ; &I-K0-2241;
+    (=cns11643-1       . #x2254)       ; &I-C1-2254;
+    (=big5             . #xA1F3)       ; &I-B-A1F3;

     ))
 (define-char
   '((name              . "CIRCLED RING OPERATOR")
     ))
 (define-char
   '((name              . "CIRCLED RING OPERATOR")

@@ -1389,12 +1389,12 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x22A5)       ; ⊥
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x22A5)       ; ⊥

-    (=gb2312           . #x214D)       ; �����
-    (=jis-x0208-1983   . #x225D)       ; �����
-    (=ks-x1001         . #x2151)       ; �����
-    (=jis-x0208-1990   . #x225D)       ; �����
-    (=cns11643-1       . #x2247)       ; �����
-    (=big5             . #xA1E6)       ; ������
+    (=gb2312           . #x214D)       ; &I-G0-214D;
+    (=jis-x0208-1983   . #x225D)       ; &I-J83-225D;
+    (=ks-x1001         . #x2151)       ; &I-K0-2151;
+    (=jis-x0208-1990   . #x225D)       ; &I-J90-225D;
+    (=cns11643-1       . #x2247)       ; &I-C1-2247;
+    (=big5             . #xA1E6)       ; &I-B-A1E6;

     ))
 (define-char
   '((name              . "ASSERTION")
     ))
 (define-char
   '((name              . "ASSERTION")

@@ -1581,9 +1581,9 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x22BF)       ; ⊿
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x22BF)       ; ⊿

-    (=cns11643-1       . #x224A)       ; �����
-    (=jis-x0213-1-2000 . #x2D79)       ; �����
-    (=big5             . #xA1E9)       ; ������
+    (=cns11643-1       . #x224A)       ; &I-C1-224A;
+    (=jis-x0213-1-2000 . #x2D79)       ; &I-JX1-2D79;
+    (=big5             . #xA1E9)       ; &I-B-A1E9;

     ))
 (define-char
   '((name              . "N-ARY LOGICAL AND")
     ))
 (define-char
   '((name              . "N-ARY LOGICAL AND")

@@ -1591,7 +1591,7 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x22C0)       ; ⋀
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x22C0)       ; ⋀

-    (=jef-china3       . #x7FD8)       ; �����
+    (=jef-china3       . #x7FD8)       ; &I-JC3-7FD8;

     ))
 (define-char
   '((name              . "N-ARY LOGICAL OR")
     ))
 (define-char
   '((name              . "N-ARY LOGICAL OR")

@@ -1599,7 +1599,7 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x22C1)       ; ⋁
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x22C1)       ; ⋁

-    (=jef-china3       . #x7FD9)       ; �����
+    (=jef-china3       . #x7FD9)       ; &I-JC3-7FD9;

     ))
 (define-char
   '((name              . "N-ARY INTERSECTION")
     ))
 (define-char
   '((name              . "N-ARY INTERSECTION")

@@ -1607,7 +1607,7 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x22C2)       ; ⋂
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x22C2)       ; ⋂

-    (=jef-china3       . #x7FD7)       ; �����
+    (=jef-china3       . #x7FD7)       ; &I-JC3-7FD7;

     ))
 (define-char
   '((name              . "N-ARY UNION")
     ))
 (define-char
   '((name              . "N-ARY UNION")

@@ -1615,7 +1615,7 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x22C3)       ; ⋃
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x22C3)       ; ⋃

-    (=jef-china3       . #x7FD6)       ; �����
+    (=jef-china3       . #x7FD6)       ; &I-JC3-7FD6;

     ))
 (define-char
   '((name              . "DIAMOND OPERATOR")
     ))
 (define-char
   '((name              . "DIAMOND OPERATOR")

@@ -1777,7 +1777,7 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x22DA)       ; ⋚
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x22DA)       ; ⋚

-    (=jis-x0213-1-2000 . #x2776)       ; �����
+    (=jis-x0213-1-2000 . #x2776)       ; &I-JX1-2776;

     ))
 (define-char
   '((name              . "GREATER-THAN EQUAL TO OR LESS-THAN")
     ))
 (define-char
   '((name              . "GREATER-THAN EQUAL TO OR LESS-THAN")

@@ -1785,7 +1785,7 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x22DB)       ; ⋛
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x22DB)       ; ⋛

-    (=jis-x0213-1-2000 . #x2777)       ; �����
+    (=jis-x0213-1-2000 . #x2777)       ; &I-JX1-2777;

     ))
 (define-char
   '((name              . "EQUAL TO OR LESS-THAN")
     ))
 (define-char
   '((name              . "EQUAL TO OR LESS-THAN")