Add comments of ku-ten for 94x94-sets.
[chise/xemacs-chise.git.1] / lisp / utf-2000 / u02200-Mathematical-Operators.el
index fe12f4a..5fde2e1 100644 (file)
@@ -5,9 +5,9 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2200)       ; ∀
-    (=jis-x0208-1983   . #x224F)       ; &I-J83-224F;
-    (=ks-x1001         . #x2223)       ; &I-K0-2223;
-    (=jis-x0208-1990   . #x224F)       ; &I-J90-224F;
+    (=jis-x0208-1983   . #x224F)       ; &I-J83-224F; [02-47]
+    (=ks-x1001         . #x2223)       ; &I-K0-2223; [02-03]
+    (=jis-x0208-1990   . #x224F)       ; &I-J90-224F; [02-47]
     (=jef-china3       . #x7FDC)       ; &I-JC3-7FDC;
     ))
 (define-char
@@ -23,9 +23,9 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2202)       ; ∂
-    (=jis-x0208-1983   . #x225F)       ; &I-J83-225F;
-    (=ks-x1001         . #x2153)       ; &I-K0-2153;
-    (=jis-x0208-1990   . #x225F)       ; &I-J90-225F;
+    (=jis-x0208-1983   . #x225F)       ; &I-J83-225F; [02-63]
+    (=ks-x1001         . #x2153)       ; &I-K0-2153; [01-51]
+    (=jis-x0208-1990   . #x225F)       ; &I-J90-225F; [02-63]
     (=jef-china3       . #x7FE1)       ; &I-JC3-7FE1;
     ))
 (define-char
@@ -34,9 +34,9 @@
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2203)       ; ∃
-    (=jis-x0208-1983   . #x2250)       ; &I-J83-2250;
-    (=ks-x1001         . #x2224)       ; &I-K0-2224;
-    (=jis-x0208-1990   . #x2250)       ; &I-J90-2250;
+    (=jis-x0208-1983   . #x2250)       ; &I-J83-2250; [02-48]
+    (=ks-x1001         . #x2224)       ; &I-K0-2224; [02-04]
+    (=jis-x0208-1990   . #x2250)       ; &I-J90-2250; [02-48]
     (=jef-china3       . #x7FDD)       ; &I-JC3-7FDD;
     ))
 (define-char
@@ -53,7 +53,7 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2205)       ; ∅
-    (=jis-x0213-1-2000 . #x2247)       ; &I-JX1-2247;
+    (=jis-x0213-1-2000 . #x2247)       ; &I-JX1-2247; [02-39]
     ))
 (define-char
   '((name              . "INCREMENT")
@@ -68,9 +68,9 @@
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2207)       ; ∇
-    (=jis-x0208-1983   . #x2260)       ; &I-J83-2260;
-    (=ks-x1001         . #x2154)       ; &I-K0-2154;
-    (=jis-x0208-1990   . #x2260)       ; &I-J90-2260;
+    (=jis-x0208-1983   . #x2260)       ; &I-J83-2260; [02-64]
+    (=ks-x1001         . #x2154)       ; &I-K0-2154; [01-52]
+    (=jis-x0208-1990   . #x2260)       ; &I-J90-2260; [02-64]
     (=jef-china3       . #x7FE2)       ; &I-JC3-7FE2;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2208)       ; ∈
-    (=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;
+    (=gb2312           . #x214A)       ; &I-G0-214A; [01-42]
+    (=jis-x0208-1983   . #x223A)       ; &I-J83-223A; [02-26]
+    (=ks-x1001         . #x2174)       ; &I-K0-2174; [01-84]
+    (=jis-x0208-1990   . #x223A)       ; &I-J90-223A; [02-26]
     (=jef-china3       . #x7FD0)       ; &I-JC3-7FD0;
     ))
 (define-char
@@ -92,7 +92,7 @@
     (mirrored          . t)
     (->decomposition   #x2208 #x0338)
     (=ucs              . #x2209)       ; ∉
-    (=jis-x0213-1-2000 . #x2246)       ; &I-JX1-2246;
+    (=jis-x0213-1-2000 . #x2246)       ; &I-JX1-2246; [02-38]
     ))
 (define-char
   '((name              . "SMALL ELEMENT OF")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x220B)       ; ∋
-    (=jis-x0208-1983   . #x223B)       ; &I-J83-223B;
-    (=ks-x1001         . #x2175)       ; &I-K0-2175;
-    (=jis-x0208-1990   . #x223B)       ; &I-J90-223B;
+    (=jis-x0208-1983   . #x223B)       ; &I-J83-223B; [02-27]
+    (=ks-x1001         . #x2175)       ; &I-K0-2175; [01-85]
+    (=jis-x0208-1990   . #x223B)       ; &I-J90-223B; [02-27]
     (=jef-china3       . #x7FD1)       ; &I-JC3-7FD1;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x220F)       ; ∏
-    (=gb2312           . #x2147)       ; &I-G0-2147;
-    (=ks-x1001         . #x2233)       ; &I-K0-2233;
+    (=gb2312           . #x2147)       ; &I-G0-2147; [01-39]
+    (=ks-x1001         . #x2233)       ; &I-K0-2233; [02-19]
     ))
 (define-char
   '((name              . "N-ARY COPRODUCT")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2211)       ; ∑
-    (=gb2312           . #x2146)       ; &I-G0-2146;
-    (=ks-x1001         . #x2232)       ; &I-K0-2232;
+    (=gb2312           . #x2146)       ; &I-G0-2146; [01-38]
+    (=ks-x1001         . #x2232)       ; &I-K0-2232; [02-18]
     ))
 (define-char
   '((name              . "MINUS SIGN")
     (bidi-category     . "ET")
     (mirrored          . nil)
     (=ucs              . #x2212)       ; −
-    (=jis-x0208                . #x215D)       ; &I-J90-215D;
+    (=jis-x0208                . #x215D)       ; &I-J90-215D; [01-61]
     ))
 (define-char
   '((name              . "MINUS-OR-PLUS SIGN")
     (bidi-category     . "ET")
     (mirrored          . nil)
     (=ucs              . #x2213)       ; ∓
-    (=jis-x0213-1-2000 . #x235B)       ; &I-JX1-235B;
+    (=jis-x0213-1-2000 . #x235B)       ; &I-JX1-235B; [03-59]
     ))
 (define-char
   '((name              . "DOT PLUS")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2215)       ; ∕
-    (=cns11643-1       . #x2261)       ; &I-C1-2261;
+    (=cns11643-1       . #x2261)       ; &I-C1-2261; [02-65]
     (=big5             . #xA241)       ; &I-B-A241;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x221A)       ; √
-    (=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;
+    (=gb2312           . #x214C)       ; &I-G0-214C; [01-44]
+    (=jis-x0208-1983   . #x2265)       ; &I-J83-2265; [02-69]
+    (=ks-x1001         . #x216E)       ; &I-K0-216E; [01-78]
+    (=jis-x0208-1990   . #x2265)       ; &I-J90-2265; [02-69]
+    (=cns11643-1       . #x2235)       ; &I-C1-2235; [02-21]
     (=big5             . #xA1D4)       ; &I-B-A1D4;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x221D)       ; ∝
-    (=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;
+    (=gb2312           . #x2158)       ; &I-G0-2158; [01-56]
+    (=jis-x0208-1983   . #x2267)       ; &I-J83-2267; [02-71]
+    (=ks-x1001         . #x2170)       ; &I-K0-2170; [01-80]
+    (=jis-x0208-1990   . #x2267)       ; &I-J90-2267; [02-71]
     (=jef-china3       . #x7FE7)       ; &I-JC3-7FE7;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x221E)       ; ∞
-    (=jis-x0208                . #x2167)       ; &I-J90-2167;
-    (=gb2312           . #x215E)       ; &I-G0-215E;
-    (=ks-x1001         . #x2144)       ; &I-K0-2144;
-    (=cns11643-1       . #x223C)       ; &I-C1-223C;
+    (=jis-x0208                . #x2167)       ; &I-J90-2167; [01-71]
+    (=gb2312           . #x215E)       ; &I-G0-215E; [01-62]
+    (=ks-x1001         . #x2144)       ; &I-K0-2144; [01-36]
+    (=cns11643-1       . #x223C)       ; &I-C1-223C; [02-28]
     (=big5             . #xA1DB)       ; &I-B-A1DB;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x221F)       ; ∟
-    (=cns11643-1       . #x2249)       ; &I-C1-2249;
-    (=jis-x0213-1-2000 . #x2D78)       ; &I-JX1-2D78;
+    (=cns11643-1       . #x2249)       ; &I-C1-2249; [02-41]
+    (=jis-x0213-1-2000 . #x2D78)       ; &I-JX1-2D78; [13-88]
     (=big5             . #xA1E8)       ; &I-B-A1E8;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2220)       ; ∠
-    (=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;
+    (=gb2312           . #x214F)       ; &I-G0-214F; [01-47]
+    (=jis-x0208-1983   . #x225C)       ; &I-J83-225C; [02-60]
+    (=ks-x1001         . #x2150)       ; &I-K0-2150; [01-48]
+    (=jis-x0208-1990   . #x225C)       ; &I-J90-225C; [02-60]
+    (=cns11643-1       . #x2248)       ; &I-C1-2248; [02-40]
     (=big5             . #xA1E7)       ; &I-B-A1E7;
     (=jef-china3       . #x7FDE)       ; &I-JC3-7FDE;
     ))
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2225)       ; ∥
-    (=gb2312           . #x214E)       ; &I-G0-214E;
-    (=ks-x1001         . #x212B)       ; &I-K0-212B;
-    (=jis-x0213-1-2000 . #x2254)       ; &I-JX1-2254;
+    (=gb2312           . #x214E)       ; &I-G0-214E; [01-46]
+    (=ks-x1001         . #x212B)       ; &I-K0-212B; [01-11]
+    (=jis-x0213-1-2000 . #x2254)       ; &I-JX1-2254; [02-52]
     (=big5             . #xA1FC)       ; &I-B-A1FC;
     ))
 (define-char
     (mirrored          . t)
     (->decomposition   #x2225 #x0338)
     (=ucs              . #x2226)       ; ∦
-    (=jis-x0213-1-2000 . #x2255)       ; &I-JX1-2255;
+    (=jis-x0213-1-2000 . #x2255)       ; &I-JX1-2255; [02-53]
     ))
 (define-char
   '((name              . "LOGICAL AND")
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2227)       ; ∧
-    (=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;
+    (=gb2312           . #x2144)       ; &I-G0-2144; [01-36]
+    (=jis-x0208-1983   . #x224A)       ; &I-J83-224A; [02-42]
+    (=ks-x1001         . #x217C)       ; &I-K0-217C; [01-92]
+    (=jis-x0208-1990   . #x224A)       ; &I-J90-224A; [02-42]
     ))
 (define-char
   '((name              . "LOGICAL OR")
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2228)       ; ∨
-    (=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;
+    (=gb2312           . #x2145)       ; &I-G0-2145; [01-37]
+    (=jis-x0208-1983   . #x224B)       ; &I-J83-224B; [02-43]
+    (=ks-x1001         . #x217D)       ; &I-K0-217D; [01-93]
+    (=jis-x0208-1990   . #x224B)       ; &I-J90-224B; [02-43]
     ))
 (define-char
   '((name              . "INTERSECTION")
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2229)       ; ∩
-    (=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;
+    (=gb2312           . #x2149)       ; &I-G0-2149; [01-41]
+    (=jis-x0208-1983   . #x2241)       ; &I-J83-2241; [02-33]
+    (=ks-x1001         . #x217B)       ; &I-K0-217B; [01-91]
+    (=jis-x0208-1990   . #x2241)       ; &I-J90-2241; [02-33]
+    (=cns11643-1       . #x2245)       ; &I-C1-2245; [02-37]
     (=big5             . #xA1E4)       ; &I-B-A1E4;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x222A)       ; ∪
-    (=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;
+    (=gb2312           . #x2148)       ; &I-G0-2148; [01-40]
+    (=jis-x0208-1983   . #x2240)       ; &I-J83-2240; [02-32]
+    (=ks-x1001         . #x217A)       ; &I-K0-217A; [01-90]
+    (=jis-x0208-1990   . #x2240)       ; &I-J90-2240; [02-32]
+    (=cns11643-1       . #x2246)       ; &I-C1-2246; [02-38]
     (=big5             . #xA1E5)       ; &I-B-A1E5;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x222B)       ; ∫
-    (=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;
+    (=gb2312           . #x2152)       ; &I-G0-2152; [01-50]
+    (=jis-x0208-1983   . #x2269)       ; &I-J83-2269; [02-73]
+    (=ks-x1001         . #x2172)       ; &I-K0-2172; [01-82]
+    (=jis-x0208-1990   . #x2269)       ; &I-J90-2269; [02-73]
+    (=cns11643-1       . #x224D)       ; &I-C1-224D; [02-45]
     (=big5             . #xA1EC)       ; &I-B-A1EC;
     (=jef-china3       . #x7FE8)       ; &I-JC3-7FE8;
     ))
     (mirrored          . t)
     (->decomposition   compat #x222B #x222B)
     (=ucs              . #x222C)       ; ∬
-    (=jis-x0208-1983   . #x226A)       ; &I-J83-226A;
-    (=ks-x1001         . #x2173)       ; &I-K0-2173;
-    (=jis-x0208-1990   . #x226A)       ; &I-J90-226A;
+    (=jis-x0208-1983   . #x226A)       ; &I-J83-226A; [02-74]
+    (=ks-x1001         . #x2173)       ; &I-K0-2173; [01-83]
+    (=jis-x0208-1990   . #x226A)       ; &I-J90-226A; [02-74]
     (=jef-china3       . #x7FE9)       ; &I-JC3-7FE9;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x222E)       ; ∮
-    (=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;
+    (=gb2312           . #x2153)       ; &I-G0-2153; [01-51]
+    (=ks-x1001         . #x2231)       ; &I-K0-2231; [02-17]
+    (=cns11643-1       . #x224E)       ; &I-C1-224E; [02-46]
+    (=jis-x0213-1-2000 . #x2D73)       ; &I-JX1-2D73; [13-83]
     (=big5             . #xA1ED)       ; &I-B-A1ED;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2234)       ; ∴
-    (=jis-x0208                . #x2168)       ; &I-J90-2168;
-    (=gb2312           . #x2160)       ; &I-G0-2160;
-    (=ks-x1001         . #x2145)       ; &I-K0-2145;
-    (=cns11643-1       . #x2250)       ; &I-C1-2250;
+    (=jis-x0208                . #x2168)       ; &I-J90-2168; [01-72]
+    (=gb2312           . #x2160)       ; &I-G0-2160; [01-64]
+    (=ks-x1001         . #x2145)       ; &I-K0-2145; [01-37]
+    (=cns11643-1       . #x2250)       ; &I-C1-2250; [02-48]
     (=big5             . #xA1EF)       ; &I-B-A1EF;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2235)       ; ∵
-    (=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;
+    (=gb2312           . #x215F)       ; &I-G0-215F; [01-63]
+    (=jis-x0208-1983   . #x2268)       ; &I-J83-2268; [02-72]
+    (=ks-x1001         . #x2171)       ; &I-K0-2171; [01-81]
+    (=jis-x0208-1990   . #x2268)       ; &I-J90-2268; [02-72]
+    (=cns11643-1       . #x224F)       ; &I-C1-224F; [02-47]
     (=big5             . #xA1EE)       ; &I-B-A1EE;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2236)       ; ∶
-    (=gb2312           . #x2143)       ; &I-G0-2143;
+    (=gb2312           . #x2143)       ; &I-G0-2143; [01-35]
     ))
 (define-char
   '((name              . "PROPORTION")
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2237)       ; ∷
-    (=gb2312           . #x214B)       ; &I-G0-214B;
+    (=gb2312           . #x214B)       ; &I-G0-214B; [01-43]
     ))
 (define-char
   '((name              . "DOT MINUS")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x223C)       ; ∼
-    (=ks-x1001         . #x212D)       ; &I-K0-212D;
-    (=cns11643-1       . #x2244)       ; &I-C1-2244;
+    (=ks-x1001         . #x212D)       ; &I-K0-212D; [01-13]
+    (=cns11643-1       . #x2244)       ; &I-C1-2244; [02-36]
     (=big5             . #xA1E3)       ; &I-B-A1E3;
     (=ucs@big5         . #xFF5E)       ; ∼
     ))
     (mirrored          . t)
     (iso-10646-comment . "lazy S")
     (=ucs              . #x223D)       ; ∽
-    (=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;
+    (=gb2312           . #x2157)       ; &I-G0-2157; [01-55]
+    (=jis-x0208-1983   . #x2266)       ; &I-J83-2266; [02-70]
+    (=ks-x1001         . #x216F)       ; &I-K0-216F; [01-79]
+    (=jis-x0208-1990   . #x2266)       ; &I-J90-2266; [02-70]
     (=jef-china3       . #x7FE6)       ; &I-JC3-7FE6;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2243)       ; ≃
-    (=jis-x0213-1-2000 . #x226C)       ; &I-JX1-226C;
+    (=jis-x0213-1-2000 . #x226C)       ; &I-JX1-226C; [02-76]
     ))
 (define-char
   '((name              . "NOT ASYMPTOTICALLY EQUAL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2245)       ; ≅
-    (=jis-x0213-1-2000 . #x226D)       ; &I-JX1-226D;
+    (=jis-x0213-1-2000 . #x226D)       ; &I-JX1-226D; [02-77]
     ))
 (define-char
   '((name              . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2248)       ; ≈
-    (=gb2312           . #x2156)       ; &I-G0-2156;
-    (=jis-x0213-1-2000 . #x226E)       ; &I-JX1-226E;
+    (=gb2312           . #x2156)       ; &I-G0-2156; [01-54]
+    (=jis-x0213-1-2000 . #x226E)       ; &I-JX1-226E; [02-78]
     ))
 (define-char
   '((name              . "NOT ALMOST EQUAL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x224C)       ; ≌
-    (=gb2312           . #x2155)       ; &I-G0-2155;
+    (=gb2312           . #x2155)       ; &I-G0-2155; [01-53]
     ))
 (define-char
   '((name              . "EQUIVALENT TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2252)       ; ≒
-    (=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;
+    (=jis-x0208-1983   . #x2262)       ; &I-J83-2262; [02-66]
+    (=ks-x1001         . #x2156)       ; &I-K0-2156; [01-54]
+    (=jis-x0208-1990   . #x2262)       ; &I-J90-2262; [02-66]
+    (=cns11643-1       . #x223D)       ; &I-C1-223D; [02-29]
     (=big5             . #xA1DC)       ; &I-B-A1DC;
     ))
 (define-char
     (mirrored          . t)
     (->decomposition   #x003D #x0338)
     (=ucs              . #x2260)       ; ≠
-    (=jis-x0208                . #x2162)       ; &I-J90-2162;
-    (=gb2312           . #x2159)       ; &I-G0-2159;
-    (=ks-x1001         . #x2141)       ; &I-K0-2141;
-    (=cns11643-1       . #x223B)       ; &I-C1-223B;
+    (=jis-x0208                . #x2162)       ; &I-J90-2162; [01-66]
+    (=gb2312           . #x2159)       ; &I-G0-2159; [01-57]
+    (=ks-x1001         . #x2141)       ; &I-K0-2141; [01-33]
+    (=cns11643-1       . #x223B)       ; &I-C1-223B; [02-27]
     (=big5             . #xA1DA)       ; &I-B-A1DA;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2261)       ; ≡
-    (=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;
+    (=gb2312           . #x2154)       ; &I-G0-2154; [01-52]
+    (=jis-x0208-1983   . #x2261)       ; &I-J83-2261; [02-65]
+    (=ks-x1001         . #x2155)       ; &I-K0-2155; [01-53]
+    (=jis-x0208-1990   . #x2261)       ; &I-J90-2261; [02-65]
+    (=cns11643-1       . #x223E)       ; &I-C1-223E; [02-30]
     (=big5             . #xA1DD)       ; &I-B-A1DD;
     ))
 (define-char
     (mirrored          . t)
     (->decomposition   #x2261 #x0338)
     (=ucs              . #x2262)       ; ≢
-    (=jis-x0213-1-2000 . #x226B)       ; &I-JX1-226B;
+    (=jis-x0213-1-2000 . #x226B)       ; &I-JX1-226B; [02-75]
     ))
 (define-char
   '((name              . "STRICTLY EQUIVALENT TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2264)       ; ≤
-    (=gb2312           . #x215C)       ; &I-G0-215C;
-    (=ks-x1001         . #x2142)       ; &I-K0-2142;
+    (=gb2312           . #x215C)       ; &I-G0-215C; [01-60]
+    (=ks-x1001         . #x2142)       ; &I-K0-2142; [01-34]
     ))
 (define-char
   '((name              . "GREATER-THAN OR EQUAL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2265)       ; ≥
-    (=gb2312           . #x215D)       ; &I-G0-215D;
-    (=ks-x1001         . #x2143)       ; &I-K0-2143;
+    (=gb2312           . #x215D)       ; &I-G0-215D; [01-61]
+    (=ks-x1001         . #x2143)       ; &I-K0-2143; [01-35]
     ))
 (define-char
   '((name              . "LESS-THAN OVER EQUAL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2266)       ; ≦
-    (=jis-x0208                . #x2165)       ; &I-J90-2165;
-    (=cns11643-1       . #x2239)       ; &I-C1-2239;
+    (=jis-x0208                . #x2165)       ; &I-J90-2165; [01-69]
+    (=cns11643-1       . #x2239)       ; &I-C1-2239; [02-25]
     (=big5             . #xA1D8)       ; &I-B-A1D8;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2267)       ; ≧
-    (=jis-x0208                . #x2166)       ; &I-J90-2166;
-    (=cns11643-1       . #x223A)       ; &I-C1-223A;
+    (=jis-x0208                . #x2166)       ; &I-J90-2166; [01-70]
+    (=cns11643-1       . #x223A)       ; &I-C1-223A; [02-26]
     (=big5             . #xA1D9)       ; &I-B-A1D9;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x226A)       ; ≪
-    (=jis-x0208-1983   . #x2263)       ; &I-J83-2263;
-    (=ks-x1001         . #x216C)       ; &I-K0-216C;
-    (=jis-x0208-1990   . #x2263)       ; &I-J90-2263;
+    (=jis-x0208-1983   . #x2263)       ; &I-J83-2263; [02-67]
+    (=ks-x1001         . #x216C)       ; &I-K0-216C; [01-76]
+    (=jis-x0208-1990   . #x2263)       ; &I-J90-2263; [02-67]
     (=jef-china3       . #x7FE3)       ; &I-JC3-7FE3;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x226B)       ; ≫
-    (=jis-x0208-1983   . #x2264)       ; &I-J83-2264;
-    (=ks-x1001         . #x216D)       ; &I-K0-216D;
-    (=jis-x0208-1990   . #x2264)       ; &I-J90-2264;
+    (=jis-x0208-1983   . #x2264)       ; &I-J83-2264; [02-68]
+    (=ks-x1001         . #x216D)       ; &I-K0-216D; [01-77]
+    (=jis-x0208-1990   . #x2264)       ; &I-J90-2264; [02-68]
     (=jef-china3       . #x7FE4)       ; &I-JC3-7FE4;
     ))
 (define-char
     (mirrored          . t)
     (->decomposition   #x003C #x0338)
     (=ucs              . #x226E)       ; ≮
-    (=gb2312           . #x215A)       ; &I-G0-215A;
+    (=gb2312           . #x215A)       ; &I-G0-215A; [01-58]
     ))
 (define-char
   '((name              . "NOT GREATER-THAN")
     (mirrored          . t)
     (->decomposition   #x003E #x0338)
     (=ucs              . #x226F)       ; ≯
-    (=gb2312           . #x215B)       ; &I-G0-215B;
+    (=gb2312           . #x215B)       ; &I-G0-215B; [01-59]
     ))
 (define-char
   '((name              . "NEITHER LESS-THAN NOR EQUAL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2276)       ; ≶
-    (=jis-x0213-1-2000 . #x226F)       ; &I-JX1-226F;
+    (=jis-x0213-1-2000 . #x226F)       ; &I-JX1-226F; [02-79]
     ))
 (define-char
   '((name              . "GREATER-THAN OR LESS-THAN")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2277)       ; ≷
-    (=jis-x0213-1-2000 . #x2270)       ; &I-JX1-2270;
+    (=jis-x0213-1-2000 . #x2270)       ; &I-JX1-2270; [02-80]
     ))
 (define-char
   '((name              . "NEITHER LESS-THAN NOR GREATER-THAN")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2282)       ; ⊂
-    (=jis-x0208-1983   . #x223E)       ; &I-J83-223E;
-    (=ks-x1001         . #x2178)       ; &I-K0-2178;
-    (=jis-x0208-1990   . #x223E)       ; &I-J90-223E;
+    (=jis-x0208-1983   . #x223E)       ; &I-J83-223E; [02-30]
+    (=ks-x1001         . #x2178)       ; &I-K0-2178; [01-88]
+    (=jis-x0208-1990   . #x223E)       ; &I-J90-223E; [02-30]
     (=jef-china3       . #x7FD4)       ; &I-JC3-7FD4;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2283)       ; ⊃
-    (=jis-x0208-1983   . #x223F)       ; &I-J83-223F;
-    (=ks-x1001         . #x2179)       ; &I-K0-2179;
-    (=jis-x0208-1990   . #x223F)       ; &I-J90-223F;
+    (=jis-x0208-1983   . #x223F)       ; &I-J83-223F; [02-31]
+    (=ks-x1001         . #x2179)       ; &I-K0-2179; [01-89]
+    (=jis-x0208-1990   . #x223F)       ; &I-J90-223F; [02-31]
     (=jef-china3       . #x7FD5)       ; &I-JC3-7FD5;
     ))
 (define-char
     (mirrored          . t)
     (->decomposition   #x2282 #x0338)
     (=ucs              . #x2284)       ; ⊄
-    (=jis-x0213-1-2000 . #x2242)       ; &I-JX1-2242;
+    (=jis-x0213-1-2000 . #x2242)       ; &I-JX1-2242; [02-34]
     ))
 (define-char
   '((name              . "NOT A SUPERSET OF")
     (mirrored          . t)
     (->decomposition   #x2283 #x0338)
     (=ucs              . #x2285)       ; ⊅
-    (=jis-x0213-1-2000 . #x2243)       ; &I-JX1-2243;
+    (=jis-x0213-1-2000 . #x2243)       ; &I-JX1-2243; [02-35]
     ))
 (define-char
   '((name              . "SUBSET OF OR EQUAL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2286)       ; ⊆
-    (=jis-x0208-1983   . #x223C)       ; &I-J83-223C;
-    (=ks-x1001         . #x2176)       ; &I-K0-2176;
-    (=jis-x0208-1990   . #x223C)       ; &I-J90-223C;
+    (=jis-x0208-1983   . #x223C)       ; &I-J83-223C; [02-28]
+    (=ks-x1001         . #x2176)       ; &I-K0-2176; [01-86]
+    (=jis-x0208-1990   . #x223C)       ; &I-J90-223C; [02-28]
     (=jef-china3       . #x7FD2)       ; &I-JC3-7FD2;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x2287)       ; ⊇
-    (=jis-x0208-1983   . #x223D)       ; &I-J83-223D;
-    (=ks-x1001         . #x2177)       ; &I-K0-2177;
-    (=jis-x0208-1990   . #x223D)       ; &I-J90-223D;
+    (=jis-x0208-1983   . #x223D)       ; &I-J83-223D; [02-29]
+    (=ks-x1001         . #x2177)       ; &I-K0-2177; [01-87]
+    (=jis-x0208-1990   . #x223D)       ; &I-J90-223D; [02-29]
     (=jef-china3       . #x7FD3)       ; &I-JC3-7FD3;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x228A)       ; ⊊
-    (=jis-x0213-1-2000 . #x2244)       ; &I-JX1-2244;
+    (=jis-x0213-1-2000 . #x2244)       ; &I-JX1-2244; [02-36]
     ))
 (define-char
   '((name              . "SUPERSET OF WITH NOT EQUAL TO")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x228B)       ; ⊋
-    (=jis-x0213-1-2000 . #x2245)       ; &I-JX1-2245;
+    (=jis-x0213-1-2000 . #x2245)       ; &I-JX1-2245; [02-37]
     ))
 (define-char
   '((name              . "MULTISET")
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2295)       ; ⊕
-    (=cns11643-1       . #x2253)       ; &I-C1-2253;
-    (=jis-x0213-1-2000 . #x2251)       ; &I-JX1-2251;
+    (=cns11643-1       . #x2253)       ; &I-C1-2253; [02-51]
+    (=jis-x0213-1-2000 . #x2251)       ; &I-JX1-2251; [02-49]
     (=big5             . #xA1F2)       ; &I-B-A1F2;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2296)       ; ⊖
-    (=jis-x0213-1-2000 . #x2252)       ; &I-JX1-2252;
+    (=jis-x0213-1-2000 . #x2252)       ; &I-JX1-2252; [02-50]
     ))
 (define-char
   '((name              . "CIRCLED TIMES")
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2297)       ; ⊗
-    (=jis-x0213-1-2000 . #x2253)       ; &I-JX1-2253;
+    (=jis-x0213-1-2000 . #x2253)       ; &I-JX1-2253; [02-51]
     ))
 (define-char
   '((name              . "CIRCLED DIVISION SLASH")
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x2299)       ; ⊙
-    (=gb2312           . #x2151)       ; &I-G0-2151;
-    (=ks-x1001         . #x2241)       ; &I-K0-2241;
-    (=cns11643-1       . #x2254)       ; &I-C1-2254;
+    (=gb2312           . #x2151)       ; &I-G0-2151; [01-49]
+    (=ks-x1001         . #x2241)       ; &I-K0-2241; [02-33]
+    (=cns11643-1       . #x2254)       ; &I-C1-2254; [02-52]
     (=big5             . #xA1F3)       ; &I-B-A1F3;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . nil)
     (=ucs              . #x22A5)       ; ⊥
-    (=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;
+    (=gb2312           . #x214D)       ; &I-G0-214D; [01-45]
+    (=jis-x0208-1983   . #x225D)       ; &I-J83-225D; [02-61]
+    (=ks-x1001         . #x2151)       ; &I-K0-2151; [01-49]
+    (=jis-x0208-1990   . #x225D)       ; &I-J90-225D; [02-61]
+    (=cns11643-1       . #x2247)       ; &I-C1-2247; [02-39]
     (=big5             . #xA1E6)       ; &I-B-A1E6;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x22BF)       ; ⊿
-    (=cns11643-1       . #x224A)       ; &I-C1-224A;
-    (=jis-x0213-1-2000 . #x2D79)       ; &I-JX1-2D79;
+    (=cns11643-1       . #x224A)       ; &I-C1-224A; [02-42]
+    (=jis-x0213-1-2000 . #x2D79)       ; &I-JX1-2D79; [13-89]
     (=big5             . #xA1E9)       ; &I-B-A1E9;
     ))
 (define-char
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x22DA)       ; ⋚
-    (=jis-x0213-1-2000 . #x2776)       ; &I-JX1-2776;
+    (=jis-x0213-1-2000 . #x2776)       ; &I-JX1-2776; [07-86]
     ))
 (define-char
   '((name              . "GREATER-THAN EQUAL TO OR LESS-THAN")
     (bidi-category     . "ON")
     (mirrored          . t)
     (=ucs              . #x22DB)       ; ⋛
-    (=jis-x0213-1-2000 . #x2777)       ; &I-JX1-2777;
+    (=jis-x0213-1-2000 . #x2777)       ; &I-JX1-2777; [07-87]
     ))
 (define-char
   '((name              . "EQUAL TO OR LESS-THAN")