From: tomo <tomo>
Date: Thu, 26 Jan 2006 20:04:53 +0000 (+0000)
Subject: Reformatted.
X-Git-Tag: r21-4-17-chise-0_22-6^20~44
X-Git-Url: http://git.chise.org/gitweb/?a=commitdiff_plain;h=bc4747d0e6aafd7130928a517142f7002feed982;p=chise%2Fxemacs-chise.git-

Reformatted.
---

diff --git a/lisp/utf-2000/u02200-Mathematical-Operators.el b/lisp/utf-2000/u02200-Mathematical-Operators.el
index 570a049..ee661d6 100644
--- a/lisp/utf-2000/u02200-Mathematical-Operators.el
+++ b/lisp/utf-2000/u02200-Mathematical-Operators.el
@@ -11,16 +11,16 @@
      ((name		  . "FOR ALL")
       (=ucs		  . #x2200)	; ∀
       ))
-    (<-fullwidth
-     ((name		  . "FOR ALL")
-      (=ucs		  . #x2200)	; ∀
-      ))
     (=jis-x0208@1983	. #x224F)	; &J90-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;
     (=ucs@jis		. #x2200)	; &J90-224F;
     (=ucs@ks		. #x2200)	; &J90-224F;
+    (<-fullwidth
+     ((name		  . "FOR ALL")
+      (=ucs		  . #x2200)	; ∀
+      ))
     ))
 (define-char
   '((name		. "COMPLEMENT")
@@ -41,16 +41,16 @@
      ((name		  . "PARTIAL DIFFERENTIAL")
       (=ucs		  . #x2202)	; ∂
       ))
-    (<-fullwidth
-     ((name		  . "PARTIAL DIFFERENTIAL")
-      (=ucs		  . #x2202)	; ∂
-      ))
     (=jis-x0208@1983	. #x225F)	; &J90-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;
     (=ucs@jis		. #x2202)	; &J90-225F;
     (=ucs@ks		. #x2202)	; &J90-225F;
+    (<-fullwidth
+     ((name		  . "PARTIAL DIFFERENTIAL")
+      (=ucs		  . #x2202)	; ∂
+      ))
     ))
 (define-char
   '((name		. "THERE EXISTS")
@@ -64,16 +64,16 @@
      ((name		  . "THERE EXISTS")
       (=ucs		  . #x2203)	; ∃
       ))
-    (<-fullwidth
-     ((name		  . "THERE EXISTS")
-      (=ucs		  . #x2203)	; ∃
-      ))
     (=jis-x0208@1983	. #x2250)	; &J90-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;
     (=ucs@jis		. #x2203)	; &J90-2250;
     (=ucs@ks		. #x2203)	; &J90-2250;
+    (<-fullwidth
+     ((name		  . "THERE EXISTS")
+      (=ucs		  . #x2203)	; ∃
+      ))
     ))
 (define-char
   '((name		. "THERE DOES NOT EXIST")
@@ -101,12 +101,12 @@
      ((name		  . "EMPTY SET")
       (=ucs		  . #x2205)	; ∅
       ))
+    (=jis-x0213-1-2000	. #x2247)	; &JX1-2247; [02-39]
+    (=ucs@jis		. #x2205)	; &JX1-2247;
     (<-fullwidth
      ((name		  . "EMPTY SET")
       (=ucs		  . #x2205)	; ∅
       ))
-    (=jis-x0213-1-2000	. #x2247)	; &JX1-2247; [02-39]
-    (=ucs@jis		. #x2205)	; &JX1-2247;
     ))
 (define-char
   '((name		. "INCREMENT")
@@ -127,16 +127,16 @@
      ((name		  . "NABLA")
       (=ucs		  . #x2207)	; ∇
       ))
-    (<-fullwidth
-     ((name		  . "NABLA")
-      (=ucs		  . #x2207)	; ∇
-      ))
     (=jis-x0208@1983	. #x2260)	; &J90-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;
     (=ucs@jis		. #x2207)	; &J90-2260;
     (=ucs@ks		. #x2207)	; &J90-2260;
+    (<-fullwidth
+     ((name		  . "NABLA")
+      (=ucs		  . #x2207)	; ∇
+      ))
     ))
 (define-char
   '((name		. "ELEMENT OF")
@@ -150,10 +150,6 @@
      ((name		  . "ELEMENT OF")
       (=ucs		  . #x2208)	; ∈
       ))
-    (<-fullwidth
-     ((name		  . "ELEMENT OF")
-      (=ucs		  . #x2208)	; ∈
-      ))
     (=gb2312		. #x214A)	; &J90-223A; [01-42]
     (=jis-x0208@1983	. #x223A)	; &I-J83-223A; [02-26]
     (=ks-x1001		. #x2174)	; &I-K0-2174; [01-84]
@@ -162,6 +158,10 @@
     (=ucs@gb		. #x2208)	; &J90-223A;
     (=ucs@jis		. #x2208)	; &J90-223A;
     (=ucs@ks		. #x2208)	; &J90-223A;
+    (<-fullwidth
+     ((name		  . "ELEMENT OF")
+      (=ucs		  . #x2208)	; ∈
+      ))
     ))
 (define-char
   '((name		. "NOT AN ELEMENT OF")
@@ -182,12 +182,12 @@
      ((name		  . "NOT AN ELEMENT OF")
       (=ucs		  . #x2209)	; ∉
       ))
+    (=jis-x0213-1-2000	. #x2246)	; &JX1-2246; [02-38]
+    (=ucs@jis		. #x2209)	; &JX1-2246;
     (<-fullwidth
      ((name		  . "NOT AN ELEMENT OF")
       (=ucs		  . #x2209)	; ∉
       ))
-    (=jis-x0213-1-2000	. #x2246)	; &JX1-2246; [02-38]
-    (=ucs@jis		. #x2209)	; &JX1-2246;
     ))
 (define-char
   '((name		. "SMALL ELEMENT OF")
@@ -208,16 +208,16 @@
      ((name		  . "CONTAINS AS MEMBER")
       (=ucs		  . #x220B)	; ∋
       ))
-    (<-fullwidth
-     ((name		  . "CONTAINS AS MEMBER")
-      (=ucs		  . #x220B)	; ∋
-      ))
     (=jis-x0208@1983	. #x223B)	; &J90-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;
     (=ucs@jis		. #x220B)	; &J90-223B;
     (=ucs@ks		. #x220B)	; &J90-223B;
+    (<-fullwidth
+     ((name		  . "CONTAINS AS MEMBER")
+      (=ucs		  . #x220B)	; ∋
+      ))
     ))
 (define-char
   '((name		. "DOES NOT CONTAIN AS MEMBER")
@@ -259,14 +259,14 @@
      ((name		  . "N-ARY PRODUCT")
       (=ucs		  . #x220F)	; ∏
       ))
-    (<-fullwidth
-     ((name		  . "N-ARY PRODUCT")
-      (=ucs		  . #x220F)	; ∏
-      ))
     (=gb2312		. #x2147)	; &K0-2233; [01-39]
     (=ks-x1001		. #x2233)	; &I-K0-2233; [02-19]
     (=ucs@gb		. #x220F)	; &K0-2233;
     (=ucs@ks		. #x220F)	; &K0-2233;
+    (<-fullwidth
+     ((name		  . "N-ARY PRODUCT")
+      (=ucs		  . #x220F)	; ∏
+      ))
     ))
 (define-char
   '((name		. "N-ARY COPRODUCT")
@@ -287,14 +287,14 @@
      ((name		  . "N-ARY SUMMATION")
       (=ucs		  . #x2211)	; ∑
       ))
-    (<-fullwidth
-     ((name		  . "N-ARY SUMMATION")
-      (=ucs		  . #x2211)	; ∑
-      ))
     (=gb2312		. #x2146)	; &K0-2232; [01-38]
     (=ks-x1001		. #x2232)	; &I-K0-2232; [02-18]
     (=ucs@gb		. #x2211)	; &K0-2232;
     (=ucs@ks		. #x2211)	; &K0-2232;
+    (<-fullwidth
+     ((name		  . "N-ARY SUMMATION")
+      (=ucs		  . #x2211)	; ∑
+      ))
     ))
 (define-char
   '((name		. "MINUS SIGN")
@@ -308,12 +308,12 @@
      ((name		  . "MINUS SIGN")
       (=ucs		  . #x2212)	; −
       ))
+    (=jis-x0208		. #x215D)	; &J90-215D; [01-61]
+    (=ucs@jis		. #x2212)	; &J90-215D;
     (<-fullwidth
      ((name		  . "MINUS SIGN")
       (=ucs		  . #x2212)	; −
       ))
-    (=jis-x0208		. #x215D)	; &J90-215D; [01-61]
-    (=ucs@jis		. #x2212)	; &J90-215D;
     ))
 (define-char
   '((name		. "MINUS-OR-PLUS SIGN")
@@ -327,12 +327,12 @@
      ((name		  . "MINUS-OR-PLUS SIGN")
       (=ucs		  . #x2213)	; ∓
       ))
+    (=jis-x0213-1-2000	. #x235B)	; &JX1-235B; [03-59]
+    (=ucs@jis		. #x2213)	; &JX1-235B;
     (<-fullwidth
      ((name		  . "MINUS-OR-PLUS SIGN")
       (=ucs		  . #x2213)	; ∓
       ))
-    (=jis-x0213-1-2000	. #x235B)	; &JX1-235B; [03-59]
-    (=ucs@jis		. #x2213)	; &JX1-235B;
     ))
 (define-char
   '((name		. "DOT PLUS")
@@ -353,14 +353,14 @@
      ((name		  . "DIVISION SLASH")
       (=ucs		  . #x2215)	; ∕
       ))
-    (<-fullwidth
-     ((name		  . "DIVISION SLASH")
-      (=ucs		  . #x2215)	; ∕
-      ))
     (=cns11643-1	. #x2261)	; &C1-2261; [02-65]
     (=big5		. #xA241)	; &I-B-A241;
     (=ucs@cns		. #x2215)	; &C1-2261;
     (=ucs@big5		. #x2215)	; &C1-2261;
+    (<-fullwidth
+     ((name		  . "DIVISION SLASH")
+      (=ucs		  . #x2215)	; ∕
+      ))
     ))
 (define-char
   '((name		. "SET MINUS")
@@ -402,10 +402,6 @@
      ((name		  . "SQUARE ROOT")
       (=ucs		  . #x221A)	; √
       ))
-    (<-fullwidth
-     ((name		  . "SQUARE ROOT")
-      (=ucs		  . #x221A)	; √
-      ))
     (=gb2312		. #x214C)	; &J90-2265; [01-44]
     (=jis-x0208@1983	. #x2265)	; &I-J83-2265; [02-69]
     (=ks-x1001		. #x216E)	; &I-K0-216E; [01-78]
@@ -417,6 +413,10 @@
     (=ucs@jis		. #x221A)	; &J90-2265;
     (=ucs@ks		. #x221A)	; &J90-2265;
     (=ucs@big5		. #x221A)	; &J90-2265;
+    (<-fullwidth
+     ((name		  . "SQUARE ROOT")
+      (=ucs		  . #x221A)	; √
+      ))
     ))
 (define-char
   '((name		. "CUBE ROOT")
@@ -444,10 +444,6 @@
      ((name		  . "PROPORTIONAL TO")
       (=ucs		  . #x221D)	; ∝
       ))
-    (<-fullwidth
-     ((name		  . "PROPORTIONAL TO")
-      (=ucs		  . #x221D)	; ∝
-      ))
     (=gb2312		. #x2158)	; &J90-2267; [01-56]
     (=jis-x0208@1983	. #x2267)	; &I-J83-2267; [02-71]
     (=ks-x1001		. #x2170)	; &I-K0-2170; [01-80]
@@ -456,6 +452,10 @@
     (=ucs@gb		. #x221D)	; &J90-2267;
     (=ucs@jis		. #x221D)	; &J90-2267;
     (=ucs@ks		. #x221D)	; &J90-2267;
+    (<-fullwidth
+     ((name		  . "PROPORTIONAL TO")
+      (=ucs		  . #x221D)	; ∝
+      ))
     ))
 (define-char
   '((name		. "INFINITY")
@@ -469,10 +469,6 @@
      ((name		  . "INFINITY")
       (=ucs		  . #x221E)	; ∞
       ))
-    (<-fullwidth
-     ((name		  . "INFINITY")
-      (=ucs		  . #x221E)	; ∞
-      ))
     (=jis-x0208		. #x2167)	; &J90-2167; [01-71]
     (=gb2312		. #x215E)	; &I-G0-215E; [01-62]
     (=ks-x1001		. #x2144)	; &I-K0-2144; [01-36]
@@ -483,6 +479,10 @@
     (=ucs@jis		. #x221E)	; &J90-2167;
     (=ucs@ks		. #x221E)	; &J90-2167;
     (=ucs@big5		. #x221E)	; &J90-2167;
+    (<-fullwidth
+     ((name		  . "INFINITY")
+      (=ucs		  . #x221E)	; ∞
+      ))
     ))
 (define-char
   '((name		. "RIGHT ANGLE")
@@ -496,16 +496,16 @@
      ((name		  . "RIGHT ANGLE")
       (=ucs		  . #x221F)	; ∟
       ))
-    (<-fullwidth
-     ((name		  . "RIGHT ANGLE")
-      (=ucs		  . #x221F)	; ∟
-      ))
     (=cns11643-1	. #x2249)	; &JX1-2D78; [02-41]
     (=jis-x0213-1-2000	. #x2D78)	; &I-JX1-2D78; [13-88]
     (=big5		. #xA1E8)	; &I-B-A1E8;
     (=ucs@cns		. #x221F)	; &JX1-2D78;
     (=ucs@jis		. #x221F)	; &JX1-2D78;
     (=ucs@big5		. #x221F)	; &JX1-2D78;
+    (<-fullwidth
+     ((name		  . "RIGHT ANGLE")
+      (=ucs		  . #x221F)	; ∟
+      ))
     ))
 (define-char
   '((name		. "ANGLE")
@@ -519,10 +519,6 @@
      ((name		  . "ANGLE")
       (=ucs		  . #x2220)	; ∠
       ))
-    (<-fullwidth
-     ((name		  . "ANGLE")
-      (=ucs		  . #x2220)	; ∠
-      ))
     (=gb2312		. #x214F)	; &J90-225C; [01-47]
     (=jis-x0208@1983	. #x225C)	; &I-J83-225C; [02-60]
     (=ks-x1001		. #x2150)	; &I-K0-2150; [01-48]
@@ -535,6 +531,10 @@
     (=ucs@jis		. #x2220)	; &J90-225C;
     (=ucs@ks		. #x2220)	; &J90-225C;
     (=ucs@big5		. #x2220)	; &J90-225C;
+    (<-fullwidth
+     ((name		  . "ANGLE")
+      (=ucs		  . #x2220)	; ∠
+      ))
     ))
 (define-char
   '((name		. "MEASURED ANGLE")
@@ -562,12 +562,12 @@
      ((name		  . "DIVIDES")
       (=ucs		  . #x2223)	; ∣
       ))
+    (=big5		. #xA1FD)	; &B-A1FD;
+    (=ucs@big5		. #x2223)	; &B-A1FD;
     (<-fullwidth
      ((name		  . "DIVIDES")
       (=ucs		  . #x2223)	; ∣
       ))
-    (=big5		. #xA1FD)	; &B-A1FD;
-    (=ucs@big5		. #x2223)	; &B-A1FD;
     ))
 (define-char
   '((name		. "DOES NOT DIVIDE")
@@ -595,10 +595,6 @@
      ((name		  . "PARALLEL TO")
       (=ucs		  . #x2225)	; ∥
       ))
-    (<-fullwidth
-     ((name		  . "PARALLEL TO")
-      (=ucs		  . #x2225)	; ∥
-      ))
     (=gb2312		. #x214E)	; &JX1-2254; [01-46]
     (=ks-x1001		. #x212B)	; &I-K0-212B; [01-11]
     (=jis-x0213-1-2000	. #x2254)	; &I-JX1-2254; [02-52]
@@ -607,6 +603,10 @@
     (=ucs@jis		. #x2225)	; &JX1-2254;
     (=ucs@ks		. #x2225)	; &JX1-2254;
     (=ucs@big5		. #x2225)	; &JX1-2254;
+    (<-fullwidth
+     ((name		  . "PARALLEL TO")
+      (=ucs		  . #x2225)	; ∥
+      ))
     ))
 (define-char
   '((name		. "NOT PARALLEL TO")
@@ -627,12 +627,12 @@
      ((name		  . "NOT PARALLEL TO")
       (=ucs		  . #x2226)	; ∦
       ))
+    (=jis-x0213-1-2000	. #x2255)	; &JX1-2255; [02-53]
+    (=ucs@jis		. #x2226)	; &JX1-2255;
     (<-fullwidth
      ((name		  . "NOT PARALLEL TO")
       (=ucs		  . #x2226)	; ∦
       ))
-    (=jis-x0213-1-2000	. #x2255)	; &JX1-2255; [02-53]
-    (=ucs@jis		. #x2226)	; &JX1-2255;
     ))
 (define-char
   '((name		. "LOGICAL AND")
@@ -646,10 +646,6 @@
      ((name		  . "LOGICAL AND")
       (=ucs		  . #x2227)	; ∧
       ))
-    (<-fullwidth
-     ((name		  . "LOGICAL AND")
-      (=ucs		  . #x2227)	; ∧
-      ))
     (=gb2312		. #x2144)	; &J90-224A; [01-36]
     (=jis-x0208@1983	. #x224A)	; &I-J83-224A; [02-42]
     (=ks-x1001		. #x217C)	; &I-K0-217C; [01-92]
@@ -658,6 +654,10 @@
     (=ucs@gb		. #x2227)	; &J90-224A;
     (=ucs@jis		. #x2227)	; &J90-224A;
     (=ucs@ks		. #x2227)	; &J90-224A;
+    (<-fullwidth
+     ((name		  . "LOGICAL AND")
+      (=ucs		  . #x2227)	; ∧
+      ))
     ))
 (define-char
   '((name		. "LOGICAL OR")
@@ -671,10 +671,6 @@
      ((name		  . "LOGICAL OR")
       (=ucs		  . #x2228)	; ∨
       ))
-    (<-fullwidth
-     ((name		  . "LOGICAL OR")
-      (=ucs		  . #x2228)	; ∨
-      ))
     (=gb2312		. #x2145)	; &J90-224B; [01-37]
     (=jis-x0208@1983	. #x224B)	; &I-J83-224B; [02-43]
     (=ks-x1001		. #x217D)	; &I-K0-217D; [01-93]
@@ -683,6 +679,10 @@
     (=ucs@gb		. #x2228)	; &J90-224B;
     (=ucs@jis		. #x2228)	; &J90-224B;
     (=ucs@ks		. #x2228)	; &J90-224B;
+    (<-fullwidth
+     ((name		  . "LOGICAL OR")
+      (=ucs		  . #x2228)	; ∨
+      ))
     ))
 (define-char
   '((name		. "INTERSECTION")
@@ -696,10 +696,6 @@
      ((name		  . "INTERSECTION")
       (=ucs		  . #x2229)	; ∩
       ))
-    (<-fullwidth
-     ((name		  . "INTERSECTION")
-      (=ucs		  . #x2229)	; ∩
-      ))
     (=gb2312		. #x2149)	; &J90-2241; [01-41]
     (=jis-x0208@1983	. #x2241)	; &I-J83-2241; [02-33]
     (=ks-x1001		. #x217B)	; &I-K0-217B; [01-91]
@@ -712,6 +708,10 @@
     (=ucs@jis		. #x2229)	; &J90-2241;
     (=ucs@ks		. #x2229)	; &J90-2241;
     (=ucs@big5		. #x2229)	; &J90-2241;
+    (<-fullwidth
+     ((name		  . "INTERSECTION")
+      (=ucs		  . #x2229)	; ∩
+      ))
     ))
 (define-char
   '((name		. "UNION")
@@ -725,10 +725,6 @@
      ((name		  . "UNION")
       (=ucs		  . #x222A)	; ∪
       ))
-    (<-fullwidth
-     ((name		  . "UNION")
-      (=ucs		  . #x222A)	; ∪
-      ))
     (=gb2312		. #x2148)	; &J90-2240; [01-40]
     (=jis-x0208@1983	. #x2240)	; &I-J83-2240; [02-32]
     (=ks-x1001		. #x217A)	; &I-K0-217A; [01-90]
@@ -741,6 +737,10 @@
     (=ucs@jis		. #x222A)	; &J90-2240;
     (=ucs@ks		. #x222A)	; &J90-2240;
     (=ucs@big5		. #x222A)	; &J90-2240;
+    (<-fullwidth
+     ((name		  . "UNION")
+      (=ucs		  . #x222A)	; ∪
+      ))
     ))
 (define-char
   '((name		. "INTEGRAL")
@@ -754,10 +754,6 @@
      ((name		  . "INTEGRAL")
       (=ucs		  . #x222B)	; ∫
       ))
-    (<-fullwidth
-     ((name		  . "INTEGRAL")
-      (=ucs		  . #x222B)	; ∫
-      ))
     (=gb2312		. #x2152)	; &J90-2269; [01-50]
     (=jis-x0208@1983	. #x2269)	; &I-J83-2269; [02-73]
     (=ks-x1001		. #x2172)	; &I-K0-2172; [01-82]
@@ -770,6 +766,10 @@
     (=ucs@jis		. #x222B)	; &J90-2269;
     (=ucs@ks		. #x222B)	; &J90-2269;
     (=ucs@big5		. #x222B)	; &J90-2269;
+    (<-fullwidth
+     ((name		  . "INTEGRAL")
+      (=ucs		  . #x222B)	; ∫
+      ))
     ))
 (define-char
   '((name		. "DOUBLE INTEGRAL")
@@ -790,16 +790,16 @@
      ((name		  . "DOUBLE INTEGRAL")
       (=ucs		  . #x222C)	; ∬
       ))
-    (<-fullwidth
-     ((name		  . "DOUBLE INTEGRAL")
-      (=ucs		  . #x222C)	; ∬
-      ))
     (=jis-x0208@1983	. #x226A)	; &J90-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;
     (=ucs@jis		. #x222C)	; &J90-226A;
     (=ucs@ks		. #x222C)	; &J90-226A;
+    (<-fullwidth
+     ((name		  . "DOUBLE INTEGRAL")
+      (=ucs		  . #x222C)	; ∬
+      ))
     ))
 (define-char
   '((name		. "TRIPLE INTEGRAL")
@@ -830,10 +830,6 @@
      ((name		  . "CONTOUR INTEGRAL")
       (=ucs		  . #x222E)	; ∮
       ))
-    (<-fullwidth
-     ((name		  . "CONTOUR INTEGRAL")
-      (=ucs		  . #x222E)	; ∮
-      ))
     (=gb2312		. #x2153)	; &JX1-2D73; [01-51]
     (=ks-x1001		. #x2231)	; &I-K0-2231; [02-17]
     (=cns11643-1	. #x224E)	; &I-C1-224E; [02-46]
@@ -844,6 +840,10 @@
     (=ucs@jis		. #x222E)	; &JX1-2D73;
     (=ucs@ks		. #x222E)	; &JX1-2D73;
     (=ucs@big5		. #x222E)	; &JX1-2D73;
+    (<-fullwidth
+     ((name		  . "CONTOUR INTEGRAL")
+      (=ucs		  . #x222E)	; ∮
+      ))
     ))
 (define-char
   '((name		. "SURFACE INTEGRAL")
@@ -909,10 +909,6 @@
      ((name		  . "THEREFORE")
       (=ucs		  . #x2234)	; ∴
       ))
-    (<-fullwidth
-     ((name		  . "THEREFORE")
-      (=ucs		  . #x2234)	; ∴
-      ))
     (=jis-x0208		. #x2168)	; &J90-2168; [01-72]
     (=gb2312		. #x2160)	; &I-G0-2160; [01-64]
     (=ks-x1001		. #x2145)	; &I-K0-2145; [01-37]
@@ -923,6 +919,10 @@
     (=ucs@jis		. #x2234)	; &J90-2168;
     (=ucs@ks		. #x2234)	; &J90-2168;
     (=ucs@big5		. #x2234)	; &J90-2168;
+    (<-fullwidth
+     ((name		  . "THEREFORE")
+      (=ucs		  . #x2234)	; ∴
+      ))
     ))
 (define-char
   '((name		. "BECAUSE")
@@ -936,10 +936,6 @@
      ((name		  . "BECAUSE")
       (=ucs		  . #x2235)	; ∵
       ))
-    (<-fullwidth
-     ((name		  . "BECAUSE")
-      (=ucs		  . #x2235)	; ∵
-      ))
     (=gb2312		. #x215F)	; &J90-2268; [01-63]
     (=jis-x0208@1983	. #x2268)	; &I-J83-2268; [02-72]
     (=ks-x1001		. #x2171)	; &I-K0-2171; [01-81]
@@ -951,6 +947,10 @@
     (=ucs@jis		. #x2235)	; &J90-2268;
     (=ucs@ks		. #x2235)	; &J90-2268;
     (=ucs@big5		. #x2235)	; &J90-2268;
+    (<-fullwidth
+     ((name		  . "BECAUSE")
+      (=ucs		  . #x2235)	; ∵
+      ))
     ))
 (define-char
   '((name		. "RATIO")
@@ -964,12 +964,12 @@
      ((name		  . "RATIO")
       (=ucs		  . #x2236)	; ∶
       ))
+    (=gb2312		. #x2143)	; &G0-2143; [01-35]
+    (=ucs@gb		. #x2236)	; &G0-2143;
     (<-fullwidth
      ((name		  . "RATIO")
       (=ucs		  . #x2236)	; ∶
       ))
-    (=gb2312		. #x2143)	; &G0-2143; [01-35]
-    (=ucs@gb		. #x2236)	; &G0-2143;
     ))
 (define-char
   '((name		. "PROPORTION")
@@ -983,12 +983,12 @@
      ((name		  . "PROPORTION")
       (=ucs		  . #x2237)	; ∷
       ))
+    (=gb2312		. #x214B)	; &G0-214B; [01-43]
+    (=ucs@gb		. #x2237)	; &G0-214B;
     (<-fullwidth
      ((name		  . "PROPORTION")
       (=ucs		  . #x2237)	; ∷
       ))
-    (=gb2312		. #x214B)	; &G0-214B; [01-43]
-    (=ucs@gb		. #x2237)	; &G0-214B;
     ))
 (define-char
   '((name		. "DOT MINUS")
@@ -1030,16 +1030,16 @@
      ((name		  . "TILDE OPERATOR")
       (=ucs		  . #x223C)	; ∼
       ))
-    (<-fullwidth
-     ((name		  . "TILDE OPERATOR")
-      (=ucs		  . #x223C)	; ∼
-      ))
     (=ks-x1001		. #x212D)	; &C1-2244; [01-13]
     (=cns11643-1	. #x2244)	; &I-C1-2244; [02-36]
     (=big5		. #xA1E3)	; &I-B-A1E3;
     (=ucs@cns		. #xFF5E)	; &C1-2244;
     (=ucs@ks		. #x223C)	; &C1-2244;
     (=ucs@big5		. #xFF5E)	; &C1-2244;
+    (<-fullwidth
+     ((name		  . "TILDE OPERATOR")
+      (=ucs		  . #x223C)	; ∼
+      ))
     ))
 (define-char
   '((name		. "REVERSED TILDE")
@@ -1054,10 +1054,6 @@
      ((name		  . "REVERSED TILDE")
       (=ucs		  . #x223D)	; ∽
       ))
-    (<-fullwidth
-     ((name		  . "REVERSED TILDE")
-      (=ucs		  . #x223D)	; ∽
-      ))
     (=gb2312		. #x2157)	; &J90-2266; [01-55]
     (=jis-x0208@1983	. #x2266)	; &I-J83-2266; [02-70]
     (=ks-x1001		. #x216F)	; &I-K0-216F; [01-79]
@@ -1066,6 +1062,10 @@
     (=ucs@gb		. #x223D)	; &J90-2266;
     (=ucs@jis		. #x223D)	; &J90-2266;
     (=ucs@ks		. #x223D)	; &J90-2266;
+    (<-fullwidth
+     ((name		  . "REVERSED TILDE")
+      (=ucs		  . #x223D)	; ∽
+      ))
     ))
 (define-char
   '((name		. "INVERTED LAZY S")
@@ -1121,12 +1121,12 @@
      ((name		  . "ASYMPTOTICALLY EQUAL TO")
       (=ucs		  . #x2243)	; ≃
       ))
+    (=jis-x0213-1-2000	. #x226C)	; &JX1-226C; [02-76]
+    (=ucs@jis		. #x2243)	; &JX1-226C;
     (<-fullwidth
      ((name		  . "ASYMPTOTICALLY EQUAL TO")
       (=ucs		  . #x2243)	; ≃
       ))
-    (=jis-x0213-1-2000	. #x226C)	; &JX1-226C; [02-76]
-    (=ucs@jis		. #x2243)	; &JX1-226C;
     ))
 (define-char
   '((name		. "NOT ASYMPTOTICALLY EQUAL TO")
@@ -1154,12 +1154,12 @@
      ((name		  . "APPROXIMATELY EQUAL TO")
       (=ucs		  . #x2245)	; ≅
       ))
+    (=jis-x0213-1-2000	. #x226D)	; &JX1-226D; [02-77]
+    (=ucs@jis		. #x2245)	; &JX1-226D;
     (<-fullwidth
      ((name		  . "APPROXIMATELY EQUAL TO")
       (=ucs		  . #x2245)	; ≅
       ))
-    (=jis-x0213-1-2000	. #x226D)	; &JX1-226D; [02-77]
-    (=ucs@jis		. #x2245)	; &JX1-226D;
     ))
 (define-char
   '((name		. "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
@@ -1194,14 +1194,14 @@
      ((name		  . "ALMOST EQUAL TO")
       (=ucs		  . #x2248)	; ≈
       ))
-    (<-fullwidth
-     ((name		  . "ALMOST EQUAL TO")
-      (=ucs		  . #x2248)	; ≈
-      ))
     (=gb2312		. #x2156)	; &JX1-226E; [01-54]
     (=jis-x0213-1-2000	. #x226E)	; &I-JX1-226E; [02-78]
     (=ucs@gb		. #x2248)	; &JX1-226E;
     (=ucs@jis		. #x2248)	; &JX1-226E;
+    (<-fullwidth
+     ((name		  . "ALMOST EQUAL TO")
+      (=ucs		  . #x2248)	; ≈
+      ))
     ))
 (define-char
   '((name		. "NOT ALMOST EQUAL TO")
@@ -1243,12 +1243,12 @@
      ((name		  . "ALL EQUAL TO")
       (=ucs		  . #x224C)	; ≌
       ))
+    (=gb2312		. #x2155)	; &G0-2155; [01-53]
+    (=ucs@gb		. #x224C)	; &G0-2155;
     (<-fullwidth
      ((name		  . "ALL EQUAL TO")
       (=ucs		  . #x224C)	; ≌
       ))
-    (=gb2312		. #x2155)	; &G0-2155; [01-53]
-    (=ucs@gb		. #x224C)	; &G0-2155;
     ))
 (define-char
   '((name		. "EQUIVALENT TO")
@@ -1297,10 +1297,6 @@
      ((name		  . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
       (=ucs		  . #x2252)	; ≒
       ))
-    (<-fullwidth
-     ((name		  . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
-      (=ucs		  . #x2252)	; ≒
-      ))
     (=jis-x0208@1983	. #x2262)	; &J90-2262; [02-66]
     (=ks-x1001		. #x2156)	; &I-K0-2156; [01-54]
     (=jis-x0208@1990	. #x2262)	; &I-J90-2262; [02-66]
@@ -1310,6 +1306,10 @@
     (=ucs@jis		. #x2252)	; &J90-2262;
     (=ucs@ks		. #x2252)	; &J90-2262;
     (=ucs@big5		. #x2252)	; &J90-2262;
+    (<-fullwidth
+     ((name		  . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
+      (=ucs		  . #x2252)	; ≒
+      ))
     ))
 (define-char
   '((name		. "IMAGE OF OR APPROXIMATELY EQUAL TO")
@@ -1421,10 +1421,6 @@
      ((name		  . "NOT EQUAL TO")
       (=ucs		  . #x2260)	; ≠
       ))
-    (<-fullwidth
-     ((name		  . "NOT EQUAL TO")
-      (=ucs		  . #x2260)	; ≠
-      ))
     (=decomposition
      ((name		  . "FULLWIDTH EQUALS SIGN")
       (=ucs		  . #xFF1D)	; ＝
@@ -1442,6 +1438,10 @@
     (=ucs@jis		. #x2260)	; &J90-2162;
     (=ucs@ks		. #x2260)	; &J90-2162;
     (=ucs@big5		. #x2260)	; &J90-2162;
+    (<-fullwidth
+     ((name		  . "NOT EQUAL TO")
+      (=ucs		  . #x2260)	; ≠
+      ))
     ))
 (define-char
   '((name		. "IDENTICAL TO")
@@ -1455,10 +1455,6 @@
      ((name		  . "IDENTICAL TO")
       (=ucs		  . #x2261)	; ≡
       ))
-    (<-fullwidth
-     ((name		  . "IDENTICAL TO")
-      (=ucs		  . #x2261)	; ≡
-      ))
     (=gb2312		. #x2154)	; &J90-2261; [01-52]
     (=jis-x0208@1983	. #x2261)	; &I-J83-2261; [02-65]
     (=ks-x1001		. #x2155)	; &I-K0-2155; [01-53]
@@ -1470,6 +1466,10 @@
     (=ucs@jis		. #x2261)	; &J90-2261;
     (=ucs@ks		. #x2261)	; &J90-2261;
     (=ucs@big5		. #x2261)	; &J90-2261;
+    (<-fullwidth
+     ((name		  . "IDENTICAL TO")
+      (=ucs		  . #x2261)	; ≡
+      ))
     ))
 (define-char
   '((name		. "NOT IDENTICAL TO")
@@ -1490,10 +1490,6 @@
      ((name		  . "NOT IDENTICAL TO")
       (=ucs		  . #x2262)	; ≢
       ))
-    (<-fullwidth
-     ((name		  . "NOT IDENTICAL TO")
-      (=ucs		  . #x2262)	; ≢
-      ))
     (=decomposition
      ((=gb2312		  . #x2154)	; &J90-2261; [01-52]
       (=jis-x0208@1983	  . #x2261)	; &I-J83-2261; [02-65]
@@ -1505,6 +1501,10 @@
       ))
     (=jis-x0213-1-2000	. #x226B)	; &JX1-226B; [02-75]
     (=ucs@jis		. #x2262)	; &JX1-226B;
+    (<-fullwidth
+     ((name		  . "NOT IDENTICAL TO")
+      (=ucs		  . #x2262)	; ≢
+      ))
     ))
 (define-char
   '((name		. "STRICTLY EQUIVALENT TO")
@@ -1525,14 +1525,14 @@
      ((name		  . "LESS-THAN OR EQUAL TO")
       (=ucs		  . #x2264)	; ≤
       ))
-    (<-fullwidth
-     ((name		  . "LESS-THAN OR EQUAL TO")
-      (=ucs		  . #x2264)	; ≤
-      ))
     (=gb2312		. #x215C)	; &K0-2142; [01-60]
     (=ks-x1001		. #x2142)	; &I-K0-2142; [01-34]
     (=ucs@gb		. #x2264)	; &K0-2142;
     (=ucs@ks		. #x2264)	; &K0-2142;
+    (<-fullwidth
+     ((name		  . "LESS-THAN OR EQUAL TO")
+      (=ucs		  . #x2264)	; ≤
+      ))
     ))
 (define-char
   '((name		. "GREATER-THAN OR EQUAL TO")
@@ -1546,14 +1546,14 @@
      ((name		  . "GREATER-THAN OR EQUAL TO")
       (=ucs		  . #x2265)	; ≥
       ))
-    (<-fullwidth
-     ((name		  . "GREATER-THAN OR EQUAL TO")
-      (=ucs		  . #x2265)	; ≥
-      ))
     (=gb2312		. #x215D)	; &K0-2143; [01-61]
     (=ks-x1001		. #x2143)	; &I-K0-2143; [01-35]
     (=ucs@gb		. #x2265)	; &K0-2143;
     (=ucs@ks		. #x2265)	; &K0-2143;
+    (<-fullwidth
+     ((name		  . "GREATER-THAN OR EQUAL TO")
+      (=ucs		  . #x2265)	; ≥
+      ))
     ))
 (define-char
   '((name		. "LESS-THAN OVER EQUAL TO")
@@ -1567,16 +1567,16 @@
      ((name		  . "LESS-THAN OVER EQUAL TO")
       (=ucs		  . #x2266)	; ≦
       ))
-    (<-fullwidth
-     ((name		  . "LESS-THAN OVER EQUAL TO")
-      (=ucs		  . #x2266)	; ≦
-      ))
     (=jis-x0208		. #x2165)	; &J90-2165; [01-69]
     (=cns11643-1	. #x2239)	; &I-C1-2239; [02-25]
     (=big5		. #xA1D8)	; &I-B-A1D8;
     (=ucs@cns		. #x2266)	; &J90-2165;
     (=ucs@jis		. #x2266)	; &J90-2165;
     (=ucs@big5		. #x2266)	; &J90-2165;
+    (<-fullwidth
+     ((name		  . "LESS-THAN OVER EQUAL TO")
+      (=ucs		  . #x2266)	; ≦
+      ))
     ))
 (define-char
   '((name		. "GREATER-THAN OVER EQUAL TO")
@@ -1590,16 +1590,16 @@
      ((name		  . "GREATER-THAN OVER EQUAL TO")
       (=ucs		  . #x2267)	; ≧
       ))
-    (<-fullwidth
-     ((name		  . "GREATER-THAN OVER EQUAL TO")
-      (=ucs		  . #x2267)	; ≧
-      ))
     (=jis-x0208		. #x2166)	; &J90-2166; [01-70]
     (=cns11643-1	. #x223A)	; &I-C1-223A; [02-26]
     (=big5		. #xA1D9)	; &I-B-A1D9;
     (=ucs@cns		. #x2267)	; &J90-2166;
     (=ucs@jis		. #x2267)	; &J90-2166;
     (=ucs@big5		. #x2267)	; &J90-2166;
+    (<-fullwidth
+     ((name		  . "GREATER-THAN OVER EQUAL TO")
+      (=ucs		  . #x2267)	; ≧
+      ))
     ))
 (define-char
   '((name		. "LESS-THAN BUT NOT EQUAL TO")
@@ -1627,16 +1627,16 @@
      ((name		  . "MUCH LESS-THAN")
       (=ucs		  . #x226A)	; ≪
       ))
-    (<-fullwidth
-     ((name		  . "MUCH LESS-THAN")
-      (=ucs		  . #x226A)	; ≪
-      ))
     (=jis-x0208@1983	. #x2263)	; &J90-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;
     (=ucs@jis		. #x226A)	; &J90-2263;
     (=ucs@ks		. #x226A)	; &J90-2263;
+    (<-fullwidth
+     ((name		  . "MUCH LESS-THAN")
+      (=ucs		  . #x226A)	; ≪
+      ))
     ))
 (define-char
   '((name		. "MUCH GREATER-THAN")
@@ -1650,16 +1650,16 @@
      ((name		  . "MUCH GREATER-THAN")
       (=ucs		  . #x226B)	; ≫
       ))
-    (<-fullwidth
-     ((name		  . "MUCH GREATER-THAN")
-      (=ucs		  . #x226B)	; ≫
-      ))
     (=jis-x0208@1983	. #x2264)	; &J90-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;
     (=ucs@jis		. #x226B)	; &J90-2264;
     (=ucs@ks		. #x226B)	; &J90-2264;
+    (<-fullwidth
+     ((name		  . "MUCH GREATER-THAN")
+      (=ucs		  . #x226B)	; ≫
+      ))
     ))
 (define-char
   '((name		. "BETWEEN")
@@ -1701,10 +1701,6 @@
      ((name		  . "NOT LESS-THAN")
       (=ucs		  . #x226E)	; ≮
       ))
-    (<-fullwidth
-     ((name		  . "NOT LESS-THAN")
-      (=ucs		  . #x226E)	; ≮
-      ))
     (=decomposition
      ((name		  . "FULLWIDTH LESS-THAN SIGN")
       (=ucs		  . #xFF1C)	; ＜
@@ -1714,6 +1710,10 @@
       ))
     (=gb2312		. #x215A)	; &G0-215A; [01-58]
     (=ucs@gb		. #x226E)	; &G0-215A;
+    (<-fullwidth
+     ((name		  . "NOT LESS-THAN")
+      (=ucs		  . #x226E)	; ≮
+      ))
     ))
 (define-char
   '((name		. "NOT GREATER-THAN")
@@ -1734,10 +1734,6 @@
      ((name		  . "NOT GREATER-THAN")
       (=ucs		  . #x226F)	; ≯
       ))
-    (<-fullwidth
-     ((name		  . "NOT GREATER-THAN")
-      (=ucs		  . #x226F)	; ≯
-      ))
     (=decomposition
      ((name		  . "FULLWIDTH GREATER-THAN SIGN")
       (=ucs		  . #xFF1E)	; ＞
@@ -1747,6 +1743,10 @@
       ))
     (=gb2312		. #x215B)	; &G0-215B; [01-59]
     (=ucs@gb		. #x226F)	; &G0-215B;
+    (<-fullwidth
+     ((name		  . "NOT GREATER-THAN")
+      (=ucs		  . #x226F)	; ≯
+      ))
     ))
 (define-char
   '((name		. "NEITHER LESS-THAN NOR EQUAL TO")
@@ -1830,12 +1830,12 @@
      ((name		  . "LESS-THAN OR GREATER-THAN")
       (=ucs		  . #x2276)	; ≶
       ))
+    (=jis-x0213-1-2000	. #x226F)	; &JX1-226F; [02-79]
+    (=ucs@jis		. #x2276)	; &JX1-226F;
     (<-fullwidth
      ((name		  . "LESS-THAN OR GREATER-THAN")
       (=ucs		  . #x2276)	; ≶
       ))
-    (=jis-x0213-1-2000	. #x226F)	; &JX1-226F; [02-79]
-    (=ucs@jis		. #x2276)	; &JX1-226F;
     ))
 (define-char
   '((name		. "GREATER-THAN OR LESS-THAN")
@@ -1849,12 +1849,12 @@
      ((name		  . "GREATER-THAN OR LESS-THAN")
       (=ucs		  . #x2277)	; ≷
       ))
+    (=jis-x0213-1-2000	. #x2270)	; &JX1-2270; [02-80]
+    (=ucs@jis		. #x2277)	; &JX1-2270;
     (<-fullwidth
      ((name		  . "GREATER-THAN OR LESS-THAN")
       (=ucs		  . #x2277)	; ≷
       ))
-    (=jis-x0213-1-2000	. #x2270)	; &JX1-2270; [02-80]
-    (=ucs@jis		. #x2277)	; &JX1-2270;
     ))
 (define-char
   '((name		. "NEITHER LESS-THAN NOR GREATER-THAN")
@@ -1966,16 +1966,16 @@
      ((name		  . "SUBSET OF")
       (=ucs		  . #x2282)	; ⊂
       ))
-    (<-fullwidth
-     ((name		  . "SUBSET OF")
-      (=ucs		  . #x2282)	; ⊂
-      ))
     (=jis-x0208@1983	. #x223E)	; &J90-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;
     (=ucs@jis		. #x2282)	; &J90-223E;
     (=ucs@ks		. #x2282)	; &J90-223E;
+    (<-fullwidth
+     ((name		  . "SUBSET OF")
+      (=ucs		  . #x2282)	; ⊂
+      ))
     ))
 (define-char
   '((name		. "SUPERSET OF")
@@ -1989,16 +1989,16 @@
      ((name		  . "SUPERSET OF")
       (=ucs		  . #x2283)	; ⊃
       ))
-    (<-fullwidth
-     ((name		  . "SUPERSET OF")
-      (=ucs		  . #x2283)	; ⊃
-      ))
     (=jis-x0208@1983	. #x223F)	; &J90-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;
     (=ucs@jis		. #x2283)	; &J90-223F;
     (=ucs@ks		. #x2283)	; &J90-223F;
+    (<-fullwidth
+     ((name		  . "SUPERSET OF")
+      (=ucs		  . #x2283)	; ⊃
+      ))
     ))
 (define-char
   '((name		. "NOT A SUBSET OF")
@@ -2019,12 +2019,12 @@
      ((name		  . "NOT A SUBSET OF")
       (=ucs		  . #x2284)	; ⊄
       ))
+    (=jis-x0213-1-2000	. #x2242)	; &JX1-2242; [02-34]
+    (=ucs@jis		. #x2284)	; &JX1-2242;
     (<-fullwidth
      ((name		  . "NOT A SUBSET OF")
       (=ucs		  . #x2284)	; ⊄
       ))
-    (=jis-x0213-1-2000	. #x2242)	; &JX1-2242; [02-34]
-    (=ucs@jis		. #x2284)	; &JX1-2242;
     ))
 (define-char
   '((name		. "NOT A SUPERSET OF")
@@ -2045,12 +2045,12 @@
      ((name		  . "NOT A SUPERSET OF")
       (=ucs		  . #x2285)	; ⊅
       ))
+    (=jis-x0213-1-2000	. #x2243)	; &JX1-2243; [02-35]
+    (=ucs@jis		. #x2285)	; &JX1-2243;
     (<-fullwidth
      ((name		  . "NOT A SUPERSET OF")
       (=ucs		  . #x2285)	; ⊅
       ))
-    (=jis-x0213-1-2000	. #x2243)	; &JX1-2243; [02-35]
-    (=ucs@jis		. #x2285)	; &JX1-2243;
     ))
 (define-char
   '((name		. "SUBSET OF OR EQUAL TO")
@@ -2064,16 +2064,16 @@
      ((name		  . "SUBSET OF OR EQUAL TO")
       (=ucs		  . #x2286)	; ⊆
       ))
-    (<-fullwidth
-     ((name		  . "SUBSET OF OR EQUAL TO")
-      (=ucs		  . #x2286)	; ⊆
-      ))
     (=jis-x0208@1983	. #x223C)	; &J90-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;
     (=ucs@jis		. #x2286)	; &J90-223C;
     (=ucs@ks		. #x2286)	; &J90-223C;
+    (<-fullwidth
+     ((name		  . "SUBSET OF OR EQUAL TO")
+      (=ucs		  . #x2286)	; ⊆
+      ))
     ))
 (define-char
   '((name		. "SUPERSET OF OR EQUAL TO")
@@ -2087,16 +2087,16 @@
      ((name		  . "SUPERSET OF OR EQUAL TO")
       (=ucs		  . #x2287)	; ⊇
       ))
-    (<-fullwidth
-     ((name		  . "SUPERSET OF OR EQUAL TO")
-      (=ucs		  . #x2287)	; ⊇
-      ))
     (=jis-x0208@1983	. #x223D)	; &J90-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;
     (=ucs@jis		. #x2287)	; &J90-223D;
     (=ucs@ks		. #x2287)	; &J90-223D;
+    (<-fullwidth
+     ((name		  . "SUPERSET OF OR EQUAL TO")
+      (=ucs		  . #x2287)	; ⊇
+      ))
     ))
 (define-char
   '((name		. "NEITHER A SUBSET OF NOR EQUAL TO")
@@ -2138,12 +2138,12 @@
      ((name		  . "SUBSET OF WITH NOT EQUAL TO")
       (=ucs		  . #x228A)	; ⊊
       ))
+    (=jis-x0213-1-2000	. #x2244)	; &JX1-2244; [02-36]
+    (=ucs@jis		. #x228A)	; &JX1-2244;
     (<-fullwidth
      ((name		  . "SUBSET OF WITH NOT EQUAL TO")
       (=ucs		  . #x228A)	; ⊊
       ))
-    (=jis-x0213-1-2000	. #x2244)	; &JX1-2244; [02-36]
-    (=ucs@jis		. #x228A)	; &JX1-2244;
     ))
 (define-char
   '((name		. "SUPERSET OF WITH NOT EQUAL TO")
@@ -2157,12 +2157,12 @@
      ((name		  . "SUPERSET OF WITH NOT EQUAL TO")
       (=ucs		  . #x228B)	; ⊋
       ))
+    (=jis-x0213-1-2000	. #x2245)	; &JX1-2245; [02-37]
+    (=ucs@jis		. #x228B)	; &JX1-2245;
     (<-fullwidth
      ((name		  . "SUPERSET OF WITH NOT EQUAL TO")
       (=ucs		  . #x228B)	; ⊋
       ))
-    (=jis-x0213-1-2000	. #x2245)	; &JX1-2245; [02-37]
-    (=ucs@jis		. #x228B)	; &JX1-2245;
     ))
 (define-char
   '((name		. "MULTISET")
@@ -2239,16 +2239,16 @@
      ((name		  . "CIRCLED PLUS")
       (=ucs		  . #x2295)	; ⊕
       ))
-    (<-fullwidth
-     ((name		  . "CIRCLED PLUS")
-      (=ucs		  . #x2295)	; ⊕
-      ))
     (=cns11643-1	. #x2253)	; &JX1-2251; [02-51]
     (=jis-x0213-1-2000	. #x2251)	; &I-JX1-2251; [02-49]
     (=big5		. #xA1F2)	; &I-B-A1F2;
     (=ucs@cns		. #x2295)	; &JX1-2251;
     (=ucs@jis		. #x2295)	; &JX1-2251;
     (=ucs@big5		. #x2295)	; &JX1-2251;
+    (<-fullwidth
+     ((name		  . "CIRCLED PLUS")
+      (=ucs		  . #x2295)	; ⊕
+      ))
     ))
 (define-char
   '((name		. "CIRCLED MINUS")
@@ -2262,12 +2262,12 @@
      ((name		  . "CIRCLED MINUS")
       (=ucs		  . #x2296)	; ⊖
       ))
+    (=jis-x0213-1-2000	. #x2252)	; &JX1-2252; [02-50]
+    (=ucs@jis		. #x2296)	; &JX1-2252;
     (<-fullwidth
      ((name		  . "CIRCLED MINUS")
       (=ucs		  . #x2296)	; ⊖
       ))
-    (=jis-x0213-1-2000	. #x2252)	; &JX1-2252; [02-50]
-    (=ucs@jis		. #x2296)	; &JX1-2252;
     ))
 (define-char
   '((name		. "CIRCLED TIMES")
@@ -2281,12 +2281,12 @@
      ((name		  . "CIRCLED TIMES")
       (=ucs		  . #x2297)	; ⊗
       ))
+    (=jis-x0213-1-2000	. #x2253)	; &JX1-2253; [02-51]
+    (=ucs@jis		. #x2297)	; &JX1-2253;
     (<-fullwidth
      ((name		  . "CIRCLED TIMES")
       (=ucs		  . #x2297)	; ⊗
       ))
-    (=jis-x0213-1-2000	. #x2253)	; &JX1-2253; [02-51]
-    (=ucs@jis		. #x2297)	; &JX1-2253;
     ))
 (define-char
   '((name		. "CIRCLED DIVISION SLASH")
@@ -2307,10 +2307,6 @@
      ((name		  . "CIRCLED DOT OPERATOR")
       (=ucs		  . #x2299)	; ⊙
       ))
-    (<-fullwidth
-     ((name		  . "CIRCLED DOT OPERATOR")
-      (=ucs		  . #x2299)	; ⊙
-      ))
     (=gb2312		. #x2151)	; &C1-2254; [01-49]
     (=ks-x1001		. #x2241)	; &I-K0-2241; [02-33]
     (=cns11643-1	. #x2254)	; &I-C1-2254; [02-52]
@@ -2319,6 +2315,10 @@
     (=ucs@cns		. #x2299)	; &C1-2254;
     (=ucs@ks		. #x2299)	; &C1-2254;
     (=ucs@big5		. #x2299)	; &C1-2254;
+    (<-fullwidth
+     ((name		  . "CIRCLED DOT OPERATOR")
+      (=ucs		  . #x2299)	; ⊙
+      ))
     ))
 (define-char
   '((name		. "CIRCLED RING OPERATOR")
@@ -2409,10 +2409,6 @@
      ((name		  . "UP TACK")
       (=ucs		  . #x22A5)	; ⊥
       ))
-    (<-fullwidth
-     ((name		  . "UP TACK")
-      (=ucs		  . #x22A5)	; ⊥
-      ))
     (=gb2312		. #x214D)	; &J90-225D; [01-45]
     (=jis-x0208@1983	. #x225D)	; &I-J83-225D; [02-61]
     (=ks-x1001		. #x2151)	; &I-K0-2151; [01-49]
@@ -2424,6 +2420,10 @@
     (=ucs@jis		. #x22A5)	; &J90-225D;
     (=ucs@ks		. #x22A5)	; &J90-225D;
     (=ucs@big5		. #x22A5)	; &J90-225D;
+    (<-fullwidth
+     ((name		  . "UP TACK")
+      (=ucs		  . #x22A5)	; ⊥
+      ))
     ))
 (define-char
   '((name		. "ASSERTION")
@@ -2640,16 +2640,16 @@
      ((name		  . "RIGHT TRIANGLE")
       (=ucs		  . #x22BF)	; ⊿
       ))
-    (<-fullwidth
-     ((name		  . "RIGHT TRIANGLE")
-      (=ucs		  . #x22BF)	; ⊿
-      ))
     (=cns11643-1	. #x224A)	; &JX1-2D79; [02-42]
     (=jis-x0213-1-2000	. #x2D79)	; &I-JX1-2D79; [13-89]
     (=big5		. #xA1E9)	; &I-B-A1E9;
     (=ucs@cns		. #x22BF)	; &JX1-2D79;
     (=ucs@jis		. #x22BF)	; &JX1-2D79;
     (=ucs@big5		. #x22BF)	; &JX1-2D79;
+    (<-fullwidth
+     ((name		  . "RIGHT TRIANGLE")
+      (=ucs		  . #x22BF)	; ⊿
+      ))
     ))
 (define-char
   '((name		. "N-ARY LOGICAL AND")
@@ -2845,12 +2845,12 @@
      ((name		  . "LESS-THAN EQUAL TO OR GREATER-THAN")
       (=ucs		  . #x22DA)	; ⋚
       ))
+    (=jis-x0213-1-2000	. #x2776)	; &JX1-2776; [07-86]
+    (=ucs@jis		. #x22DA)	; &JX1-2776;
     (<-fullwidth
      ((name		  . "LESS-THAN EQUAL TO OR GREATER-THAN")
       (=ucs		  . #x22DA)	; ⋚
       ))
-    (=jis-x0213-1-2000	. #x2776)	; &JX1-2776; [07-86]
-    (=ucs@jis		. #x22DA)	; &JX1-2776;
     ))
 (define-char
   '((name		. "GREATER-THAN EQUAL TO OR LESS-THAN")
@@ -2864,12 +2864,12 @@
      ((name		  . "GREATER-THAN EQUAL TO OR LESS-THAN")
       (=ucs		  . #x22DB)	; ⋛
       ))
+    (=jis-x0213-1-2000	. #x2777)	; &JX1-2777; [07-87]
+    (=ucs@jis		. #x22DB)	; &JX1-2777;
     (<-fullwidth
      ((name		  . "GREATER-THAN EQUAL TO OR LESS-THAN")
       (=ucs		  . #x22DB)	; ⋛
       ))
-    (=jis-x0213-1-2000	. #x2777)	; &JX1-2777; [07-87]
-    (=ucs@jis		. #x22DB)	; &JX1-2777;
     ))
 (define-char
   '((name		. "EQUAL TO OR LESS-THAN")