X-Git-Url: http://git.chise.org/gitweb/?a=blobdiff_plain;f=lisp%2Futf-2000%2Fu02200-Mathematical-Operators.el;h=cf931a15d30537fb4b092806ea14402207d48b6e;hb=27ea365b3903728593fb2726e9336c1b49eb9f4f;hp=5e502a789ac89c5b5600dcf99aca2468081f360a;hpb=153e3b036553abb2028faff67f80c923555028b7;p=chise%2Fxemacs-chise.git-

diff --git a/lisp/utf-2000/u02200-Mathematical-Operators.el b/lisp/utf-2000/u02200-Mathematical-Operators.el
index 5e502a7..cf931a1 100644
--- a/lisp/utf-2000/u02200-Mathematical-Operators.el
+++ b/lisp/utf-2000/u02200-Mathematical-Operators.el
@@ -1,1884 +1,1941 @@
 (define-char
   '((name		. "FOR ALL")
-    (ucs		. #x2200)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0208	#x22 #x4F)	; ø»†’”
-    (korean-ksc5601	#x22 #x23)	; ø»ˆ›¬
+    (japanese-jisx0208		. #x224F)	; ø»†’”
+    (korean-ksc5601		. #x2223)	; ø»ˆ›¬
+    (japanese-jisx0208-1990	. #x224F)	; ø½‰¸ˆ
+    (ucs			. #x2200)	; ∀
     ))
 (define-char
   '((name		. "COMPLEMENT")
-    (ucs		. #x2201)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2201)	; ∁
     ))
 (define-char
   '((name		. "PARTIAL DIFFERENTIAL")
-    (ucs		. #x2202)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208	#x22 #x5F)	; ø»†’¤
-    (korean-ksc5601	#x21 #x53)	; ø»ˆš¾
+    (japanese-jisx0208		. #x225F)	; ø»†’¤
+    (korean-ksc5601		. #x2153)	; ø»ˆš¾
+    (japanese-jisx0208-1990	. #x225F)	; ø½‰¸˜
+    (ucs			. #x2202)	; ∂
     ))
 (define-char
   '((name		. "THERE EXISTS")
-    (ucs		. #x2203)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208	#x22 #x50)	; ø»†’•
-    (korean-ksc5601	#x22 #x24)	; ø»ˆ›­
+    (japanese-jisx0208		. #x2250)	; ø»†’•
+    (korean-ksc5601		. #x2224)	; ø»ˆ›­
+    (japanese-jisx0208-1990	. #x2250)	; ø½‰¸‰
+    (ucs			. #x2203)	; ∃
     ))
 (define-char
   '((name		. "THERE DOES NOT EXIST")
-    (ucs		. #x2204)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2203 #x0338)
+    (ucs		. #x2204)	; ∄
     ))
 (define-char
   '((name		. "EMPTY SET")
-    (ucs		. #x2205)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0213-1	#x22 #x47)	; ∅
+    (japanese-jisx0213-1	. #x2247)	; ø»¢•€
+    (ucs			. #x2205)	; ∅
     ))
 (define-char
   '((name		. "INCREMENT")
-    (ucs		. #x2206)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2206)	; ∆
     ))
 (define-char
   '((name		. "NABLA")
-    (ucs		. #x2207)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0208	#x22 #x60)	; ø»†’¥
-    (korean-ksc5601	#x21 #x54)	; ø»ˆš¿
+    (japanese-jisx0208		. #x2260)	; ø»†’¥
+    (korean-ksc5601		. #x2154)	; ø»ˆš¿
+    (japanese-jisx0208-1990	. #x2260)	; ø½‰¸™
+    (ucs			. #x2207)	; ∇
     ))
 (define-char
   '((name		. "ELEMENT OF")
-    (ucs		. #x2208)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	#x21 #x4A)	; ø»„†­
-    (japanese-jisx0208	#x22 #x3A)	; ø»†‘¿
-    (korean-ksc5601	#x21 #x74)	; ø»ˆ›Ÿ
+    (chinese-gb2312		. #x214A)	; ø»„†­
+    (japanese-jisx0208		. #x223A)	; ø»†‘¿
+    (korean-ksc5601		. #x2174)	; ø»ˆ›Ÿ
+    (japanese-jisx0208-1990	. #x223A)	; ø½‰·³
+    (ucs			. #x2208)	; ∈
     ))
 (define-char
   '((name		. "NOT AN ELEMENT OF")
-    (ucs		. #x2209)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2208 #x0338)
-    (japanese-jisx0213-1	#x22 #x46)	; ∉
+    (japanese-jisx0213-1	. #x2246)	; ø»¢”¿
+    (ucs			. #x2209)	; ∉
     ))
 (define-char
   '((name		. "SMALL ELEMENT OF")
-    (ucs		. #x220A)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x220A)	; ∊
     ))
 (define-char
   '((name		. "CONTAINS AS MEMBER")
-    (ucs		. #x220B)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208	#x22 #x3B)	; ø»†’€
-    (korean-ksc5601	#x21 #x75)	; ø»ˆ› 
+    (japanese-jisx0208		. #x223B)	; ø»†’€
+    (korean-ksc5601		. #x2175)	; ø»ˆ› 
+    (japanese-jisx0208-1990	. #x223B)	; ø½‰·´
+    (ucs			. #x220B)	; ∋
     ))
 (define-char
   '((name		. "DOES NOT CONTAIN AS MEMBER")
-    (ucs		. #x220C)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x220B #x0338)
+    (ucs		. #x220C)	; ∌
     ))
 (define-char
   '((name		. "SMALL CONTAINS AS MEMBER")
-    (ucs		. #x220D)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x220D)	; ∍
     ))
 (define-char
   '((name		. "END OF PROOF")
-    (ucs		. #x220E)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x220E)	; ∎
     ))
 (define-char
   '((name		. "N-ARY PRODUCT")
-    (ucs		. #x220F)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	#x21 #x47)	; ø»„†ª
-    (korean-ksc5601	#x22 #x33)	; ø»ˆ›¼
+    (chinese-gb2312	. #x2147)	; ø»„†ª
+    (korean-ksc5601	. #x2233)	; ø»ˆ›¼
+    (ucs		. #x220F)	; ∏
     ))
 (define-char
   '((name		. "N-ARY COPRODUCT")
-    (ucs		. #x2210)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2210)	; ∐
     ))
 (define-char
   '((name		. "N-ARY SUMMATION")
-    (ucs		. #x2211)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	#x21 #x46)	; ø»„†©
-    (korean-ksc5601	#x22 #x32)	; ø»ˆ›»
+    (chinese-gb2312	. #x2146)	; ø»„†©
+    (korean-ksc5601	. #x2232)	; ø»ˆ›»
+    (ucs		. #x2211)	; ∑
     ))
 (define-char
   '((name		. "MINUS SIGN")
-    (ucs		. #x2212)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ET")
     (mirrored		. nil)
-    (japanese-jisx0208-1978	#x21 #x5D)	; ø»¼¼
-    (japanese-jisx0208		#x21 #x5D)	; ø»†‘„
+    (japanese-jisx0208-1978	. #x215D)	; ø»¼¼
+    (japanese-jisx0208		. #x215D)	; ø»†‘„
+    (japanese-jisx0208-1990	. #x215D)	; ø½‰¶¸
+    (ucs			. #x2212)	; −
     ))
 (define-char
   '((name		. "MINUS-OR-PLUS SIGN")
-    (ucs		. #x2213)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ET")
     (mirrored		. nil)
-    (japanese-jisx0213-1	#x23 #x5B)	; ∓
+    (japanese-jisx0213-1	. #x235B)	; ø»¢–²
+    (ucs			. #x2213)	; ∓
     ))
 (define-char
   '((name		. "DOT PLUS")
-    (ucs		. #x2214)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2214)	; ∔
     ))
 (define-char
   '((name		. "DIVISION SLASH")
-    (ucs		. #x2215)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-cns11643-1 #x22 #x61)	; ø»‘„º
+    (chinese-cns11643-1 . #x2261)	; ø»‘„º
+    (chinese-big5	. #xA241)	; ý¢€Š‰
+    (ucs		. #x2215)	; ∕
     ))
 (define-char
   '((name		. "SET MINUS")
-    (ucs		. #x2216)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2216)	; ∖
     ))
 (define-char
   '((name		. "ASTERISK OPERATOR")
-    (ucs		. #x2217)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2217)	; ∗
     ))
 (define-char
   '((name		. "RING OPERATOR")
-    (ucs		. #x2218)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2218)	; ∘
     ))
 (define-char
   '((name		. "BULLET OPERATOR")
-    (ucs		. #x2219)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2219)	; ∙
     ))
 (define-char
   '((name		. "SQUARE ROOT")
-    (ucs		. #x221A)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	#x21 #x4C)	; ø»„†¯
-    (japanese-jisx0208	#x22 #x65)	; ø»†’ª
-    (korean-ksc5601	#x21 #x6E)	; ø»ˆ›™
-    (chinese-cns11643-1 #x22 #x35)	; ø»‘„Ž
+    (chinese-gb2312		. #x214C)	; ø»„†¯
+    (japanese-jisx0208		. #x2265)	; ø»†’ª
+    (korean-ksc5601		. #x216E)	; ø»ˆ›™
+    (chinese-cns11643-1		. #x2235)	; ø»‘„Ž
+    (japanese-jisx0208-1990	. #x2265)	; ø½‰¸ž
+    (chinese-big5		. #xA1D4)	; ý¢€Š‡”
+    (ucs			. #x221A)	; √
     ))
 (define-char
   '((name		. "CUBE ROOT")
-    (ucs		. #x221B)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x221B)	; ∛
     ))
 (define-char
   '((name		. "FOURTH ROOT")
-    (ucs		. #x221C)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x221C)	; ∜
     ))
 (define-char
   '((name		. "PROPORTIONAL TO")
-    (ucs		. #x221D)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	#x21 #x58)	; ø»„†»
-    (japanese-jisx0208	#x22 #x67)	; ø»†’¬
-    (korean-ksc5601	#x21 #x70)	; ø»ˆ››
+    (chinese-gb2312		. #x2158)	; ø»„†»
+    (japanese-jisx0208		. #x2267)	; ø»†’¬
+    (korean-ksc5601		. #x2170)	; ø»ˆ››
+    (japanese-jisx0208-1990	. #x2267)	; ø½‰¸ 
+    (ucs			. #x221D)	; ∝
     ))
 (define-char
   '((name		. "INFINITY")
-    (ucs		. #x221E)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0208-1978	#x21 #x67)	; ø»½†
-    (chinese-gb2312		#x21 #x5E)	; ø»„‡
-    (japanese-jisx0208		#x21 #x67)	; ø»†‘Ž
-    (korean-ksc5601		#x21 #x44)	; ø»ˆš¯
-    (chinese-cns11643-1		#x22 #x3C)	; ø»‘„•
+    (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)	; ∞
     ))
 (define-char
   '((name		. "RIGHT ANGLE")
-    (ucs		. #x221F)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-cns11643-1		#x22 #x49)	; ø»‘„¢
-    (japanese-jisx0213-1	#x2D #x78)	; ∟
+    (chinese-cns11643-1		. #x2249)	; ø»‘„¢
+    (japanese-jisx0213-1	. #x2D78)	; ø»¢¥»
+    (chinese-big5		. #xA1E8)	; ý¢€Š‡¨
+    (ucs			. #x221F)	; ∟
     ))
 (define-char
   '((name		. "ANGLE")
-    (ucs		. #x2220)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	#x21 #x4F)	; ø»„†²
-    (japanese-jisx0208	#x22 #x5C)	; ø»†’¡
-    (korean-ksc5601	#x21 #x50)	; ø»ˆš»
-    (chinese-cns11643-1 #x22 #x48)	; ø»‘„¡
+    (chinese-gb2312		. #x214F)	; ø»„†²
+    (japanese-jisx0208		. #x225C)	; ø»†’¡
+    (korean-ksc5601		. #x2150)	; ø»ˆš»
+    (chinese-cns11643-1		. #x2248)	; ø»‘„¡
+    (japanese-jisx0208-1990	. #x225C)	; ø½‰¸•
+    (chinese-big5		. #xA1E7)	; ý¢€Š‡§
+    (ucs			. #x2220)	; ∠
     ))
 (define-char
   '((name		. "MEASURED ANGLE")
-    (ucs		. #x2221)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2221)	; ∡
     ))
 (define-char
   '((name		. "SPHERICAL ANGLE")
-    (ucs		. #x2222)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2222)	; ∢
     ))
 (define-char
   '((name		. "DIVIDES")
-    (ucs		. #x2223)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (chinese-big5	. #xA1FD)	; ý¢€Š‡½
+    (ucs		. #x2223)	; ∣
     ))
 (define-char
   '((name		. "DOES NOT DIVIDE")
-    (ucs		. #x2224)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2223 #x0338)
+    (ucs		. #x2224)	; ∤
     ))
 (define-char
   '((name		. "PARALLEL TO")
-    (ucs		. #x2225)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312		#x21 #x4E)	; ø»„†±
-    (korean-ksc5601		#x21 #x2B)	; ø»ˆš–
-    (japanese-jisx0213-1	#x22 #x54)	; ∥
+    (chinese-gb2312		. #x214E)	; ø»„†±
+    (korean-ksc5601		. #x212B)	; ø»ˆš–
+    (japanese-jisx0213-1	. #x2254)	; ø»¢•
+    (chinese-big5		. #xA1FC)	; ý¢€Š‡¼
+    (ucs			. #x2225)	; ∥
     ))
 (define-char
   '((name		. "NOT PARALLEL TO")
-    (ucs		. #x2226)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2225 #x0338)
-    (japanese-jisx0213-1	#x22 #x55)	; ∦
+    (japanese-jisx0213-1	. #x2255)	; ø»¢•Ž
+    (ucs			. #x2226)	; ∦
     ))
 (define-char
   '((name		. "LOGICAL AND")
-    (ucs		. #x2227)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	#x21 #x44)	; ø»„†§
-    (japanese-jisx0208	#x22 #x4A)	; ø»†’
-    (korean-ksc5601	#x21 #x7C)	; ø»ˆ›§
+    (chinese-gb2312		. #x2144)	; ø»„†§
+    (japanese-jisx0208		. #x224A)	; ø»†’
+    (korean-ksc5601		. #x217C)	; ø»ˆ›§
+    (japanese-jisx0208-1990	. #x224A)	; ø½‰¸ƒ
+    (ucs			. #x2227)	; ∧
     ))
 (define-char
   '((name		. "LOGICAL OR")
-    (ucs		. #x2228)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	#x21 #x45)	; ø»„†¨
-    (japanese-jisx0208	#x22 #x4B)	; ø»†’
-    (korean-ksc5601	#x21 #x7D)	; ø»ˆ›¨
+    (chinese-gb2312		. #x2145)	; ø»„†¨
+    (japanese-jisx0208		. #x224B)	; ø»†’
+    (korean-ksc5601		. #x217D)	; ø»ˆ›¨
+    (japanese-jisx0208-1990	. #x224B)	; ø½‰¸„
+    (ucs			. #x2228)	; ∨
     ))
 (define-char
   '((name		. "INTERSECTION")
-    (ucs		. #x2229)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	#x21 #x49)	; ø»„†¬
-    (japanese-jisx0208	#x22 #x41)	; ø»†’†
-    (korean-ksc5601	#x21 #x7B)	; ø»ˆ›¦
-    (chinese-cns11643-1 #x22 #x45)	; ø»‘„ž
+    (chinese-gb2312		. #x2149)	; ø»„†¬
+    (japanese-jisx0208		. #x2241)	; ø»†’†
+    (korean-ksc5601		. #x217B)	; ø»ˆ›¦
+    (chinese-cns11643-1		. #x2245)	; ø»‘„ž
+    (japanese-jisx0208-1990	. #x2241)	; ø½‰·º
+    (chinese-big5		. #xA1E4)	; ý¢€Š‡¤
+    (ucs			. #x2229)	; ∩
     ))
 (define-char
   '((name		. "UNION")
-    (ucs		. #x222A)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	#x21 #x48)	; ø»„†«
-    (japanese-jisx0208	#x22 #x40)	; ø»†’…
-    (korean-ksc5601	#x21 #x7A)	; ø»ˆ›¥
-    (chinese-cns11643-1 #x22 #x46)	; ø»‘„Ÿ
+    (chinese-gb2312		. #x2148)	; ø»„†«
+    (japanese-jisx0208		. #x2240)	; ø»†’…
+    (korean-ksc5601		. #x217A)	; ø»ˆ›¥
+    (chinese-cns11643-1		. #x2246)	; ø»‘„Ÿ
+    (japanese-jisx0208-1990	. #x2240)	; ø½‰·¹
+    (chinese-big5		. #xA1E5)	; ý¢€Š‡¥
+    (ucs			. #x222A)	; ∪
     ))
 (define-char
   '((name		. "INTEGRAL")
-    (ucs		. #x222B)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	#x21 #x52)	; ø»„†µ
-    (japanese-jisx0208	#x22 #x69)	; ø»†’®
-    (korean-ksc5601	#x21 #x72)	; ø»ˆ›
-    (chinese-cns11643-1 #x22 #x4D)	; ø»‘„¦
+    (chinese-gb2312		. #x2152)	; ø»„†µ
+    (japanese-jisx0208		. #x2269)	; ø»†’®
+    (korean-ksc5601		. #x2172)	; ø»ˆ›
+    (chinese-cns11643-1		. #x224D)	; ø»‘„¦
+    (japanese-jisx0208-1990	. #x2269)	; ø½‰¸¢
+    (chinese-big5		. #xA1EC)	; ý¢€Š‡¬
+    (ucs			. #x222B)	; ∫
     ))
 (define-char
   '((name		. "DOUBLE INTEGRAL")
-    (ucs		. #x222C)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	compat #x222B #x222B)
-    (japanese-jisx0208	#x22 #x6A)	; ø»†’¯
-    (korean-ksc5601	#x21 #x73)	; ø»ˆ›ž
+    (japanese-jisx0208		. #x226A)	; ø»†’¯
+    (korean-ksc5601		. #x2173)	; ø»ˆ›ž
+    (japanese-jisx0208-1990	. #x226A)	; ø½‰¸£
+    (ucs			. #x222C)	; ∬
     ))
 (define-char
   '((name		. "TRIPLE INTEGRAL")
-    (ucs		. #x222D)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	compat #x222B #x222B #x222B)
+    (ucs		. #x222D)	; ∭
     ))
 (define-char
   '((name		. "CONTOUR INTEGRAL")
-    (ucs		. #x222E)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312		#x21 #x53)	; ø»„†¶
-    (korean-ksc5601		#x22 #x31)	; ø»ˆ›º
-    (chinese-cns11643-1		#x22 #x4E)	; ø»‘„§
-    (japanese-jisx0213-1	#x2D #x73)	; ∮
+    (chinese-gb2312		. #x2153)	; ø»„†¶
+    (korean-ksc5601		. #x2231)	; ø»ˆ›º
+    (chinese-cns11643-1		. #x224E)	; ø»‘„§
+    (japanese-jisx0213-1	. #x2D73)	; ø»¢¥¶
+    (chinese-big5		. #xA1ED)	; ý¢€Š‡­
+    (ucs			. #x222E)	; ∮
     ))
 (define-char
   '((name		. "SURFACE INTEGRAL")
-    (ucs		. #x222F)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	compat #x222E #x222E)
+    (ucs		. #x222F)	; ∯
     ))
 (define-char
   '((name		. "VOLUME INTEGRAL")
-    (ucs		. #x2230)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	compat #x222E #x222E #x222E)
+    (ucs		. #x2230)	; ∰
     ))
 (define-char
   '((name		. "CLOCKWISE INTEGRAL")
-    (ucs		. #x2231)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2231)	; ∱
     ))
 (define-char
   '((name		. "CLOCKWISE CONTOUR INTEGRAL")
-    (ucs		. #x2232)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2232)	; ∲
     ))
 (define-char
   '((name		. "ANTICLOCKWISE CONTOUR INTEGRAL")
-    (ucs		. #x2233)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2233)	; ∳
     ))
 (define-char
   '((name		. "THEREFORE")
-    (ucs		. #x2234)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0208-1978	#x21 #x68)	; ø»½‡
-    (chinese-gb2312		#x21 #x60)	; ø»„‡ƒ
-    (japanese-jisx0208		#x21 #x68)	; ø»†‘
-    (korean-ksc5601		#x21 #x45)	; ø»ˆš°
-    (chinese-cns11643-1		#x22 #x50)	; ø»‘„©
+    (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)	; ∴
     ))
 (define-char
   '((name		. "BECAUSE")
-    (ucs		. #x2235)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	#x21 #x5F)	; ø»„‡‚
-    (japanese-jisx0208	#x22 #x68)	; ø»†’­
-    (korean-ksc5601	#x21 #x71)	; ø»ˆ›œ
-    (chinese-cns11643-1 #x22 #x4F)	; ø»‘„¨
+    (chinese-gb2312		. #x215F)	; ø»„‡‚
+    (japanese-jisx0208		. #x2268)	; ø»†’­
+    (korean-ksc5601		. #x2171)	; ø»ˆ›œ
+    (chinese-cns11643-1		. #x224F)	; ø»‘„¨
+    (japanese-jisx0208-1990	. #x2268)	; ø½‰¸¡
+    (chinese-big5		. #xA1EE)	; ý¢€Š‡®
+    (ucs			. #x2235)	; ∵
     ))
 (define-char
   '((name		. "RATIO")
-    (ucs		. #x2236)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	#x21 #x43)	; ø»„†¦
+    (chinese-gb2312	. #x2143)	; ø»„†¦
+    (ucs		. #x2236)	; ∶
     ))
 (define-char
   '((name		. "PROPORTION")
-    (ucs		. #x2237)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	#x21 #x4B)	; ø»„†®
+    (chinese-gb2312	. #x214B)	; ø»„†®
+    (ucs		. #x2237)	; ∷
     ))
 (define-char
   '((name		. "DOT MINUS")
-    (ucs		. #x2238)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2238)	; ∸
     ))
 (define-char
   '((name		. "EXCESS")
-    (ucs		. #x2239)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2239)	; ∹
     ))
 (define-char
   '((name		. "GEOMETRIC PROPORTION")
-    (ucs		. #x223A)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x223A)	; ∺
     ))
 (define-char
   '((name		. "HOMOTHETIC")
-    (ucs		. #x223B)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x223B)	; ∻
     ))
 (define-char
   '((name		. "TILDE OPERATOR")
-    (ucs		. #x223C)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (korean-ksc5601	#x21 #x2D)	; ø»ˆš˜
+    (korean-ksc5601	. #x212D)	; ø»ˆš˜
+    (chinese-cns11643-1 . #x2244)	; ø»‘„
+    (chinese-big5	. #xA1E3)	; ý¢€Š‡£
+    (ucs-big5		. #xFF5E)	; ∼
+    (ucs		. #x223C)	; ∼
     ))
 (define-char
   '((name		. "REVERSED TILDE")
-    (ucs		. #x223D)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (iso-10646-comment	. "lazy S")
-    (chinese-gb2312	#x21 #x57)	; ø»„†º
-    (japanese-jisx0208	#x22 #x66)	; ø»†’«
-    (korean-ksc5601	#x21 #x6F)	; ø»ˆ›š
+    (chinese-gb2312		. #x2157)	; ø»„†º
+    (japanese-jisx0208		. #x2266)	; ø»†’«
+    (korean-ksc5601		. #x216F)	; ø»ˆ›š
+    (japanese-jisx0208-1990	. #x2266)	; ø½‰¸Ÿ
+    (ucs			. #x223D)	; ∽
     ))
 (define-char
   '((name		. "INVERTED LAZY S")
-    (ucs		. #x223E)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x223E)	; ∾
     ))
 (define-char
   '((name		. "SINE WAVE")
-    (ucs		. #x223F)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x223F)	; ∿
     ))
 (define-char
   '((name		. "WREATH PRODUCT")
-    (ucs		. #x2240)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2240)	; ≀
     ))
 (define-char
   '((name		. "NOT TILDE")
-    (ucs		. #x2241)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x223C #x0338)
+    (ucs		. #x2241)	; ≁
     ))
 (define-char
   '((name		. "MINUS TILDE")
-    (ucs		. #x2242)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2242)	; ≂
     ))
 (define-char
   '((name		. "ASYMPTOTICALLY EQUAL TO")
-    (ucs		. #x2243)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	#x22 #x6C)	; ≃
+    (japanese-jisx0213-1	. #x226C)	; ø»¢•¥
+    (ucs			. #x2243)	; ≃
     ))
 (define-char
   '((name		. "NOT ASYMPTOTICALLY EQUAL TO")
-    (ucs		. #x2244)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2243 #x0338)
+    (ucs		. #x2244)	; ≄
     ))
 (define-char
   '((name		. "APPROXIMATELY EQUAL TO")
-    (ucs		. #x2245)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	#x22 #x6D)	; ≅
+    (japanese-jisx0213-1	. #x226D)	; ø»¢•¦
+    (ucs			. #x2245)	; ≅
     ))
 (define-char
   '((name		. "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
-    (ucs		. #x2246)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2246)	; ≆
     ))
 (define-char
   '((name		. "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
-    (ucs		. #x2247)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2245 #x0338)
+    (ucs		. #x2247)	; ≇
     ))
 (define-char
   '((name		. "ALMOST EQUAL TO")
-    (ucs		. #x2248)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312		#x21 #x56)	; ø»„†¹
-    (japanese-jisx0213-1	#x22 #x6E)	; ≈
+    (chinese-gb2312		. #x2156)	; ø»„†¹
+    (japanese-jisx0213-1	. #x226E)	; ø»¢•§
+    (ucs			. #x2248)	; ≈
     ))
 (define-char
   '((name		. "NOT ALMOST EQUAL TO")
-    (ucs		. #x2249)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2248 #x0338)
+    (ucs		. #x2249)	; ≉
     ))
 (define-char
   '((name		. "ALMOST EQUAL OR EQUAL TO")
-    (ucs		. #x224A)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x224A)	; ≊
     ))
 (define-char
   '((name		. "TRIPLE TILDE")
-    (ucs		. #x224B)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x224B)	; ≋
     ))
 (define-char
   '((name		. "ALL EQUAL TO")
-    (ucs		. #x224C)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	#x21 #x55)	; ø»„†¸
+    (chinese-gb2312	. #x2155)	; ø»„†¸
+    (ucs		. #x224C)	; ≌
     ))
 (define-char
   '((name		. "EQUIVALENT TO")
-    (ucs		. #x224D)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x224D)	; ≍
     ))
 (define-char
   '((name		. "GEOMETRICALLY EQUIVALENT TO")
-    (ucs		. #x224E)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x224E)	; ≎
     ))
 (define-char
   '((name		. "DIFFERENCE BETWEEN")
-    (ucs		. #x224F)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x224F)	; ≏
     ))
 (define-char
   '((name		. "APPROACHES THE LIMIT")
-    (ucs		. #x2250)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2250)	; ≐
     ))
 (define-char
   '((name		. "GEOMETRICALLY EQUAL TO")
-    (ucs		. #x2251)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2251)	; ≑
     ))
 (define-char
   '((name		. "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
-    (ucs		. #x2252)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208	#x22 #x62)	; ø»†’§
-    (korean-ksc5601	#x21 #x56)	; ø»ˆ›
-    (chinese-cns11643-1 #x22 #x3D)	; ø»‘„–
+    (japanese-jisx0208		. #x2262)	; ø»†’§
+    (korean-ksc5601		. #x2156)	; ø»ˆ›
+    (chinese-cns11643-1		. #x223D)	; ø»‘„–
+    (japanese-jisx0208-1990	. #x2262)	; ø½‰¸›
+    (chinese-big5		. #xA1DC)	; ý¢€Š‡œ
+    (ucs			. #x2252)	; ≒
     ))
 (define-char
   '((name		. "IMAGE OF OR APPROXIMATELY EQUAL TO")
-    (ucs		. #x2253)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2253)	; ≓
     ))
 (define-char
   '((name		. "COLON EQUALS")
-    (ucs		. #x2254)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2254)	; ≔
     ))
 (define-char
   '((name		. "EQUALS COLON")
-    (ucs		. #x2255)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2255)	; ≕
     ))
 (define-char
   '((name		. "RING IN EQUAL TO")
-    (ucs		. #x2256)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2256)	; ≖
     ))
 (define-char
   '((name		. "RING EQUAL TO")
-    (ucs		. #x2257)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2257)	; ≗
     ))
 (define-char
   '((name		. "CORRESPONDS TO")
-    (ucs		. #x2258)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2258)	; ≘
     ))
 (define-char
   '((name		. "ESTIMATES")
-    (ucs		. #x2259)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2259)	; ≙
     ))
 (define-char
   '((name		. "EQUIANGULAR TO")
-    (ucs		. #x225A)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x225A)	; ≚
     ))
 (define-char
   '((name		. "STAR EQUALS")
-    (ucs		. #x225B)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x225B)	; ≛
     ))
 (define-char
   '((name		. "DELTA EQUAL TO")
-    (ucs		. #x225C)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x225C)	; ≜
     ))
 (define-char
   '((name		. "EQUAL TO BY DEFINITION")
-    (ucs		. #x225D)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x225D)	; ≝
     ))
 (define-char
   '((name		. "MEASURED BY")
-    (ucs		. #x225E)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x225E)	; ≞
     ))
 (define-char
   '((name		. "QUESTIONED EQUAL TO")
-    (ucs		. #x225F)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x225F)	; ≟
     ))
 (define-char
   '((name		. "NOT EQUAL TO")
-    (ucs		. #x2260)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x003D #x0338)
-    (japanese-jisx0208-1978	#x21 #x62)	; ø»½
-    (chinese-gb2312		#x21 #x59)	; ø»„†¼
-    (japanese-jisx0208		#x21 #x62)	; ø»†‘‰
-    (korean-ksc5601		#x21 #x41)	; ø»ˆš¬
-    (chinese-cns11643-1		#x22 #x3B)	; ø»‘„”
+    (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)	; ≠
     ))
 (define-char
   '((name		. "IDENTICAL TO")
-    (ucs		. #x2261)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	#x21 #x54)	; ø»„†·
-    (japanese-jisx0208	#x22 #x61)	; ø»†’¦
-    (korean-ksc5601	#x21 #x55)	; ø»ˆ›€
-    (chinese-cns11643-1 #x22 #x3E)	; ø»‘„—
+    (chinese-gb2312		. #x2154)	; ø»„†·
+    (japanese-jisx0208		. #x2261)	; ø»†’¦
+    (korean-ksc5601		. #x2155)	; ø»ˆ›€
+    (chinese-cns11643-1		. #x223E)	; ø»‘„—
+    (japanese-jisx0208-1990	. #x2261)	; ø½‰¸š
+    (chinese-big5		. #xA1DD)	; ý¢€Š‡
+    (ucs			. #x2261)	; ≡
     ))
 (define-char
   '((name		. "NOT IDENTICAL TO")
-    (ucs		. #x2262)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2261 #x0338)
-    (japanese-jisx0213-1	#x22 #x6B)	; ≢
+    (japanese-jisx0213-1	. #x226B)	; ø»¢•¤
+    (ucs			. #x2262)	; ≢
     ))
 (define-char
   '((name		. "STRICTLY EQUIVALENT TO")
-    (ucs		. #x2263)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2263)	; ≣
     ))
 (define-char
   '((name		. "LESS-THAN OR EQUAL TO")
-    (ucs		. #x2264)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	#x21 #x5C)	; ø»„†¿
-    (korean-ksc5601	#x21 #x42)	; ø»ˆš­
+    (chinese-gb2312	. #x215C)	; ø»„†¿
+    (korean-ksc5601	. #x2142)	; ø»ˆš­
+    (ucs		. #x2264)	; ≤
     ))
 (define-char
   '((name		. "GREATER-THAN OR EQUAL TO")
-    (ucs		. #x2265)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-gb2312	#x21 #x5D)	; ø»„‡€
-    (korean-ksc5601	#x21 #x43)	; ø»ˆš®
+    (chinese-gb2312	. #x215D)	; ø»„‡€
+    (korean-ksc5601	. #x2143)	; ø»ˆš®
+    (ucs		. #x2265)	; ≥
     ))
 (define-char
   '((name		. "LESS-THAN OVER EQUAL TO")
-    (ucs		. #x2266)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208-1978	#x21 #x65)	; ø»½„
-    (japanese-jisx0208		#x21 #x65)	; ø»†‘Œ
-    (chinese-cns11643-1		#x22 #x39)	; ø»‘„’
+    (japanese-jisx0208-1978	. #x2165)	; ø»½„
+    (japanese-jisx0208		. #x2165)	; ø»†‘Œ
+    (chinese-cns11643-1		. #x2239)	; ø»‘„’
+    (japanese-jisx0208-1990	. #x2165)	; ø½‰·€
+    (chinese-big5		. #xA1D8)	; ý¢€Š‡˜
+    (ucs			. #x2266)	; ≦
     ))
 (define-char
   '((name		. "GREATER-THAN OVER EQUAL TO")
-    (ucs		. #x2267)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208-1978	#x21 #x66)	; ø»½…
-    (japanese-jisx0208		#x21 #x66)	; ø»†‘
-    (chinese-cns11643-1		#x22 #x3A)	; ø»‘„“
+    (japanese-jisx0208-1978	. #x2166)	; ø»½…
+    (japanese-jisx0208		. #x2166)	; ø»†‘
+    (chinese-cns11643-1		. #x223A)	; ø»‘„“
+    (japanese-jisx0208-1990	. #x2166)	; ø½‰·
+    (chinese-big5		. #xA1D9)	; ý¢€Š‡™
+    (ucs			. #x2267)	; ≧
     ))
 (define-char
   '((name		. "LESS-THAN BUT NOT EQUAL TO")
-    (ucs		. #x2268)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2268)	; ≨
     ))
 (define-char
   '((name		. "GREATER-THAN BUT NOT EQUAL TO")
-    (ucs		. #x2269)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2269)	; ≩
     ))
 (define-char
   '((name		. "MUCH LESS-THAN")
-    (ucs		. #x226A)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208	#x22 #x63)	; ø»†’¨
-    (korean-ksc5601	#x21 #x6C)	; ø»ˆ›—
+    (japanese-jisx0208		. #x2263)	; ø»†’¨
+    (korean-ksc5601		. #x216C)	; ø»ˆ›—
+    (japanese-jisx0208-1990	. #x2263)	; ø½‰¸œ
+    (ucs			. #x226A)	; ≪
     ))
 (define-char
   '((name		. "MUCH GREATER-THAN")
-    (ucs		. #x226B)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208	#x22 #x64)	; ø»†’©
-    (korean-ksc5601	#x21 #x6D)	; ø»ˆ›˜
+    (japanese-jisx0208		. #x2264)	; ø»†’©
+    (korean-ksc5601		. #x216D)	; ø»ˆ›˜
+    (japanese-jisx0208-1990	. #x2264)	; ø½‰¸
+    (ucs			. #x226B)	; ≫
     ))
 (define-char
   '((name		. "BETWEEN")
-    (ucs		. #x226C)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x226C)	; ≬
     ))
 (define-char
   '((name		. "NOT EQUIVALENT TO")
-    (ucs		. #x226D)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
     (->decomposition	#x224D #x0338)
+    (ucs		. #x226D)	; ≭
     ))
 (define-char
   '((name		. "NOT LESS-THAN")
-    (ucs		. #x226E)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x003C #x0338)
-    (chinese-gb2312	#x21 #x5A)	; ø»„†½
+    (chinese-gb2312	. #x215A)	; ø»„†½
+    (ucs		. #x226E)	; ≮
     ))
 (define-char
   '((name		. "NOT GREATER-THAN")
-    (ucs		. #x226F)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x003E #x0338)
-    (chinese-gb2312	#x21 #x5B)	; ø»„†¾
+    (chinese-gb2312	. #x215B)	; ø»„†¾
+    (ucs		. #x226F)	; ≯
     ))
 (define-char
   '((name		. "NEITHER LESS-THAN NOR EQUAL TO")
-    (ucs		. #x2270)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2264 #x0338)
+    (ucs		. #x2270)	; ≰
     ))
 (define-char
   '((name		. "NEITHER GREATER-THAN NOR EQUAL TO")
-    (ucs		. #x2271)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2265 #x0338)
+    (ucs		. #x2271)	; ≱
     ))
 (define-char
   '((name		. "LESS-THAN OR EQUIVALENT TO")
-    (ucs		. #x2272)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2272)	; ≲
     ))
 (define-char
   '((name		. "GREATER-THAN OR EQUIVALENT TO")
-    (ucs		. #x2273)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2273)	; ≳
     ))
 (define-char
   '((name		. "NEITHER LESS-THAN NOR EQUIVALENT TO")
-    (ucs		. #x2274)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2272 #x0338)
+    (ucs		. #x2274)	; ≴
     ))
 (define-char
   '((name		. "NEITHER GREATER-THAN NOR EQUIVALENT TO")
-    (ucs		. #x2275)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2273 #x0338)
+    (ucs		. #x2275)	; ≵
     ))
 (define-char
   '((name		. "LESS-THAN OR GREATER-THAN")
-    (ucs		. #x2276)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	#x22 #x6F)	; ≶
+    (japanese-jisx0213-1	. #x226F)	; ø»¢•¨
+    (ucs			. #x2276)	; ≶
     ))
 (define-char
   '((name		. "GREATER-THAN OR LESS-THAN")
-    (ucs		. #x2277)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	#x22 #x70)	; ≷
+    (japanese-jisx0213-1	. #x2270)	; ø»¢•©
+    (ucs			. #x2277)	; ≷
     ))
 (define-char
   '((name		. "NEITHER LESS-THAN NOR GREATER-THAN")
-    (ucs		. #x2278)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2276 #x0338)
+    (ucs		. #x2278)	; ≸
     ))
 (define-char
   '((name		. "NEITHER GREATER-THAN NOR LESS-THAN")
-    (ucs		. #x2279)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2277 #x0338)
+    (ucs		. #x2279)	; ≹
     ))
 (define-char
   '((name		. "PRECEDES")
-    (ucs		. #x227A)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x227A)	; ≺
     ))
 (define-char
   '((name		. "SUCCEEDS")
-    (ucs		. #x227B)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x227B)	; ≻
     ))
 (define-char
   '((name		. "PRECEDES OR EQUAL TO")
-    (ucs		. #x227C)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x227C)	; ≼
     ))
 (define-char
   '((name		. "SUCCEEDS OR EQUAL TO")
-    (ucs		. #x227D)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x227D)	; ≽
     ))
 (define-char
   '((name		. "PRECEDES OR EQUIVALENT TO")
-    (ucs		. #x227E)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x227E)	; ≾
     ))
 (define-char
   '((name		. "SUCCEEDS OR EQUIVALENT TO")
-    (ucs		. #x227F)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x227F)	; ≿
     ))
 (define-char
   '((name		. "DOES NOT PRECEDE")
-    (ucs		. #x2280)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x227A #x0338)
+    (ucs		. #x2280)	; ⊀
     ))
 (define-char
   '((name		. "DOES NOT SUCCEED")
-    (ucs		. #x2281)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x227B #x0338)
+    (ucs		. #x2281)	; ⊁
     ))
 (define-char
   '((name		. "SUBSET OF")
-    (ucs		. #x2282)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208	#x22 #x3E)	; ø»†’ƒ
-    (korean-ksc5601	#x21 #x78)	; ø»ˆ›£
+    (japanese-jisx0208		. #x223E)	; ø»†’ƒ
+    (korean-ksc5601		. #x2178)	; ø»ˆ›£
+    (japanese-jisx0208-1990	. #x223E)	; ø½‰··
+    (ucs			. #x2282)	; ⊂
     ))
 (define-char
   '((name		. "SUPERSET OF")
-    (ucs		. #x2283)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208	#x22 #x3F)	; ø»†’„
-    (korean-ksc5601	#x21 #x79)	; ø»ˆ›¤
+    (japanese-jisx0208		. #x223F)	; ø»†’„
+    (korean-ksc5601		. #x2179)	; ø»ˆ›¤
+    (japanese-jisx0208-1990	. #x223F)	; ø½‰·¸
+    (ucs			. #x2283)	; ⊃
     ))
 (define-char
   '((name		. "NOT A SUBSET OF")
-    (ucs		. #x2284)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2282 #x0338)
-    (japanese-jisx0213-1	#x22 #x42)	; ⊄
+    (japanese-jisx0213-1	. #x2242)	; ø»¢”»
+    (ucs			. #x2284)	; ⊄
     ))
 (define-char
   '((name		. "NOT A SUPERSET OF")
-    (ucs		. #x2285)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2283 #x0338)
-    (japanese-jisx0213-1	#x22 #x43)	; ⊅
+    (japanese-jisx0213-1	. #x2243)	; ø»¢”¼
+    (ucs			. #x2285)	; ⊅
     ))
 (define-char
   '((name		. "SUBSET OF OR EQUAL TO")
-    (ucs		. #x2286)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208	#x22 #x3C)	; ø»†’
-    (korean-ksc5601	#x21 #x76)	; ø»ˆ›¡
+    (japanese-jisx0208		. #x223C)	; ø»†’
+    (korean-ksc5601		. #x2176)	; ø»ˆ›¡
+    (japanese-jisx0208-1990	. #x223C)	; ø½‰·µ
+    (ucs			. #x2286)	; ⊆
     ))
 (define-char
   '((name		. "SUPERSET OF OR EQUAL TO")
-    (ucs		. #x2287)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0208	#x22 #x3D)	; ø»†’‚
-    (korean-ksc5601	#x21 #x77)	; ø»ˆ›¢
+    (japanese-jisx0208		. #x223D)	; ø»†’‚
+    (korean-ksc5601		. #x2177)	; ø»ˆ›¢
+    (japanese-jisx0208-1990	. #x223D)	; ø½‰·¶
+    (ucs			. #x2287)	; ⊇
     ))
 (define-char
   '((name		. "NEITHER A SUBSET OF NOR EQUAL TO")
-    (ucs		. #x2288)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2286 #x0338)
+    (ucs		. #x2288)	; ⊈
     ))
 (define-char
   '((name		. "NEITHER A SUPERSET OF NOR EQUAL TO")
-    (ucs		. #x2289)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2287 #x0338)
+    (ucs		. #x2289)	; ⊉
     ))
 (define-char
   '((name		. "SUBSET OF WITH NOT EQUAL TO")
-    (ucs		. #x228A)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	#x22 #x44)	; ⊊
+    (japanese-jisx0213-1	. #x2244)	; ø»¢”½
+    (ucs			. #x228A)	; ⊊
     ))
 (define-char
   '((name		. "SUPERSET OF WITH NOT EQUAL TO")
-    (ucs		. #x228B)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	#x22 #x45)	; ⊋
+    (japanese-jisx0213-1	. #x2245)	; ø»¢”¾
+    (ucs			. #x228B)	; ⊋
     ))
 (define-char
   '((name		. "MULTISET")
-    (ucs		. #x228C)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x228C)	; ⊌
     ))
 (define-char
   '((name		. "MULTISET MULTIPLICATION")
-    (ucs		. #x228D)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x228D)	; ⊍
     ))
 (define-char
   '((name		. "MULTISET UNION")
-    (ucs		. #x228E)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x228E)	; ⊎
     ))
 (define-char
   '((name		. "SQUARE IMAGE OF")
-    (ucs		. #x228F)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x228F)	; ⊏
     ))
 (define-char
   '((name		. "SQUARE ORIGINAL OF")
-    (ucs		. #x2290)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2290)	; ⊐
     ))
 (define-char
   '((name		. "SQUARE IMAGE OF OR EQUAL TO")
-    (ucs		. #x2291)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2291)	; ⊑
     ))
 (define-char
   '((name		. "SQUARE ORIGINAL OF OR EQUAL TO")
-    (ucs		. #x2292)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2292)	; ⊒
     ))
 (define-char
   '((name		. "SQUARE CAP")
-    (ucs		. #x2293)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2293)	; ⊓
     ))
 (define-char
   '((name		. "SQUARE CUP")
-    (ucs		. #x2294)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x2294)	; ⊔
     ))
 (define-char
   '((name		. "CIRCLED PLUS")
-    (ucs		. #x2295)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-cns11643-1		#x22 #x53)	; ø»‘„¬
-    (japanese-jisx0213-1	#x22 #x51)	; ⊕
+    (chinese-cns11643-1		. #x2253)	; ø»‘„¬
+    (japanese-jisx0213-1	. #x2251)	; ø»¢•Š
+    (chinese-big5		. #xA1F2)	; ý¢€Š‡²
+    (ucs			. #x2295)	; ⊕
     ))
 (define-char
   '((name		. "CIRCLED MINUS")
-    (ucs		. #x2296)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0213-1	#x22 #x52)	; ⊖
+    (japanese-jisx0213-1	. #x2252)	; ø»¢•‹
+    (ucs			. #x2296)	; ⊖
     ))
 (define-char
   '((name		. "CIRCLED TIMES")
-    (ucs		. #x2297)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (japanese-jisx0213-1	#x22 #x53)	; ⊗
+    (japanese-jisx0213-1	. #x2253)	; ø»¢•Œ
+    (ucs			. #x2297)	; ⊗
     ))
 (define-char
   '((name		. "CIRCLED DIVISION SLASH")
-    (ucs		. #x2298)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x2298)	; ⊘
     ))
 (define-char
   '((name		. "CIRCLED DOT OPERATOR")
-    (ucs		. #x2299)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	#x21 #x51)	; ø»„†´
-    (korean-ksc5601	#x22 #x41)	; ø»ˆœŠ
-    (chinese-cns11643-1 #x22 #x54)	; ø»‘„­
+    (chinese-gb2312	. #x2151)	; ø»„†´
+    (korean-ksc5601	. #x2241)	; ø»ˆœŠ
+    (chinese-cns11643-1 . #x2254)	; ø»‘„­
+    (chinese-big5	. #xA1F3)	; ý¢€Š‡³
+    (ucs		. #x2299)	; ⊙
     ))
 (define-char
   '((name		. "CIRCLED RING OPERATOR")
-    (ucs		. #x229A)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x229A)	; ⊚
     ))
 (define-char
   '((name		. "CIRCLED ASTERISK OPERATOR")
-    (ucs		. #x229B)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x229B)	; ⊛
     ))
 (define-char
   '((name		. "CIRCLED EQUALS")
-    (ucs		. #x229C)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x229C)	; ⊜
     ))
 (define-char
   '((name		. "CIRCLED DASH")
-    (ucs		. #x229D)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x229D)	; ⊝
     ))
 (define-char
   '((name		. "SQUARED PLUS")
-    (ucs		. #x229E)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x229E)	; ⊞
     ))
 (define-char
   '((name		. "SQUARED MINUS")
-    (ucs		. #x229F)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x229F)	; ⊟
     ))
 (define-char
   '((name		. "SQUARED TIMES")
-    (ucs		. #x22A0)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22A0)	; ⊠
     ))
 (define-char
   '((name		. "SQUARED DOT OPERATOR")
-    (ucs		. #x22A1)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22A1)	; ⊡
     ))
 (define-char
   '((name		. "RIGHT TACK")
-    (ucs		. #x22A2)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22A2)	; ⊢
     ))
 (define-char
   '((name		. "LEFT TACK")
-    (ucs		. #x22A3)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22A3)	; ⊣
     ))
 (define-char
   '((name		. "DOWN TACK")
-    (ucs		. #x22A4)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22A4)	; ⊤
     ))
 (define-char
   '((name		. "UP TACK")
-    (ucs		. #x22A5)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
-    (chinese-gb2312	#x21 #x4D)	; ø»„†°
-    (japanese-jisx0208	#x22 #x5D)	; ø»†’¢
-    (korean-ksc5601	#x21 #x51)	; ø»ˆš¼
-    (chinese-cns11643-1 #x22 #x47)	; ø»‘„ 
+    (chinese-gb2312		. #x214D)	; ø»„†°
+    (japanese-jisx0208		. #x225D)	; ø»†’¢
+    (korean-ksc5601		. #x2151)	; ø»ˆš¼
+    (chinese-cns11643-1		. #x2247)	; ø»‘„ 
+    (japanese-jisx0208-1990	. #x225D)	; ø½‰¸–
+    (chinese-big5		. #xA1E6)	; ý¢€Š‡¦
+    (ucs			. #x22A5)	; ⊥
     ))
 (define-char
   '((name		. "ASSERTION")
-    (ucs		. #x22A6)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22A6)	; ⊦
     ))
 (define-char
   '((name		. "MODELS")
-    (ucs		. #x22A7)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22A7)	; ⊧
     ))
 (define-char
   '((name		. "TRUE")
-    (ucs		. #x22A8)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22A8)	; ⊨
     ))
 (define-char
   '((name		. "FORCES")
-    (ucs		. #x22A9)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22A9)	; ⊩
     ))
 (define-char
   '((name		. "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
-    (ucs		. #x22AA)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22AA)	; ⊪
     ))
 (define-char
   '((name		. "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
-    (ucs		. #x22AB)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22AB)	; ⊫
     ))
 (define-char
   '((name		. "DOES NOT PROVE")
-    (ucs		. #x22AC)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22A2 #x0338)
+    (ucs		. #x22AC)	; ⊬
     ))
 (define-char
   '((name		. "NOT TRUE")
-    (ucs		. #x22AD)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22A8 #x0338)
+    (ucs		. #x22AD)	; ⊭
     ))
 (define-char
   '((name		. "DOES NOT FORCE")
-    (ucs		. #x22AE)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22A9 #x0338)
+    (ucs		. #x22AE)	; ⊮
     ))
 (define-char
   '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
-    (ucs		. #x22AF)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22AB #x0338)
+    (ucs		. #x22AF)	; ⊯
     ))
 (define-char
   '((name		. "PRECEDES UNDER RELATION")
-    (ucs		. #x22B0)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22B0)	; ⊰
     ))
 (define-char
   '((name		. "SUCCEEDS UNDER RELATION")
-    (ucs		. #x22B1)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22B1)	; ⊱
     ))
 (define-char
   '((name		. "NORMAL SUBGROUP OF")
-    (ucs		. #x22B2)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22B2)	; ⊲
     ))
 (define-char
   '((name		. "CONTAINS AS NORMAL SUBGROUP")
-    (ucs		. #x22B3)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22B3)	; ⊳
     ))
 (define-char
   '((name		. "NORMAL SUBGROUP OF OR EQUAL TO")
-    (ucs		. #x22B4)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22B4)	; ⊴
     ))
 (define-char
   '((name		. "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
-    (ucs		. #x22B5)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22B5)	; ⊵
     ))
 (define-char
   '((name		. "ORIGINAL OF")
-    (ucs		. #x22B6)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22B6)	; ⊶
     ))
 (define-char
   '((name		. "IMAGE OF")
-    (ucs		. #x22B7)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22B7)	; ⊷
     ))
 (define-char
   '((name		. "MULTIMAP")
-    (ucs		. #x22B8)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22B8)	; ⊸
     ))
 (define-char
   '((name		. "HERMITIAN CONJUGATE MATRIX")
-    (ucs		. #x22B9)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22B9)	; ⊹
     ))
 (define-char
   '((name		. "INTERCALATE")
-    (ucs		. #x22BA)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22BA)	; ⊺
     ))
 (define-char
   '((name		. "XOR")
-    (ucs		. #x22BB)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22BB)	; ⊻
     ))
 (define-char
   '((name		. "NAND")
-    (ucs		. #x22BC)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22BC)	; ⊼
     ))
 (define-char
   '((name		. "NOR")
-    (ucs		. #x22BD)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22BD)	; ⊽
     ))
 (define-char
   '((name		. "RIGHT ANGLE WITH ARC")
-    (ucs		. #x22BE)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22BE)	; ⊾
     ))
 (define-char
   '((name		. "RIGHT TRIANGLE")
-    (ucs		. #x22BF)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (chinese-cns11643-1		#x22 #x4A)	; ø»‘„£
-    (japanese-jisx0213-1	#x2D #x79)	; ⊿
+    (chinese-cns11643-1		. #x224A)	; ø»‘„£
+    (japanese-jisx0213-1	. #x2D79)	; ø»¢¥¼
+    (chinese-big5		. #xA1E9)	; ý¢€Š‡©
+    (ucs			. #x22BF)	; ⊿
     ))
 (define-char
   '((name		. "N-ARY LOGICAL AND")
-    (ucs		. #x22C0)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22C0)	; ⋀
     ))
 (define-char
   '((name		. "N-ARY LOGICAL OR")
-    (ucs		. #x22C1)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22C1)	; ⋁
     ))
 (define-char
   '((name		. "N-ARY INTERSECTION")
-    (ucs		. #x22C2)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22C2)	; ⋂
     ))
 (define-char
   '((name		. "N-ARY UNION")
-    (ucs		. #x22C3)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22C3)	; ⋃
     ))
 (define-char
   '((name		. "DIAMOND OPERATOR")
-    (ucs		. #x22C4)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22C4)	; ⋄
     ))
 (define-char
   '((name		. "DOT OPERATOR")
-    (ucs		. #x22C5)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22C5)	; ⋅
     ))
 (define-char
   '((name		. "STAR OPERATOR")
-    (ucs		. #x22C6)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22C6)	; ⋆
     ))
 (define-char
   '((name		. "DIVISION TIMES")
-    (ucs		. #x22C7)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22C7)	; ⋇
     ))
 (define-char
   '((name		. "BOWTIE")
-    (ucs		. #x22C8)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22C8)	; ⋈
     ))
 (define-char
   '((name		. "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
-    (ucs		. #x22C9)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22C9)	; ⋉
     ))
 (define-char
   '((name		. "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
-    (ucs		. #x22CA)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22CA)	; ⋊
     ))
 (define-char
   '((name		. "LEFT SEMIDIRECT PRODUCT")
-    (ucs		. #x22CB)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22CB)	; ⋋
     ))
 (define-char
   '((name		. "RIGHT SEMIDIRECT PRODUCT")
-    (ucs		. #x22CC)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22CC)	; ⋌
     ))
 (define-char
   '((name		. "REVERSED TILDE EQUALS")
-    (ucs		. #x22CD)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22CD)	; ⋍
     ))
 (define-char
   '((name		. "CURLY LOGICAL OR")
-    (ucs		. #x22CE)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22CE)	; ⋎
     ))
 (define-char
   '((name		. "CURLY LOGICAL AND")
-    (ucs		. #x22CF)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22CF)	; ⋏
     ))
 (define-char
   '((name		. "DOUBLE SUBSET")
-    (ucs		. #x22D0)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22D0)	; ⋐
     ))
 (define-char
   '((name		. "DOUBLE SUPERSET")
-    (ucs		. #x22D1)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22D1)	; ⋑
     ))
 (define-char
   '((name		. "DOUBLE INTERSECTION")
-    (ucs		. #x22D2)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22D2)	; ⋒
     ))
 (define-char
   '((name		. "DOUBLE UNION")
-    (ucs		. #x22D3)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22D3)	; ⋓
     ))
 (define-char
   '((name		. "PITCHFORK")
-    (ucs		. #x22D4)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22D4)	; ⋔
     ))
 (define-char
   '((name		. "EQUAL AND PARALLEL TO")
-    (ucs		. #x22D5)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22D5)	; ⋕
     ))
 (define-char
   '((name		. "LESS-THAN WITH DOT")
-    (ucs		. #x22D6)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22D6)	; ⋖
     ))
 (define-char
   '((name		. "GREATER-THAN WITH DOT")
-    (ucs		. #x22D7)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22D7)	; ⋗
     ))
 (define-char
   '((name		. "VERY MUCH LESS-THAN")
-    (ucs		. #x22D8)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22D8)	; ⋘
     ))
 (define-char
   '((name		. "VERY MUCH GREATER-THAN")
-    (ucs		. #x22D9)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22D9)	; ⋙
     ))
 (define-char
   '((name		. "LESS-THAN EQUAL TO OR GREATER-THAN")
-    (ucs		. #x22DA)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	#x27 #x76)	; ⋚
+    (japanese-jisx0213-1	. #x2776)	; ø»¢…
+    (ucs			. #x22DA)	; ⋚
     ))
 (define-char
   '((name		. "GREATER-THAN EQUAL TO OR LESS-THAN")
-    (ucs		. #x22DB)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
-    (japanese-jisx0213-1	#x27 #x77)	; ⋛
+    (japanese-jisx0213-1	. #x2777)	; ø»¢†
+    (ucs			. #x22DB)	; ⋛
     ))
 (define-char
   '((name		. "EQUAL TO OR LESS-THAN")
-    (ucs		. #x22DC)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22DC)	; ⋜
     ))
 (define-char
   '((name		. "EQUAL TO OR GREATER-THAN")
-    (ucs		. #x22DD)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22DD)	; ⋝
     ))
 (define-char
   '((name		. "EQUAL TO OR PRECEDES")
-    (ucs		. #x22DE)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22DE)	; ⋞
     ))
 (define-char
   '((name		. "EQUAL TO OR SUCCEEDS")
-    (ucs		. #x22DF)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22DF)	; ⋟
     ))
 (define-char
   '((name		. "DOES NOT PRECEDE OR EQUAL")
-    (ucs		. #x22E0)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x227C #x0338)
+    (ucs		. #x22E0)	; ⋠
     ))
 (define-char
   '((name		. "DOES NOT SUCCEED OR EQUAL")
-    (ucs		. #x22E1)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x227D #x0338)
+    (ucs		. #x22E1)	; ⋡
     ))
 (define-char
   '((name		. "NOT SQUARE IMAGE OF OR EQUAL TO")
-    (ucs		. #x22E2)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2291 #x0338)
+    (ucs		. #x22E2)	; ⋢
     ))
 (define-char
   '((name		. "NOT SQUARE ORIGINAL OF OR EQUAL TO")
-    (ucs		. #x22E3)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x2292 #x0338)
+    (ucs		. #x22E3)	; ⋣
     ))
 (define-char
   '((name		. "SQUARE IMAGE OF OR NOT EQUAL TO")
-    (ucs		. #x22E4)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22E4)	; ⋤
     ))
 (define-char
   '((name		. "SQUARE ORIGINAL OF OR NOT EQUAL TO")
-    (ucs		. #x22E5)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22E5)	; ⋥
     ))
 (define-char
   '((name		. "LESS-THAN BUT NOT EQUIVALENT TO")
-    (ucs		. #x22E6)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22E6)	; ⋦
     ))
 (define-char
   '((name		. "GREATER-THAN BUT NOT EQUIVALENT TO")
-    (ucs		. #x22E7)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22E7)	; ⋧
     ))
 (define-char
   '((name		. "PRECEDES BUT NOT EQUIVALENT TO")
-    (ucs		. #x22E8)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22E8)	; ⋨
     ))
 (define-char
   '((name		. "SUCCEEDS BUT NOT EQUIVALENT TO")
-    (ucs		. #x22E9)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22E9)	; ⋩
     ))
 (define-char
   '((name		. "NOT NORMAL SUBGROUP OF")
-    (ucs		. #x22EA)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22B2 #x0338)
+    (ucs		. #x22EA)	; ⋪
     ))
 (define-char
   '((name		. "DOES NOT CONTAIN AS NORMAL SUBGROUP")
-    (ucs		. #x22EB)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22B3 #x0338)
+    (ucs		. #x22EB)	; ⋫
     ))
 (define-char
   '((name		. "NOT NORMAL SUBGROUP OF OR EQUAL TO")
-    (ucs		. #x22EC)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22B4 #x0338)
+    (ucs		. #x22EC)	; ⋬
     ))
 (define-char
   '((name		. "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
-    (ucs		. #x22ED)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
     (->decomposition	#x22B5 #x0338)
+    (ucs		. #x22ED)	; ⋭
     ))
 (define-char
   '((name		. "VERTICAL ELLIPSIS")
-    (ucs		. #x22EE)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22EE)	; ⋮
     ))
 (define-char
   '((name		. "MIDLINE HORIZONTAL ELLIPSIS")
-    (ucs		. #x22EF)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. nil)
+    (ucs		. #x22EF)	; ⋯
     ))
 (define-char
   '((name		. "UP RIGHT DIAGONAL ELLIPSIS")
-    (ucs		. #x22F0)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22F0)	; ⋰
     ))
 (define-char
   '((name		. "DOWN RIGHT DIAGONAL ELLIPSIS")
-    (ucs		. #x22F1)
     (general-category	symbol math) ; Informative Category
     (bidi-category	. "ON")
     (mirrored		. t)
+    (ucs		. #x22F1)	; ⋱
     ))