Reformatted.
authortomo <tomo>
Thu, 26 Jan 2006 20:04:53 +0000 (20:04 +0000)
committertomo <tomo>
Thu, 26 Jan 2006 20:04:53 +0000 (20:04 +0000)
lisp/utf-2000/u02200-Mathematical-Operators.el

index 570a049..ee661d6 100644 (file)
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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]
     (=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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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]
     (=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")
      ((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]
     (=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")
      ((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]
     (=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")
      ((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")
      ((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]
     (=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")
      ((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")
      ((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]
     (=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")
      ((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")
      ((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]
     (=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")
      ((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]
     (=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")
      ((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]
     (=ucs@jis          . #x2229)       ; &J90-2241;
     (=ucs@ks           . #x2229)       ; &J90-2241;
     (=ucs@big5         . #x2229)       ; &J90-2241;
+    (<-fullwidth
+     ((name              . "INTERSECTION")
+      (=ucs              . #x2229)     ; ∩
+      ))
     ))
 (define-char
   '((name              . "UNION")
      ((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]
     (=ucs@jis          . #x222A)       ; &J90-2240;
     (=ucs@ks           . #x222A)       ; &J90-2240;
     (=ucs@big5         . #x222A)       ; &J90-2240;
+    (<-fullwidth
+     ((name              . "UNION")
+      (=ucs              . #x222A)     ; ∪
+      ))
     ))
 (define-char
   '((name              . "INTEGRAL")
      ((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]
     (=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")
      ((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")
      ((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]
     (=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")
      ((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]
     (=ucs@jis          . #x2234)       ; &J90-2168;
     (=ucs@ks           . #x2234)       ; &J90-2168;
     (=ucs@big5         . #x2234)       ; &J90-2168;
+    (<-fullwidth
+     ((name              . "THEREFORE")
+      (=ucs              . #x2234)     ; ∴
+      ))
     ))
 (define-char
   '((name              . "BECAUSE")
      ((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]
     (=ucs@jis          . #x2235)       ; &J90-2268;
     (=ucs@ks           . #x2235)       ; &J90-2268;
     (=ucs@big5         . #x2235)       ; &J90-2268;
+    (<-fullwidth
+     ((name              . "BECAUSE")
+      (=ucs              . #x2235)     ; ∵
+      ))
     ))
 (define-char
   '((name              . "RATIO")
      ((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")
      ((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")
      ((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")
      ((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]
     (=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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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]
     (=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")
      ((name              . "NOT EQUAL TO")
       (=ucs              . #x2260)     ; ≠
       ))
-    (<-fullwidth
-     ((name              . "NOT EQUAL TO")
-      (=ucs              . #x2260)     ; ≠
-      ))
     (=decomposition
      ((name              . "FULLWIDTH EQUALS SIGN")
       (=ucs              . #xFF1D)     ; =
     (=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")
      ((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]
     (=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")
      ((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]
       ))
     (=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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((name              . "NOT LESS-THAN")
       (=ucs              . #x226E)     ; ≮
       ))
-    (<-fullwidth
-     ((name              . "NOT LESS-THAN")
-      (=ucs              . #x226E)     ; ≮
-      ))
     (=decomposition
      ((name              . "FULLWIDTH LESS-THAN SIGN")
       (=ucs              . #xFF1C)     ; <
       ))
     (=gb2312           . #x215A)       ; &G0-215A; [01-58]
     (=ucs@gb           . #x226E)       ; &G0-215A;
+    (<-fullwidth
+     ((name              . "NOT LESS-THAN")
+      (=ucs              . #x226E)     ; ≮
+      ))
     ))
 (define-char
   '((name              . "NOT GREATER-THAN")
      ((name              . "NOT GREATER-THAN")
       (=ucs              . #x226F)     ; ≯
       ))
-    (<-fullwidth
-     ((name              . "NOT GREATER-THAN")
-      (=ucs              . #x226F)     ; ≯
-      ))
     (=decomposition
      ((name              . "FULLWIDTH GREATER-THAN SIGN")
       (=ucs              . #xFF1E)     ; >
       ))
     (=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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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")
      ((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]
     (=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")
      ((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]
     (=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")
      ((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")
      ((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")
      ((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")