X-Git-Url: http://git.chise.org/gitweb/?a=blobdiff_plain;f=lisp%2Futf-2000%2Fu02200-Mathematical-Operators.el;h=ee661d6ea433fa674a5a270b1a59fbe5f5d80dc2;hb=796e9e60cfb7c08bcedf26f5ebf8cdd163d7f2f3;hp=ca8766d6c271f9df57332978dd1dd7f030791b6b;hpb=ec5a9097d66d0a46cfd5615ceecdf0a50e48bc43;p=chise%2Fxemacs-chise.git

diff --git a/lisp/utf-2000/u02200-Mathematical-Operators.el b/lisp/utf-2000/u02200-Mathematical-Operators.el
index ca8766d..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,23 +64,29 @@
      ((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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2203 #x0338)
+    (=decomposition
+     ((name		  . "THERE EXISTS")
+      (=ucs		  . #x2203)	; ∃
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2204)	; ∄
     ))
 (define-char
@@ -95,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")
@@ -121,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")
@@ -144,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]
@@ -156,13 +158,23 @@
     (=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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2208 #x0338)
+    (=decomposition
+     ((name		  . "ELEMENT OF")
+      (=ucs		  . #x2208)	; ∈
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2209)	; ∉
     ))
 (define-char
@@ -170,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")
@@ -196,23 +208,29 @@
      ((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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x220B #x0338)
+    (=decomposition
+     ((name		  . "CONTAINS AS MEMBER")
+      (=ucs		  . #x220B)	; ∋
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x220C)	; ∌
     ))
 (define-char
@@ -241,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")
@@ -269,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")
@@ -290,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")
@@ -309,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")
@@ -335,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")
@@ -384,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]
@@ -399,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")
@@ -426,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]
@@ -438,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")
@@ -451,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]
@@ -465,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")
@@ -478,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")
@@ -501,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]
@@ -517,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")
@@ -544,19 +562,25 @@
      ((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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2223 #x0338)
+    (=decomposition
+     ((name		  . "DIVIDES")
+      (=ucs		  . #x2223)	; ∣
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2224)	; ∤
     ))
 (define-char
@@ -571,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]
@@ -583,13 +603,23 @@
     (=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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2225 #x0338)
+    (=decomposition
+     ((name		  . "PARALLEL TO")
+      (=ucs		  . #x2225)	; ∥
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2226)	; ∦
     ))
 (define-char
@@ -597,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")
@@ -616,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]
@@ -628,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")
@@ -641,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]
@@ -653,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")
@@ -666,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]
@@ -682,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")
@@ -695,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]
@@ -711,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")
@@ -724,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]
@@ -740,13 +766,23 @@
     (=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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	compat #x222B #x222B)
+    (=>decomposition@compat
+     ((name		  . "INTEGRAL")
+      (=ucs		  . #x222B)	; ∫
+      )
+     ((name		  . "INTEGRAL")
+      (=ucs		  . #x222B)	; ∫
+      ))
     (=ucs		. #x222C)	; ∬
     ))
 (define-char
@@ -754,23 +790,32 @@
      ((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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	compat #x222B #x222B #x222B)
+    (=>decomposition@compat
+     ((name		  . "INTEGRAL")
+      (=ucs		  . #x222B)	; ∫
+      )
+     ((name		  . "INTEGRAL")
+      (=ucs		  . #x222B)	; ∫
+      )
+     ((name		  . "INTEGRAL")
+      (=ucs		  . #x222B)	; ∫
+      ))
     (=ucs		. #x222D)	; ∭
     ))
 (define-char
@@ -785,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]
@@ -799,13 +840,23 @@
     (=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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	compat #x222E #x222E)
+    (=>decomposition@compat
+     ((name		  . "CONTOUR INTEGRAL")
+      (=ucs		  . #x222E)	; ∮
+      )
+     ((name		  . "CONTOUR INTEGRAL")
+      (=ucs		  . #x222E)	; ∮
+      ))
     (=ucs		. #x222F)	; ∯
     ))
 (define-char
@@ -813,7 +864,16 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	compat #x222E #x222E #x222E)
+    (=>decomposition@compat
+     ((name		  . "CONTOUR INTEGRAL")
+      (=ucs		  . #x222E)	; ∮
+      )
+     ((name		  . "CONTOUR INTEGRAL")
+      (=ucs		  . #x222E)	; ∮
+      )
+     ((name		  . "CONTOUR INTEGRAL")
+      (=ucs		  . #x222E)	; ∮
+      ))
     (=ucs		. #x2230)	; ∰
     ))
 (define-char
@@ -849,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]
@@ -863,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")
@@ -876,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]
@@ -891,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")
@@ -904,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")
@@ -923,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")
@@ -970,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")
@@ -994,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]
@@ -1006,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")
@@ -1033,7 +1093,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x223C #x0338)
+    (=decomposition
+     ((name		  . "TILDE OPERATOR")
+      (=ucs		  . #x223C)	; ∼
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2241)	; ≁
     ))
 (define-char
@@ -1055,19 +1121,25 @@
      ((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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2243 #x0338)
+    (=decomposition
+     ((name		  . "ASYMPTOTICALLY EQUAL TO")
+      (=ucs		  . #x2243)	; ≃
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2244)	; ≄
     ))
 (define-char
@@ -1082,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")
@@ -1101,7 +1173,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2245 #x0338)
+    (=decomposition
+     ((name		  . "APPROXIMATELY EQUAL TO")
+      (=ucs		  . #x2245)	; ≅
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2247)	; ≇
     ))
 (define-char
@@ -1116,21 +1194,27 @@
      ((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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2248 #x0338)
+    (=decomposition
+     ((name		  . "ALMOST EQUAL TO")
+      (=ucs		  . #x2248)	; ≈
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2249)	; ≉
     ))
 (define-char
@@ -1159,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")
@@ -1213,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]
@@ -1226,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")
@@ -1323,18 +1407,26 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x003D #x0338)
+    (=decomposition
+     ((name		  . "EQUALS SIGN")
+      (=ucs		  . #x003D)	; =
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2260)	; ≠
     ))
 (define-char
-  '((->decomposition	#xFF1D #x0338)
-    (<-denotational
+  '((<-denotational
      ((name		  . "NOT EQUAL TO")
       (=ucs		  . #x2260)	; ≠
       ))
-    (<-fullwidth
-     ((name		  . "NOT EQUAL TO")
-      (=ucs		  . #x2260)	; ≠
+    (=decomposition
+     ((name		  . "FULLWIDTH EQUALS SIGN")
+      (=ucs		  . #xFF1D)	; ＝
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
       ))
     (=jis-x0208		. #x2162)	; &J90-2162; [01-66]
     (=gb2312		. #x2159)	; &I-G0-2159; [01-57]
@@ -1346,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")
@@ -1359,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]
@@ -1374,27 +1466,45 @@
     (=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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2261 #x0338)
+    (=decomposition
+     ((name		  . "IDENTICAL TO")
+      (=ucs		  . #x2261)	; ≡
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2262)	; ≢
     ))
 (define-char
-  '((->decomposition	#xEC41B7 #x0338)
-    (<-denotational
+  '((<-denotational
      ((name		  . "NOT IDENTICAL TO")
       (=ucs		  . #x2262)	; ≢
       ))
+    (=decomposition
+     ((=gb2312		  . #x2154)	; &J90-2261; [01-52]
+      (=jis-x0208@1983	  . #x2261)	; &I-J83-2261; [02-65]
+      (=ks-x1001	  . #x2155)	; &I-K0-2155; [01-53]
+      (=cns11643-1	  . #x223E)	; &I-C1-223E; [02-30]
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
+    (=jis-x0213-1-2000	. #x226B)	; &JX1-226B; [02-75]
+    (=ucs@jis		. #x2262)	; &JX1-226B;
     (<-fullwidth
      ((name		  . "NOT IDENTICAL TO")
       (=ucs		  . #x2262)	; ≢
       ))
-    (=jis-x0213-1-2000	. #x226B)	; &JX1-226B; [02-75]
-    (=ucs@jis		. #x2262)	; &JX1-226B;
     ))
 (define-char
   '((name		. "STRICTLY EQUIVALENT TO")
@@ -1415,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")
@@ -1436,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")
@@ -1457,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")
@@ -1480,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")
@@ -1517,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")
@@ -1540,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")
@@ -1563,7 +1673,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (->decomposition	#x224D #x0338)
+    (=decomposition
+     ((name		  . "EQUIVALENT TO")
+      (=ucs		  . #x224D)	; ≍
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x226D)	; ≭
     ))
 (define-char
@@ -1571,49 +1687,79 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x003C #x0338)
+    (=decomposition
+     ((name		  . "LESS-THAN SIGN")
+      (=ucs		  . #x003C)	; <
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x226E)	; ≮
     ))
 (define-char
-  '((->decomposition	#xFF1C #x0338)
-    (<-denotational
+  '((<-denotational
      ((name		  . "NOT LESS-THAN")
       (=ucs		  . #x226E)	; ≮
       ))
+    (=decomposition
+     ((name		  . "FULLWIDTH LESS-THAN SIGN")
+      (=ucs		  . #xFF1C)	; ＜
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
+    (=gb2312		. #x215A)	; &G0-215A; [01-58]
+    (=ucs@gb		. #x226E)	; &G0-215A;
     (<-fullwidth
      ((name		  . "NOT LESS-THAN")
       (=ucs		  . #x226E)	; ≮
       ))
-    (=gb2312		. #x215A)	; &G0-215A; [01-58]
-    (=ucs@gb		. #x226E)	; &G0-215A;
     ))
 (define-char
   '((name		. "NOT GREATER-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x003E #x0338)
+    (=decomposition
+     ((name		  . "GREATER-THAN SIGN")
+      (=ucs		  . #x003E)	; >
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x226F)	; ≯
     ))
 (define-char
-  '((->decomposition	#xFF1E #x0338)
-    (<-denotational
+  '((<-denotational
      ((name		  . "NOT GREATER-THAN")
       (=ucs		  . #x226F)	; ≯
       ))
+    (=decomposition
+     ((name		  . "FULLWIDTH GREATER-THAN SIGN")
+      (=ucs		  . #xFF1E)	; ＞
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
+    (=gb2312		. #x215B)	; &G0-215B; [01-59]
+    (=ucs@gb		. #x226F)	; &G0-215B;
     (<-fullwidth
      ((name		  . "NOT GREATER-THAN")
       (=ucs		  . #x226F)	; ≯
       ))
-    (=gb2312		. #x215B)	; &G0-215B; [01-59]
-    (=ucs@gb		. #x226F)	; &G0-215B;
     ))
 (define-char
   '((name		. "NEITHER LESS-THAN NOR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2264 #x0338)
+    (=decomposition
+     ((name		  . "LESS-THAN OR EQUAL TO")
+      (=ucs		  . #x2264)	; ≤
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2270)	; ≰
     ))
 (define-char
@@ -1621,7 +1767,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2265 #x0338)
+    (=decomposition
+     ((name		  . "GREATER-THAN OR EQUAL TO")
+      (=ucs		  . #x2265)	; ≥
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2271)	; ≱
     ))
 (define-char
@@ -1643,7 +1795,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2272 #x0338)
+    (=decomposition
+     ((name		  . "LESS-THAN OR EQUIVALENT TO")
+      (=ucs		  . #x2272)	; ≲
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2274)	; ≴
     ))
 (define-char
@@ -1651,7 +1809,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2273 #x0338)
+    (=decomposition
+     ((name		  . "GREATER-THAN OR EQUIVALENT TO")
+      (=ucs		  . #x2273)	; ≳
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2275)	; ≵
     ))
 (define-char
@@ -1666,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")
@@ -1685,19 +1849,25 @@
      ((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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2276 #x0338)
+    (=decomposition
+     ((name		  . "LESS-THAN OR GREATER-THAN")
+      (=ucs		  . #x2276)	; ≶
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2278)	; ≸
     ))
 (define-char
@@ -1705,7 +1875,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2277 #x0338)
+    (=decomposition
+     ((name		  . "GREATER-THAN OR LESS-THAN")
+      (=ucs		  . #x2277)	; ≷
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2279)	; ≹
     ))
 (define-char
@@ -1755,7 +1931,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x227A #x0338)
+    (=decomposition
+     ((name		  . "PRECEDES")
+      (=ucs		  . #x227A)	; ≺
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2280)	; ⊀
     ))
 (define-char
@@ -1763,7 +1945,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x227B #x0338)
+    (=decomposition
+     ((name		  . "SUCCEEDS")
+      (=ucs		  . #x227B)	; ≻
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2281)	; ⊁
     ))
 (define-char
@@ -1778,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")
@@ -1801,23 +1989,29 @@
      ((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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2282 #x0338)
+    (=decomposition
+     ((name		  . "SUBSET OF")
+      (=ucs		  . #x2282)	; ⊂
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2284)	; ⊄
     ))
 (define-char
@@ -1825,19 +2019,25 @@
      ((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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2283 #x0338)
+    (=decomposition
+     ((name		  . "SUPERSET OF")
+      (=ucs		  . #x2283)	; ⊃
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2285)	; ⊅
     ))
 (define-char
@@ -1845,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")
@@ -1864,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")
@@ -1887,23 +2087,29 @@
      ((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")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2286 #x0338)
+    (=decomposition
+     ((name		  . "SUBSET OF OR EQUAL TO")
+      (=ucs		  . #x2286)	; ⊆
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2288)	; ⊈
     ))
 (define-char
@@ -1911,7 +2117,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2287 #x0338)
+    (=decomposition
+     ((name		  . "SUPERSET OF OR EQUAL TO")
+      (=ucs		  . #x2287)	; ⊇
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2289)	; ⊉
     ))
 (define-char
@@ -1926,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")
@@ -1945,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")
@@ -2027,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")
@@ -2050,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")
@@ -2069,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")
@@ -2095,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]
@@ -2107,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")
@@ -2197,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]
@@ -2212,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")
@@ -2260,7 +2472,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x22A2 #x0338)
+    (=decomposition
+     ((name		  . "RIGHT TACK")
+      (=ucs		  . #x22A2)	; ⊢
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x22AC)	; ⊬
     ))
 (define-char
@@ -2268,7 +2486,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x22A8 #x0338)
+    (=decomposition
+     ((name		  . "TRUE")
+      (=ucs		  . #x22A8)	; ⊨
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x22AD)	; ⊭
     ))
 (define-char
@@ -2276,7 +2500,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x22A9 #x0338)
+    (=decomposition
+     ((name		  . "FORCES")
+      (=ucs		  . #x22A9)	; ⊩
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x22AE)	; ⊮
     ))
 (define-char
@@ -2284,7 +2514,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x22AB #x0338)
+    (=decomposition
+     ((name		  . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
+      (=ucs		  . #x22AB)	; ⊫
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x22AF)	; ⊯
     ))
 (define-char
@@ -2404,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")
@@ -2609,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")
@@ -2628,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")
@@ -2668,7 +2904,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x227C #x0338)
+    (=decomposition
+     ((name		  . "PRECEDES OR EQUAL TO")
+      (=ucs		  . #x227C)	; ≼
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x22E0)	; ⋠
     ))
 (define-char
@@ -2676,7 +2918,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x227D #x0338)
+    (=decomposition
+     ((name		  . "SUCCEEDS OR EQUAL TO")
+      (=ucs		  . #x227D)	; ≽
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x22E1)	; ⋡
     ))
 (define-char
@@ -2684,7 +2932,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2291 #x0338)
+    (=decomposition
+     ((name		  . "SQUARE IMAGE OF OR EQUAL TO")
+      (=ucs		  . #x2291)	; ⊑
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x22E2)	; ⋢
     ))
 (define-char
@@ -2692,7 +2946,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2292 #x0338)
+    (=decomposition
+     ((name		  . "SQUARE ORIGINAL OF OR EQUAL TO")
+      (=ucs		  . #x2292)	; ⊒
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x22E3)	; ⋣
     ))
 (define-char
@@ -2742,7 +3002,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x22B2 #x0338)
+    (=decomposition
+     ((name		  . "NORMAL SUBGROUP OF")
+      (=ucs		  . #x22B2)	; ⊲
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x22EA)	; ⋪
     ))
 (define-char
@@ -2750,7 +3016,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x22B3 #x0338)
+    (=decomposition
+     ((name		  . "CONTAINS AS NORMAL SUBGROUP")
+      (=ucs		  . #x22B3)	; ⊳
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x22EB)	; ⋫
     ))
 (define-char
@@ -2758,7 +3030,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x22B4 #x0338)
+    (=decomposition
+     ((name		  . "NORMAL SUBGROUP OF OR EQUAL TO")
+      (=ucs		  . #x22B4)	; ⊴
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x22EC)	; ⋬
     ))
 (define-char
@@ -2766,7 +3044,13 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x22B5 #x0338)
+    (=decomposition
+     ((name		  . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
+      (=ucs		  . #x22B5)	; ⊵
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x22ED)	; ⋭
     ))
 (define-char