X-Git-Url: http://git.chise.org/gitweb/?p=chise%2Fxemacs-chise.git.1;a=blobdiff_plain;f=lisp%2Futf-2000%2Fu02200-Mathematical-Operators.el;h=5fb0c67fd4dccbfb3ea9b89fa19eee7583b7c000;hp=b06f6902e2463dc1d0f798797fdaedb082340a66;hb=8ba3626da629f1b4ecafae24c85f3d0cb3bf8b8e;hpb=274eccbf11a891834c932bf2894371f0c068ca55

diff --git a/lisp/utf-2000/u02200-Mathematical-Operators.el b/lisp/utf-2000/u02200-Mathematical-Operators.el
index b06f690..5fb0c67 100644
--- a/lisp/utf-2000/u02200-Mathematical-Operators.el
+++ b/lisp/utf-2000/u02200-Mathematical-Operators.el
@@ -1,15 +1,29 @@
+;; -*- coding: utf-8-mcs-er -*-
 (define-char
   '((name		. "FOR ALL")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (=jis-x0208-1983	. #x224F)	; ø»†’”
-    (korean-ksc5601	. #x2223)	; ø»ˆ›¬
-    (=jis-x0208-1990	. #x224F)	; ø½‰¸ˆ
-    (=jef-china3	. #x7FDC)	; øº‡¿œ
     (=ucs		. #x2200)	; ∀
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "FOR ALL")
+      (=ucs		  . #x2200)	; ∀
+      ))
+    (=ucs@jis		. #x2200)	; &J90-224F;
+    (=ucs@ks		. #x2200)	; &J90-224F;
+    (=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]
+    (=jis-x0213-1	. #x224F)	; &I-JX1-224F; [02-47]
+    (=jef-china3	. #x7FDC)	; &I-JC3-7FDC;
+    (<-fullwidth
+     ((name		  . "FOR ALL")
+      (=ucs		  . #x2200)	; ∀
+      ))
+    ))
+(define-char
   '((name		. "COMPLEMENT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -21,29 +35,61 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0208-1983	. #x225F)	; ø»†’¤
-    (korean-ksc5601	. #x2153)	; ø»ˆš¾
-    (=jis-x0208-1990	. #x225F)	; ø½‰¸˜
-    (=jef-china3	. #x7FE1)	; øº‡¿¡
     (=ucs		. #x2202)	; ∂
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "PARTIAL DIFFERENTIAL")
+      (=ucs		  . #x2202)	; ∂
+      ))
+    (=ucs@jis		. #x2202)	; &J90-225F;
+    (=ucs@ks		. #x2202)	; &J90-225F;
+    (=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]
+    (=jis-x0213-1	. #x225F)	; &I-JX1-225F; [02-63]
+    (=jef-china3	. #x7FE1)	; &I-JC3-7FE1;
+    (<-fullwidth
+     ((name		  . "PARTIAL DIFFERENTIAL")
+      (=ucs		  . #x2202)	; ∂
+      ))
+    ))
+(define-char
   '((name		. "THERE EXISTS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0208-1983	. #x2250)	; ø»†’•
-    (korean-ksc5601	. #x2224)	; ø»ˆ›­
-    (=jis-x0208-1990	. #x2250)	; ø½‰¸‰
-    (=jef-china3	. #x7FDD)	; øº‡¿
     (=ucs		. #x2203)	; ∃
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "THERE EXISTS")
+      (=ucs		  . #x2203)	; ∃
+      ))
+    (=ucs@jis		. #x2203)	; &J90-2250;
+    (=ucs@ks		. #x2203)	; &J90-2250;
+    (=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]
+    (=jis-x0213-1	. #x2250)	; &I-JX1-2250; [02-48]
+    (=jef-china3	. #x7FDD)	; &I-JC3-7FDD;
+    (<-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
@@ -51,10 +97,21 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (=jis-x0213-1-2000	. #x2247)	; ø»¢•€
     (=ucs		. #x2205)	; ∅
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "EMPTY SET")
+      (=ucs		  . #x2205)	; ∅
+      ))
+    (=ucs@jis		. #x2205)	; &JX1-2247;
+    (=jis-x0213-1	. #x2247)	; &JX1-2247; [02-39]
+    (<-fullwidth
+     ((name		  . "EMPTY SET")
+      (=ucs		  . #x2205)	; ∅
+      ))
+    ))
+(define-char
   '((name		. "INCREMENT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -66,34 +123,78 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (=jis-x0208-1983	. #x2260)	; ø»†’¥
-    (korean-ksc5601	. #x2154)	; ø»ˆš¿
-    (=jis-x0208-1990	. #x2260)	; ø½‰¸™
-    (=jef-china3	. #x7FE2)	; øº‡¿¢
     (=ucs		. #x2207)	; ∇
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "NABLA")
+      (=ucs		  . #x2207)	; ∇
+      ))
+    (=ucs@jis		. #x2207)	; &J90-2260;
+    (=ucs@ks		. #x2207)	; &J90-2260;
+    (=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]
+    (=jis-x0213-1	. #x2260)	; &I-JX1-2260; [02-64]
+    (=jef-china3	. #x7FE2)	; &I-JC3-7FE2;
+    (<-fullwidth
+     ((name		  . "NABLA")
+      (=ucs		  . #x2207)	; ∇
+      ))
+    ))
+(define-char
   '((name		. "ELEMENT OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x214A)	; ø»„†­
-    (=jis-x0208-1983	. #x223A)	; ø»†‘¿
-    (korean-ksc5601	. #x2174)	; ø»ˆ›Ÿ
-    (=jis-x0208-1990	. #x223A)	; ø½‰·³
-    (=jef-china3	. #x7FD0)	; øº‡¿
     (=ucs		. #x2208)	; ∈
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "ELEMENT OF")
+      (=ucs		  . #x2208)	; ∈
+      ))
+    (=ucs@gb		. #x2208)	; &J90-223A;
+    (=ucs@jis		. #x2208)	; &J90-223A;
+    (=ucs@ks		. #x2208)	; &J90-223A;
+    (=gb2312		. #x214A)	; &J90-223A; [01-42]
+    (=jis-x0208@1983	. #x223A)	; &I-J83-223A; [02-26]
+    (=ks-x1001		. #x2174)	; &I-K0-2174; [01-84]
+    (=jis-x0208@1990	. #x223A)	; &I-J90-223A; [02-26]
+    (=jis-x0213-1	. #x223A)	; &I-JX1-223A; [02-26]
+    (=jef-china3	. #x7FD0)	; &I-JC3-7FD0;
+    (<-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)
-    (=jis-x0213-1-2000	. #x2246)	; ø»¢”¿
+    (=decomposition
+     ((name		  . "ELEMENT OF")
+      (=ucs		  . #x2208)	; ∈
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2209)	; ∉
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "NOT AN ELEMENT OF")
+      (=ucs		  . #x2209)	; ∉
+      ))
+    (=ucs@jis		. #x2209)	; &JX1-2246;
+    (=jis-x0213-1	. #x2246)	; &JX1-2246; [02-38]
+    (<-fullwidth
+     ((name		  . "NOT AN ELEMENT OF")
+      (=ucs		  . #x2209)	; ∉
+      ))
+    ))
+(define-char
   '((name		. "SMALL ELEMENT OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -105,18 +206,37 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0208-1983	. #x223B)	; ø»†’€
-    (korean-ksc5601	. #x2175)	; ø»ˆ› 
-    (=jis-x0208-1990	. #x223B)	; ø½‰·´
-    (=jef-china3	. #x7FD1)	; øº‡¿‘
     (=ucs		. #x220B)	; ∋
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "CONTAINS AS MEMBER")
+      (=ucs		  . #x220B)	; ∋
+      ))
+    (=ucs@jis		. #x220B)	; &J90-223B;
+    (=ucs@ks		. #x220B)	; &J90-223B;
+    (=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]
+    (=jis-x0213-1	. #x223B)	; &I-JX1-223B; [02-27]
+    (=jef-china3	. #x7FD1)	; &I-JC3-7FD1;
+    (<-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
@@ -138,11 +258,23 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x2147)	; ø»„†ª
-    (korean-ksc5601	. #x2233)	; ø»ˆ›¼
     (=ucs		. #x220F)	; ∏
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "N-ARY PRODUCT")
+      (=ucs		  . #x220F)	; ∏
+      ))
+    (=ucs@gb		. #x220F)	; &G0-2147;
+    (=ucs@ks		. #x220F)	; &G0-2147;
+    (=gb2312		. #x2147)	; &G0-2147; [01-39]
+    (=ks-x1001		. #x2233)	; &I-K0-2233; [02-19]
+    (<-fullwidth
+     ((name		  . "N-ARY PRODUCT")
+      (=ucs		  . #x220F)	; ∏
+      ))
+    ))
+(define-char
   '((name		. "N-ARY COPRODUCT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -154,27 +286,62 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x2146)	; ø»„†©
-    (korean-ksc5601	. #x2232)	; ø»ˆ›»
     (=ucs		. #x2211)	; ∑
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "N-ARY SUMMATION")
+      (=ucs		  . #x2211)	; ∑
+      ))
+    (=ucs@gb		. #x2211)	; &G0-2146;
+    (=ucs@ks		. #x2211)	; &G0-2146;
+    (=gb2312		. #x2146)	; &G0-2146; [01-38]
+    (=ks-x1001		. #x2232)	; &I-K0-2232; [02-18]
+    (<-fullwidth
+     ((name		  . "N-ARY SUMMATION")
+      (=ucs		  . #x2211)	; ∑
+      ))
+    ))
+(define-char
   '((name		. "MINUS SIGN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ET")
     (mirrored		. nil)
-    (=jis-x0208		. #x215D)	; ø½‰¶¸
     (=ucs		. #x2212)	; −
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "MINUS SIGN")
+      (=ucs		  . #x2212)	; −
+      ))
+    (=ucs@jis		. #x2212)	; &J90-215D;
+    (=jis-x0208		. #x215D)	; &J90-215D; [01-61]
+    (=jis-x0213-1	. #x215D)	; &I-JX1-215D; [01-61]
+    (<-fullwidth
+     ((name		  . "MINUS SIGN")
+      (=ucs		  . #x2212)	; −
+      ))
+    ))
+(define-char
   '((name		. "MINUS-OR-PLUS SIGN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ET")
     (mirrored		. nil)
-    (=jis-x0213-1-2000	. #x235B)	; ø»¢–²
     (=ucs		. #x2213)	; ∓
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "MINUS-OR-PLUS SIGN")
+      (=ucs		  . #x2213)	; ∓
+      ))
+    (=ucs@jis		. #x2213)	; &JX1-235B;
+    (=jis-x0213-1	. #x235B)	; &JX1-235B; [03-59]
+    (<-fullwidth
+     ((name		  . "MINUS-OR-PLUS SIGN")
+      (=ucs		  . #x2213)	; ∓
+      ))
+    ))
+(define-char
   '((name		. "DOT PLUS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -186,11 +353,23 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-cns11643-1 . #x2261)	; ø»‘„º
-    (chinese-big5	. #xA241)	; ý¢€Š‰
     (=ucs		. #x2215)	; ∕
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "DIVISION SLASH")
+      (=ucs		  . #x2215)	; ∕
+      ))
+    (=ucs@cns		. #x2215)	; &C1-2261;
+    (=ucs@big5		. #x2215)	; &C1-2261;
+    (=cns11643-1	. #x2261)	; &C1-2261; [02-65]
+    (=big5		. #xA241)	; &I-B-A241;
+    (<-fullwidth
+     ((name		  . "DIVISION SLASH")
+      (=ucs		  . #x2215)	; ∕
+      ))
+    ))
+(define-char
   '((name		. "SET MINUS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -223,15 +402,31 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x214C)	; ø»„†¯
-    (=jis-x0208-1983	. #x2265)	; ø»†’ª
-    (korean-ksc5601	. #x216E)	; ø»ˆ›™
-    (chinese-cns11643-1 . #x2235)	; ø»‘„Ž
-    (=jis-x0208-1990	. #x2265)	; ø½‰¸ž
-    (chinese-big5	. #xA1D4)	; ý¢€Š‡”
     (=ucs		. #x221A)	; √
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "SQUARE ROOT")
+      (=ucs		  . #x221A)	; √
+      ))
+    (=ucs@gb		. #x221A)	; &J90-2265;
+    (=ucs@cns		. #x221A)	; &J90-2265;
+    (=ucs@jis		. #x221A)	; &J90-2265;
+    (=ucs@ks		. #x221A)	; &J90-2265;
+    (=ucs@big5		. #x221A)	; &J90-2265;
+    (=gb2312		. #x214C)	; &J90-2265; [01-44]
+    (=jis-x0208@1983	. #x2265)	; &I-J83-2265; [02-69]
+    (=ks-x1001		. #x216E)	; &I-K0-216E; [01-78]
+    (=jis-x0208@1990	. #x2265)	; &I-J90-2265; [02-69]
+    (=cns11643-1	. #x2235)	; &I-C1-2235; [02-21]
+    (=jis-x0213-1	. #x2265)	; &I-JX1-2265; [02-69]
+    (=big5		. #xA1D4)	; &I-B-A1D4;
+    (<-fullwidth
+     ((name		  . "SQUARE ROOT")
+      (=ucs		  . #x221A)	; √
+      ))
+    ))
+(define-char
   '((name		. "CUBE ROOT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -250,50 +445,109 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x2158)	; ø»„†»
-    (=jis-x0208-1983	. #x2267)	; ø»†’¬
-    (korean-ksc5601	. #x2170)	; ø»ˆ››
-    (=jis-x0208-1990	. #x2267)	; ø½‰¸ 
-    (=jef-china3	. #x7FE7)	; øº‡¿§
     (=ucs		. #x221D)	; ∝
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "PROPORTIONAL TO")
+      (=ucs		  . #x221D)	; ∝
+      ))
+    (=ucs@gb		. #x221D)	; &J90-2267;
+    (=ucs@jis		. #x221D)	; &J90-2267;
+    (=ucs@ks		. #x221D)	; &J90-2267;
+    (=gb2312		. #x2158)	; &J90-2267; [01-56]
+    (=jis-x0208@1983	. #x2267)	; &I-J83-2267; [02-71]
+    (=ks-x1001		. #x2170)	; &I-K0-2170; [01-80]
+    (=jis-x0208@1990	. #x2267)	; &I-J90-2267; [02-71]
+    (=jis-x0213-1	. #x2267)	; &I-JX1-2267; [02-71]
+    (=jef-china3	. #x7FE7)	; &I-JC3-7FE7;
+    (<-fullwidth
+     ((name		  . "PROPORTIONAL TO")
+      (=ucs		  . #x221D)	; ∝
+      ))
+    ))
+(define-char
   '((name		. "INFINITY")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x215E)	; ø»„‡
-    (=jis-x0208		. #x2167)	; ø½‰·‚
-    (korean-ksc5601	. #x2144)	; ø»ˆš¯
-    (chinese-cns11643-1 . #x223C)	; ø»‘„•
-    (chinese-big5	. #xA1DB)	; ý¢€Š‡›
     (=ucs		. #x221E)	; ∞
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "INFINITY")
+      (=ucs		  . #x221E)	; ∞
+      ))
+    (=ucs@gb		. #x221E)	; &J90-2167;
+    (=ucs@cns		. #x221E)	; &J90-2167;
+    (=ucs@jis		. #x221E)	; &J90-2167;
+    (=ucs@ks		. #x221E)	; &J90-2167;
+    (=ucs@big5		. #x221E)	; &J90-2167;
+    (=jis-x0208		. #x2167)	; &J90-2167; [01-71]
+    (=gb2312		. #x215E)	; &I-G0-215E; [01-62]
+    (=ks-x1001		. #x2144)	; &I-K0-2144; [01-36]
+    (=cns11643-1	. #x223C)	; &I-C1-223C; [02-28]
+    (=jis-x0213-1	. #x2167)	; &I-JX1-2167; [01-71]
+    (=big5		. #xA1DB)	; &I-B-A1DB;
+    (<-fullwidth
+     ((name		  . "INFINITY")
+      (=ucs		  . #x221E)	; ∞
+      ))
+    ))
+(define-char
   '((name		. "RIGHT ANGLE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-cns11643-1 . #x2249)	; ø»‘„¢
-    (=jis-x0213-1-2000	. #x2D78)	; ø»¢¥»
-    (chinese-big5	. #xA1E8)	; ý¢€Š‡¨
     (=ucs		. #x221F)	; ∟
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "RIGHT ANGLE")
+      (=ucs		  . #x221F)	; ∟
+      ))
+    (=ucs@cns		. #x221F)	; &JX1-2D78;
+    (=ucs@jis		. #x221F)	; &JX1-2D78;
+    (=ucs@big5		. #x221F)	; &JX1-2D78;
+    (=cns11643-1	. #x2249)	; &JX1-2D78; [02-41]
+    (=jis-x0213-1	. #x2D78)	; &I-JX1-2D78; [13-88]
+    (=big5		. #xA1E8)	; &I-B-A1E8;
+    (<-fullwidth
+     ((name		  . "RIGHT ANGLE")
+      (=ucs		  . #x221F)	; ∟
+      ))
+    ))
+(define-char
   '((name		. "ANGLE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x214F)	; ø»„†²
-    (=jis-x0208-1983	. #x225C)	; ø»†’¡
-    (korean-ksc5601	. #x2150)	; ø»ˆš»
-    (chinese-cns11643-1 . #x2248)	; ø»‘„¡
-    (=jis-x0208-1990	. #x225C)	; ø½‰¸•
-    (chinese-big5	. #xA1E7)	; ý¢€Š‡§
-    (=jef-china3	. #x7FDE)	; øº‡¿ž
     (=ucs		. #x2220)	; ∠
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "ANGLE")
+      (=ucs		  . #x2220)	; ∠
+      ))
+    (=ucs@gb		. #x2220)	; &J90-225C;
+    (=ucs@cns		. #x2220)	; &J90-225C;
+    (=ucs@jis		. #x2220)	; &J90-225C;
+    (=ucs@ks		. #x2220)	; &J90-225C;
+    (=ucs@big5		. #x2220)	; &J90-225C;
+    (=gb2312		. #x214F)	; &J90-225C; [01-47]
+    (=jis-x0208@1983	. #x225C)	; &I-J83-225C; [02-60]
+    (=ks-x1001		. #x2150)	; &I-K0-2150; [01-48]
+    (=jis-x0208@1990	. #x225C)	; &I-J90-225C; [02-60]
+    (=cns11643-1	. #x2248)	; &I-C1-2248; [02-40]
+    (=jis-x0213-1	. #x225C)	; &I-JX1-225C; [02-60]
+    (=big5		. #xA1E7)	; &I-B-A1E7;
+    (=jef-china3	. #x7FDE)	; &I-JC3-7FDE;
+    (<-fullwidth
+     ((name		  . "ANGLE")
+      (=ucs		  . #x2220)	; ∠
+      ))
+    ))
+(define-char
   '((name		. "MEASURED ANGLE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -312,15 +566,32 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-big5	. #xA1FD)	; ý¢€Š‡½
     (=ucs		. #x2223)	; ∣
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "DIVIDES")
+      (=ucs		  . #x2223)	; ∣
+      ))
+    (=ucs@big5		. #x2223)	; &B-A1FD;
+    (=big5		. #xA1FD)	; &B-A1FD;
+    (<-fullwidth
+     ((name		  . "DIVIDES")
+      (=ucs		  . #x2223)	; ∣
+      ))
+    ))
+(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
@@ -328,101 +599,240 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x214E)	; ø»„†±
-    (korean-ksc5601	. #x212B)	; ø»ˆš–
-    (=jis-x0213-1-2000	. #x2254)	; ø»¢•
-    (chinese-big5	. #xA1FC)	; ý¢€Š‡¼
     (=ucs		. #x2225)	; ∥
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "PARALLEL TO")
+      (=ucs		  . #x2225)	; ∥
+      ))
+    (=ucs@gb		. #x2225)	; &JX1-2254;
+    (=ucs@jis		. #x2225)	; &JX1-2254;
+    (=ucs@ks		. #x2225)	; &JX1-2254;
+    (=ucs@big5		. #x2225)	; &JX1-2254;
+    (=gb2312		. #x214E)	; &JX1-2254; [01-46]
+    (=ks-x1001		. #x212B)	; &I-K0-212B; [01-11]
+    (=jis-x0213-1	. #x2254)	; &I-JX1-2254; [02-52]
+    (=big5		. #xA1FC)	; &I-B-A1FC;
+    (<-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)
-    (=jis-x0213-1-2000	. #x2255)	; ø»¢•Ž
+    (=decomposition
+     ((name		  . "PARALLEL TO")
+      (=ucs		  . #x2225)	; ∥
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2226)	; ∦
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "NOT PARALLEL TO")
+      (=ucs		  . #x2226)	; ∦
+      ))
+    (=ucs@jis		. #x2226)	; &JX1-2255;
+    (=jis-x0213-1	. #x2255)	; &JX1-2255; [02-53]
+    (<-fullwidth
+     ((name		  . "NOT PARALLEL TO")
+      (=ucs		  . #x2226)	; ∦
+      ))
+    ))
+(define-char
   '((name		. "LOGICAL AND")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x2144)	; ø»„†§
-    (=jis-x0208-1983	. #x224A)	; ø»†’
-    (korean-ksc5601	. #x217C)	; ø»ˆ›§
-    (=jis-x0208-1990	. #x224A)	; ø½‰¸ƒ
     (=ucs		. #x2227)	; ∧
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "LOGICAL AND")
+      (=ucs		  . #x2227)	; ∧
+      ))
+    (=ucs@gb		. #x2227)	; &J90-224A;
+    (=ucs@jis		. #x2227)	; &J90-224A;
+    (=ucs@ks		. #x2227)	; &J90-224A;
+    (=gb2312		. #x2144)	; &J90-224A; [01-36]
+    (=jis-x0208@1983	. #x224A)	; &I-J83-224A; [02-42]
+    (=ks-x1001		. #x217C)	; &I-K0-217C; [01-92]
+    (=jis-x0208@1990	. #x224A)	; &I-J90-224A; [02-42]
+    (=jis-x0213-1	. #x224A)	; &I-JX1-224A; [02-42]
+    (=jef-china3	. #x7FD8)	; &I-JC3-7FD8;
+    (<-fullwidth
+     ((name		  . "LOGICAL AND")
+      (=ucs		  . #x2227)	; ∧
+      ))
+    ))
+(define-char
   '((name		. "LOGICAL OR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x2145)	; ø»„†¨
-    (=jis-x0208-1983	. #x224B)	; ø»†’
-    (korean-ksc5601	. #x217D)	; ø»ˆ›¨
-    (=jis-x0208-1990	. #x224B)	; ø½‰¸„
     (=ucs		. #x2228)	; ∨
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "LOGICAL OR")
+      (=ucs		  . #x2228)	; ∨
+      ))
+    (=ucs@gb		. #x2228)	; &J90-224B;
+    (=ucs@jis		. #x2228)	; &J90-224B;
+    (=ucs@ks		. #x2228)	; &J90-224B;
+    (=gb2312		. #x2145)	; &J90-224B; [01-37]
+    (=jis-x0208@1983	. #x224B)	; &I-J83-224B; [02-43]
+    (=ks-x1001		. #x217D)	; &I-K0-217D; [01-93]
+    (=jis-x0208@1990	. #x224B)	; &I-J90-224B; [02-43]
+    (=jis-x0213-1	. #x224B)	; &I-JX1-224B; [02-43]
+    (=jef-china3	. #x7FD9)	; &I-JC3-7FD9;
+    (<-fullwidth
+     ((name		  . "LOGICAL OR")
+      (=ucs		  . #x2228)	; ∨
+      ))
+    ))
+(define-char
   '((name		. "INTERSECTION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x2149)	; ø»„†¬
-    (=jis-x0208-1983	. #x2241)	; ø»†’†
-    (korean-ksc5601	. #x217B)	; ø»ˆ›¦
-    (chinese-cns11643-1 . #x2245)	; ø»‘„ž
-    (=jis-x0208-1990	. #x2241)	; ø½‰·º
-    (chinese-big5	. #xA1E4)	; ý¢€Š‡¤
     (=ucs		. #x2229)	; ∩
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "INTERSECTION")
+      (=ucs		  . #x2229)	; ∩
+      ))
+    (=ucs@gb		. #x2229)	; &J90-2241;
+    (=ucs@cns		. #x2229)	; &J90-2241;
+    (=ucs@jis		. #x2229)	; &J90-2241;
+    (=ucs@ks		. #x2229)	; &J90-2241;
+    (=ucs@big5		. #x2229)	; &J90-2241;
+    (=gb2312		. #x2149)	; &J90-2241; [01-41]
+    (=jis-x0208@1983	. #x2241)	; &I-J83-2241; [02-33]
+    (=ks-x1001		. #x217B)	; &I-K0-217B; [01-91]
+    (=jis-x0208@1990	. #x2241)	; &I-J90-2241; [02-33]
+    (=cns11643-1	. #x2245)	; &I-C1-2245; [02-37]
+    (=jis-x0213-1	. #x2241)	; &I-JX1-2241; [02-33]
+    (=big5		. #xA1E4)	; &I-B-A1E4;
+    (=jef-china3	. #x7FD7)	; &I-JC3-7FD7;
+    (<-fullwidth
+     ((name		  . "INTERSECTION")
+      (=ucs		  . #x2229)	; ∩
+      ))
+    ))
+(define-char
   '((name		. "UNION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x2148)	; ø»„†«
-    (=jis-x0208-1983	. #x2240)	; ø»†’…
-    (korean-ksc5601	. #x217A)	; ø»ˆ›¥
-    (chinese-cns11643-1 . #x2246)	; ø»‘„Ÿ
-    (=jis-x0208-1990	. #x2240)	; ø½‰·¹
-    (chinese-big5	. #xA1E5)	; ý¢€Š‡¥
     (=ucs		. #x222A)	; ∪
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "UNION")
+      (=ucs		  . #x222A)	; ∪
+      ))
+    (=ucs@gb		. #x222A)	; &J90-2240;
+    (=ucs@cns		. #x222A)	; &J90-2240;
+    (=ucs@jis		. #x222A)	; &J90-2240;
+    (=ucs@ks		. #x222A)	; &J90-2240;
+    (=ucs@big5		. #x222A)	; &J90-2240;
+    (=gb2312		. #x2148)	; &J90-2240; [01-40]
+    (=jis-x0208@1983	. #x2240)	; &I-J83-2240; [02-32]
+    (=ks-x1001		. #x217A)	; &I-K0-217A; [01-90]
+    (=jis-x0208@1990	. #x2240)	; &I-J90-2240; [02-32]
+    (=cns11643-1	. #x2246)	; &I-C1-2246; [02-38]
+    (=jis-x0213-1	. #x2240)	; &I-JX1-2240; [02-32]
+    (=big5		. #xA1E5)	; &I-B-A1E5;
+    (=jef-china3	. #x7FD6)	; &I-JC3-7FD6;
+    (<-fullwidth
+     ((name		  . "UNION")
+      (=ucs		  . #x222A)	; ∪
+      ))
+    ))
+(define-char
   '((name		. "INTEGRAL")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x2152)	; ø»„†µ
-    (=jis-x0208-1983	. #x2269)	; ø»†’®
-    (korean-ksc5601	. #x2172)	; ø»ˆ›
-    (chinese-cns11643-1 . #x224D)	; ø»‘„¦
-    (=jis-x0208-1990	. #x2269)	; ø½‰¸¢
-    (chinese-big5	. #xA1EC)	; ý¢€Š‡¬
-    (=jef-china3	. #x7FE8)	; øº‡¿¨
     (=ucs		. #x222B)	; ∫
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "INTEGRAL")
+      (=ucs		  . #x222B)	; ∫
+      ))
+    (=ucs@gb		. #x222B)	; &J90-2269;
+    (=ucs@cns		. #x222B)	; &J90-2269;
+    (=ucs@jis		. #x222B)	; &J90-2269;
+    (=ucs@ks		. #x222B)	; &J90-2269;
+    (=ucs@big5		. #x222B)	; &J90-2269;
+    (=gb2312		. #x2152)	; &J90-2269; [01-50]
+    (=jis-x0208@1983	. #x2269)	; &I-J83-2269; [02-73]
+    (=ks-x1001		. #x2172)	; &I-K0-2172; [01-82]
+    (=jis-x0208@1990	. #x2269)	; &I-J90-2269; [02-73]
+    (=cns11643-1	. #x224D)	; &I-C1-224D; [02-45]
+    (=jis-x0213-1	. #x2269)	; &I-JX1-2269; [02-73]
+    (=big5		. #xA1EC)	; &I-B-A1EC;
+    (=jef-china3	. #x7FE8)	; &I-JC3-7FE8;
+    (<-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)
-    (=jis-x0208-1983	. #x226A)	; ø»†’¯
-    (korean-ksc5601	. #x2173)	; ø»ˆ›ž
-    (=jis-x0208-1990	. #x226A)	; ø½‰¸£
-    (=jef-china3	. #x7FE9)	; øº‡¿©
+    (=>decomposition@compat
+     ((name		  . "INTEGRAL")
+      (=ucs		  . #x222B)	; ∫
+      )
+     ((name		  . "INTEGRAL")
+      (=ucs		  . #x222B)	; ∫
+      ))
     (=ucs		. #x222C)	; ∬
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "DOUBLE INTEGRAL")
+      (=ucs		  . #x222C)	; ∬
+      ))
+    (=ucs@jis		. #x222C)	; &J90-226A;
+    (=ucs@ks		. #x222C)	; &J90-226A;
+    (=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]
+    (=jis-x0213-1	. #x226A)	; &I-JX1-226A; [02-74]
+    (=jef-china3	. #x7FE9)	; &I-JC3-7FE9;
+    (<-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
@@ -430,19 +840,40 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x2153)	; ø»„†¶
-    (korean-ksc5601	. #x2231)	; ø»ˆ›º
-    (chinese-cns11643-1 . #x224E)	; ø»‘„§
-    (=jis-x0213-1-2000	. #x2D73)	; ø»¢¥¶
-    (chinese-big5	. #xA1ED)	; ý¢€Š‡­
     (=ucs		. #x222E)	; ∮
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "CONTOUR INTEGRAL")
+      (=ucs		  . #x222E)	; ∮
+      ))
+    (=ucs@gb		. #x222E)	; &JX1-2D73;
+    (=ucs@cns		. #x222E)	; &JX1-2D73;
+    (=ucs@jis		. #x222E)	; &JX1-2D73;
+    (=ucs@ks		. #x222E)	; &JX1-2D73;
+    (=ucs@big5		. #x222E)	; &JX1-2D73;
+    (=gb2312		. #x2153)	; &JX1-2D73; [01-51]
+    (=ks-x1001		. #x2231)	; &I-K0-2231; [02-17]
+    (=cns11643-1	. #x224E)	; &I-C1-224E; [02-46]
+    (=jis-x0213-1	. #x2D73)	; &I-JX1-2D73; [13-83]
+    (=big5		. #xA1ED)	; &I-B-A1ED;
+    (<-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
@@ -450,7 +881,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
@@ -479,43 +919,97 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x2160)	; ø»„‡ƒ
-    (=jis-x0208		. #x2168)	; ø½‰·ƒ
-    (korean-ksc5601	. #x2145)	; ø»ˆš°
-    (chinese-cns11643-1 . #x2250)	; ø»‘„©
-    (chinese-big5	. #xA1EF)	; ý¢€Š‡¯
     (=ucs		. #x2234)	; ∴
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "THEREFORE")
+      (=ucs		  . #x2234)	; ∴
+      ))
+    (=ucs@gb		. #x2234)	; &J90-2168;
+    (=ucs@cns		. #x2234)	; &J90-2168;
+    (=ucs@jis		. #x2234)	; &J90-2168;
+    (=ucs@ks		. #x2234)	; &J90-2168;
+    (=ucs@big5		. #x2234)	; &J90-2168;
+    (=jis-x0208		. #x2168)	; &J90-2168; [01-72]
+    (=gb2312		. #x2160)	; &I-G0-2160; [01-64]
+    (=ks-x1001		. #x2145)	; &I-K0-2145; [01-37]
+    (=cns11643-1	. #x2250)	; &I-C1-2250; [02-48]
+    (=jis-x0213-1	. #x2168)	; &I-JX1-2168; [01-72]
+    (=big5		. #xA1EF)	; &I-B-A1EF;
+    (<-fullwidth
+     ((name		  . "THEREFORE")
+      (=ucs		  . #x2234)	; ∴
+      ))
+    ))
+(define-char
   '((name		. "BECAUSE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x215F)	; ø»„‡‚
-    (=jis-x0208-1983	. #x2268)	; ø»†’­
-    (korean-ksc5601	. #x2171)	; ø»ˆ›œ
-    (chinese-cns11643-1 . #x224F)	; ø»‘„¨
-    (=jis-x0208-1990	. #x2268)	; ø½‰¸¡
-    (chinese-big5	. #xA1EE)	; ý¢€Š‡®
     (=ucs		. #x2235)	; ∵
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "BECAUSE")
+      (=ucs		  . #x2235)	; ∵
+      ))
+    (=ucs@gb		. #x2235)	; &J90-2268;
+    (=ucs@cns		. #x2235)	; &J90-2268;
+    (=ucs@jis		. #x2235)	; &J90-2268;
+    (=ucs@ks		. #x2235)	; &J90-2268;
+    (=ucs@big5		. #x2235)	; &J90-2268;
+    (=gb2312		. #x215F)	; &J90-2268; [01-63]
+    (=jis-x0208@1983	. #x2268)	; &I-J83-2268; [02-72]
+    (=ks-x1001		. #x2171)	; &I-K0-2171; [01-81]
+    (=jis-x0208@1990	. #x2268)	; &I-J90-2268; [02-72]
+    (=cns11643-1	. #x224F)	; &I-C1-224F; [02-47]
+    (=jis-x0213-1	. #x2268)	; &I-JX1-2268; [02-72]
+    (=big5		. #xA1EE)	; &I-B-A1EE;
+    (<-fullwidth
+     ((name		  . "BECAUSE")
+      (=ucs		  . #x2235)	; ∵
+      ))
+    ))
+(define-char
   '((name		. "RATIO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x2143)	; ø»„†¦
     (=ucs		. #x2236)	; ∶
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "RATIO")
+      (=ucs		  . #x2236)	; ∶
+      ))
+    (=ucs@gb		. #x2236)	; &G0-2143;
+    (=gb2312		. #x2143)	; &G0-2143; [01-35]
+    (<-fullwidth
+     ((name		  . "RATIO")
+      (=ucs		  . #x2236)	; ∶
+      ))
+    ))
+(define-char
   '((name		. "PROPORTION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x214B)	; ø»„†®
     (=ucs		. #x2237)	; ∷
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "PROPORTION")
+      (=ucs		  . #x2237)	; ∷
+      ))
+    (=ucs@gb		. #x2237)	; &G0-214B;
+    (=gb2312		. #x214B)	; &G0-214B; [01-43]
+    (<-fullwidth
+     ((name		  . "PROPORTION")
+      (=ucs		  . #x2237)	; ∷
+      ))
+    ))
+(define-char
   '((name		. "DOT MINUS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -548,26 +1042,48 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (korean-ksc5601	. #x212D)	; ø»ˆš˜
-    (chinese-cns11643-1 . #x2244)	; ø»‘„
-    (chinese-big5	. #xA1E3)	; ý¢€Š‡£
-    (=ucs@big5		. #xFF5E)	; ∼
     (=ucs		. #x223C)	; ∼
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "TILDE OPERATOR")
+      (=ucs		  . #x223C)	; ∼
+      ))
+    (=ucs@ks		. #x223C)	; &K0-212D;
+    (=ks-x1001		. #x212D)	; &K0-212D; [01-13]
+    (<-fullwidth
+     ((name		  . "TILDE OPERATOR")
+      (=ucs		  . #x223C)	; ∼
+      ))
+    ))
+(define-char
   '((name		. "REVERSED TILDE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (iso-10646-comment	. "lazy S")
-    (chinese-gb2312	. #x2157)	; ø»„†º
-    (=jis-x0208-1983	. #x2266)	; ø»†’«
-    (korean-ksc5601	. #x216F)	; ø»ˆ›š
-    (=jis-x0208-1990	. #x2266)	; ø½‰¸Ÿ
-    (=jef-china3	. #x7FE6)	; øº‡¿¦
     (=ucs		. #x223D)	; ∽
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "REVERSED TILDE")
+      (=ucs		  . #x223D)	; ∽
+      ))
+    (=ucs@gb		. #x223D)	; &J90-2266;
+    (=ucs@jis		. #x223D)	; &J90-2266;
+    (=ucs@ks		. #x223D)	; &J90-2266;
+    (=gb2312		. #x2157)	; &J90-2266; [01-55]
+    (=jis-x0208@1983	. #x2266)	; &I-J83-2266; [02-70]
+    (=ks-x1001		. #x216F)	; &I-K0-216F; [01-79]
+    (=jis-x0208@1990	. #x2266)	; &I-J90-2266; [02-70]
+    (=jis-x0213-1	. #x2266)	; &I-JX1-2266; [02-70]
+    (=jef-china3	. #x7FE6)	; &I-JC3-7FE6;
+    (<-fullwidth
+     ((name		  . "REVERSED TILDE")
+      (=ucs		  . #x223D)	; ∽
+      ))
+    ))
+(define-char
   '((name		. "INVERTED LAZY S")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -593,7 +1109,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
@@ -608,15 +1130,32 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0213-1-2000	. #x226C)	; ø»¢•¥
     (=ucs		. #x2243)	; ≃
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "ASYMPTOTICALLY EQUAL TO")
+      (=ucs		  . #x2243)	; ≃
+      ))
+    (=ucs@jis		. #x2243)	; &JX1-226C;
+    (=jis-x0213-1	. #x226C)	; &JX1-226C; [02-76]
+    (<-fullwidth
+     ((name		  . "ASYMPTOTICALLY EQUAL TO")
+      (=ucs		  . #x2243)	; ≃
+      ))
+    ))
+(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
@@ -624,10 +1163,21 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0213-1-2000	. #x226D)	; ø»¢•¦
     (=ucs		. #x2245)	; ≅
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "APPROXIMATELY EQUAL TO")
+      (=ucs		  . #x2245)	; ≅
+      ))
+    (=ucs@jis		. #x2245)	; &JX1-226D;
+    (=jis-x0213-1	. #x226D)	; &JX1-226D; [02-77]
+    (<-fullwidth
+     ((name		  . "APPROXIMATELY EQUAL TO")
+      (=ucs		  . #x2245)	; ≅
+      ))
+    ))
+(define-char
   '((name		. "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -639,7 +1189,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
@@ -647,16 +1203,34 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x2156)	; ø»„†¹
-    (=jis-x0213-1-2000	. #x226E)	; ø»¢•§
     (=ucs		. #x2248)	; ≈
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "ALMOST EQUAL TO")
+      (=ucs		  . #x2248)	; ≈
+      ))
+    (=ucs@gb		. #x2248)	; &JX1-226E;
+    (=ucs@jis		. #x2248)	; &JX1-226E;
+    (=gb2312		. #x2156)	; &JX1-226E; [01-54]
+    (=jis-x0213-1	. #x226E)	; &I-JX1-226E; [02-78]
+    (<-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
@@ -678,10 +1252,21 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x2155)	; ø»„†¸
     (=ucs		. #x224C)	; ≌
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "ALL EQUAL TO")
+      (=ucs		  . #x224C)	; ≌
+      ))
+    (=ucs@gb		. #x224C)	; &G0-2155;
+    (=gb2312		. #x2155)	; &G0-2155; [01-53]
+    (<-fullwidth
+     ((name		  . "ALL EQUAL TO")
+      (=ucs		  . #x224C)	; ≌
+      ))
+    ))
+(define-char
   '((name		. "EQUIVALENT TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -721,14 +1306,29 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0208-1983	. #x2262)	; ø»†’§
-    (korean-ksc5601	. #x2156)	; ø»ˆ›
-    (chinese-cns11643-1 . #x223D)	; ø»‘„–
-    (=jis-x0208-1990	. #x2262)	; ø½‰¸›
-    (chinese-big5	. #xA1DC)	; ý¢€Š‡œ
     (=ucs		. #x2252)	; ≒
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
+      (=ucs		  . #x2252)	; ≒
+      ))
+    (=ucs@cns		. #x2252)	; &J90-2262;
+    (=ucs@jis		. #x2252)	; &J90-2262;
+    (=ucs@ks		. #x2252)	; &J90-2262;
+    (=ucs@big5		. #x2252)	; &J90-2262;
+    (=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]
+    (=cns11643-1	. #x223D)	; &I-C1-223D; [02-29]
+    (=jis-x0213-1	. #x2262)	; &I-JX1-2262; [02-66]
+    (=big5		. #xA1DC)	; &I-B-A1DC;
+    (<-fullwidth
+     ((name		  . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
+      (=ucs		  . #x2252)	; ≒
+      ))
+    ))
+(define-char
   '((name		. "IMAGE OF OR APPROXIMATELY EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -824,37 +1424,114 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x003D #x0338)
-    (chinese-gb2312	. #x2159)	; ø»„†¼
-    (=jis-x0208		. #x2162)	; ø½‰¶½
-    (korean-ksc5601	. #x2141)	; ø»ˆš¬
-    (chinese-cns11643-1 . #x223B)	; ø»‘„”
-    (chinese-big5	. #xA1DA)	; ý¢€Š‡š
+    (=decomposition
+     ((name		  . "EQUALS SIGN")
+      (=ucs		  . #x003D)	; =
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2260)	; ≠
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "NOT EQUAL TO")
+      (=ucs		  . #x2260)	; ≠
+      ))
+    (=decomposition
+     ((name		  . "FULLWIDTH EQUALS SIGN")
+      (=ucs		  . #xFF1D)	; ＝
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
+    (=ucs@gb		. #x2260)	; &J90-2162;
+    (=ucs@cns		. #x2260)	; &J90-2162;
+    (=ucs@jis		. #x2260)	; &J90-2162;
+    (=ucs@ks		. #x2260)	; &J90-2162;
+    (=ucs@big5		. #x2260)	; &J90-2162;
+    (=jis-x0208		. #x2162)	; &J90-2162; [01-66]
+    (=gb2312		. #x2159)	; &I-G0-2159; [01-57]
+    (=ks-x1001		. #x2141)	; &I-K0-2141; [01-33]
+    (=cns11643-1	. #x223B)	; &I-C1-223B; [02-27]
+    (=jis-x0213-1	. #x2162)	; &I-JX1-2162; [01-66]
+    (=big5		. #xA1DA)	; &I-B-A1DA;
+    (<-fullwidth
+     ((name		  . "NOT EQUAL TO")
+      (=ucs		  . #x2260)	; ≠
+      ))
+    ))
+(define-char
   '((name		. "IDENTICAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x2154)	; ø»„†·
-    (=jis-x0208-1983	. #x2261)	; ø»†’¦
-    (korean-ksc5601	. #x2155)	; ø»ˆ›€
-    (chinese-cns11643-1 . #x223E)	; ø»‘„—
-    (=jis-x0208-1990	. #x2261)	; ø½‰¸š
-    (chinese-big5	. #xA1DD)	; ý¢€Š‡
     (=ucs		. #x2261)	; ≡
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "IDENTICAL TO")
+      (=ucs		  . #x2261)	; ≡
+      ))
+    (=ucs@gb		. #x2261)	; &J90-2261;
+    (=ucs@cns		. #x2261)	; &J90-2261;
+    (=ucs@jis		. #x2261)	; &J90-2261;
+    (=ucs@ks		. #x2261)	; &J90-2261;
+    (=ucs@big5		. #x2261)	; &J90-2261;
+    (=gb2312		. #x2154)	; &J90-2261; [01-52]
+    (=jis-x0208@1983	. #x2261)	; &I-J83-2261; [02-65]
+    (=ks-x1001		. #x2155)	; &I-K0-2155; [01-53]
+    (=jis-x0208@1990	. #x2261)	; &I-J90-2261; [02-65]
+    (=cns11643-1	. #x223E)	; &I-C1-223E; [02-30]
+    (=jis-x0213-1	. #x2261)	; &I-JX1-2261; [02-65]
+    (=big5		. #xA1DD)	; &I-B-A1DD;
+    (<-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)
-    (=jis-x0213-1-2000	. #x226B)	; ø»¢•¤
+    (=decomposition
+     ((name		  . "IDENTICAL TO")
+      (=ucs		  . #x2261)	; ≡
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2262)	; ≢
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "NOT IDENTICAL TO")
+      (=ucs		  . #x2262)	; ≢
+      ))
+    (=decomposition
+     ((=ucs@gb		  . #x2261)	; &J90-2261;
+      (=ucs@cns		  . #x2261)	; &J90-2261;
+      (=ucs@jis		  . #x2261)	; &J90-2261;
+      (=ucs@ks		  . #x2261)	; &J90-2261;
+      (=ucs@big5	  . #x2261)	; &J90-2261;
+      (=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]
+      (=jis-x0213-1	  . #x2261)	; &I-JX1-2261; [02-65]
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
+    (=ucs@jis		. #x2262)	; &JX1-226B;
+    (=jis-x0213-1	. #x226B)	; &JX1-226B; [02-75]
+    (<-fullwidth
+     ((name		  . "NOT IDENTICAL TO")
+      (=ucs		  . #x2262)	; ≢
+      ))
+    ))
+(define-char
   '((name		. "STRICTLY EQUIVALENT TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -866,40 +1543,92 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x215C)	; ø»„†¿
-    (korean-ksc5601	. #x2142)	; ø»ˆš­
     (=ucs		. #x2264)	; ≤
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "LESS-THAN OR EQUAL TO")
+      (=ucs		  . #x2264)	; ≤
+      ))
+    (=ucs@gb		. #x2264)	; &G0-215C;
+    (=ucs@ks		. #x2264)	; &G0-215C;
+    (=gb2312		. #x215C)	; &G0-215C; [01-60]
+    (=ks-x1001		. #x2142)	; &I-K0-2142; [01-34]
+    (<-fullwidth
+     ((name		  . "LESS-THAN OR EQUAL TO")
+      (=ucs		  . #x2264)	; ≤
+      ))
+    ))
+(define-char
   '((name		. "GREATER-THAN OR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x215D)	; ø»„‡€
-    (korean-ksc5601	. #x2143)	; ø»ˆš®
     (=ucs		. #x2265)	; ≥
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "GREATER-THAN OR EQUAL TO")
+      (=ucs		  . #x2265)	; ≥
+      ))
+    (=ucs@gb		. #x2265)	; &G0-215D;
+    (=ucs@ks		. #x2265)	; &G0-215D;
+    (=gb2312		. #x215D)	; &G0-215D; [01-61]
+    (=ks-x1001		. #x2143)	; &I-K0-2143; [01-35]
+    (<-fullwidth
+     ((name		  . "GREATER-THAN OR EQUAL TO")
+      (=ucs		  . #x2265)	; ≥
+      ))
+    ))
+(define-char
   '((name		. "LESS-THAN OVER EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0208		. #x2165)	; ø½‰·€
-    (chinese-cns11643-1 . #x2239)	; ø»‘„’
-    (chinese-big5	. #xA1D8)	; ý¢€Š‡˜
     (=ucs		. #x2266)	; ≦
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "LESS-THAN OVER EQUAL TO")
+      (=ucs		  . #x2266)	; ≦
+      ))
+    (=ucs@cns		. #x2266)	; &J90-2165;
+    (=ucs@jis		. #x2266)	; &J90-2165;
+    (=ucs@big5		. #x2266)	; &J90-2165;
+    (=jis-x0208		. #x2165)	; &J90-2165; [01-69]
+    (=cns11643-1	. #x2239)	; &I-C1-2239; [02-25]
+    (=jis-x0213-1	. #x2165)	; &I-JX1-2165; [01-69]
+    (=big5		. #xA1D8)	; &I-B-A1D8;
+    (<-fullwidth
+     ((name		  . "LESS-THAN OVER EQUAL TO")
+      (=ucs		  . #x2266)	; ≦
+      ))
+    ))
+(define-char
   '((name		. "GREATER-THAN OVER EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0208		. #x2166)	; ø½‰·
-    (chinese-cns11643-1 . #x223A)	; ø»‘„“
-    (chinese-big5	. #xA1D9)	; ý¢€Š‡™
     (=ucs		. #x2267)	; ≧
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "GREATER-THAN OVER EQUAL TO")
+      (=ucs		  . #x2267)	; ≧
+      ))
+    (=ucs@cns		. #x2267)	; &J90-2166;
+    (=ucs@jis		. #x2267)	; &J90-2166;
+    (=ucs@big5		. #x2267)	; &J90-2166;
+    (=jis-x0208		. #x2166)	; &J90-2166; [01-70]
+    (=cns11643-1	. #x223A)	; &I-C1-223A; [02-26]
+    (=jis-x0213-1	. #x2166)	; &I-JX1-2166; [01-70]
+    (=big5		. #xA1D9)	; &I-B-A1D9;
+    (<-fullwidth
+     ((name		  . "GREATER-THAN OVER EQUAL TO")
+      (=ucs		  . #x2267)	; ≧
+      ))
+    ))
+(define-char
   '((name		. "LESS-THAN BUT NOT EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -918,24 +1647,50 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0208-1983	. #x2263)	; ø»†’¨
-    (korean-ksc5601	. #x216C)	; ø»ˆ›—
-    (=jis-x0208-1990	. #x2263)	; ø½‰¸œ
-    (=jef-china3	. #x7FE3)	; øº‡¿£
     (=ucs		. #x226A)	; ≪
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "MUCH LESS-THAN")
+      (=ucs		  . #x226A)	; ≪
+      ))
+    (=ucs@jis		. #x226A)	; &J90-2263;
+    (=ucs@ks		. #x226A)	; &J90-2263;
+    (=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]
+    (=jis-x0213-1	. #x2263)	; &I-JX1-2263; [02-67]
+    (=jef-china3	. #x7FE3)	; &I-JC3-7FE3;
+    (<-fullwidth
+     ((name		  . "MUCH LESS-THAN")
+      (=ucs		  . #x226A)	; ≪
+      ))
+    ))
+(define-char
   '((name		. "MUCH GREATER-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0208-1983	. #x2264)	; ø»†’©
-    (korean-ksc5601	. #x216D)	; ø»ˆ›˜
-    (=jis-x0208-1990	. #x2264)	; ø½‰¸
-    (=jef-china3	. #x7FE4)	; øº‡¿¤
     (=ucs		. #x226B)	; ≫
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "MUCH GREATER-THAN")
+      (=ucs		  . #x226B)	; ≫
+      ))
+    (=ucs@jis		. #x226B)	; &J90-2264;
+    (=ucs@ks		. #x226B)	; &J90-2264;
+    (=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]
+    (=jis-x0213-1	. #x2264)	; &I-JX1-2264; [02-68]
+    (=jef-china3	. #x7FE4)	; &I-JC3-7FE4;
+    (<-fullwidth
+     ((name		  . "MUCH GREATER-THAN")
+      (=ucs		  . #x226B)	; ≫
+      ))
+    ))
+(define-char
   '((name		. "BETWEEN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -947,7 +1702,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
@@ -955,25 +1716,79 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x003C #x0338)
-    (chinese-gb2312	. #x215A)	; ø»„†½
+    (=decomposition
+     ((name		  . "LESS-THAN SIGN")
+      (=ucs		  . #x003C)	; <
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x226E)	; ≮
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "NOT LESS-THAN")
+      (=ucs		  . #x226E)	; ≮
+      ))
+    (=decomposition
+     ((name		  . "FULLWIDTH LESS-THAN SIGN")
+      (=ucs		  . #xFF1C)	; ＜
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
+    (=ucs@gb		. #x226E)	; &G0-215A;
+    (=gb2312		. #x215A)	; &G0-215A; [01-58]
+    (<-fullwidth
+     ((name		  . "NOT LESS-THAN")
+      (=ucs		  . #x226E)	; ≮
+      ))
+    ))
+(define-char
   '((name		. "NOT GREATER-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x003E #x0338)
-    (chinese-gb2312	. #x215B)	; ø»„†¾
+    (=decomposition
+     ((name		  . "GREATER-THAN SIGN")
+      (=ucs		  . #x003E)	; >
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x226F)	; ≯
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "NOT GREATER-THAN")
+      (=ucs		  . #x226F)	; ≯
+      ))
+    (=decomposition
+     ((name		  . "FULLWIDTH GREATER-THAN SIGN")
+      (=ucs		  . #xFF1E)	; ＞
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
+    (=ucs@gb		. #x226F)	; &G0-215B;
+    (=gb2312		. #x215B)	; &G0-215B; [01-59]
+    (<-fullwidth
+     ((name		  . "NOT GREATER-THAN")
+      (=ucs		  . #x226F)	; ≯
+      ))
+    ))
+(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
@@ -981,7 +1796,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
@@ -1003,7 +1824,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
@@ -1011,7 +1838,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
@@ -1019,23 +1852,51 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0213-1-2000	. #x226F)	; ø»¢•¨
     (=ucs		. #x2276)	; ≶
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "LESS-THAN OR GREATER-THAN")
+      (=ucs		  . #x2276)	; ≶
+      ))
+    (=ucs@jis		. #x2276)	; &JX1-226F;
+    (=jis-x0213-1	. #x226F)	; &JX1-226F; [02-79]
+    (<-fullwidth
+     ((name		  . "LESS-THAN OR GREATER-THAN")
+      (=ucs		  . #x2276)	; ≶
+      ))
+    ))
+(define-char
   '((name		. "GREATER-THAN OR LESS-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0213-1-2000	. #x2270)	; ø»¢•©
     (=ucs		. #x2277)	; ≷
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "GREATER-THAN OR LESS-THAN")
+      (=ucs		  . #x2277)	; ≷
+      ))
+    (=ucs@jis		. #x2277)	; &JX1-2270;
+    (=jis-x0213-1	. #x2270)	; &JX1-2270; [02-80]
+    (<-fullwidth
+     ((name		  . "GREATER-THAN OR LESS-THAN")
+      (=ucs		  . #x2277)	; ≷
+      ))
+    ))
+(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
@@ -1043,7 +1904,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
@@ -1093,7 +1960,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
@@ -1101,7 +1974,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
@@ -1109,69 +1988,161 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0208-1983	. #x223E)	; ø»†’ƒ
-    (korean-ksc5601	. #x2178)	; ø»ˆ›£
-    (=jis-x0208-1990	. #x223E)	; ø½‰··
-    (=jef-china3	. #x7FD4)	; øº‡¿”
     (=ucs		. #x2282)	; ⊂
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "SUBSET OF")
+      (=ucs		  . #x2282)	; ⊂
+      ))
+    (=ucs@jis		. #x2282)	; &J90-223E;
+    (=ucs@ks		. #x2282)	; &J90-223E;
+    (=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]
+    (=jis-x0213-1	. #x223E)	; &I-JX1-223E; [02-30]
+    (=jef-china3	. #x7FD4)	; &I-JC3-7FD4;
+    (<-fullwidth
+     ((name		  . "SUBSET OF")
+      (=ucs		  . #x2282)	; ⊂
+      ))
+    ))
+(define-char
   '((name		. "SUPERSET OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0208-1983	. #x223F)	; ø»†’„
-    (korean-ksc5601	. #x2179)	; ø»ˆ›¤
-    (=jis-x0208-1990	. #x223F)	; ø½‰·¸
-    (=jef-china3	. #x7FD5)	; øº‡¿•
     (=ucs		. #x2283)	; ⊃
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "SUPERSET OF")
+      (=ucs		  . #x2283)	; ⊃
+      ))
+    (=ucs@jis		. #x2283)	; &J90-223F;
+    (=ucs@ks		. #x2283)	; &J90-223F;
+    (=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]
+    (=jis-x0213-1	. #x223F)	; &I-JX1-223F; [02-31]
+    (=jef-china3	. #x7FD5)	; &I-JC3-7FD5;
+    (<-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)
-    (=jis-x0213-1-2000	. #x2242)	; ø»¢”»
+    (=decomposition
+     ((name		  . "SUBSET OF")
+      (=ucs		  . #x2282)	; ⊂
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2284)	; ⊄
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "NOT A SUBSET OF")
+      (=ucs		  . #x2284)	; ⊄
+      ))
+    (=ucs@jis		. #x2284)	; &JX1-2242;
+    (=jis-x0213-1	. #x2242)	; &JX1-2242; [02-34]
+    (<-fullwidth
+     ((name		  . "NOT A SUBSET OF")
+      (=ucs		  . #x2284)	; ⊄
+      ))
+    ))
+(define-char
   '((name		. "NOT A SUPERSET OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (->decomposition	#x2283 #x0338)
-    (=jis-x0213-1-2000	. #x2243)	; ø»¢”¼
+    (=decomposition
+     ((name		  . "SUPERSET OF")
+      (=ucs		  . #x2283)	; ⊃
+      )
+     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
+      (=ucs		  . #x0338)	; ̸
+      ))
     (=ucs		. #x2285)	; ⊅
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "NOT A SUPERSET OF")
+      (=ucs		  . #x2285)	; ⊅
+      ))
+    (=ucs@jis		. #x2285)	; &JX1-2243;
+    (=jis-x0213-1	. #x2243)	; &JX1-2243; [02-35]
+    (<-fullwidth
+     ((name		  . "NOT A SUPERSET OF")
+      (=ucs		  . #x2285)	; ⊅
+      ))
+    ))
+(define-char
   '((name		. "SUBSET OF OR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0208-1983	. #x223C)	; ø»†’
-    (korean-ksc5601	. #x2176)	; ø»ˆ›¡
-    (=jis-x0208-1990	. #x223C)	; ø½‰·µ
-    (=jef-china3	. #x7FD2)	; øº‡¿’
     (=ucs		. #x2286)	; ⊆
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "SUBSET OF OR EQUAL TO")
+      (=ucs		  . #x2286)	; ⊆
+      ))
+    (=ucs@jis		. #x2286)	; &J90-223C;
+    (=ucs@ks		. #x2286)	; &J90-223C;
+    (=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]
+    (=jis-x0213-1	. #x223C)	; &I-JX1-223C; [02-28]
+    (=jef-china3	. #x7FD2)	; &I-JC3-7FD2;
+    (<-fullwidth
+     ((name		  . "SUBSET OF OR EQUAL TO")
+      (=ucs		  . #x2286)	; ⊆
+      ))
+    ))
+(define-char
   '((name		. "SUPERSET OF OR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0208-1983	. #x223D)	; ø»†’‚
-    (korean-ksc5601	. #x2177)	; ø»ˆ›¢
-    (=jis-x0208-1990	. #x223D)	; ø½‰·¶
-    (=jef-china3	. #x7FD3)	; øº‡¿“
     (=ucs		. #x2287)	; ⊇
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "SUPERSET OF OR EQUAL TO")
+      (=ucs		  . #x2287)	; ⊇
+      ))
+    (=ucs@jis		. #x2287)	; &J90-223D;
+    (=ucs@ks		. #x2287)	; &J90-223D;
+    (=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]
+    (=jis-x0213-1	. #x223D)	; &I-JX1-223D; [02-29]
+    (=jef-china3	. #x7FD3)	; &I-JC3-7FD3;
+    (<-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
@@ -1179,7 +2150,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
@@ -1187,18 +2164,40 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0213-1-2000	. #x2244)	; ø»¢”½
     (=ucs		. #x228A)	; ⊊
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "SUBSET OF WITH NOT EQUAL TO")
+      (=ucs		  . #x228A)	; ⊊
+      ))
+    (=ucs@jis		. #x228A)	; &JX1-2244;
+    (=jis-x0213-1	. #x2244)	; &JX1-2244; [02-36]
+    (<-fullwidth
+     ((name		  . "SUBSET OF WITH NOT EQUAL TO")
+      (=ucs		  . #x228A)	; ⊊
+      ))
+    ))
+(define-char
   '((name		. "SUPERSET OF WITH NOT EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0213-1-2000	. #x2245)	; ø»¢”¾
     (=ucs		. #x228B)	; ⊋
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "SUPERSET OF WITH NOT EQUAL TO")
+      (=ucs		  . #x228B)	; ⊋
+      ))
+    (=ucs@jis		. #x228B)	; &JX1-2245;
+    (=jis-x0213-1	. #x2245)	; &JX1-2245; [02-37]
+    (<-fullwidth
+     ((name		  . "SUPERSET OF WITH NOT EQUAL TO")
+      (=ucs		  . #x228B)	; ⊋
+      ))
+    ))
+(define-char
   '((name		. "MULTISET")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -1266,28 +2265,63 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-cns11643-1 . #x2253)	; ø»‘„¬
-    (=jis-x0213-1-2000	. #x2251)	; ø»¢•Š
-    (chinese-big5	. #xA1F2)	; ý¢€Š‡²
     (=ucs		. #x2295)	; ⊕
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "CIRCLED PLUS")
+      (=ucs		  . #x2295)	; ⊕
+      ))
+    (=ucs@cns		. #x2295)	; &JX1-2251;
+    (=ucs@jis		. #x2295)	; &JX1-2251;
+    (=ucs@big5		. #x2295)	; &JX1-2251;
+    (=cns11643-1	. #x2253)	; &JX1-2251; [02-51]
+    (=jis-x0213-1	. #x2251)	; &I-JX1-2251; [02-49]
+    (=big5		. #xA1F2)	; &I-B-A1F2;
+    (<-fullwidth
+     ((name		  . "CIRCLED PLUS")
+      (=ucs		  . #x2295)	; ⊕
+      ))
+    ))
+(define-char
   '((name		. "CIRCLED MINUS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (=jis-x0213-1-2000	. #x2252)	; ø»¢•‹
     (=ucs		. #x2296)	; ⊖
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "CIRCLED MINUS")
+      (=ucs		  . #x2296)	; ⊖
+      ))
+    (=ucs@jis		. #x2296)	; &JX1-2252;
+    (=jis-x0213-1	. #x2252)	; &JX1-2252; [02-50]
+    (<-fullwidth
+     ((name		  . "CIRCLED MINUS")
+      (=ucs		  . #x2296)	; ⊖
+      ))
+    ))
+(define-char
   '((name		. "CIRCLED TIMES")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (=jis-x0213-1-2000	. #x2253)	; ø»¢•Œ
     (=ucs		. #x2297)	; ⊗
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "CIRCLED TIMES")
+      (=ucs		  . #x2297)	; ⊗
+      ))
+    (=ucs@jis		. #x2297)	; &JX1-2253;
+    (=jis-x0213-1	. #x2253)	; &JX1-2253; [02-51]
+    (<-fullwidth
+     ((name		  . "CIRCLED TIMES")
+      (=ucs		  . #x2297)	; ⊗
+      ))
+    ))
+(define-char
   '((name		. "CIRCLED DIVISION SLASH")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -1299,13 +2333,27 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x2151)	; ø»„†´
-    (korean-ksc5601	. #x2241)	; ø»ˆœŠ
-    (chinese-cns11643-1 . #x2254)	; ø»‘„­
-    (chinese-big5	. #xA1F3)	; ý¢€Š‡³
     (=ucs		. #x2299)	; ⊙
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "CIRCLED DOT OPERATOR")
+      (=ucs		  . #x2299)	; ⊙
+      ))
+    (=ucs@gb		. #x2299)	; &C1-2254;
+    (=ucs@cns		. #x2299)	; &C1-2254;
+    (=ucs@ks		. #x2299)	; &C1-2254;
+    (=ucs@big5		. #x2299)	; &C1-2254;
+    (=gb2312		. #x2151)	; &C1-2254; [01-49]
+    (=ks-x1001		. #x2241)	; &I-K0-2241; [02-33]
+    (=cns11643-1	. #x2254)	; &I-C1-2254; [02-52]
+    (=big5		. #xA1F3)	; &I-B-A1F3;
+    (<-fullwidth
+     ((name		  . "CIRCLED DOT OPERATOR")
+      (=ucs		  . #x2299)	; ⊙
+      ))
+    ))
+(define-char
   '((name		. "CIRCLED RING OPERATOR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -1387,15 +2435,31 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x214D)	; ø»„†°
-    (=jis-x0208-1983	. #x225D)	; ø»†’¢
-    (korean-ksc5601	. #x2151)	; ø»ˆš¼
-    (chinese-cns11643-1 . #x2247)	; ø»‘„ 
-    (=jis-x0208-1990	. #x225D)	; ø½‰¸–
-    (chinese-big5	. #xA1E6)	; ý¢€Š‡¦
     (=ucs		. #x22A5)	; ⊥
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "UP TACK")
+      (=ucs		  . #x22A5)	; ⊥
+      ))
+    (=ucs@gb		. #x22A5)	; &J90-225D;
+    (=ucs@cns		. #x22A5)	; &J90-225D;
+    (=ucs@jis		. #x22A5)	; &J90-225D;
+    (=ucs@ks		. #x22A5)	; &J90-225D;
+    (=ucs@big5		. #x22A5)	; &J90-225D;
+    (=gb2312		. #x214D)	; &J90-225D; [01-45]
+    (=jis-x0208@1983	. #x225D)	; &I-J83-225D; [02-61]
+    (=ks-x1001		. #x2151)	; &I-K0-2151; [01-49]
+    (=jis-x0208@1990	. #x225D)	; &I-J90-225D; [02-61]
+    (=cns11643-1	. #x2247)	; &I-C1-2247; [02-39]
+    (=jis-x0213-1	. #x225D)	; &I-JX1-225D; [02-61]
+    (=big5		. #xA1E6)	; &I-B-A1E6;
+    (<-fullwidth
+     ((name		  . "UP TACK")
+      (=ucs		  . #x22A5)	; ⊥
+      ))
+    ))
+(define-char
   '((name		. "ASSERTION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -1442,7 +2506,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
@@ -1450,7 +2520,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
@@ -1458,7 +2534,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
@@ -1466,7 +2548,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
@@ -1579,17 +2667,29 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-cns11643-1 . #x224A)	; ø»‘„£
-    (=jis-x0213-1-2000	. #x2D79)	; ø»¢¥¼
-    (chinese-big5	. #xA1E9)	; ý¢€Š‡©
     (=ucs		. #x22BF)	; ⊿
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "RIGHT TRIANGLE")
+      (=ucs		  . #x22BF)	; ⊿
+      ))
+    (=ucs@cns		. #x22BF)	; &JX1-2D79;
+    (=ucs@jis		. #x22BF)	; &JX1-2D79;
+    (=ucs@big5		. #x22BF)	; &JX1-2D79;
+    (=cns11643-1	. #x224A)	; &JX1-2D79; [02-42]
+    (=jis-x0213-1	. #x2D79)	; &I-JX1-2D79; [13-89]
+    (=big5		. #xA1E9)	; &I-B-A1E9;
+    (<-fullwidth
+     ((name		  . "RIGHT TRIANGLE")
+      (=ucs		  . #x22BF)	; ⊿
+      ))
+    ))
+(define-char
   '((name		. "N-ARY LOGICAL AND")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (=jef-china3	. #x7FD8)	; øº‡¿˜
     (=ucs		. #x22C0)	; ⋀
     ))
 (define-char
@@ -1597,7 +2697,6 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (=jef-china3	. #x7FD9)	; øº‡¿™
     (=ucs		. #x22C1)	; ⋁
     ))
 (define-char
@@ -1605,7 +2704,6 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (=jef-china3	. #x7FD7)	; øº‡¿—
     (=ucs		. #x22C2)	; ⋂
     ))
 (define-char
@@ -1613,7 +2711,6 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (=jef-china3	. #x7FD6)	; øº‡¿–
     (=ucs		. #x22C3)	; ⋃
     ))
 (define-char
@@ -1775,18 +2872,40 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0213-1-2000	. #x2776)	; ø»¢…
     (=ucs		. #x22DA)	; ⋚
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "LESS-THAN EQUAL TO OR GREATER-THAN")
+      (=ucs		  . #x22DA)	; ⋚
+      ))
+    (=ucs@jis		. #x22DA)	; &JX1-2776;
+    (=jis-x0213-1	. #x2776)	; &JX1-2776; [07-86]
+    (<-fullwidth
+     ((name		  . "LESS-THAN EQUAL TO OR GREATER-THAN")
+      (=ucs		  . #x22DA)	; ⋚
+      ))
+    ))
+(define-char
   '((name		. "GREATER-THAN EQUAL TO OR LESS-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (=jis-x0213-1-2000	. #x2777)	; ø»¢†
     (=ucs		. #x22DB)	; ⋛
     ))
 (define-char
+  '((<-denotational
+     ((name		  . "GREATER-THAN EQUAL TO OR LESS-THAN")
+      (=ucs		  . #x22DB)	; ⋛
+      ))
+    (=ucs@jis		. #x22DB)	; &JX1-2777;
+    (=jis-x0213-1	. #x2777)	; &JX1-2777; [07-87]
+    (<-fullwidth
+     ((name		  . "GREATER-THAN EQUAL TO OR LESS-THAN")
+      (=ucs		  . #x22DB)	; ⋛
+      ))
+    ))
+(define-char
   '((name		. "EQUAL TO OR LESS-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
@@ -1819,7 +2938,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
@@ -1827,7 +2952,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
@@ -1835,7 +2966,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
@@ -1843,7 +2980,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
@@ -1893,7 +3036,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
@@ -1901,7 +3050,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
@@ -1909,7 +3064,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
@@ -1917,7 +3078,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