(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)	; �����
    ))
(define-char
  '((name		. "COMPLEMENT")
    (ucs		. #x2201)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(define-char
  '((name		. "THERE DOES NOT EXIST")
    (ucs		. #x2204)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x2203 #x0338)
    ))
(define-char
  '((name		. "EMPTY SET")
    (ucs		. #x2205)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (japanese-jisx0213-1	#x22 #x47)	; ∅
    ))
(define-char
  '((name		. "INCREMENT")
    (ucs		. #x2206)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(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)	; ∉
    ))
(define-char
  '((name		. "SMALL ELEMENT OF")
    (ucs		. #x220A)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(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)	; �����
    ))
(define-char
  '((name		. "DOES NOT CONTAIN AS MEMBER")
    (ucs		. #x220C)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x220B #x0338)
    ))
(define-char
  '((name		. "SMALL CONTAINS AS MEMBER")
    (ucs		. #x220D)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "END OF PROOF")
    (ucs		. #x220E)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(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)	; �����
    ))
(define-char
  '((name		. "N-ARY COPRODUCT")
    (ucs		. #x2210)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(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)	; ∓
    ))
(define-char
  '((name		. "DOT PLUS")
    (ucs		. #x2214)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "DIVISION SLASH")
    (ucs		. #x2215)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (chinese-cns11643-1 #x22 #x61)	; �����
    ))
(define-char
  '((name		. "SET MINUS")
    (ucs		. #x2216)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "ASTERISK OPERATOR")
    (ucs		. #x2217)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "RING OPERATOR")
    (ucs		. #x2218)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "BULLET OPERATOR")
    (ucs		. #x2219)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(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)	; �����
    ))
(define-char
  '((name		. "CUBE ROOT")
    (ucs		. #x221B)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "FOURTH ROOT")
    (ucs		. #x221C)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(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)	; ∟
    ))
(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)	; �����
    ))
(define-char
  '((name		. "MEASURED ANGLE")
    (ucs		. #x2221)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "SPHERICAL ANGLE")
    (ucs		. #x2222)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "DIVIDES")
    (ucs		. #x2223)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "DOES NOT DIVIDE")
    (ucs		. #x2224)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x2223 #x0338)
    ))
(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)	; ∥
    ))
(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)	; ∦
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(define-char
  '((name		. "TRIPLE INTEGRAL")
    (ucs		. #x222D)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	compat #x222B #x222B #x222B)
    ))
(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)	; ∮
    ))
(define-char
  '((name		. "SURFACE INTEGRAL")
    (ucs		. #x222F)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	compat #x222E #x222E)
    ))
(define-char
  '((name		. "VOLUME INTEGRAL")
    (ucs		. #x2230)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	compat #x222E #x222E #x222E)
    ))
(define-char
  '((name		. "CLOCKWISE INTEGRAL")
    (ucs		. #x2231)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "CLOCKWISE CONTOUR INTEGRAL")
    (ucs		. #x2232)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "ANTICLOCKWISE CONTOUR INTEGRAL")
    (ucs		. #x2233)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(define-char
  '((name		. "RATIO")
    (ucs		. #x2236)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (chinese-gb2312	#x21 #x43)	; �����
    ))
(define-char
  '((name		. "PROPORTION")
    (ucs		. #x2237)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (chinese-gb2312	#x21 #x4B)	; �����
    ))
(define-char
  '((name		. "DOT MINUS")
    (ucs		. #x2238)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "EXCESS")
    (ucs		. #x2239)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "GEOMETRIC PROPORTION")
    (ucs		. #x223A)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "HOMOTHETIC")
    (ucs		. #x223B)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "TILDE OPERATOR")
    (ucs		. #x223C)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (korean-ksc5601	#x21 #x2D)	; �����
    ))
(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)	; �����
    ))
(define-char
  '((name		. "INVERTED LAZY S")
    (ucs		. #x223E)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "SINE WAVE")
    (ucs		. #x223F)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "WREATH PRODUCT")
    (ucs		. #x2240)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "NOT TILDE")
    (ucs		. #x2241)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x223C #x0338)
    ))
(define-char
  '((name		. "MINUS TILDE")
    (ucs		. #x2242)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "ASYMPTOTICALLY EQUAL TO")
    (ucs		. #x2243)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (japanese-jisx0213-1	#x22 #x6C)	; ≃
    ))
(define-char
  '((name		. "NOT ASYMPTOTICALLY EQUAL TO")
    (ucs		. #x2244)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x2243 #x0338)
    ))
(define-char
  '((name		. "APPROXIMATELY EQUAL TO")
    (ucs		. #x2245)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (japanese-jisx0213-1	#x22 #x6D)	; ≅
    ))
(define-char
  '((name		. "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
    (ucs		. #x2246)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(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)
    ))
(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)	; ≈
    ))
(define-char
  '((name		. "NOT ALMOST EQUAL TO")
    (ucs		. #x2249)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x2248 #x0338)
    ))
(define-char
  '((name		. "ALMOST EQUAL OR EQUAL TO")
    (ucs		. #x224A)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "TRIPLE TILDE")
    (ucs		. #x224B)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "ALL EQUAL TO")
    (ucs		. #x224C)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (chinese-gb2312	#x21 #x55)	; �����
    ))
(define-char
  '((name		. "EQUIVALENT TO")
    (ucs		. #x224D)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "GEOMETRICALLY EQUIVALENT TO")
    (ucs		. #x224E)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "DIFFERENCE BETWEEN")
    (ucs		. #x224F)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "APPROACHES THE LIMIT")
    (ucs		. #x2250)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "GEOMETRICALLY EQUAL TO")
    (ucs		. #x2251)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(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)	; �����
    ))
(define-char
  '((name		. "IMAGE OF OR APPROXIMATELY EQUAL TO")
    (ucs		. #x2253)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "COLON EQUALS")
    (ucs		. #x2254)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "EQUALS COLON")
    (ucs		. #x2255)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "RING IN EQUAL TO")
    (ucs		. #x2256)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "RING EQUAL TO")
    (ucs		. #x2257)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "CORRESPONDS TO")
    (ucs		. #x2258)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "ESTIMATES")
    (ucs		. #x2259)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "EQUIANGULAR TO")
    (ucs		. #x225A)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "STAR EQUALS")
    (ucs		. #x225B)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "DELTA EQUAL TO")
    (ucs		. #x225C)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "EQUAL TO BY DEFINITION")
    (ucs		. #x225D)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "MEASURED BY")
    (ucs		. #x225E)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "QUESTIONED EQUAL TO")
    (ucs		. #x225F)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(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)	; ≢
    ))
(define-char
  '((name		. "STRICTLY EQUIVALENT TO")
    (ucs		. #x2263)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(define-char
  '((name		. "LESS-THAN BUT NOT EQUAL TO")
    (ucs		. #x2268)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "GREATER-THAN BUT NOT EQUAL TO")
    (ucs		. #x2269)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(define-char
  '((name		. "BETWEEN")
    (ucs		. #x226C)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "NOT EQUIVALENT TO")
    (ucs		. #x226D)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (->decomposition	#x224D #x0338)
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(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)
    ))
(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)
    ))
(define-char
  '((name		. "LESS-THAN OR EQUIVALENT TO")
    (ucs		. #x2272)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "GREATER-THAN OR EQUIVALENT TO")
    (ucs		. #x2273)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(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)
    ))
(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)
    ))
(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)	; ≶
    ))
(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)	; ≷
    ))
(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)
    ))
(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)
    ))
(define-char
  '((name		. "PRECEDES")
    (ucs		. #x227A)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "SUCCEEDS")
    (ucs		. #x227B)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "PRECEDES OR EQUAL TO")
    (ucs		. #x227C)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "SUCCEEDS OR EQUAL TO")
    (ucs		. #x227D)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "PRECEDES OR EQUIVALENT TO")
    (ucs		. #x227E)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "SUCCEEDS OR EQUIVALENT TO")
    (ucs		. #x227F)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "DOES NOT PRECEDE")
    (ucs		. #x2280)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x227A #x0338)
    ))
(define-char
  '((name		. "DOES NOT SUCCEED")
    (ucs		. #x2281)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x227B #x0338)
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(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)	; ⊄
    ))
(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)	; ⊅
    ))
(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)	; �����
    ))
(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)	; �����
    ))
(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)
    ))
(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)
    ))
(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)	; ⊊
    ))
(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)	; ⊋
    ))
(define-char
  '((name		. "MULTISET")
    (ucs		. #x228C)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "MULTISET MULTIPLICATION")
    (ucs		. #x228D)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "MULTISET UNION")
    (ucs		. #x228E)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "SQUARE IMAGE OF")
    (ucs		. #x228F)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "SQUARE ORIGINAL OF")
    (ucs		. #x2290)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "SQUARE IMAGE OF OR EQUAL TO")
    (ucs		. #x2291)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "SQUARE ORIGINAL OF OR EQUAL TO")
    (ucs		. #x2292)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "SQUARE CAP")
    (ucs		. #x2293)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "SQUARE CUP")
    (ucs		. #x2294)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(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)	; ⊕
    ))
(define-char
  '((name		. "CIRCLED MINUS")
    (ucs		. #x2296)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (japanese-jisx0213-1	#x22 #x52)	; ⊖
    ))
(define-char
  '((name		. "CIRCLED TIMES")
    (ucs		. #x2297)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (japanese-jisx0213-1	#x22 #x53)	; ⊗
    ))
(define-char
  '((name		. "CIRCLED DIVISION SLASH")
    (ucs		. #x2298)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(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)	; �����
    ))
(define-char
  '((name		. "CIRCLED RING OPERATOR")
    (ucs		. #x229A)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "CIRCLED ASTERISK OPERATOR")
    (ucs		. #x229B)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "CIRCLED EQUALS")
    (ucs		. #x229C)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "CIRCLED DASH")
    (ucs		. #x229D)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "SQUARED PLUS")
    (ucs		. #x229E)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "SQUARED MINUS")
    (ucs		. #x229F)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "SQUARED TIMES")
    (ucs		. #x22A0)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "SQUARED DOT OPERATOR")
    (ucs		. #x22A1)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "RIGHT TACK")
    (ucs		. #x22A2)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "LEFT TACK")
    (ucs		. #x22A3)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "DOWN TACK")
    (ucs		. #x22A4)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(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)	; �����
    ))
(define-char
  '((name		. "ASSERTION")
    (ucs		. #x22A6)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "MODELS")
    (ucs		. #x22A7)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "TRUE")
    (ucs		. #x22A8)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "FORCES")
    (ucs		. #x22A9)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
    (ucs		. #x22AA)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
    (ucs		. #x22AB)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "DOES NOT PROVE")
    (ucs		. #x22AC)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x22A2 #x0338)
    ))
(define-char
  '((name		. "NOT TRUE")
    (ucs		. #x22AD)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x22A8 #x0338)
    ))
(define-char
  '((name		. "DOES NOT FORCE")
    (ucs		. #x22AE)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x22A9 #x0338)
    ))
(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)
    ))
(define-char
  '((name		. "PRECEDES UNDER RELATION")
    (ucs		. #x22B0)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "SUCCEEDS UNDER RELATION")
    (ucs		. #x22B1)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "NORMAL SUBGROUP OF")
    (ucs		. #x22B2)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "CONTAINS AS NORMAL SUBGROUP")
    (ucs		. #x22B3)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "NORMAL SUBGROUP OF OR EQUAL TO")
    (ucs		. #x22B4)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
    (ucs		. #x22B5)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "ORIGINAL OF")
    (ucs		. #x22B6)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "IMAGE OF")
    (ucs		. #x22B7)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "MULTIMAP")
    (ucs		. #x22B8)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "HERMITIAN CONJUGATE MATRIX")
    (ucs		. #x22B9)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "INTERCALATE")
    (ucs		. #x22BA)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "XOR")
    (ucs		. #x22BB)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "NAND")
    (ucs		. #x22BC)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "NOR")
    (ucs		. #x22BD)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "RIGHT ANGLE WITH ARC")
    (ucs		. #x22BE)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(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)	; ⊿
    ))
(define-char
  '((name		. "N-ARY LOGICAL AND")
    (ucs		. #x22C0)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "N-ARY LOGICAL OR")
    (ucs		. #x22C1)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "N-ARY INTERSECTION")
    (ucs		. #x22C2)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "N-ARY UNION")
    (ucs		. #x22C3)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "DIAMOND OPERATOR")
    (ucs		. #x22C4)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "DOT OPERATOR")
    (ucs		. #x22C5)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "STAR OPERATOR")
    (ucs		. #x22C6)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "DIVISION TIMES")
    (ucs		. #x22C7)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "BOWTIE")
    (ucs		. #x22C8)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
    (ucs		. #x22C9)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
    (ucs		. #x22CA)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "LEFT SEMIDIRECT PRODUCT")
    (ucs		. #x22CB)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "RIGHT SEMIDIRECT PRODUCT")
    (ucs		. #x22CC)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "REVERSED TILDE EQUALS")
    (ucs		. #x22CD)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "CURLY LOGICAL OR")
    (ucs		. #x22CE)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "CURLY LOGICAL AND")
    (ucs		. #x22CF)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "DOUBLE SUBSET")
    (ucs		. #x22D0)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "DOUBLE SUPERSET")
    (ucs		. #x22D1)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "DOUBLE INTERSECTION")
    (ucs		. #x22D2)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "DOUBLE UNION")
    (ucs		. #x22D3)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "PITCHFORK")
    (ucs		. #x22D4)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "EQUAL AND PARALLEL TO")
    (ucs		. #x22D5)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "LESS-THAN WITH DOT")
    (ucs		. #x22D6)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "GREATER-THAN WITH DOT")
    (ucs		. #x22D7)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "VERY MUCH LESS-THAN")
    (ucs		. #x22D8)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "VERY MUCH GREATER-THAN")
    (ucs		. #x22D9)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(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)	; ⋚
    ))
(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)	; ⋛
    ))
(define-char
  '((name		. "EQUAL TO OR LESS-THAN")
    (ucs		. #x22DC)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "EQUAL TO OR GREATER-THAN")
    (ucs		. #x22DD)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "EQUAL TO OR PRECEDES")
    (ucs		. #x22DE)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "EQUAL TO OR SUCCEEDS")
    (ucs		. #x22DF)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "DOES NOT PRECEDE OR EQUAL")
    (ucs		. #x22E0)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x227C #x0338)
    ))
(define-char
  '((name		. "DOES NOT SUCCEED OR EQUAL")
    (ucs		. #x22E1)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x227D #x0338)
    ))
(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)
    ))
(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)
    ))
(define-char
  '((name		. "SQUARE IMAGE OF OR NOT EQUAL TO")
    (ucs		. #x22E4)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "SQUARE ORIGINAL OF OR NOT EQUAL TO")
    (ucs		. #x22E5)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "LESS-THAN BUT NOT EQUIVALENT TO")
    (ucs		. #x22E6)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "GREATER-THAN BUT NOT EQUIVALENT TO")
    (ucs		. #x22E7)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "PRECEDES BUT NOT EQUIVALENT TO")
    (ucs		. #x22E8)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "SUCCEEDS BUT NOT EQUIVALENT TO")
    (ucs		. #x22E9)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "NOT NORMAL SUBGROUP OF")
    (ucs		. #x22EA)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (->decomposition	#x22B2 #x0338)
    ))
(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)
    ))
(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)
    ))
(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)
    ))
(define-char
  '((name		. "VERTICAL ELLIPSIS")
    (ucs		. #x22EE)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "MIDLINE HORIZONTAL ELLIPSIS")
    (ucs		. #x22EF)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    ))
(define-char
  '((name		. "UP RIGHT DIAGONAL ELLIPSIS")
    (ucs		. #x22F0)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))
(define-char
  '((name		. "DOWN RIGHT DIAGONAL ELLIPSIS")
    (ucs		. #x22F1)
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    ))