X-Git-Url: http://git.chise.org/gitweb/?a=blobdiff_plain;f=lisp%2Futf-2000%2Fu02200-Mathematical-Operators.el;h=264b71250d380b361ebeb1b28f0188aaf77f4915;hb=60394efc79f8db484482b85ae5ab793b68b7048b;hp=079b4cd35ded1d514039f24636812526ce80f87f;hpb=f6a4b14e280d8624421c7ef2d5ba79fa48c5f716;p=chise%2Fxemacs-chise.git

diff --git a/lisp/utf-2000/u02200-Mathematical-Operators.el b/lisp/utf-2000/u02200-Mathematical-Operators.el
index 079b4cd..264b712 100644
--- a/lisp/utf-2000/u02200-Mathematical-Operators.el
+++ b/lisp/utf-2000/u02200-Mathematical-Operators.el
@@ -3,40 +3,40 @@
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0208		. #x224F)	; ø»†’”
-    (korean-ksc5601		. #x2223)	; ø»ˆ›¬
-    (japanese-jisx0208-1990	. #x224F)	; ø½‰¸ˆ
-    (china3-jef			. #x7FDC)	; øº‡¿œ
-    (ucs			. #x2200)	; ∀
+    (=jis-x0208-1983	. #x224F)	; ø»†’”
+    (=ks-x1001		. #x2223)	; ø»ˆ›¬
+    (=jis-x0208-1990	. #x224F)	; ø½‰¸ˆ
+    (=jef-china3	. #x7FDC)	; øº‡¿œ
+    (=ucs		. #x2200)	; ∀
     ))
 (define-char
   '((name		. "COMPLEMENT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2201)	; ∁
+    (=ucs		. #x2201)	; ∁
     ))
 (define-char
   '((name		. "PARTIAL DIFFERENTIAL")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208		. #x225F)	; ø»†’¤
-    (korean-ksc5601		. #x2153)	; ø»ˆš¾
-    (japanese-jisx0208-1990	. #x225F)	; ø½‰¸˜
-    (china3-jef			. #x7FE1)	; øº‡¿¡
-    (ucs			. #x2202)	; ∂
+    (=jis-x0208-1983	. #x225F)	; ø»†’¤
+    (=ks-x1001		. #x2153)	; ø»ˆš¾
+    (=jis-x0208-1990	. #x225F)	; ø½‰¸˜
+    (=jef-china3	. #x7FE1)	; øº‡¿¡
+    (=ucs		. #x2202)	; ∂
     ))
 (define-char
   '((name		. "THERE EXISTS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208		. #x2250)	; ø»†’•
-    (korean-ksc5601		. #x2224)	; ø»ˆ›­
-    (japanese-jisx0208-1990	. #x2250)	; ø½‰¸‰
-    (china3-jef			. #x7FDD)	; øº‡¿
-    (ucs			. #x2203)	; ∃
+    (=jis-x0208-1983	. #x2250)	; ø»†’•
+    (=ks-x1001		. #x2224)	; ø»ˆ›­
+    (=jis-x0208-1990	. #x2250)	; ø½‰¸‰
+    (=jef-china3	. #x7FDD)	; øº‡¿
+    (=ucs		. #x2203)	; ∃
     ))
 (define-char
   '((name		. "THERE DOES NOT EXIST")
@@ -44,45 +44,45 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2203 #x0338)
-    (ucs		. #x2204)	; ∄
+    (=ucs		. #x2204)	; ∄
     ))
 (define-char
   '((name		. "EMPTY SET")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0213-1	. #x2247)	; ø»¢•€
-    (ucs			. #x2205)	; ∅
+    (=jis-x0213-1-2000	. #x2247)	; ø»¢•€
+    (=ucs		. #x2205)	; ∅
     ))
 (define-char
   '((name		. "INCREMENT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2206)	; ∆
+    (=ucs		. #x2206)	; ∆
     ))
 (define-char
   '((name		. "NABLA")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0208		. #x2260)	; ø»†’¥
-    (korean-ksc5601		. #x2154)	; ø»ˆš¿
-    (japanese-jisx0208-1990	. #x2260)	; ø½‰¸™
-    (china3-jef			. #x7FE2)	; øº‡¿¢
-    (ucs			. #x2207)	; ∇
+    (=jis-x0208-1983	. #x2260)	; ø»†’¥
+    (=ks-x1001		. #x2154)	; ø»ˆš¿
+    (=jis-x0208-1990	. #x2260)	; ø½‰¸™
+    (=jef-china3	. #x7FE2)	; øº‡¿¢
+    (=ucs		. #x2207)	; ∇
     ))
 (define-char
   '((name		. "ELEMENT OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312		. #x214A)	; ø»„†­
-    (japanese-jisx0208		. #x223A)	; ø»†‘¿
-    (korean-ksc5601		. #x2174)	; ø»ˆ›Ÿ
-    (japanese-jisx0208-1990	. #x223A)	; ø½‰·³
-    (china3-jef			. #x7FD0)	; øº‡¿
-    (ucs			. #x2208)	; ∈
+    (=gb2312		. #x214A)	; ø»„†­
+    (=jis-x0208-1983	. #x223A)	; ø»†‘¿
+    (=ks-x1001		. #x2174)	; ø»ˆ›Ÿ
+    (=jis-x0208-1990	. #x223A)	; ø½‰·³
+    (=jef-china3	. #x7FD0)	; øº‡¿
+    (=ucs		. #x2208)	; ∈
     ))
 (define-char
   '((name		. "NOT AN ELEMENT OF")
@@ -90,26 +90,26 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2208 #x0338)
-    (japanese-jisx0213-1	. #x2246)	; ø»¢”¿
-    (ucs			. #x2209)	; ∉
+    (=jis-x0213-1-2000	. #x2246)	; ø»¢”¿
+    (=ucs		. #x2209)	; ∉
     ))
 (define-char
   '((name		. "SMALL ELEMENT OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x220A)	; ∊
+    (=ucs		. #x220A)	; ∊
     ))
 (define-char
   '((name		. "CONTAINS AS MEMBER")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208		. #x223B)	; ø»†’€
-    (korean-ksc5601		. #x2175)	; ø»ˆ› 
-    (japanese-jisx0208-1990	. #x223B)	; ø½‰·´
-    (china3-jef			. #x7FD1)	; øº‡¿‘
-    (ucs			. #x220B)	; ∋
+    (=jis-x0208-1983	. #x223B)	; ø»†’€
+    (=ks-x1001		. #x2175)	; ø»ˆ› 
+    (=jis-x0208-1990	. #x223B)	; ø½‰·´
+    (=jef-china3	. #x7FD1)	; øº‡¿‘
+    (=ucs		. #x220B)	; ∋
     ))
 (define-char
   '((name		. "DOES NOT CONTAIN AS MEMBER")
@@ -117,207 +117,203 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x220B #x0338)
-    (ucs		. #x220C)	; ∌
+    (=ucs		. #x220C)	; ∌
     ))
 (define-char
   '((name		. "SMALL CONTAINS AS MEMBER")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x220D)	; ∍
+    (=ucs		. #x220D)	; ∍
     ))
 (define-char
   '((name		. "END OF PROOF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x220E)	; ∎
+    (=ucs		. #x220E)	; ∎
     ))
 (define-char
   '((name		. "N-ARY PRODUCT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x2147)	; ø»„†ª
-    (korean-ksc5601	. #x2233)	; ø»ˆ›¼
-    (ucs		. #x220F)	; ∏
+    (=gb2312		. #x2147)	; ø»„†ª
+    (=ks-x1001		. #x2233)	; ø»ˆ›¼
+    (=ucs		. #x220F)	; ∏
     ))
 (define-char
   '((name		. "N-ARY COPRODUCT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2210)	; ∐
+    (=ucs		. #x2210)	; ∐
     ))
 (define-char
   '((name		. "N-ARY SUMMATION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x2146)	; ø»„†©
-    (korean-ksc5601	. #x2232)	; ø»ˆ›»
-    (ucs		. #x2211)	; ∑
+    (=gb2312		. #x2146)	; ø»„†©
+    (=ks-x1001		. #x2232)	; ø»ˆ›»
+    (=ucs		. #x2211)	; ∑
     ))
 (define-char
   '((name		. "MINUS SIGN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ET")
     (mirrored		. nil)
-    (japanese-jisx0208-1978	. #x215D)	; ø»¼¼
-    (japanese-jisx0208		. #x215D)	; ø»†‘„
-    (japanese-jisx0208-1990	. #x215D)	; ø½‰¶¸
-    (ucs			. #x2212)	; −
+    (=jis-x0208		. #x215D)	; ø½‰¶¸
+    (=ucs		. #x2212)	; −
     ))
 (define-char
   '((name		. "MINUS-OR-PLUS SIGN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ET")
     (mirrored		. nil)
-    (japanese-jisx0213-1	. #x235B)	; ø»¢–²
-    (ucs			. #x2213)	; ∓
+    (=jis-x0213-1-2000	. #x235B)	; ø»¢–²
+    (=ucs		. #x2213)	; ∓
     ))
 (define-char
   '((name		. "DOT PLUS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2214)	; ∔
+    (=ucs		. #x2214)	; ∔
     ))
 (define-char
   '((name		. "DIVISION SLASH")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-cns11643-1 . #x2261)	; ø»‘„º
-    (chinese-big5	. #xA241)	; ý¢€Š‰
-    (ucs		. #x2215)	; ∕
+    (=cns11643-1	. #x2261)	; ø»‘„º
+    (=big5		. #xA241)	; ý¢€Š‰
+    (=ucs		. #x2215)	; ∕
     ))
 (define-char
   '((name		. "SET MINUS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2216)	; ∖
+    (=ucs		. #x2216)	; ∖
     ))
 (define-char
   '((name		. "ASTERISK OPERATOR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2217)	; ∗
+    (=ucs		. #x2217)	; ∗
     ))
 (define-char
   '((name		. "RING OPERATOR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2218)	; ∘
+    (=ucs		. #x2218)	; ∘
     ))
 (define-char
   '((name		. "BULLET OPERATOR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2219)	; ∙
+    (=ucs		. #x2219)	; ∙
     ))
 (define-char
   '((name		. "SQUARE ROOT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312		. #x214C)	; ø»„†¯
-    (japanese-jisx0208		. #x2265)	; ø»†’ª
-    (korean-ksc5601		. #x216E)	; ø»ˆ›™
-    (chinese-cns11643-1		. #x2235)	; ø»‘„Ž
-    (japanese-jisx0208-1990	. #x2265)	; ø½‰¸ž
-    (chinese-big5		. #xA1D4)	; ý¢€Š‡”
-    (ucs			. #x221A)	; √
+    (=gb2312		. #x214C)	; ø»„†¯
+    (=jis-x0208-1983	. #x2265)	; ø»†’ª
+    (=ks-x1001		. #x216E)	; ø»ˆ›™
+    (=cns11643-1	. #x2235)	; ø»‘„Ž
+    (=jis-x0208-1990	. #x2265)	; ø½‰¸ž
+    (=big5		. #xA1D4)	; ý¢€Š‡”
+    (=ucs		. #x221A)	; √
     ))
 (define-char
   '((name		. "CUBE ROOT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x221B)	; ∛
+    (=ucs		. #x221B)	; ∛
     ))
 (define-char
   '((name		. "FOURTH ROOT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x221C)	; ∜
+    (=ucs		. #x221C)	; ∜
     ))
 (define-char
   '((name		. "PROPORTIONAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312		. #x2158)	; ø»„†»
-    (japanese-jisx0208		. #x2267)	; ø»†’¬
-    (korean-ksc5601		. #x2170)	; ø»ˆ››
-    (japanese-jisx0208-1990	. #x2267)	; ø½‰¸ 
-    (china3-jef			. #x7FE7)	; øº‡¿§
-    (ucs			. #x221D)	; ∝
+    (=gb2312		. #x2158)	; ø»„†»
+    (=jis-x0208-1983	. #x2267)	; ø»†’¬
+    (=ks-x1001		. #x2170)	; ø»ˆ››
+    (=jis-x0208-1990	. #x2267)	; ø½‰¸ 
+    (=jef-china3	. #x7FE7)	; øº‡¿§
+    (=ucs		. #x221D)	; ∝
     ))
 (define-char
   '((name		. "INFINITY")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0208-1978	. #x2167)	; ø»½†
-    (chinese-gb2312		. #x215E)	; ø»„‡
-    (japanese-jisx0208		. #x2167)	; ø»†‘Ž
-    (korean-ksc5601		. #x2144)	; ø»ˆš¯
-    (chinese-cns11643-1		. #x223C)	; ø»‘„•
-    (japanese-jisx0208-1990	. #x2167)	; ø½‰·‚
-    (chinese-big5		. #xA1DB)	; ý¢€Š‡›
-    (ucs			. #x221E)	; ∞
+    (=gb2312		. #x215E)	; ø»„‡
+    (=jis-x0208		. #x2167)	; ø½‰·‚
+    (=ks-x1001		. #x2144)	; ø»ˆš¯
+    (=cns11643-1	. #x223C)	; ø»‘„•
+    (=big5		. #xA1DB)	; ý¢€Š‡›
+    (=ucs		. #x221E)	; ∞
     ))
 (define-char
   '((name		. "RIGHT ANGLE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-cns11643-1		. #x2249)	; ø»‘„¢
-    (japanese-jisx0213-1	. #x2D78)	; ø»¢¥»
-    (chinese-big5		. #xA1E8)	; ý¢€Š‡¨
-    (ucs			. #x221F)	; ∟
+    (=cns11643-1	. #x2249)	; ø»‘„¢
+    (=jis-x0213-1-2000	. #x2D78)	; ø»¢¥»
+    (=big5		. #xA1E8)	; ý¢€Š‡¨
+    (=ucs		. #x221F)	; ∟
     ))
 (define-char
   '((name		. "ANGLE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312		. #x214F)	; ø»„†²
-    (japanese-jisx0208		. #x225C)	; ø»†’¡
-    (korean-ksc5601		. #x2150)	; ø»ˆš»
-    (chinese-cns11643-1		. #x2248)	; ø»‘„¡
-    (japanese-jisx0208-1990	. #x225C)	; ø½‰¸•
-    (chinese-big5		. #xA1E7)	; ý¢€Š‡§
-    (china3-jef			. #x7FDE)	; øº‡¿ž
-    (ucs			. #x2220)	; ∠
+    (=gb2312		. #x214F)	; ø»„†²
+    (=jis-x0208-1983	. #x225C)	; ø»†’¡
+    (=ks-x1001		. #x2150)	; ø»ˆš»
+    (=cns11643-1	. #x2248)	; ø»‘„¡
+    (=jis-x0208-1990	. #x225C)	; ø½‰¸•
+    (=big5		. #xA1E7)	; ý¢€Š‡§
+    (=jef-china3	. #x7FDE)	; øº‡¿ž
+    (=ucs		. #x2220)	; ∠
     ))
 (define-char
   '((name		. "MEASURED ANGLE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2221)	; ∡
+    (=ucs		. #x2221)	; ∡
     ))
 (define-char
   '((name		. "SPHERICAL ANGLE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2222)	; ∢
+    (=ucs		. #x2222)	; ∢
     ))
 (define-char
   '((name		. "DIVIDES")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-big5	. #xA1FD)	; ý¢€Š‡½
-    (ucs		. #x2223)	; ∣
+    (=big5		. #xA1FD)	; ý¢€Š‡½
+    (=ucs		. #x2223)	; ∣
     ))
 (define-char
   '((name		. "DOES NOT DIVIDE")
@@ -325,18 +321,18 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2223 #x0338)
-    (ucs		. #x2224)	; ∤
+    (=ucs		. #x2224)	; ∤
     ))
 (define-char
   '((name		. "PARALLEL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312		. #x214E)	; ø»„†±
-    (korean-ksc5601		. #x212B)	; ø»ˆš–
-    (japanese-jisx0213-1	. #x2254)	; ø»¢•
-    (chinese-big5		. #xA1FC)	; ý¢€Š‡¼
-    (ucs			. #x2225)	; ∥
+    (=gb2312		. #x214E)	; ø»„†±
+    (=ks-x1001		. #x212B)	; ø»ˆš–
+    (=jis-x0213-1-2000	. #x2254)	; ø»¢•
+    (=big5		. #xA1FC)	; ý¢€Š‡¼
+    (=ucs		. #x2225)	; ∥
     ))
 (define-char
   '((name		. "NOT PARALLEL TO")
@@ -344,70 +340,70 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2225 #x0338)
-    (japanese-jisx0213-1	. #x2255)	; ø»¢•Ž
-    (ucs			. #x2226)	; ∦
+    (=jis-x0213-1-2000	. #x2255)	; ø»¢•Ž
+    (=ucs		. #x2226)	; ∦
     ))
 (define-char
   '((name		. "LOGICAL AND")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312		. #x2144)	; ø»„†§
-    (japanese-jisx0208		. #x224A)	; ø»†’
-    (korean-ksc5601		. #x217C)	; ø»ˆ›§
-    (japanese-jisx0208-1990	. #x224A)	; ø½‰¸ƒ
-    (ucs			. #x2227)	; ∧
+    (=gb2312		. #x2144)	; ø»„†§
+    (=jis-x0208-1983	. #x224A)	; ø»†’
+    (=ks-x1001		. #x217C)	; ø»ˆ›§
+    (=jis-x0208-1990	. #x224A)	; ø½‰¸ƒ
+    (=ucs		. #x2227)	; ∧
     ))
 (define-char
   '((name		. "LOGICAL OR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312		. #x2145)	; ø»„†¨
-    (japanese-jisx0208		. #x224B)	; ø»†’
-    (korean-ksc5601		. #x217D)	; ø»ˆ›¨
-    (japanese-jisx0208-1990	. #x224B)	; ø½‰¸„
-    (ucs			. #x2228)	; ∨
+    (=gb2312		. #x2145)	; ø»„†¨
+    (=jis-x0208-1983	. #x224B)	; ø»†’
+    (=ks-x1001		. #x217D)	; ø»ˆ›¨
+    (=jis-x0208-1990	. #x224B)	; ø½‰¸„
+    (=ucs		. #x2228)	; ∨
     ))
 (define-char
   '((name		. "INTERSECTION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312		. #x2149)	; ø»„†¬
-    (japanese-jisx0208		. #x2241)	; ø»†’†
-    (korean-ksc5601		. #x217B)	; ø»ˆ›¦
-    (chinese-cns11643-1		. #x2245)	; ø»‘„ž
-    (japanese-jisx0208-1990	. #x2241)	; ø½‰·º
-    (chinese-big5		. #xA1E4)	; ý¢€Š‡¤
-    (ucs			. #x2229)	; ∩
+    (=gb2312		. #x2149)	; ø»„†¬
+    (=jis-x0208-1983	. #x2241)	; ø»†’†
+    (=ks-x1001		. #x217B)	; ø»ˆ›¦
+    (=cns11643-1	. #x2245)	; ø»‘„ž
+    (=jis-x0208-1990	. #x2241)	; ø½‰·º
+    (=big5		. #xA1E4)	; ý¢€Š‡¤
+    (=ucs		. #x2229)	; ∩
     ))
 (define-char
   '((name		. "UNION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312		. #x2148)	; ø»„†«
-    (japanese-jisx0208		. #x2240)	; ø»†’…
-    (korean-ksc5601		. #x217A)	; ø»ˆ›¥
-    (chinese-cns11643-1		. #x2246)	; ø»‘„Ÿ
-    (japanese-jisx0208-1990	. #x2240)	; ø½‰·¹
-    (chinese-big5		. #xA1E5)	; ý¢€Š‡¥
-    (ucs			. #x222A)	; ∪
+    (=gb2312		. #x2148)	; ø»„†«
+    (=jis-x0208-1983	. #x2240)	; ø»†’…
+    (=ks-x1001		. #x217A)	; ø»ˆ›¥
+    (=cns11643-1	. #x2246)	; ø»‘„Ÿ
+    (=jis-x0208-1990	. #x2240)	; ø½‰·¹
+    (=big5		. #xA1E5)	; ý¢€Š‡¥
+    (=ucs		. #x222A)	; ∪
     ))
 (define-char
   '((name		. "INTEGRAL")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312		. #x2152)	; ø»„†µ
-    (japanese-jisx0208		. #x2269)	; ø»†’®
-    (korean-ksc5601		. #x2172)	; ø»ˆ›
-    (chinese-cns11643-1		. #x224D)	; ø»‘„¦
-    (japanese-jisx0208-1990	. #x2269)	; ø½‰¸¢
-    (chinese-big5		. #xA1EC)	; ý¢€Š‡¬
-    (china3-jef			. #x7FE8)	; øº‡¿¨
-    (ucs			. #x222B)	; ∫
+    (=gb2312		. #x2152)	; ø»„†µ
+    (=jis-x0208-1983	. #x2269)	; ø»†’®
+    (=ks-x1001		. #x2172)	; ø»ˆ›
+    (=cns11643-1	. #x224D)	; ø»‘„¦
+    (=jis-x0208-1990	. #x2269)	; ø½‰¸¢
+    (=big5		. #xA1EC)	; ý¢€Š‡¬
+    (=jef-china3	. #x7FE8)	; øº‡¿¨
+    (=ucs		. #x222B)	; ∫
     ))
 (define-char
   '((name		. "DOUBLE INTEGRAL")
@@ -415,11 +411,11 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	compat #x222B #x222B)
-    (japanese-jisx0208		. #x226A)	; ø»†’¯
-    (korean-ksc5601		. #x2173)	; ø»ˆ›ž
-    (japanese-jisx0208-1990	. #x226A)	; ø½‰¸£
-    (china3-jef			. #x7FE9)	; øº‡¿©
-    (ucs			. #x222C)	; ∬
+    (=jis-x0208-1983	. #x226A)	; ø»†’¯
+    (=ks-x1001		. #x2173)	; ø»ˆ›ž
+    (=jis-x0208-1990	. #x226A)	; ø½‰¸£
+    (=jef-china3	. #x7FE9)	; øº‡¿©
+    (=ucs		. #x222C)	; ∬
     ))
 (define-char
   '((name		. "TRIPLE INTEGRAL")
@@ -427,19 +423,19 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	compat #x222B #x222B #x222B)
-    (ucs		. #x222D)	; ∭
+    (=ucs		. #x222D)	; ∭
     ))
 (define-char
   '((name		. "CONTOUR INTEGRAL")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312		. #x2153)	; ø»„†¶
-    (korean-ksc5601		. #x2231)	; ø»ˆ›º
-    (chinese-cns11643-1		. #x224E)	; ø»‘„§
-    (japanese-jisx0213-1	. #x2D73)	; ø»¢¥¶
-    (chinese-big5		. #xA1ED)	; ý¢€Š‡­
-    (ucs			. #x222E)	; ∮
+    (=gb2312		. #x2153)	; ø»„†¶
+    (=ks-x1001		. #x2231)	; ø»ˆ›º
+    (=cns11643-1	. #x224E)	; ø»‘„§
+    (=jis-x0213-1-2000	. #x2D73)	; ø»¢¥¶
+    (=big5		. #xA1ED)	; ý¢€Š‡­
+    (=ucs		. #x222E)	; ∮
     ))
 (define-char
   '((name		. "SURFACE INTEGRAL")
@@ -447,7 +443,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	compat #x222E #x222E)
-    (ucs		. #x222F)	; ∯
+    (=ucs		. #x222F)	; ∯
     ))
 (define-char
   '((name		. "VOLUME INTEGRAL")
@@ -455,110 +451,108 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	compat #x222E #x222E #x222E)
-    (ucs		. #x2230)	; ∰
+    (=ucs		. #x2230)	; ∰
     ))
 (define-char
   '((name		. "CLOCKWISE INTEGRAL")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2231)	; ∱
+    (=ucs		. #x2231)	; ∱
     ))
 (define-char
   '((name		. "CLOCKWISE CONTOUR INTEGRAL")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2232)	; ∲
+    (=ucs		. #x2232)	; ∲
     ))
 (define-char
   '((name		. "ANTICLOCKWISE CONTOUR INTEGRAL")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2233)	; ∳
+    (=ucs		. #x2233)	; ∳
     ))
 (define-char
   '((name		. "THEREFORE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0208-1978	. #x2168)	; ø»½‡
-    (chinese-gb2312		. #x2160)	; ø»„‡ƒ
-    (japanese-jisx0208		. #x2168)	; ø»†‘
-    (korean-ksc5601		. #x2145)	; ø»ˆš°
-    (chinese-cns11643-1		. #x2250)	; ø»‘„©
-    (japanese-jisx0208-1990	. #x2168)	; ø½‰·ƒ
-    (chinese-big5		. #xA1EF)	; ý¢€Š‡¯
-    (ucs			. #x2234)	; ∴
+    (=gb2312		. #x2160)	; ø»„‡ƒ
+    (=jis-x0208		. #x2168)	; ø½‰·ƒ
+    (=ks-x1001		. #x2145)	; ø»ˆš°
+    (=cns11643-1	. #x2250)	; ø»‘„©
+    (=big5		. #xA1EF)	; ý¢€Š‡¯
+    (=ucs		. #x2234)	; ∴
     ))
 (define-char
   '((name		. "BECAUSE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312		. #x215F)	; ø»„‡‚
-    (japanese-jisx0208		. #x2268)	; ø»†’­
-    (korean-ksc5601		. #x2171)	; ø»ˆ›œ
-    (chinese-cns11643-1		. #x224F)	; ø»‘„¨
-    (japanese-jisx0208-1990	. #x2268)	; ø½‰¸¡
-    (chinese-big5		. #xA1EE)	; ý¢€Š‡®
-    (ucs			. #x2235)	; ∵
+    (=gb2312		. #x215F)	; ø»„‡‚
+    (=jis-x0208-1983	. #x2268)	; ø»†’­
+    (=ks-x1001		. #x2171)	; ø»ˆ›œ
+    (=cns11643-1	. #x224F)	; ø»‘„¨
+    (=jis-x0208-1990	. #x2268)	; ø½‰¸¡
+    (=big5		. #xA1EE)	; ý¢€Š‡®
+    (=ucs		. #x2235)	; ∵
     ))
 (define-char
   '((name		. "RATIO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x2143)	; ø»„†¦
-    (ucs		. #x2236)	; ∶
+    (=gb2312		. #x2143)	; ø»„†¦
+    (=ucs		. #x2236)	; ∶
     ))
 (define-char
   '((name		. "PROPORTION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	. #x214B)	; ø»„†®
-    (ucs		. #x2237)	; ∷
+    (=gb2312		. #x214B)	; ø»„†®
+    (=ucs		. #x2237)	; ∷
     ))
 (define-char
   '((name		. "DOT MINUS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2238)	; ∸
+    (=ucs		. #x2238)	; ∸
     ))
 (define-char
   '((name		. "EXCESS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2239)	; ∹
+    (=ucs		. #x2239)	; ∹
     ))
 (define-char
   '((name		. "GEOMETRIC PROPORTION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x223A)	; ∺
+    (=ucs		. #x223A)	; ∺
     ))
 (define-char
   '((name		. "HOMOTHETIC")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x223B)	; ∻
+    (=ucs		. #x223B)	; ∻
     ))
 (define-char
   '((name		. "TILDE OPERATOR")
     (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)	; ∼
+    (=ks-x1001		. #x212D)	; ø»ˆš˜
+    (=cns11643-1	. #x2244)	; ø»‘„
+    (=big5		. #xA1E3)	; ý¢€Š‡£
+    (=ucs@big5		. #xFF5E)	; ∼
+    (=ucs		. #x223C)	; ∼
     ))
 (define-char
   '((name		. "REVERSED TILDE")
@@ -566,33 +560,33 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (iso-10646-comment	. "lazy S")
-    (chinese-gb2312		. #x2157)	; ø»„†º
-    (japanese-jisx0208		. #x2266)	; ø»†’«
-    (korean-ksc5601		. #x216F)	; ø»ˆ›š
-    (japanese-jisx0208-1990	. #x2266)	; ø½‰¸Ÿ
-    (china3-jef			. #x7FE6)	; øº‡¿¦
-    (ucs			. #x223D)	; ∽
+    (=gb2312		. #x2157)	; ø»„†º
+    (=jis-x0208-1983	. #x2266)	; ø»†’«
+    (=ks-x1001		. #x216F)	; ø»ˆ›š
+    (=jis-x0208-1990	. #x2266)	; ø½‰¸Ÿ
+    (=jef-china3	. #x7FE6)	; øº‡¿¦
+    (=ucs		. #x223D)	; ∽
     ))
 (define-char
   '((name		. "INVERTED LAZY S")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x223E)	; ∾
+    (=ucs		. #x223E)	; ∾
     ))
 (define-char
   '((name		. "SINE WAVE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x223F)	; ∿
+    (=ucs		. #x223F)	; ∿
     ))
 (define-char
   '((name		. "WREATH PRODUCT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2240)	; ≀
+    (=ucs		. #x2240)	; ≀
     ))
 (define-char
   '((name		. "NOT TILDE")
@@ -600,22 +594,22 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x223C #x0338)
-    (ucs		. #x2241)	; ≁
+    (=ucs		. #x2241)	; ≁
     ))
 (define-char
   '((name		. "MINUS TILDE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2242)	; ≂
+    (=ucs		. #x2242)	; ≂
     ))
 (define-char
   '((name		. "ASYMPTOTICALLY EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	. #x226C)	; ø»¢•¥
-    (ucs			. #x2243)	; ≃
+    (=jis-x0213-1-2000	. #x226C)	; ø»¢•¥
+    (=ucs		. #x2243)	; ≃
     ))
 (define-char
   '((name		. "NOT ASYMPTOTICALLY EQUAL TO")
@@ -623,22 +617,22 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2243 #x0338)
-    (ucs		. #x2244)	; ≄
+    (=ucs		. #x2244)	; ≄
     ))
 (define-char
   '((name		. "APPROXIMATELY EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	. #x226D)	; ø»¢•¦
-    (ucs			. #x2245)	; ≅
+    (=jis-x0213-1-2000	. #x226D)	; ø»¢•¦
+    (=ucs		. #x2245)	; ≅
     ))
 (define-char
   '((name		. "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2246)	; ≆
+    (=ucs		. #x2246)	; ≆
     ))
 (define-char
   '((name		. "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
@@ -646,16 +640,16 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2245 #x0338)
-    (ucs		. #x2247)	; ≇
+    (=ucs		. #x2247)	; ≇
     ))
 (define-char
   '((name		. "ALMOST EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312		. #x2156)	; ø»„†¹
-    (japanese-jisx0213-1	. #x226E)	; ø»¢•§
-    (ucs			. #x2248)	; ≈
+    (=gb2312		. #x2156)	; ø»„†¹
+    (=jis-x0213-1-2000	. #x226E)	; ø»¢•§
+    (=ucs		. #x2248)	; ≈
     ))
 (define-char
   '((name		. "NOT ALMOST EQUAL TO")
@@ -663,167 +657,167 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2248 #x0338)
-    (ucs		. #x2249)	; ≉
+    (=ucs		. #x2249)	; ≉
     ))
 (define-char
   '((name		. "ALMOST EQUAL OR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x224A)	; ≊
+    (=ucs		. #x224A)	; ≊
     ))
 (define-char
   '((name		. "TRIPLE TILDE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x224B)	; ≋
+    (=ucs		. #x224B)	; ≋
     ))
 (define-char
   '((name		. "ALL EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x2155)	; ø»„†¸
-    (ucs		. #x224C)	; ≌
+    (=gb2312		. #x2155)	; ø»„†¸
+    (=ucs		. #x224C)	; ≌
     ))
 (define-char
   '((name		. "EQUIVALENT TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x224D)	; ≍
+    (=ucs		. #x224D)	; ≍
     ))
 (define-char
   '((name		. "GEOMETRICALLY EQUIVALENT TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x224E)	; ≎
+    (=ucs		. #x224E)	; ≎
     ))
 (define-char
   '((name		. "DIFFERENCE BETWEEN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x224F)	; ≏
+    (=ucs		. #x224F)	; ≏
     ))
 (define-char
   '((name		. "APPROACHES THE LIMIT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2250)	; ≐
+    (=ucs		. #x2250)	; ≐
     ))
 (define-char
   '((name		. "GEOMETRICALLY EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2251)	; ≑
+    (=ucs		. #x2251)	; ≑
     ))
 (define-char
   '((name		. "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208		. #x2262)	; ø»†’§
-    (korean-ksc5601		. #x2156)	; ø»ˆ›
-    (chinese-cns11643-1		. #x223D)	; ø»‘„–
-    (japanese-jisx0208-1990	. #x2262)	; ø½‰¸›
-    (chinese-big5		. #xA1DC)	; ý¢€Š‡œ
-    (ucs			. #x2252)	; ≒
+    (=jis-x0208-1983	. #x2262)	; ø»†’§
+    (=ks-x1001		. #x2156)	; ø»ˆ›
+    (=cns11643-1	. #x223D)	; ø»‘„–
+    (=jis-x0208-1990	. #x2262)	; ø½‰¸›
+    (=big5		. #xA1DC)	; ý¢€Š‡œ
+    (=ucs		. #x2252)	; ≒
     ))
 (define-char
   '((name		. "IMAGE OF OR APPROXIMATELY EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2253)	; ≓
+    (=ucs		. #x2253)	; ≓
     ))
 (define-char
   '((name		. "COLON EQUALS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2254)	; ≔
+    (=ucs		. #x2254)	; ≔
     ))
 (define-char
   '((name		. "EQUALS COLON")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2255)	; ≕
+    (=ucs		. #x2255)	; ≕
     ))
 (define-char
   '((name		. "RING IN EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2256)	; ≖
+    (=ucs		. #x2256)	; ≖
     ))
 (define-char
   '((name		. "RING EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2257)	; ≗
+    (=ucs		. #x2257)	; ≗
     ))
 (define-char
   '((name		. "CORRESPONDS TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2258)	; ≘
+    (=ucs		. #x2258)	; ≘
     ))
 (define-char
   '((name		. "ESTIMATES")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2259)	; ≙
+    (=ucs		. #x2259)	; ≙
     ))
 (define-char
   '((name		. "EQUIANGULAR TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x225A)	; ≚
+    (=ucs		. #x225A)	; ≚
     ))
 (define-char
   '((name		. "STAR EQUALS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x225B)	; ≛
+    (=ucs		. #x225B)	; ≛
     ))
 (define-char
   '((name		. "DELTA EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x225C)	; ≜
+    (=ucs		. #x225C)	; ≜
     ))
 (define-char
   '((name		. "EQUAL TO BY DEFINITION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x225D)	; ≝
+    (=ucs		. #x225D)	; ≝
     ))
 (define-char
   '((name		. "MEASURED BY")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x225E)	; ≞
+    (=ucs		. #x225E)	; ≞
     ))
 (define-char
   '((name		. "QUESTIONED EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x225F)	; ≟
+    (=ucs		. #x225F)	; ≟
     ))
 (define-char
   '((name		. "NOT EQUAL TO")
@@ -831,27 +825,25 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x003D #x0338)
-    (japanese-jisx0208-1978	. #x2162)	; ø»½
-    (chinese-gb2312		. #x2159)	; ø»„†¼
-    (japanese-jisx0208		. #x2162)	; ø»†‘‰
-    (korean-ksc5601		. #x2141)	; ø»ˆš¬
-    (chinese-cns11643-1		. #x223B)	; ø»‘„”
-    (japanese-jisx0208-1990	. #x2162)	; ø½‰¶½
-    (chinese-big5		. #xA1DA)	; ý¢€Š‡š
-    (ucs			. #x2260)	; ≠
+    (=gb2312		. #x2159)	; ø»„†¼
+    (=jis-x0208		. #x2162)	; ø½‰¶½
+    (=ks-x1001		. #x2141)	; ø»ˆš¬
+    (=cns11643-1	. #x223B)	; ø»‘„”
+    (=big5		. #xA1DA)	; ý¢€Š‡š
+    (=ucs		. #x2260)	; ≠
     ))
 (define-char
   '((name		. "IDENTICAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312		. #x2154)	; ø»„†·
-    (japanese-jisx0208		. #x2261)	; ø»†’¦
-    (korean-ksc5601		. #x2155)	; ø»ˆ›€
-    (chinese-cns11643-1		. #x223E)	; ø»‘„—
-    (japanese-jisx0208-1990	. #x2261)	; ø½‰¸š
-    (chinese-big5		. #xA1DD)	; ý¢€Š‡
-    (ucs			. #x2261)	; ≡
+    (=gb2312		. #x2154)	; ø»„†·
+    (=jis-x0208-1983	. #x2261)	; ø»†’¦
+    (=ks-x1001		. #x2155)	; ø»ˆ›€
+    (=cns11643-1	. #x223E)	; ø»‘„—
+    (=jis-x0208-1990	. #x2261)	; ø½‰¸š
+    (=big5		. #xA1DD)	; ý¢€Š‡
+    (=ucs		. #x2261)	; ≡
     ))
 (define-char
   '((name		. "NOT IDENTICAL TO")
@@ -859,100 +851,96 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2261 #x0338)
-    (japanese-jisx0213-1	. #x226B)	; ø»¢•¤
-    (ucs			. #x2262)	; ≢
+    (=jis-x0213-1-2000	. #x226B)	; ø»¢•¤
+    (=ucs		. #x2262)	; ≢
     ))
 (define-char
   '((name		. "STRICTLY EQUIVALENT TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2263)	; ≣
+    (=ucs		. #x2263)	; ≣
     ))
 (define-char
   '((name		. "LESS-THAN OR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	. #x215C)	; ø»„†¿
-    (korean-ksc5601	. #x2142)	; ø»ˆš­
-    (ucs		. #x2264)	; ≤
+    (=gb2312		. #x215C)	; ø»„†¿
+    (=ks-x1001		. #x2142)	; ø»ˆš­
+    (=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)	; ≥
+    (=gb2312		. #x215D)	; ø»„‡€
+    (=ks-x1001		. #x2143)	; ø»ˆš®
+    (=ucs		. #x2265)	; ≥
     ))
 (define-char
   '((name		. "LESS-THAN OVER EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208-1978	. #x2165)	; ø»½„
-    (japanese-jisx0208		. #x2165)	; ø»†‘Œ
-    (chinese-cns11643-1		. #x2239)	; ø»‘„’
-    (japanese-jisx0208-1990	. #x2165)	; ø½‰·€
-    (chinese-big5		. #xA1D8)	; ý¢€Š‡˜
-    (ucs			. #x2266)	; ≦
+    (=jis-x0208		. #x2165)	; ø½‰·€
+    (=cns11643-1	. #x2239)	; ø»‘„’
+    (=big5		. #xA1D8)	; ý¢€Š‡˜
+    (=ucs		. #x2266)	; ≦
     ))
 (define-char
   '((name		. "GREATER-THAN OVER EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208-1978	. #x2166)	; ø»½…
-    (japanese-jisx0208		. #x2166)	; ø»†‘
-    (chinese-cns11643-1		. #x223A)	; ø»‘„“
-    (japanese-jisx0208-1990	. #x2166)	; ø½‰·
-    (chinese-big5		. #xA1D9)	; ý¢€Š‡™
-    (ucs			. #x2267)	; ≧
+    (=jis-x0208		. #x2166)	; ø½‰·
+    (=cns11643-1	. #x223A)	; ø»‘„“
+    (=big5		. #xA1D9)	; ý¢€Š‡™
+    (=ucs		. #x2267)	; ≧
     ))
 (define-char
   '((name		. "LESS-THAN BUT NOT EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2268)	; ≨
+    (=ucs		. #x2268)	; ≨
     ))
 (define-char
   '((name		. "GREATER-THAN BUT NOT EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2269)	; ≩
+    (=ucs		. #x2269)	; ≩
     ))
 (define-char
   '((name		. "MUCH LESS-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208		. #x2263)	; ø»†’¨
-    (korean-ksc5601		. #x216C)	; ø»ˆ›—
-    (japanese-jisx0208-1990	. #x2263)	; ø½‰¸œ
-    (china3-jef			. #x7FE3)	; øº‡¿£
-    (ucs			. #x226A)	; ≪
+    (=jis-x0208-1983	. #x2263)	; ø»†’¨
+    (=ks-x1001		. #x216C)	; ø»ˆ›—
+    (=jis-x0208-1990	. #x2263)	; ø½‰¸œ
+    (=jef-china3	. #x7FE3)	; øº‡¿£
+    (=ucs		. #x226A)	; ≪
     ))
 (define-char
   '((name		. "MUCH GREATER-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208		. #x2264)	; ø»†’©
-    (korean-ksc5601		. #x216D)	; ø»ˆ›˜
-    (japanese-jisx0208-1990	. #x2264)	; ø½‰¸
-    (china3-jef			. #x7FE4)	; øº‡¿¤
-    (ucs			. #x226B)	; ≫
+    (=jis-x0208-1983	. #x2264)	; ø»†’©
+    (=ks-x1001		. #x216D)	; ø»ˆ›˜
+    (=jis-x0208-1990	. #x2264)	; ø½‰¸
+    (=jef-china3	. #x7FE4)	; øº‡¿¤
+    (=ucs		. #x226B)	; ≫
     ))
 (define-char
   '((name		. "BETWEEN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x226C)	; ≬
+    (=ucs		. #x226C)	; ≬
     ))
 (define-char
   '((name		. "NOT EQUIVALENT TO")
@@ -960,7 +948,7 @@
     (bidi-category	. "ON")
     (mirrored		. nil)
     (->decomposition	#x224D #x0338)
-    (ucs		. #x226D)	; ≭
+    (=ucs		. #x226D)	; ≭
     ))
 (define-char
   '((name		. "NOT LESS-THAN")
@@ -968,8 +956,8 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x003C #x0338)
-    (chinese-gb2312	. #x215A)	; ø»„†½
-    (ucs		. #x226E)	; ≮
+    (=gb2312		. #x215A)	; ø»„†½
+    (=ucs		. #x226E)	; ≮
     ))
 (define-char
   '((name		. "NOT GREATER-THAN")
@@ -977,8 +965,8 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x003E #x0338)
-    (chinese-gb2312	. #x215B)	; ø»„†¾
-    (ucs		. #x226F)	; ≯
+    (=gb2312		. #x215B)	; ø»„†¾
+    (=ucs		. #x226F)	; ≯
     ))
 (define-char
   '((name		. "NEITHER LESS-THAN NOR EQUAL TO")
@@ -986,7 +974,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2264 #x0338)
-    (ucs		. #x2270)	; ≰
+    (=ucs		. #x2270)	; ≰
     ))
 (define-char
   '((name		. "NEITHER GREATER-THAN NOR EQUAL TO")
@@ -994,21 +982,21 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2265 #x0338)
-    (ucs		. #x2271)	; ≱
+    (=ucs		. #x2271)	; ≱
     ))
 (define-char
   '((name		. "LESS-THAN OR EQUIVALENT TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2272)	; ≲
+    (=ucs		. #x2272)	; ≲
     ))
 (define-char
   '((name		. "GREATER-THAN OR EQUIVALENT TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2273)	; ≳
+    (=ucs		. #x2273)	; ≳
     ))
 (define-char
   '((name		. "NEITHER LESS-THAN NOR EQUIVALENT TO")
@@ -1016,7 +1004,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2272 #x0338)
-    (ucs		. #x2274)	; ≴
+    (=ucs		. #x2274)	; ≴
     ))
 (define-char
   '((name		. "NEITHER GREATER-THAN NOR EQUIVALENT TO")
@@ -1024,23 +1012,23 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2273 #x0338)
-    (ucs		. #x2275)	; ≵
+    (=ucs		. #x2275)	; ≵
     ))
 (define-char
   '((name		. "LESS-THAN OR GREATER-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	. #x226F)	; ø»¢•¨
-    (ucs			. #x2276)	; ≶
+    (=jis-x0213-1-2000	. #x226F)	; ø»¢•¨
+    (=ucs		. #x2276)	; ≶
     ))
 (define-char
   '((name		. "GREATER-THAN OR LESS-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	. #x2270)	; ø»¢•©
-    (ucs			. #x2277)	; ≷
+    (=jis-x0213-1-2000	. #x2270)	; ø»¢•©
+    (=ucs		. #x2277)	; ≷
     ))
 (define-char
   '((name		. "NEITHER LESS-THAN NOR GREATER-THAN")
@@ -1048,7 +1036,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2276 #x0338)
-    (ucs		. #x2278)	; ≸
+    (=ucs		. #x2278)	; ≸
     ))
 (define-char
   '((name		. "NEITHER GREATER-THAN NOR LESS-THAN")
@@ -1056,49 +1044,49 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2277 #x0338)
-    (ucs		. #x2279)	; ≹
+    (=ucs		. #x2279)	; ≹
     ))
 (define-char
   '((name		. "PRECEDES")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x227A)	; ≺
+    (=ucs		. #x227A)	; ≺
     ))
 (define-char
   '((name		. "SUCCEEDS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x227B)	; ≻
+    (=ucs		. #x227B)	; ≻
     ))
 (define-char
   '((name		. "PRECEDES OR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x227C)	; ≼
+    (=ucs		. #x227C)	; ≼
     ))
 (define-char
   '((name		. "SUCCEEDS OR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x227D)	; ≽
+    (=ucs		. #x227D)	; ≽
     ))
 (define-char
   '((name		. "PRECEDES OR EQUIVALENT TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x227E)	; ≾
+    (=ucs		. #x227E)	; ≾
     ))
 (define-char
   '((name		. "SUCCEEDS OR EQUIVALENT TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x227F)	; ≿
+    (=ucs		. #x227F)	; ≿
     ))
 (define-char
   '((name		. "DOES NOT PRECEDE")
@@ -1106,7 +1094,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x227A #x0338)
-    (ucs		. #x2280)	; ⊀
+    (=ucs		. #x2280)	; ⊀
     ))
 (define-char
   '((name		. "DOES NOT SUCCEED")
@@ -1114,29 +1102,29 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x227B #x0338)
-    (ucs		. #x2281)	; ⊁
+    (=ucs		. #x2281)	; ⊁
     ))
 (define-char
   '((name		. "SUBSET OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208		. #x223E)	; ø»†’ƒ
-    (korean-ksc5601		. #x2178)	; ø»ˆ›£
-    (japanese-jisx0208-1990	. #x223E)	; ø½‰··
-    (china3-jef			. #x7FD4)	; øº‡¿”
-    (ucs			. #x2282)	; ⊂
+    (=jis-x0208-1983	. #x223E)	; ø»†’ƒ
+    (=ks-x1001		. #x2178)	; ø»ˆ›£
+    (=jis-x0208-1990	. #x223E)	; ø½‰··
+    (=jef-china3	. #x7FD4)	; øº‡¿”
+    (=ucs		. #x2282)	; ⊂
     ))
 (define-char
   '((name		. "SUPERSET OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208		. #x223F)	; ø»†’„
-    (korean-ksc5601		. #x2179)	; ø»ˆ›¤
-    (japanese-jisx0208-1990	. #x223F)	; ø½‰·¸
-    (china3-jef			. #x7FD5)	; øº‡¿•
-    (ucs			. #x2283)	; ⊃
+    (=jis-x0208-1983	. #x223F)	; ø»†’„
+    (=ks-x1001		. #x2179)	; ø»ˆ›¤
+    (=jis-x0208-1990	. #x223F)	; ø½‰·¸
+    (=jef-china3	. #x7FD5)	; øº‡¿•
+    (=ucs		. #x2283)	; ⊃
     ))
 (define-char
   '((name		. "NOT A SUBSET OF")
@@ -1144,8 +1132,8 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2282 #x0338)
-    (japanese-jisx0213-1	. #x2242)	; ø»¢”»
-    (ucs			. #x2284)	; ⊄
+    (=jis-x0213-1-2000	. #x2242)	; ø»¢”»
+    (=ucs		. #x2284)	; ⊄
     ))
 (define-char
   '((name		. "NOT A SUPERSET OF")
@@ -1153,30 +1141,30 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2283 #x0338)
-    (japanese-jisx0213-1	. #x2243)	; ø»¢”¼
-    (ucs			. #x2285)	; ⊅
+    (=jis-x0213-1-2000	. #x2243)	; ø»¢”¼
+    (=ucs		. #x2285)	; ⊅
     ))
 (define-char
   '((name		. "SUBSET OF OR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208		. #x223C)	; ø»†’
-    (korean-ksc5601		. #x2176)	; ø»ˆ›¡
-    (japanese-jisx0208-1990	. #x223C)	; ø½‰·µ
-    (china3-jef			. #x7FD2)	; øº‡¿’
-    (ucs			. #x2286)	; ⊆
+    (=jis-x0208-1983	. #x223C)	; ø»†’
+    (=ks-x1001		. #x2176)	; ø»ˆ›¡
+    (=jis-x0208-1990	. #x223C)	; ø½‰·µ
+    (=jef-china3	. #x7FD2)	; øº‡¿’
+    (=ucs		. #x2286)	; ⊆
     ))
 (define-char
   '((name		. "SUPERSET OF OR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208		. #x223D)	; ø»†’‚
-    (korean-ksc5601		. #x2177)	; ø»ˆ›¢
-    (japanese-jisx0208-1990	. #x223D)	; ø½‰·¶
-    (china3-jef			. #x7FD3)	; øº‡¿“
-    (ucs			. #x2287)	; ⊇
+    (=jis-x0208-1983	. #x223D)	; ø»†’‚
+    (=ks-x1001		. #x2177)	; ø»ˆ›¢
+    (=jis-x0208-1990	. #x223D)	; ø½‰·¶
+    (=jef-china3	. #x7FD3)	; øº‡¿“
+    (=ucs		. #x2287)	; ⊇
     ))
 (define-char
   '((name		. "NEITHER A SUBSET OF NOR EQUAL TO")
@@ -1184,7 +1172,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2286 #x0338)
-    (ucs		. #x2288)	; ⊈
+    (=ucs		. #x2288)	; ⊈
     ))
 (define-char
   '((name		. "NEITHER A SUPERSET OF NOR EQUAL TO")
@@ -1192,262 +1180,262 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2287 #x0338)
-    (ucs		. #x2289)	; ⊉
+    (=ucs		. #x2289)	; ⊉
     ))
 (define-char
   '((name		. "SUBSET OF WITH NOT EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	. #x2244)	; ø»¢”½
-    (ucs			. #x228A)	; ⊊
+    (=jis-x0213-1-2000	. #x2244)	; ø»¢”½
+    (=ucs		. #x228A)	; ⊊
     ))
 (define-char
   '((name		. "SUPERSET OF WITH NOT EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	. #x2245)	; ø»¢”¾
-    (ucs			. #x228B)	; ⊋
+    (=jis-x0213-1-2000	. #x2245)	; ø»¢”¾
+    (=ucs		. #x228B)	; ⊋
     ))
 (define-char
   '((name		. "MULTISET")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x228C)	; ⊌
+    (=ucs		. #x228C)	; ⊌
     ))
 (define-char
   '((name		. "MULTISET MULTIPLICATION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x228D)	; ⊍
+    (=ucs		. #x228D)	; ⊍
     ))
 (define-char
   '((name		. "MULTISET UNION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x228E)	; ⊎
+    (=ucs		. #x228E)	; ⊎
     ))
 (define-char
   '((name		. "SQUARE IMAGE OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x228F)	; ⊏
+    (=ucs		. #x228F)	; ⊏
     ))
 (define-char
   '((name		. "SQUARE ORIGINAL OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2290)	; ⊐
+    (=ucs		. #x2290)	; ⊐
     ))
 (define-char
   '((name		. "SQUARE IMAGE OF OR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2291)	; ⊑
+    (=ucs		. #x2291)	; ⊑
     ))
 (define-char
   '((name		. "SQUARE ORIGINAL OF OR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2292)	; ⊒
+    (=ucs		. #x2292)	; ⊒
     ))
 (define-char
   '((name		. "SQUARE CAP")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2293)	; ⊓
+    (=ucs		. #x2293)	; ⊓
     ))
 (define-char
   '((name		. "SQUARE CUP")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x2294)	; ⊔
+    (=ucs		. #x2294)	; ⊔
     ))
 (define-char
   '((name		. "CIRCLED PLUS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-cns11643-1		. #x2253)	; ø»‘„¬
-    (japanese-jisx0213-1	. #x2251)	; ø»¢•Š
-    (chinese-big5		. #xA1F2)	; ý¢€Š‡²
-    (ucs			. #x2295)	; ⊕
+    (=cns11643-1	. #x2253)	; ø»‘„¬
+    (=jis-x0213-1-2000	. #x2251)	; ø»¢•Š
+    (=big5		. #xA1F2)	; ý¢€Š‡²
+    (=ucs		. #x2295)	; ⊕
     ))
 (define-char
   '((name		. "CIRCLED MINUS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0213-1	. #x2252)	; ø»¢•‹
-    (ucs			. #x2296)	; ⊖
+    (=jis-x0213-1-2000	. #x2252)	; ø»¢•‹
+    (=ucs		. #x2296)	; ⊖
     ))
 (define-char
   '((name		. "CIRCLED TIMES")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0213-1	. #x2253)	; ø»¢•Œ
-    (ucs			. #x2297)	; ⊗
+    (=jis-x0213-1-2000	. #x2253)	; ø»¢•Œ
+    (=ucs		. #x2297)	; ⊗
     ))
 (define-char
   '((name		. "CIRCLED DIVISION SLASH")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x2298)	; ⊘
+    (=ucs		. #x2298)	; ⊘
     ))
 (define-char
   '((name		. "CIRCLED DOT OPERATOR")
     (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)	; ⊙
+    (=gb2312		. #x2151)	; ø»„†´
+    (=ks-x1001		. #x2241)	; ø»ˆœŠ
+    (=cns11643-1	. #x2254)	; ø»‘„­
+    (=big5		. #xA1F3)	; ý¢€Š‡³
+    (=ucs		. #x2299)	; ⊙
     ))
 (define-char
   '((name		. "CIRCLED RING OPERATOR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x229A)	; ⊚
+    (=ucs		. #x229A)	; ⊚
     ))
 (define-char
   '((name		. "CIRCLED ASTERISK OPERATOR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x229B)	; ⊛
+    (=ucs		. #x229B)	; ⊛
     ))
 (define-char
   '((name		. "CIRCLED EQUALS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x229C)	; ⊜
+    (=ucs		. #x229C)	; ⊜
     ))
 (define-char
   '((name		. "CIRCLED DASH")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x229D)	; ⊝
+    (=ucs		. #x229D)	; ⊝
     ))
 (define-char
   '((name		. "SQUARED PLUS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x229E)	; ⊞
+    (=ucs		. #x229E)	; ⊞
     ))
 (define-char
   '((name		. "SQUARED MINUS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x229F)	; ⊟
+    (=ucs		. #x229F)	; ⊟
     ))
 (define-char
   '((name		. "SQUARED TIMES")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22A0)	; ⊠
+    (=ucs		. #x22A0)	; ⊠
     ))
 (define-char
   '((name		. "SQUARED DOT OPERATOR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22A1)	; ⊡
+    (=ucs		. #x22A1)	; ⊡
     ))
 (define-char
   '((name		. "RIGHT TACK")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22A2)	; ⊢
+    (=ucs		. #x22A2)	; ⊢
     ))
 (define-char
   '((name		. "LEFT TACK")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22A3)	; ⊣
+    (=ucs		. #x22A3)	; ⊣
     ))
 (define-char
   '((name		. "DOWN TACK")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22A4)	; ⊤
+    (=ucs		. #x22A4)	; ⊤
     ))
 (define-char
   '((name		. "UP TACK")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312		. #x214D)	; ø»„†°
-    (japanese-jisx0208		. #x225D)	; ø»†’¢
-    (korean-ksc5601		. #x2151)	; ø»ˆš¼
-    (chinese-cns11643-1		. #x2247)	; ø»‘„ 
-    (japanese-jisx0208-1990	. #x225D)	; ø½‰¸–
-    (chinese-big5		. #xA1E6)	; ý¢€Š‡¦
-    (ucs			. #x22A5)	; ⊥
+    (=gb2312		. #x214D)	; ø»„†°
+    (=jis-x0208-1983	. #x225D)	; ø»†’¢
+    (=ks-x1001		. #x2151)	; ø»ˆš¼
+    (=cns11643-1	. #x2247)	; ø»‘„ 
+    (=jis-x0208-1990	. #x225D)	; ø½‰¸–
+    (=big5		. #xA1E6)	; ý¢€Š‡¦
+    (=ucs		. #x22A5)	; ⊥
     ))
 (define-char
   '((name		. "ASSERTION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22A6)	; ⊦
+    (=ucs		. #x22A6)	; ⊦
     ))
 (define-char
   '((name		. "MODELS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22A7)	; ⊧
+    (=ucs		. #x22A7)	; ⊧
     ))
 (define-char
   '((name		. "TRUE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22A8)	; ⊨
+    (=ucs		. #x22A8)	; ⊨
     ))
 (define-char
   '((name		. "FORCES")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22A9)	; ⊩
+    (=ucs		. #x22A9)	; ⊩
     ))
 (define-char
   '((name		. "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22AA)	; ⊪
+    (=ucs		. #x22AA)	; ⊪
     ))
 (define-char
   '((name		. "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22AB)	; ⊫
+    (=ucs		. #x22AB)	; ⊫
     ))
 (define-char
   '((name		. "DOES NOT PROVE")
@@ -1455,7 +1443,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22A2 #x0338)
-    (ucs		. #x22AC)	; ⊬
+    (=ucs		. #x22AC)	; ⊬
     ))
 (define-char
   '((name		. "NOT TRUE")
@@ -1463,7 +1451,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22A8 #x0338)
-    (ucs		. #x22AD)	; ⊭
+    (=ucs		. #x22AD)	; ⊭
     ))
 (define-char
   '((name		. "DOES NOT FORCE")
@@ -1471,7 +1459,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22A9 #x0338)
-    (ucs		. #x22AE)	; ⊮
+    (=ucs		. #x22AE)	; ⊮
     ))
 (define-char
   '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
@@ -1479,352 +1467,352 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22AB #x0338)
-    (ucs		. #x22AF)	; ⊯
+    (=ucs		. #x22AF)	; ⊯
     ))
 (define-char
   '((name		. "PRECEDES UNDER RELATION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22B0)	; ⊰
+    (=ucs		. #x22B0)	; ⊰
     ))
 (define-char
   '((name		. "SUCCEEDS UNDER RELATION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22B1)	; ⊱
+    (=ucs		. #x22B1)	; ⊱
     ))
 (define-char
   '((name		. "NORMAL SUBGROUP OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22B2)	; ⊲
+    (=ucs		. #x22B2)	; ⊲
     ))
 (define-char
   '((name		. "CONTAINS AS NORMAL SUBGROUP")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22B3)	; ⊳
+    (=ucs		. #x22B3)	; ⊳
     ))
 (define-char
   '((name		. "NORMAL SUBGROUP OF OR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22B4)	; ⊴
+    (=ucs		. #x22B4)	; ⊴
     ))
 (define-char
   '((name		. "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22B5)	; ⊵
+    (=ucs		. #x22B5)	; ⊵
     ))
 (define-char
   '((name		. "ORIGINAL OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22B6)	; ⊶
+    (=ucs		. #x22B6)	; ⊶
     ))
 (define-char
   '((name		. "IMAGE OF")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22B7)	; ⊷
+    (=ucs		. #x22B7)	; ⊷
     ))
 (define-char
   '((name		. "MULTIMAP")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22B8)	; ⊸
+    (=ucs		. #x22B8)	; ⊸
     ))
 (define-char
   '((name		. "HERMITIAN CONJUGATE MATRIX")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22B9)	; ⊹
+    (=ucs		. #x22B9)	; ⊹
     ))
 (define-char
   '((name		. "INTERCALATE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22BA)	; ⊺
+    (=ucs		. #x22BA)	; ⊺
     ))
 (define-char
   '((name		. "XOR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22BB)	; ⊻
+    (=ucs		. #x22BB)	; ⊻
     ))
 (define-char
   '((name		. "NAND")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22BC)	; ⊼
+    (=ucs		. #x22BC)	; ⊼
     ))
 (define-char
   '((name		. "NOR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22BD)	; ⊽
+    (=ucs		. #x22BD)	; ⊽
     ))
 (define-char
   '((name		. "RIGHT ANGLE WITH ARC")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22BE)	; ⊾
+    (=ucs		. #x22BE)	; ⊾
     ))
 (define-char
   '((name		. "RIGHT TRIANGLE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-cns11643-1		. #x224A)	; ø»‘„£
-    (japanese-jisx0213-1	. #x2D79)	; ø»¢¥¼
-    (chinese-big5		. #xA1E9)	; ý¢€Š‡©
-    (ucs			. #x22BF)	; ⊿
+    (=cns11643-1	. #x224A)	; ø»‘„£
+    (=jis-x0213-1-2000	. #x2D79)	; ø»¢¥¼
+    (=big5		. #xA1E9)	; ý¢€Š‡©
+    (=ucs		. #x22BF)	; ⊿
     ))
 (define-char
   '((name		. "N-ARY LOGICAL AND")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (china3-jef		. #x7FD8)	; øº‡¿˜
-    (ucs		. #x22C0)	; ⋀
+    (=jef-china3	. #x7FD8)	; øº‡¿˜
+    (=ucs		. #x22C0)	; ⋀
     ))
 (define-char
   '((name		. "N-ARY LOGICAL OR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (china3-jef		. #x7FD9)	; øº‡¿™
-    (ucs		. #x22C1)	; ⋁
+    (=jef-china3	. #x7FD9)	; øº‡¿™
+    (=ucs		. #x22C1)	; ⋁
     ))
 (define-char
   '((name		. "N-ARY INTERSECTION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (china3-jef		. #x7FD7)	; øº‡¿—
-    (ucs		. #x22C2)	; ⋂
+    (=jef-china3	. #x7FD7)	; øº‡¿—
+    (=ucs		. #x22C2)	; ⋂
     ))
 (define-char
   '((name		. "N-ARY UNION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (china3-jef		. #x7FD6)	; øº‡¿–
-    (ucs		. #x22C3)	; ⋃
+    (=jef-china3	. #x7FD6)	; øº‡¿–
+    (=ucs		. #x22C3)	; ⋃
     ))
 (define-char
   '((name		. "DIAMOND OPERATOR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22C4)	; ⋄
+    (=ucs		. #x22C4)	; ⋄
     ))
 (define-char
   '((name		. "DOT OPERATOR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22C5)	; ⋅
+    (=ucs		. #x22C5)	; ⋅
     ))
 (define-char
   '((name		. "STAR OPERATOR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22C6)	; ⋆
+    (=ucs		. #x22C6)	; ⋆
     ))
 (define-char
   '((name		. "DIVISION TIMES")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22C7)	; ⋇
+    (=ucs		. #x22C7)	; ⋇
     ))
 (define-char
   '((name		. "BOWTIE")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22C8)	; ⋈
+    (=ucs		. #x22C8)	; ⋈
     ))
 (define-char
   '((name		. "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22C9)	; ⋉
+    (=ucs		. #x22C9)	; ⋉
     ))
 (define-char
   '((name		. "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22CA)	; ⋊
+    (=ucs		. #x22CA)	; ⋊
     ))
 (define-char
   '((name		. "LEFT SEMIDIRECT PRODUCT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22CB)	; ⋋
+    (=ucs		. #x22CB)	; ⋋
     ))
 (define-char
   '((name		. "RIGHT SEMIDIRECT PRODUCT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22CC)	; ⋌
+    (=ucs		. #x22CC)	; ⋌
     ))
 (define-char
   '((name		. "REVERSED TILDE EQUALS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22CD)	; ⋍
+    (=ucs		. #x22CD)	; ⋍
     ))
 (define-char
   '((name		. "CURLY LOGICAL OR")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22CE)	; ⋎
+    (=ucs		. #x22CE)	; ⋎
     ))
 (define-char
   '((name		. "CURLY LOGICAL AND")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22CF)	; ⋏
+    (=ucs		. #x22CF)	; ⋏
     ))
 (define-char
   '((name		. "DOUBLE SUBSET")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22D0)	; ⋐
+    (=ucs		. #x22D0)	; ⋐
     ))
 (define-char
   '((name		. "DOUBLE SUPERSET")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22D1)	; ⋑
+    (=ucs		. #x22D1)	; ⋑
     ))
 (define-char
   '((name		. "DOUBLE INTERSECTION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22D2)	; ⋒
+    (=ucs		. #x22D2)	; ⋒
     ))
 (define-char
   '((name		. "DOUBLE UNION")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22D3)	; ⋓
+    (=ucs		. #x22D3)	; ⋓
     ))
 (define-char
   '((name		. "PITCHFORK")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22D4)	; ⋔
+    (=ucs		. #x22D4)	; ⋔
     ))
 (define-char
   '((name		. "EQUAL AND PARALLEL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22D5)	; ⋕
+    (=ucs		. #x22D5)	; ⋕
     ))
 (define-char
   '((name		. "LESS-THAN WITH DOT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22D6)	; ⋖
+    (=ucs		. #x22D6)	; ⋖
     ))
 (define-char
   '((name		. "GREATER-THAN WITH DOT")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22D7)	; ⋗
+    (=ucs		. #x22D7)	; ⋗
     ))
 (define-char
   '((name		. "VERY MUCH LESS-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22D8)	; ⋘
+    (=ucs		. #x22D8)	; ⋘
     ))
 (define-char
   '((name		. "VERY MUCH GREATER-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22D9)	; ⋙
+    (=ucs		. #x22D9)	; ⋙
     ))
 (define-char
   '((name		. "LESS-THAN EQUAL TO OR GREATER-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	. #x2776)	; ø»¢…
-    (ucs			. #x22DA)	; ⋚
+    (=jis-x0213-1-2000	. #x2776)	; ø»¢…
+    (=ucs		. #x22DA)	; ⋚
     ))
 (define-char
   '((name		. "GREATER-THAN EQUAL TO OR LESS-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	. #x2777)	; ø»¢†
-    (ucs			. #x22DB)	; ⋛
+    (=jis-x0213-1-2000	. #x2777)	; ø»¢†
+    (=ucs		. #x22DB)	; ⋛
     ))
 (define-char
   '((name		. "EQUAL TO OR LESS-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22DC)	; ⋜
+    (=ucs		. #x22DC)	; ⋜
     ))
 (define-char
   '((name		. "EQUAL TO OR GREATER-THAN")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22DD)	; ⋝
+    (=ucs		. #x22DD)	; ⋝
     ))
 (define-char
   '((name		. "EQUAL TO OR PRECEDES")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22DE)	; ⋞
+    (=ucs		. #x22DE)	; ⋞
     ))
 (define-char
   '((name		. "EQUAL TO OR SUCCEEDS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22DF)	; ⋟
+    (=ucs		. #x22DF)	; ⋟
     ))
 (define-char
   '((name		. "DOES NOT PRECEDE OR EQUAL")
@@ -1832,7 +1820,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x227C #x0338)
-    (ucs		. #x22E0)	; ⋠
+    (=ucs		. #x22E0)	; ⋠
     ))
 (define-char
   '((name		. "DOES NOT SUCCEED OR EQUAL")
@@ -1840,7 +1828,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x227D #x0338)
-    (ucs		. #x22E1)	; ⋡
+    (=ucs		. #x22E1)	; ⋡
     ))
 (define-char
   '((name		. "NOT SQUARE IMAGE OF OR EQUAL TO")
@@ -1848,7 +1836,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2291 #x0338)
-    (ucs		. #x22E2)	; ⋢
+    (=ucs		. #x22E2)	; ⋢
     ))
 (define-char
   '((name		. "NOT SQUARE ORIGINAL OF OR EQUAL TO")
@@ -1856,49 +1844,49 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2292 #x0338)
-    (ucs		. #x22E3)	; ⋣
+    (=ucs		. #x22E3)	; ⋣
     ))
 (define-char
   '((name		. "SQUARE IMAGE OF OR NOT EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22E4)	; ⋤
+    (=ucs		. #x22E4)	; ⋤
     ))
 (define-char
   '((name		. "SQUARE ORIGINAL OF OR NOT EQUAL TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22E5)	; ⋥
+    (=ucs		. #x22E5)	; ⋥
     ))
 (define-char
   '((name		. "LESS-THAN BUT NOT EQUIVALENT TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22E6)	; ⋦
+    (=ucs		. #x22E6)	; ⋦
     ))
 (define-char
   '((name		. "GREATER-THAN BUT NOT EQUIVALENT TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22E7)	; ⋧
+    (=ucs		. #x22E7)	; ⋧
     ))
 (define-char
   '((name		. "PRECEDES BUT NOT EQUIVALENT TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22E8)	; ⋨
+    (=ucs		. #x22E8)	; ⋨
     ))
 (define-char
   '((name		. "SUCCEEDS BUT NOT EQUIVALENT TO")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22E9)	; ⋩
+    (=ucs		. #x22E9)	; ⋩
     ))
 (define-char
   '((name		. "NOT NORMAL SUBGROUP OF")
@@ -1906,7 +1894,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22B2 #x0338)
-    (ucs		. #x22EA)	; ⋪
+    (=ucs		. #x22EA)	; ⋪
     ))
 (define-char
   '((name		. "DOES NOT CONTAIN AS NORMAL SUBGROUP")
@@ -1914,7 +1902,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22B3 #x0338)
-    (ucs		. #x22EB)	; ⋫
+    (=ucs		. #x22EB)	; ⋫
     ))
 (define-char
   '((name		. "NOT NORMAL SUBGROUP OF OR EQUAL TO")
@@ -1922,7 +1910,7 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22B4 #x0338)
-    (ucs		. #x22EC)	; ⋬
+    (=ucs		. #x22EC)	; ⋬
     ))
 (define-char
   '((name		. "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
@@ -1930,33 +1918,33 @@
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22B5 #x0338)
-    (ucs		. #x22ED)	; ⋭
+    (=ucs		. #x22ED)	; ⋭
     ))
 (define-char
   '((name		. "VERTICAL ELLIPSIS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22EE)	; ⋮
+    (=ucs		. #x22EE)	; ⋮
     ))
 (define-char
   '((name		. "MIDLINE HORIZONTAL ELLIPSIS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (ucs		. #x22EF)	; ⋯
+    (=ucs		. #x22EF)	; ⋯
     ))
 (define-char
   '((name		. "UP RIGHT DIAGONAL ELLIPSIS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22F0)	; ⋰
+    (=ucs		. #x22F0)	; ⋰
     ))
 (define-char
   '((name		. "DOWN RIGHT DIAGONAL ELLIPSIS")
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (ucs		. #x22F1)	; ⋱
+    (=ucs		. #x22F1)	; ⋱
     ))