;; -*- coding: utf-8-mcs-er -*-
(define-char
  '((name		. "FOR ALL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2200)	; ∀
    ))
(define-char
  '((<-denotational
     ((name		  . "FOR ALL")
      (=ucs		  . #x2200)	; ∀
      ))
    (=jis-x0208@1983	. #x224F)	; &J90-224F; [02-47]
    (=ks-x1001		. #x2223)	; &I-K0-2223; [02-03]
    (=jis-x0208@1990	. #x224F)	; &I-J90-224F; [02-47]
    (=jef-china3	. #x7FDC)	; &I-JC3-7FDC;
    (=ucs@jis		. #x2200)	; &J90-224F;
    (=ucs@ks		. #x2200)	; &J90-224F;
    (<-fullwidth
     ((name		  . "FOR ALL")
      (=ucs		  . #x2200)	; ∀
      ))
    ))
(define-char
  '((name		. "COMPLEMENT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2201)	; ∁
    ))
(define-char
  '((name		. "PARTIAL DIFFERENTIAL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2202)	; ∂
    ))
(define-char
  '((<-denotational
     ((name		  . "PARTIAL DIFFERENTIAL")
      (=ucs		  . #x2202)	; ∂
      ))
    (=jis-x0208@1983	. #x225F)	; &J90-225F; [02-63]
    (=ks-x1001		. #x2153)	; &I-K0-2153; [01-51]
    (=jis-x0208@1990	. #x225F)	; &I-J90-225F; [02-63]
    (=jef-china3	. #x7FE1)	; &I-JC3-7FE1;
    (=ucs@jis		. #x2202)	; &J90-225F;
    (=ucs@ks		. #x2202)	; &J90-225F;
    (<-fullwidth
     ((name		  . "PARTIAL DIFFERENTIAL")
      (=ucs		  . #x2202)	; ∂
      ))
    ))
(define-char
  '((name		. "THERE EXISTS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2203)	; ∃
    ))
(define-char
  '((<-denotational
     ((name		  . "THERE EXISTS")
      (=ucs		  . #x2203)	; ∃
      ))
    (=jis-x0208@1983	. #x2250)	; &J90-2250; [02-48]
    (=ks-x1001		. #x2224)	; &I-K0-2224; [02-04]
    (=jis-x0208@1990	. #x2250)	; &I-J90-2250; [02-48]
    (=jef-china3	. #x7FDD)	; &I-JC3-7FDD;
    (=ucs@jis		. #x2203)	; &J90-2250;
    (=ucs@ks		. #x2203)	; &J90-2250;
    (<-fullwidth
     ((name		  . "THERE EXISTS")
      (=ucs		  . #x2203)	; ∃
      ))
    ))
(define-char
  '((name		. "THERE DOES NOT EXIST")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "THERE EXISTS")
      (=ucs		  . #x2203)	; ∃
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2204)	; ∄
    ))
(define-char
  '((name		. "EMPTY SET")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2205)	; ∅
    ))
(define-char
  '((<-denotational
     ((name		  . "EMPTY SET")
      (=ucs		  . #x2205)	; ∅
      ))
    (=jis-x0213-1-2000	. #x2247)	; &JX1-2247; [02-39]
    (=ucs@jis		. #x2205)	; &JX1-2247;
    (<-fullwidth
     ((name		  . "EMPTY SET")
      (=ucs		  . #x2205)	; ∅
      ))
    ))
(define-char
  '((name		. "INCREMENT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2206)	; ∆
    ))
(define-char
  '((name		. "NABLA")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2207)	; ∇
    ))
(define-char
  '((<-denotational
     ((name		  . "NABLA")
      (=ucs		  . #x2207)	; ∇
      ))
    (=jis-x0208@1983	. #x2260)	; &J90-2260; [02-64]
    (=ks-x1001		. #x2154)	; &I-K0-2154; [01-52]
    (=jis-x0208@1990	. #x2260)	; &I-J90-2260; [02-64]
    (=jef-china3	. #x7FE2)	; &I-JC3-7FE2;
    (=ucs@jis		. #x2207)	; &J90-2260;
    (=ucs@ks		. #x2207)	; &J90-2260;
    (<-fullwidth
     ((name		  . "NABLA")
      (=ucs		  . #x2207)	; ∇
      ))
    ))
(define-char
  '((name		. "ELEMENT OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2208)	; ∈
    ))
(define-char
  '((<-denotational
     ((name		  . "ELEMENT OF")
      (=ucs		  . #x2208)	; ∈
      ))
    (=gb2312		. #x214A)	; &J90-223A; [01-42]
    (=jis-x0208@1983	. #x223A)	; &I-J83-223A; [02-26]
    (=ks-x1001		. #x2174)	; &I-K0-2174; [01-84]
    (=jis-x0208@1990	. #x223A)	; &I-J90-223A; [02-26]
    (=jef-china3	. #x7FD0)	; &I-JC3-7FD0;
    (=ucs@gb		. #x2208)	; &J90-223A;
    (=ucs@jis		. #x2208)	; &J90-223A;
    (=ucs@ks		. #x2208)	; &J90-223A;
    (<-fullwidth
     ((name		  . "ELEMENT OF")
      (=ucs		  . #x2208)	; ∈
      ))
    ))
(define-char
  '((name		. "NOT AN ELEMENT OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "ELEMENT OF")
      (=ucs		  . #x2208)	; ∈
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2209)	; ∉
    ))
(define-char
  '((<-denotational
     ((name		  . "NOT AN ELEMENT OF")
      (=ucs		  . #x2209)	; ∉
      ))
    (=jis-x0213-1-2000	. #x2246)	; &JX1-2246; [02-38]
    (=ucs@jis		. #x2209)	; &JX1-2246;
    (<-fullwidth
     ((name		  . "NOT AN ELEMENT OF")
      (=ucs		  . #x2209)	; ∉
      ))
    ))
(define-char
  '((name		. "SMALL ELEMENT OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x220A)	; ∊
    ))
(define-char
  '((name		. "CONTAINS AS MEMBER")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x220B)	; ∋
    ))
(define-char
  '((<-denotational
     ((name		  . "CONTAINS AS MEMBER")
      (=ucs		  . #x220B)	; ∋
      ))
    (=jis-x0208@1983	. #x223B)	; &J90-223B; [02-27]
    (=ks-x1001		. #x2175)	; &I-K0-2175; [01-85]
    (=jis-x0208@1990	. #x223B)	; &I-J90-223B; [02-27]
    (=jef-china3	. #x7FD1)	; &I-JC3-7FD1;
    (=ucs@jis		. #x220B)	; &J90-223B;
    (=ucs@ks		. #x220B)	; &J90-223B;
    (<-fullwidth
     ((name		  . "CONTAINS AS MEMBER")
      (=ucs		  . #x220B)	; ∋
      ))
    ))
(define-char
  '((name		. "DOES NOT CONTAIN AS MEMBER")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "CONTAINS AS MEMBER")
      (=ucs		  . #x220B)	; ∋
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x220C)	; ∌
    ))
(define-char
  '((name		. "SMALL CONTAINS AS MEMBER")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x220D)	; ∍
    ))
(define-char
  '((name		. "END OF PROOF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x220E)	; ∎
    ))
(define-char
  '((name		. "N-ARY PRODUCT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x220F)	; ∏
    ))
(define-char
  '((<-denotational
     ((name		  . "N-ARY PRODUCT")
      (=ucs		  . #x220F)	; ∏
      ))
    (=gb2312		. #x2147)	; &K0-2233; [01-39]
    (=ks-x1001		. #x2233)	; &I-K0-2233; [02-19]
    (=ucs@gb		. #x220F)	; &K0-2233;
    (=ucs@ks		. #x220F)	; &K0-2233;
    (<-fullwidth
     ((name		  . "N-ARY PRODUCT")
      (=ucs		  . #x220F)	; ∏
      ))
    ))
(define-char
  '((name		. "N-ARY COPRODUCT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2210)	; ∐
    ))
(define-char
  '((name		. "N-ARY SUMMATION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2211)	; ∑
    ))
(define-char
  '((<-denotational
     ((name		  . "N-ARY SUMMATION")
      (=ucs		  . #x2211)	; ∑
      ))
    (=gb2312		. #x2146)	; &K0-2232; [01-38]
    (=ks-x1001		. #x2232)	; &I-K0-2232; [02-18]
    (=ucs@gb		. #x2211)	; &K0-2232;
    (=ucs@ks		. #x2211)	; &K0-2232;
    (<-fullwidth
     ((name		  . "N-ARY SUMMATION")
      (=ucs		  . #x2211)	; ∑
      ))
    ))
(define-char
  '((name		. "MINUS SIGN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ET")
    (mirrored		. nil)
    (=ucs		. #x2212)	; −
    ))
(define-char
  '((<-denotational
     ((name		  . "MINUS SIGN")
      (=ucs		  . #x2212)	; −
      ))
    (=jis-x0208		. #x215D)	; &J90-215D; [01-61]
    (=ucs@jis		. #x2212)	; &J90-215D;
    (<-fullwidth
     ((name		  . "MINUS SIGN")
      (=ucs		  . #x2212)	; −
      ))
    ))
(define-char
  '((name		. "MINUS-OR-PLUS SIGN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ET")
    (mirrored		. nil)
    (=ucs		. #x2213)	; ∓
    ))
(define-char
  '((<-denotational
     ((name		  . "MINUS-OR-PLUS SIGN")
      (=ucs		  . #x2213)	; ∓
      ))
    (=jis-x0213-1-2000	. #x235B)	; &JX1-235B; [03-59]
    (=ucs@jis		. #x2213)	; &JX1-235B;
    (<-fullwidth
     ((name		  . "MINUS-OR-PLUS SIGN")
      (=ucs		  . #x2213)	; ∓
      ))
    ))
(define-char
  '((name		. "DOT PLUS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2214)	; ∔
    ))
(define-char
  '((name		. "DIVISION SLASH")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2215)	; ∕
    ))
(define-char
  '((<-denotational
     ((name		  . "DIVISION SLASH")
      (=ucs		  . #x2215)	; ∕
      ))
    (=cns11643-1	. #x2261)	; &C1-2261; [02-65]
    (=big5		. #xA241)	; &I-B-A241;
    (=ucs@cns		. #x2215)	; &C1-2261;
    (=ucs@big5		. #x2215)	; &C1-2261;
    (<-fullwidth
     ((name		  . "DIVISION SLASH")
      (=ucs		  . #x2215)	; ∕
      ))
    ))
(define-char
  '((name		. "SET MINUS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2216)	; ∖
    ))
(define-char
  '((name		. "ASTERISK OPERATOR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2217)	; ∗
    ))
(define-char
  '((name		. "RING OPERATOR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2218)	; ∘
    ))
(define-char
  '((name		. "BULLET OPERATOR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2219)	; ∙
    ))
(define-char
  '((name		. "SQUARE ROOT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x221A)	; √
    ))
(define-char
  '((<-denotational
     ((name		  . "SQUARE ROOT")
      (=ucs		  . #x221A)	; √
      ))
    (=gb2312		. #x214C)	; &J90-2265; [01-44]
    (=jis-x0208@1983	. #x2265)	; &I-J83-2265; [02-69]
    (=ks-x1001		. #x216E)	; &I-K0-216E; [01-78]
    (=jis-x0208@1990	. #x2265)	; &I-J90-2265; [02-69]
    (=cns11643-1	. #x2235)	; &I-C1-2235; [02-21]
    (=big5		. #xA1D4)	; &I-B-A1D4;
    (=ucs@gb		. #x221A)	; &J90-2265;
    (=ucs@cns		. #x221A)	; &J90-2265;
    (=ucs@jis		. #x221A)	; &J90-2265;
    (=ucs@ks		. #x221A)	; &J90-2265;
    (=ucs@big5		. #x221A)	; &J90-2265;
    (<-fullwidth
     ((name		  . "SQUARE ROOT")
      (=ucs		  . #x221A)	; √
      ))
    ))
(define-char
  '((name		. "CUBE ROOT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x221B)	; ∛
    ))
(define-char
  '((name		. "FOURTH ROOT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x221C)	; ∜
    ))
(define-char
  '((name		. "PROPORTIONAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x221D)	; ∝
    ))
(define-char
  '((<-denotational
     ((name		  . "PROPORTIONAL TO")
      (=ucs		  . #x221D)	; ∝
      ))
    (=gb2312		. #x2158)	; &J90-2267; [01-56]
    (=jis-x0208@1983	. #x2267)	; &I-J83-2267; [02-71]
    (=ks-x1001		. #x2170)	; &I-K0-2170; [01-80]
    (=jis-x0208@1990	. #x2267)	; &I-J90-2267; [02-71]
    (=jef-china3	. #x7FE7)	; &I-JC3-7FE7;
    (=ucs@gb		. #x221D)	; &J90-2267;
    (=ucs@jis		. #x221D)	; &J90-2267;
    (=ucs@ks		. #x221D)	; &J90-2267;
    (<-fullwidth
     ((name		  . "PROPORTIONAL TO")
      (=ucs		  . #x221D)	; ∝
      ))
    ))
(define-char
  '((name		. "INFINITY")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x221E)	; ∞
    ))
(define-char
  '((<-denotational
     ((name		  . "INFINITY")
      (=ucs		  . #x221E)	; ∞
      ))
    (=jis-x0208		. #x2167)	; &J90-2167; [01-71]
    (=gb2312		. #x215E)	; &I-G0-215E; [01-62]
    (=ks-x1001		. #x2144)	; &I-K0-2144; [01-36]
    (=cns11643-1	. #x223C)	; &I-C1-223C; [02-28]
    (=big5		. #xA1DB)	; &I-B-A1DB;
    (=ucs@gb		. #x221E)	; &J90-2167;
    (=ucs@cns		. #x221E)	; &J90-2167;
    (=ucs@jis		. #x221E)	; &J90-2167;
    (=ucs@ks		. #x221E)	; &J90-2167;
    (=ucs@big5		. #x221E)	; &J90-2167;
    (<-fullwidth
     ((name		  . "INFINITY")
      (=ucs		  . #x221E)	; ∞
      ))
    ))
(define-char
  '((name		. "RIGHT ANGLE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x221F)	; ∟
    ))
(define-char
  '((<-denotational
     ((name		  . "RIGHT ANGLE")
      (=ucs		  . #x221F)	; ∟
      ))
    (=cns11643-1	. #x2249)	; &JX1-2D78; [02-41]
    (=jis-x0213-1-2000	. #x2D78)	; &I-JX1-2D78; [13-88]
    (=big5		. #xA1E8)	; &I-B-A1E8;
    (=ucs@cns		. #x221F)	; &JX1-2D78;
    (=ucs@jis		. #x221F)	; &JX1-2D78;
    (=ucs@big5		. #x221F)	; &JX1-2D78;
    (<-fullwidth
     ((name		  . "RIGHT ANGLE")
      (=ucs		  . #x221F)	; ∟
      ))
    ))
(define-char
  '((name		. "ANGLE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2220)	; ∠
    ))
(define-char
  '((<-denotational
     ((name		  . "ANGLE")
      (=ucs		  . #x2220)	; ∠
      ))
    (=gb2312		. #x214F)	; &J90-225C; [01-47]
    (=jis-x0208@1983	. #x225C)	; &I-J83-225C; [02-60]
    (=ks-x1001		. #x2150)	; &I-K0-2150; [01-48]
    (=jis-x0208@1990	. #x225C)	; &I-J90-225C; [02-60]
    (=cns11643-1	. #x2248)	; &I-C1-2248; [02-40]
    (=big5		. #xA1E7)	; &I-B-A1E7;
    (=jef-china3	. #x7FDE)	; &I-JC3-7FDE;
    (=ucs@gb		. #x2220)	; &J90-225C;
    (=ucs@cns		. #x2220)	; &J90-225C;
    (=ucs@jis		. #x2220)	; &J90-225C;
    (=ucs@ks		. #x2220)	; &J90-225C;
    (=ucs@big5		. #x2220)	; &J90-225C;
    (<-fullwidth
     ((name		  . "ANGLE")
      (=ucs		  . #x2220)	; ∠
      ))
    ))
(define-char
  '((name		. "MEASURED ANGLE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2221)	; ∡
    ))
(define-char
  '((name		. "SPHERICAL ANGLE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2222)	; ∢
    ))
(define-char
  '((name		. "DIVIDES")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2223)	; ∣
    ))
(define-char
  '((<-denotational
     ((name		  . "DIVIDES")
      (=ucs		  . #x2223)	; ∣
      ))
    (=big5		. #xA1FD)	; &B-A1FD;
    (=ucs@big5		. #x2223)	; &B-A1FD;
    (<-fullwidth
     ((name		  . "DIVIDES")
      (=ucs		  . #x2223)	; ∣
      ))
    ))
(define-char
  '((name		. "DOES NOT DIVIDE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "DIVIDES")
      (=ucs		  . #x2223)	; ∣
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2224)	; ∤
    ))
(define-char
  '((name		. "PARALLEL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2225)	; ∥
    ))
(define-char
  '((<-denotational
     ((name		  . "PARALLEL TO")
      (=ucs		  . #x2225)	; ∥
      ))
    (=gb2312		. #x214E)	; &JX1-2254; [01-46]
    (=ks-x1001		. #x212B)	; &I-K0-212B; [01-11]
    (=jis-x0213-1-2000	. #x2254)	; &I-JX1-2254; [02-52]
    (=big5		. #xA1FC)	; &I-B-A1FC;
    (=ucs@gb		. #x2225)	; &JX1-2254;
    (=ucs@jis		. #x2225)	; &JX1-2254;
    (=ucs@ks		. #x2225)	; &JX1-2254;
    (=ucs@big5		. #x2225)	; &JX1-2254;
    (<-fullwidth
     ((name		  . "PARALLEL TO")
      (=ucs		  . #x2225)	; ∥
      ))
    ))
(define-char
  '((name		. "NOT PARALLEL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "PARALLEL TO")
      (=ucs		  . #x2225)	; ∥
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2226)	; ∦
    ))
(define-char
  '((<-denotational
     ((name		  . "NOT PARALLEL TO")
      (=ucs		  . #x2226)	; ∦
      ))
    (=jis-x0213-1-2000	. #x2255)	; &JX1-2255; [02-53]
    (=ucs@jis		. #x2226)	; &JX1-2255;
    (<-fullwidth
     ((name		  . "NOT PARALLEL TO")
      (=ucs		  . #x2226)	; ∦
      ))
    ))
(define-char
  '((name		. "LOGICAL AND")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2227)	; ∧
    ))
(define-char
  '((<-denotational
     ((name		  . "LOGICAL AND")
      (=ucs		  . #x2227)	; ∧
      ))
    (=gb2312		. #x2144)	; &J90-224A; [01-36]
    (=jis-x0208@1983	. #x224A)	; &I-J83-224A; [02-42]
    (=ks-x1001		. #x217C)	; &I-K0-217C; [01-92]
    (=jis-x0208@1990	. #x224A)	; &I-J90-224A; [02-42]
    (=jef-china3	. #x7FD8)	; &I-JC3-7FD8;
    (=ucs@gb		. #x2227)	; &J90-224A;
    (=ucs@jis		. #x2227)	; &J90-224A;
    (=ucs@ks		. #x2227)	; &J90-224A;
    (<-fullwidth
     ((name		  . "LOGICAL AND")
      (=ucs		  . #x2227)	; ∧
      ))
    ))
(define-char
  '((name		. "LOGICAL OR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2228)	; ∨
    ))
(define-char
  '((<-denotational
     ((name		  . "LOGICAL OR")
      (=ucs		  . #x2228)	; ∨
      ))
    (=gb2312		. #x2145)	; &J90-224B; [01-37]
    (=jis-x0208@1983	. #x224B)	; &I-J83-224B; [02-43]
    (=ks-x1001		. #x217D)	; &I-K0-217D; [01-93]
    (=jis-x0208@1990	. #x224B)	; &I-J90-224B; [02-43]
    (=jef-china3	. #x7FD9)	; &I-JC3-7FD9;
    (=ucs@gb		. #x2228)	; &J90-224B;
    (=ucs@jis		. #x2228)	; &J90-224B;
    (=ucs@ks		. #x2228)	; &J90-224B;
    (<-fullwidth
     ((name		  . "LOGICAL OR")
      (=ucs		  . #x2228)	; ∨
      ))
    ))
(define-char
  '((name		. "INTERSECTION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2229)	; ∩
    ))
(define-char
  '((<-denotational
     ((name		  . "INTERSECTION")
      (=ucs		  . #x2229)	; ∩
      ))
    (=gb2312		. #x2149)	; &J90-2241; [01-41]
    (=jis-x0208@1983	. #x2241)	; &I-J83-2241; [02-33]
    (=ks-x1001		. #x217B)	; &I-K0-217B; [01-91]
    (=jis-x0208@1990	. #x2241)	; &I-J90-2241; [02-33]
    (=cns11643-1	. #x2245)	; &I-C1-2245; [02-37]
    (=big5		. #xA1E4)	; &I-B-A1E4;
    (=jef-china3	. #x7FD7)	; &I-JC3-7FD7;
    (=ucs@gb		. #x2229)	; &J90-2241;
    (=ucs@cns		. #x2229)	; &J90-2241;
    (=ucs@jis		. #x2229)	; &J90-2241;
    (=ucs@ks		. #x2229)	; &J90-2241;
    (=ucs@big5		. #x2229)	; &J90-2241;
    (<-fullwidth
     ((name		  . "INTERSECTION")
      (=ucs		  . #x2229)	; ∩
      ))
    ))
(define-char
  '((name		. "UNION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x222A)	; ∪
    ))
(define-char
  '((<-denotational
     ((name		  . "UNION")
      (=ucs		  . #x222A)	; ∪
      ))
    (=gb2312		. #x2148)	; &J90-2240; [01-40]
    (=jis-x0208@1983	. #x2240)	; &I-J83-2240; [02-32]
    (=ks-x1001		. #x217A)	; &I-K0-217A; [01-90]
    (=jis-x0208@1990	. #x2240)	; &I-J90-2240; [02-32]
    (=cns11643-1	. #x2246)	; &I-C1-2246; [02-38]
    (=big5		. #xA1E5)	; &I-B-A1E5;
    (=jef-china3	. #x7FD6)	; &I-JC3-7FD6;
    (=ucs@gb		. #x222A)	; &J90-2240;
    (=ucs@cns		. #x222A)	; &J90-2240;
    (=ucs@jis		. #x222A)	; &J90-2240;
    (=ucs@ks		. #x222A)	; &J90-2240;
    (=ucs@big5		. #x222A)	; &J90-2240;
    (<-fullwidth
     ((name		  . "UNION")
      (=ucs		  . #x222A)	; ∪
      ))
    ))
(define-char
  '((name		. "INTEGRAL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x222B)	; ∫
    ))
(define-char
  '((<-denotational
     ((name		  . "INTEGRAL")
      (=ucs		  . #x222B)	; ∫
      ))
    (=gb2312		. #x2152)	; &J90-2269; [01-50]
    (=jis-x0208@1983	. #x2269)	; &I-J83-2269; [02-73]
    (=ks-x1001		. #x2172)	; &I-K0-2172; [01-82]
    (=jis-x0208@1990	. #x2269)	; &I-J90-2269; [02-73]
    (=cns11643-1	. #x224D)	; &I-C1-224D; [02-45]
    (=big5		. #xA1EC)	; &I-B-A1EC;
    (=jef-china3	. #x7FE8)	; &I-JC3-7FE8;
    (=ucs@gb		. #x222B)	; &J90-2269;
    (=ucs@cns		. #x222B)	; &J90-2269;
    (=ucs@jis		. #x222B)	; &J90-2269;
    (=ucs@ks		. #x222B)	; &J90-2269;
    (=ucs@big5		. #x222B)	; &J90-2269;
    (<-fullwidth
     ((name		  . "INTEGRAL")
      (=ucs		  . #x222B)	; ∫
      ))
    ))
(define-char
  '((name		. "DOUBLE INTEGRAL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=>decomposition@compat
     ((name		  . "INTEGRAL")
      (=ucs		  . #x222B)	; ∫
      )
     ((name		  . "INTEGRAL")
      (=ucs		  . #x222B)	; ∫
      ))
    (=ucs		. #x222C)	; ∬
    ))
(define-char
  '((<-denotational
     ((name		  . "DOUBLE INTEGRAL")
      (=ucs		  . #x222C)	; ∬
      ))
    (=jis-x0208@1983	. #x226A)	; &J90-226A; [02-74]
    (=ks-x1001		. #x2173)	; &I-K0-2173; [01-83]
    (=jis-x0208@1990	. #x226A)	; &I-J90-226A; [02-74]
    (=jef-china3	. #x7FE9)	; &I-JC3-7FE9;
    (=ucs@jis		. #x222C)	; &J90-226A;
    (=ucs@ks		. #x222C)	; &J90-226A;
    (<-fullwidth
     ((name		  . "DOUBLE INTEGRAL")
      (=ucs		  . #x222C)	; ∬
      ))
    ))
(define-char
  '((name		. "TRIPLE INTEGRAL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=>decomposition@compat
     ((name		  . "INTEGRAL")
      (=ucs		  . #x222B)	; ∫
      )
     ((name		  . "INTEGRAL")
      (=ucs		  . #x222B)	; ∫
      )
     ((name		  . "INTEGRAL")
      (=ucs		  . #x222B)	; ∫
      ))
    (=ucs		. #x222D)	; ∭
    ))
(define-char
  '((name		. "CONTOUR INTEGRAL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x222E)	; ∮
    ))
(define-char
  '((<-denotational
     ((name		  . "CONTOUR INTEGRAL")
      (=ucs		  . #x222E)	; ∮
      ))
    (=gb2312		. #x2153)	; &JX1-2D73; [01-51]
    (=ks-x1001		. #x2231)	; &I-K0-2231; [02-17]
    (=cns11643-1	. #x224E)	; &I-C1-224E; [02-46]
    (=jis-x0213-1-2000	. #x2D73)	; &I-JX1-2D73; [13-83]
    (=big5		. #xA1ED)	; &I-B-A1ED;
    (=ucs@gb		. #x222E)	; &JX1-2D73;
    (=ucs@cns		. #x222E)	; &JX1-2D73;
    (=ucs@jis		. #x222E)	; &JX1-2D73;
    (=ucs@ks		. #x222E)	; &JX1-2D73;
    (=ucs@big5		. #x222E)	; &JX1-2D73;
    (<-fullwidth
     ((name		  . "CONTOUR INTEGRAL")
      (=ucs		  . #x222E)	; ∮
      ))
    ))
(define-char
  '((name		. "SURFACE INTEGRAL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=>decomposition@compat
     ((name		  . "CONTOUR INTEGRAL")
      (=ucs		  . #x222E)	; ∮
      )
     ((name		  . "CONTOUR INTEGRAL")
      (=ucs		  . #x222E)	; ∮
      ))
    (=ucs		. #x222F)	; ∯
    ))
(define-char
  '((name		. "VOLUME INTEGRAL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=>decomposition@compat
     ((name		  . "CONTOUR INTEGRAL")
      (=ucs		  . #x222E)	; ∮
      )
     ((name		  . "CONTOUR INTEGRAL")
      (=ucs		  . #x222E)	; ∮
      )
     ((name		  . "CONTOUR INTEGRAL")
      (=ucs		  . #x222E)	; ∮
      ))
    (=ucs		. #x2230)	; ∰
    ))
(define-char
  '((name		. "CLOCKWISE INTEGRAL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2231)	; ∱
    ))
(define-char
  '((name		. "CLOCKWISE CONTOUR INTEGRAL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2232)	; ∲
    ))
(define-char
  '((name		. "ANTICLOCKWISE CONTOUR INTEGRAL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2233)	; ∳
    ))
(define-char
  '((name		. "THEREFORE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2234)	; ∴
    ))
(define-char
  '((<-denotational
     ((name		  . "THEREFORE")
      (=ucs		  . #x2234)	; ∴
      ))
    (=jis-x0208		. #x2168)	; &J90-2168; [01-72]
    (=gb2312		. #x2160)	; &I-G0-2160; [01-64]
    (=ks-x1001		. #x2145)	; &I-K0-2145; [01-37]
    (=cns11643-1	. #x2250)	; &I-C1-2250; [02-48]
    (=big5		. #xA1EF)	; &I-B-A1EF;
    (=ucs@gb		. #x2234)	; &J90-2168;
    (=ucs@cns		. #x2234)	; &J90-2168;
    (=ucs@jis		. #x2234)	; &J90-2168;
    (=ucs@ks		. #x2234)	; &J90-2168;
    (=ucs@big5		. #x2234)	; &J90-2168;
    (<-fullwidth
     ((name		  . "THEREFORE")
      (=ucs		  . #x2234)	; ∴
      ))
    ))
(define-char
  '((name		. "BECAUSE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2235)	; ∵
    ))
(define-char
  '((<-denotational
     ((name		  . "BECAUSE")
      (=ucs		  . #x2235)	; ∵
      ))
    (=gb2312		. #x215F)	; &J90-2268; [01-63]
    (=jis-x0208@1983	. #x2268)	; &I-J83-2268; [02-72]
    (=ks-x1001		. #x2171)	; &I-K0-2171; [01-81]
    (=jis-x0208@1990	. #x2268)	; &I-J90-2268; [02-72]
    (=cns11643-1	. #x224F)	; &I-C1-224F; [02-47]
    (=big5		. #xA1EE)	; &I-B-A1EE;
    (=ucs@gb		. #x2235)	; &J90-2268;
    (=ucs@cns		. #x2235)	; &J90-2268;
    (=ucs@jis		. #x2235)	; &J90-2268;
    (=ucs@ks		. #x2235)	; &J90-2268;
    (=ucs@big5		. #x2235)	; &J90-2268;
    (<-fullwidth
     ((name		  . "BECAUSE")
      (=ucs		  . #x2235)	; ∵
      ))
    ))
(define-char
  '((name		. "RATIO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2236)	; ∶
    ))
(define-char
  '((<-denotational
     ((name		  . "RATIO")
      (=ucs		  . #x2236)	; ∶
      ))
    (=gb2312		. #x2143)	; &G0-2143; [01-35]
    (=ucs@gb		. #x2236)	; &G0-2143;
    (<-fullwidth
     ((name		  . "RATIO")
      (=ucs		  . #x2236)	; ∶
      ))
    ))
(define-char
  '((name		. "PROPORTION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2237)	; ∷
    ))
(define-char
  '((<-denotational
     ((name		  . "PROPORTION")
      (=ucs		  . #x2237)	; ∷
      ))
    (=gb2312		. #x214B)	; &G0-214B; [01-43]
    (=ucs@gb		. #x2237)	; &G0-214B;
    (<-fullwidth
     ((name		  . "PROPORTION")
      (=ucs		  . #x2237)	; ∷
      ))
    ))
(define-char
  '((name		. "DOT MINUS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2238)	; ∸
    ))
(define-char
  '((name		. "EXCESS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2239)	; ∹
    ))
(define-char
  '((name		. "GEOMETRIC PROPORTION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x223A)	; ∺
    ))
(define-char
  '((name		. "HOMOTHETIC")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x223B)	; ∻
    ))
(define-char
  '((name		. "TILDE OPERATOR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x223C)	; ∼
    ))
(define-char
  '((<-denotational
     ((name		  . "TILDE OPERATOR")
      (=ucs		  . #x223C)	; ∼
      ))
    (=ks-x1001		. #x212D)	; &C1-2244; [01-13]
    (=cns11643-1	. #x2244)	; &I-C1-2244; [02-36]
    (=big5		. #xA1E3)	; &I-B-A1E3;
    (=ucs@cns		. #xFF5E)	; &C1-2244;
    (=ucs@ks		. #x223C)	; &C1-2244;
    (=ucs@big5		. #xFF5E)	; &C1-2244;
    (<-fullwidth
     ((name		  . "TILDE OPERATOR")
      (=ucs		  . #x223C)	; ∼
      ))
    ))
(define-char
  '((name		. "REVERSED TILDE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (iso-10646-comment	. "lazy S")
    (=ucs		. #x223D)	; ∽
    ))
(define-char
  '((<-denotational
     ((name		  . "REVERSED TILDE")
      (=ucs		  . #x223D)	; ∽
      ))
    (=gb2312		. #x2157)	; &J90-2266; [01-55]
    (=jis-x0208@1983	. #x2266)	; &I-J83-2266; [02-70]
    (=ks-x1001		. #x216F)	; &I-K0-216F; [01-79]
    (=jis-x0208@1990	. #x2266)	; &I-J90-2266; [02-70]
    (=jef-china3	. #x7FE6)	; &I-JC3-7FE6;
    (=ucs@gb		. #x223D)	; &J90-2266;
    (=ucs@jis		. #x223D)	; &J90-2266;
    (=ucs@ks		. #x223D)	; &J90-2266;
    (<-fullwidth
     ((name		  . "REVERSED TILDE")
      (=ucs		  . #x223D)	; ∽
      ))
    ))
(define-char
  '((name		. "INVERTED LAZY S")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x223E)	; ∾
    ))
(define-char
  '((name		. "SINE WAVE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x223F)	; ∿
    ))
(define-char
  '((name		. "WREATH PRODUCT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2240)	; ≀
    ))
(define-char
  '((name		. "NOT TILDE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "TILDE OPERATOR")
      (=ucs		  . #x223C)	; ∼
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2241)	; ≁
    ))
(define-char
  '((name		. "MINUS TILDE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2242)	; ≂
    ))
(define-char
  '((name		. "ASYMPTOTICALLY EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2243)	; ≃
    ))
(define-char
  '((<-denotational
     ((name		  . "ASYMPTOTICALLY EQUAL TO")
      (=ucs		  . #x2243)	; ≃
      ))
    (=jis-x0213-1-2000	. #x226C)	; &JX1-226C; [02-76]
    (=ucs@jis		. #x2243)	; &JX1-226C;
    (<-fullwidth
     ((name		  . "ASYMPTOTICALLY EQUAL TO")
      (=ucs		  . #x2243)	; ≃
      ))
    ))
(define-char
  '((name		. "NOT ASYMPTOTICALLY EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "ASYMPTOTICALLY EQUAL TO")
      (=ucs		  . #x2243)	; ≃
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2244)	; ≄
    ))
(define-char
  '((name		. "APPROXIMATELY EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2245)	; ≅
    ))
(define-char
  '((<-denotational
     ((name		  . "APPROXIMATELY EQUAL TO")
      (=ucs		  . #x2245)	; ≅
      ))
    (=jis-x0213-1-2000	. #x226D)	; &JX1-226D; [02-77]
    (=ucs@jis		. #x2245)	; &JX1-226D;
    (<-fullwidth
     ((name		  . "APPROXIMATELY EQUAL TO")
      (=ucs		  . #x2245)	; ≅
      ))
    ))
(define-char
  '((name		. "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2246)	; ≆
    ))
(define-char
  '((name		. "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "APPROXIMATELY EQUAL TO")
      (=ucs		  . #x2245)	; ≅
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2247)	; ≇
    ))
(define-char
  '((name		. "ALMOST EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2248)	; ≈
    ))
(define-char
  '((<-denotational
     ((name		  . "ALMOST EQUAL TO")
      (=ucs		  . #x2248)	; ≈
      ))
    (=gb2312		. #x2156)	; &JX1-226E; [01-54]
    (=jis-x0213-1-2000	. #x226E)	; &I-JX1-226E; [02-78]
    (=ucs@gb		. #x2248)	; &JX1-226E;
    (=ucs@jis		. #x2248)	; &JX1-226E;
    (<-fullwidth
     ((name		  . "ALMOST EQUAL TO")
      (=ucs		  . #x2248)	; ≈
      ))
    ))
(define-char
  '((name		. "NOT ALMOST EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "ALMOST EQUAL TO")
      (=ucs		  . #x2248)	; ≈
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2249)	; ≉
    ))
(define-char
  '((name		. "ALMOST EQUAL OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x224A)	; ≊
    ))
(define-char
  '((name		. "TRIPLE TILDE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x224B)	; ≋
    ))
(define-char
  '((name		. "ALL EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x224C)	; ≌
    ))
(define-char
  '((<-denotational
     ((name		  . "ALL EQUAL TO")
      (=ucs		  . #x224C)	; ≌
      ))
    (=gb2312		. #x2155)	; &G0-2155; [01-53]
    (=ucs@gb		. #x224C)	; &G0-2155;
    (<-fullwidth
     ((name		  . "ALL EQUAL TO")
      (=ucs		  . #x224C)	; ≌
      ))
    ))
(define-char
  '((name		. "EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x224D)	; ≍
    ))
(define-char
  '((name		. "GEOMETRICALLY EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x224E)	; ≎
    ))
(define-char
  '((name		. "DIFFERENCE BETWEEN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x224F)	; ≏
    ))
(define-char
  '((name		. "APPROACHES THE LIMIT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2250)	; ≐
    ))
(define-char
  '((name		. "GEOMETRICALLY EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2251)	; ≑
    ))
(define-char
  '((name		. "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2252)	; ≒
    ))
(define-char
  '((<-denotational
     ((name		  . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
      (=ucs		  . #x2252)	; ≒
      ))
    (=jis-x0208@1983	. #x2262)	; &J90-2262; [02-66]
    (=ks-x1001		. #x2156)	; &I-K0-2156; [01-54]
    (=jis-x0208@1990	. #x2262)	; &I-J90-2262; [02-66]
    (=cns11643-1	. #x223D)	; &I-C1-223D; [02-29]
    (=big5		. #xA1DC)	; &I-B-A1DC;
    (=ucs@cns		. #x2252)	; &J90-2262;
    (=ucs@jis		. #x2252)	; &J90-2262;
    (=ucs@ks		. #x2252)	; &J90-2262;
    (=ucs@big5		. #x2252)	; &J90-2262;
    (<-fullwidth
     ((name		  . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
      (=ucs		  . #x2252)	; ≒
      ))
    ))
(define-char
  '((name		. "IMAGE OF OR APPROXIMATELY EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2253)	; ≓
    ))
(define-char
  '((name		. "COLON EQUALS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2254)	; ≔
    ))
(define-char
  '((name		. "EQUALS COLON")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2255)	; ≕
    ))
(define-char
  '((name		. "RING IN EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2256)	; ≖
    ))
(define-char
  '((name		. "RING EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2257)	; ≗
    ))
(define-char
  '((name		. "CORRESPONDS TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2258)	; ≘
    ))
(define-char
  '((name		. "ESTIMATES")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2259)	; ≙
    ))
(define-char
  '((name		. "EQUIANGULAR TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x225A)	; ≚
    ))
(define-char
  '((name		. "STAR EQUALS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x225B)	; ≛
    ))
(define-char
  '((name		. "DELTA EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x225C)	; ≜
    ))
(define-char
  '((name		. "EQUAL TO BY DEFINITION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x225D)	; ≝
    ))
(define-char
  '((name		. "MEASURED BY")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x225E)	; ≞
    ))
(define-char
  '((name		. "QUESTIONED EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x225F)	; ≟
    ))
(define-char
  '((name		. "NOT EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "EQUALS SIGN")
      (=ucs		  . #x003D)	; =
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2260)	; ≠
    ))
(define-char
  '((<-denotational
     ((name		  . "NOT EQUAL TO")
      (=ucs		  . #x2260)	; ≠
      ))
    (=decomposition
     ((name		  . "FULLWIDTH EQUALS SIGN")
      (=ucs		  . #xFF1D)	; ＝
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=jis-x0208		. #x2162)	; &J90-2162; [01-66]
    (=gb2312		. #x2159)	; &I-G0-2159; [01-57]
    (=ks-x1001		. #x2141)	; &I-K0-2141; [01-33]
    (=cns11643-1	. #x223B)	; &I-C1-223B; [02-27]
    (=big5		. #xA1DA)	; &I-B-A1DA;
    (=ucs@gb		. #x2260)	; &J90-2162;
    (=ucs@cns		. #x2260)	; &J90-2162;
    (=ucs@jis		. #x2260)	; &J90-2162;
    (=ucs@ks		. #x2260)	; &J90-2162;
    (=ucs@big5		. #x2260)	; &J90-2162;
    (<-fullwidth
     ((name		  . "NOT EQUAL TO")
      (=ucs		  . #x2260)	; ≠
      ))
    ))
(define-char
  '((name		. "IDENTICAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2261)	; ≡
    ))
(define-char
  '((<-denotational
     ((name		  . "IDENTICAL TO")
      (=ucs		  . #x2261)	; ≡
      ))
    (=gb2312		. #x2154)	; &J90-2261; [01-52]
    (=jis-x0208@1983	. #x2261)	; &I-J83-2261; [02-65]
    (=ks-x1001		. #x2155)	; &I-K0-2155; [01-53]
    (=jis-x0208@1990	. #x2261)	; &I-J90-2261; [02-65]
    (=cns11643-1	. #x223E)	; &I-C1-223E; [02-30]
    (=big5		. #xA1DD)	; &I-B-A1DD;
    (=ucs@gb		. #x2261)	; &J90-2261;
    (=ucs@cns		. #x2261)	; &J90-2261;
    (=ucs@jis		. #x2261)	; &J90-2261;
    (=ucs@ks		. #x2261)	; &J90-2261;
    (=ucs@big5		. #x2261)	; &J90-2261;
    (<-fullwidth
     ((name		  . "IDENTICAL TO")
      (=ucs		  . #x2261)	; ≡
      ))
    ))
(define-char
  '((name		. "NOT IDENTICAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "IDENTICAL TO")
      (=ucs		  . #x2261)	; ≡
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2262)	; ≢
    ))
(define-char
  '((<-denotational
     ((name		  . "NOT IDENTICAL TO")
      (=ucs		  . #x2262)	; ≢
      ))
    (=decomposition
     ((=gb2312		  . #x2154)	; &J90-2261; [01-52]
      (=jis-x0208@1983	  . #x2261)	; &I-J83-2261; [02-65]
      (=ks-x1001	  . #x2155)	; &I-K0-2155; [01-53]
      (=cns11643-1	  . #x223E)	; &I-C1-223E; [02-30]
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=jis-x0213-1-2000	. #x226B)	; &JX1-226B; [02-75]
    (=ucs@jis		. #x2262)	; &JX1-226B;
    (<-fullwidth
     ((name		  . "NOT IDENTICAL TO")
      (=ucs		  . #x2262)	; ≢
      ))
    ))
(define-char
  '((name		. "STRICTLY EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2263)	; ≣
    ))
(define-char
  '((name		. "LESS-THAN OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2264)	; ≤
    ))
(define-char
  '((<-denotational
     ((name		  . "LESS-THAN OR EQUAL TO")
      (=ucs		  . #x2264)	; ≤
      ))
    (=gb2312		. #x215C)	; &K0-2142; [01-60]
    (=ks-x1001		. #x2142)	; &I-K0-2142; [01-34]
    (=ucs@gb		. #x2264)	; &K0-2142;
    (=ucs@ks		. #x2264)	; &K0-2142;
    (<-fullwidth
     ((name		  . "LESS-THAN OR EQUAL TO")
      (=ucs		  . #x2264)	; ≤
      ))
    ))
(define-char
  '((name		. "GREATER-THAN OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2265)	; ≥
    ))
(define-char
  '((<-denotational
     ((name		  . "GREATER-THAN OR EQUAL TO")
      (=ucs		  . #x2265)	; ≥
      ))
    (=gb2312		. #x215D)	; &K0-2143; [01-61]
    (=ks-x1001		. #x2143)	; &I-K0-2143; [01-35]
    (=ucs@gb		. #x2265)	; &K0-2143;
    (=ucs@ks		. #x2265)	; &K0-2143;
    (<-fullwidth
     ((name		  . "GREATER-THAN OR EQUAL TO")
      (=ucs		  . #x2265)	; ≥
      ))
    ))
(define-char
  '((name		. "LESS-THAN OVER EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2266)	; ≦
    ))
(define-char
  '((<-denotational
     ((name		  . "LESS-THAN OVER EQUAL TO")
      (=ucs		  . #x2266)	; ≦
      ))
    (=jis-x0208		. #x2165)	; &J90-2165; [01-69]
    (=cns11643-1	. #x2239)	; &I-C1-2239; [02-25]
    (=big5		. #xA1D8)	; &I-B-A1D8;
    (=ucs@cns		. #x2266)	; &J90-2165;
    (=ucs@jis		. #x2266)	; &J90-2165;
    (=ucs@big5		. #x2266)	; &J90-2165;
    (<-fullwidth
     ((name		  . "LESS-THAN OVER EQUAL TO")
      (=ucs		  . #x2266)	; ≦
      ))
    ))
(define-char
  '((name		. "GREATER-THAN OVER EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2267)	; ≧
    ))
(define-char
  '((<-denotational
     ((name		  . "GREATER-THAN OVER EQUAL TO")
      (=ucs		  . #x2267)	; ≧
      ))
    (=jis-x0208		. #x2166)	; &J90-2166; [01-70]
    (=cns11643-1	. #x223A)	; &I-C1-223A; [02-26]
    (=big5		. #xA1D9)	; &I-B-A1D9;
    (=ucs@cns		. #x2267)	; &J90-2166;
    (=ucs@jis		. #x2267)	; &J90-2166;
    (=ucs@big5		. #x2267)	; &J90-2166;
    (<-fullwidth
     ((name		  . "GREATER-THAN OVER EQUAL TO")
      (=ucs		  . #x2267)	; ≧
      ))
    ))
(define-char
  '((name		. "LESS-THAN BUT NOT EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2268)	; ≨
    ))
(define-char
  '((name		. "GREATER-THAN BUT NOT EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2269)	; ≩
    ))
(define-char
  '((name		. "MUCH LESS-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x226A)	; ≪
    ))
(define-char
  '((<-denotational
     ((name		  . "MUCH LESS-THAN")
      (=ucs		  . #x226A)	; ≪
      ))
    (=jis-x0208@1983	. #x2263)	; &J90-2263; [02-67]
    (=ks-x1001		. #x216C)	; &I-K0-216C; [01-76]
    (=jis-x0208@1990	. #x2263)	; &I-J90-2263; [02-67]
    (=jef-china3	. #x7FE3)	; &I-JC3-7FE3;
    (=ucs@jis		. #x226A)	; &J90-2263;
    (=ucs@ks		. #x226A)	; &J90-2263;
    (<-fullwidth
     ((name		  . "MUCH LESS-THAN")
      (=ucs		  . #x226A)	; ≪
      ))
    ))
(define-char
  '((name		. "MUCH GREATER-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x226B)	; ≫
    ))
(define-char
  '((<-denotational
     ((name		  . "MUCH GREATER-THAN")
      (=ucs		  . #x226B)	; ≫
      ))
    (=jis-x0208@1983	. #x2264)	; &J90-2264; [02-68]
    (=ks-x1001		. #x216D)	; &I-K0-216D; [01-77]
    (=jis-x0208@1990	. #x2264)	; &I-J90-2264; [02-68]
    (=jef-china3	. #x7FE4)	; &I-JC3-7FE4;
    (=ucs@jis		. #x226B)	; &J90-2264;
    (=ucs@ks		. #x226B)	; &J90-2264;
    (<-fullwidth
     ((name		  . "MUCH GREATER-THAN")
      (=ucs		  . #x226B)	; ≫
      ))
    ))
(define-char
  '((name		. "BETWEEN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x226C)	; ≬
    ))
(define-char
  '((name		. "NOT EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=decomposition
     ((name		  . "EQUIVALENT TO")
      (=ucs		  . #x224D)	; ≍
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x226D)	; ≭
    ))
(define-char
  '((name		. "NOT LESS-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "LESS-THAN SIGN")
      (=ucs		  . #x003C)	; <
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x226E)	; ≮
    ))
(define-char
  '((<-denotational
     ((name		  . "NOT LESS-THAN")
      (=ucs		  . #x226E)	; ≮
      ))
    (=decomposition
     ((name		  . "FULLWIDTH LESS-THAN SIGN")
      (=ucs		  . #xFF1C)	; ＜
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=gb2312		. #x215A)	; &G0-215A; [01-58]
    (=ucs@gb		. #x226E)	; &G0-215A;
    (<-fullwidth
     ((name		  . "NOT LESS-THAN")
      (=ucs		  . #x226E)	; ≮
      ))
    ))
(define-char
  '((name		. "NOT GREATER-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "GREATER-THAN SIGN")
      (=ucs		  . #x003E)	; >
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x226F)	; ≯
    ))
(define-char
  '((<-denotational
     ((name		  . "NOT GREATER-THAN")
      (=ucs		  . #x226F)	; ≯
      ))
    (=decomposition
     ((name		  . "FULLWIDTH GREATER-THAN SIGN")
      (=ucs		  . #xFF1E)	; ＞
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=gb2312		. #x215B)	; &G0-215B; [01-59]
    (=ucs@gb		. #x226F)	; &G0-215B;
    (<-fullwidth
     ((name		  . "NOT GREATER-THAN")
      (=ucs		  . #x226F)	; ≯
      ))
    ))
(define-char
  '((name		. "NEITHER LESS-THAN NOR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "LESS-THAN OR EQUAL TO")
      (=ucs		  . #x2264)	; ≤
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2270)	; ≰
    ))
(define-char
  '((name		. "NEITHER GREATER-THAN NOR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "GREATER-THAN OR EQUAL TO")
      (=ucs		  . #x2265)	; ≥
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2271)	; ≱
    ))
(define-char
  '((name		. "LESS-THAN OR EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2272)	; ≲
    ))
(define-char
  '((name		. "GREATER-THAN OR EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2273)	; ≳
    ))
(define-char
  '((name		. "NEITHER LESS-THAN NOR EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "LESS-THAN OR EQUIVALENT TO")
      (=ucs		  . #x2272)	; ≲
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2274)	; ≴
    ))
(define-char
  '((name		. "NEITHER GREATER-THAN NOR EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "GREATER-THAN OR EQUIVALENT TO")
      (=ucs		  . #x2273)	; ≳
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2275)	; ≵
    ))
(define-char
  '((name		. "LESS-THAN OR GREATER-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2276)	; ≶
    ))
(define-char
  '((<-denotational
     ((name		  . "LESS-THAN OR GREATER-THAN")
      (=ucs		  . #x2276)	; ≶
      ))
    (=jis-x0213-1-2000	. #x226F)	; &JX1-226F; [02-79]
    (=ucs@jis		. #x2276)	; &JX1-226F;
    (<-fullwidth
     ((name		  . "LESS-THAN OR GREATER-THAN")
      (=ucs		  . #x2276)	; ≶
      ))
    ))
(define-char
  '((name		. "GREATER-THAN OR LESS-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2277)	; ≷
    ))
(define-char
  '((<-denotational
     ((name		  . "GREATER-THAN OR LESS-THAN")
      (=ucs		  . #x2277)	; ≷
      ))
    (=jis-x0213-1-2000	. #x2270)	; &JX1-2270; [02-80]
    (=ucs@jis		. #x2277)	; &JX1-2270;
    (<-fullwidth
     ((name		  . "GREATER-THAN OR LESS-THAN")
      (=ucs		  . #x2277)	; ≷
      ))
    ))
(define-char
  '((name		. "NEITHER LESS-THAN NOR GREATER-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "LESS-THAN OR GREATER-THAN")
      (=ucs		  . #x2276)	; ≶
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2278)	; ≸
    ))
(define-char
  '((name		. "NEITHER GREATER-THAN NOR LESS-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "GREATER-THAN OR LESS-THAN")
      (=ucs		  . #x2277)	; ≷
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2279)	; ≹
    ))
(define-char
  '((name		. "PRECEDES")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x227A)	; ≺
    ))
(define-char
  '((name		. "SUCCEEDS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x227B)	; ≻
    ))
(define-char
  '((name		. "PRECEDES OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x227C)	; ≼
    ))
(define-char
  '((name		. "SUCCEEDS OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x227D)	; ≽
    ))
(define-char
  '((name		. "PRECEDES OR EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x227E)	; ≾
    ))
(define-char
  '((name		. "SUCCEEDS OR EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x227F)	; ≿
    ))
(define-char
  '((name		. "DOES NOT PRECEDE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "PRECEDES")
      (=ucs		  . #x227A)	; ≺
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2280)	; ⊀
    ))
(define-char
  '((name		. "DOES NOT SUCCEED")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "SUCCEEDS")
      (=ucs		  . #x227B)	; ≻
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2281)	; ⊁
    ))
(define-char
  '((name		. "SUBSET OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2282)	; ⊂
    ))
(define-char
  '((<-denotational
     ((name		  . "SUBSET OF")
      (=ucs		  . #x2282)	; ⊂
      ))
    (=jis-x0208@1983	. #x223E)	; &J90-223E; [02-30]
    (=ks-x1001		. #x2178)	; &I-K0-2178; [01-88]
    (=jis-x0208@1990	. #x223E)	; &I-J90-223E; [02-30]
    (=jef-china3	. #x7FD4)	; &I-JC3-7FD4;
    (=ucs@jis		. #x2282)	; &J90-223E;
    (=ucs@ks		. #x2282)	; &J90-223E;
    (<-fullwidth
     ((name		  . "SUBSET OF")
      (=ucs		  . #x2282)	; ⊂
      ))
    ))
(define-char
  '((name		. "SUPERSET OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2283)	; ⊃
    ))
(define-char
  '((<-denotational
     ((name		  . "SUPERSET OF")
      (=ucs		  . #x2283)	; ⊃
      ))
    (=jis-x0208@1983	. #x223F)	; &J90-223F; [02-31]
    (=ks-x1001		. #x2179)	; &I-K0-2179; [01-89]
    (=jis-x0208@1990	. #x223F)	; &I-J90-223F; [02-31]
    (=jef-china3	. #x7FD5)	; &I-JC3-7FD5;
    (=ucs@jis		. #x2283)	; &J90-223F;
    (=ucs@ks		. #x2283)	; &J90-223F;
    (<-fullwidth
     ((name		  . "SUPERSET OF")
      (=ucs		  . #x2283)	; ⊃
      ))
    ))
(define-char
  '((name		. "NOT A SUBSET OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "SUBSET OF")
      (=ucs		  . #x2282)	; ⊂
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2284)	; ⊄
    ))
(define-char
  '((<-denotational
     ((name		  . "NOT A SUBSET OF")
      (=ucs		  . #x2284)	; ⊄
      ))
    (=jis-x0213-1-2000	. #x2242)	; &JX1-2242; [02-34]
    (=ucs@jis		. #x2284)	; &JX1-2242;
    (<-fullwidth
     ((name		  . "NOT A SUBSET OF")
      (=ucs		  . #x2284)	; ⊄
      ))
    ))
(define-char
  '((name		. "NOT A SUPERSET OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "SUPERSET OF")
      (=ucs		  . #x2283)	; ⊃
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2285)	; ⊅
    ))
(define-char
  '((<-denotational
     ((name		  . "NOT A SUPERSET OF")
      (=ucs		  . #x2285)	; ⊅
      ))
    (=jis-x0213-1-2000	. #x2243)	; &JX1-2243; [02-35]
    (=ucs@jis		. #x2285)	; &JX1-2243;
    (<-fullwidth
     ((name		  . "NOT A SUPERSET OF")
      (=ucs		  . #x2285)	; ⊅
      ))
    ))
(define-char
  '((name		. "SUBSET OF OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2286)	; ⊆
    ))
(define-char
  '((<-denotational
     ((name		  . "SUBSET OF OR EQUAL TO")
      (=ucs		  . #x2286)	; ⊆
      ))
    (=jis-x0208@1983	. #x223C)	; &J90-223C; [02-28]
    (=ks-x1001		. #x2176)	; &I-K0-2176; [01-86]
    (=jis-x0208@1990	. #x223C)	; &I-J90-223C; [02-28]
    (=jef-china3	. #x7FD2)	; &I-JC3-7FD2;
    (=ucs@jis		. #x2286)	; &J90-223C;
    (=ucs@ks		. #x2286)	; &J90-223C;
    (<-fullwidth
     ((name		  . "SUBSET OF OR EQUAL TO")
      (=ucs		  . #x2286)	; ⊆
      ))
    ))
(define-char
  '((name		. "SUPERSET OF OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2287)	; ⊇
    ))
(define-char
  '((<-denotational
     ((name		  . "SUPERSET OF OR EQUAL TO")
      (=ucs		  . #x2287)	; ⊇
      ))
    (=jis-x0208@1983	. #x223D)	; &J90-223D; [02-29]
    (=ks-x1001		. #x2177)	; &I-K0-2177; [01-87]
    (=jis-x0208@1990	. #x223D)	; &I-J90-223D; [02-29]
    (=jef-china3	. #x7FD3)	; &I-JC3-7FD3;
    (=ucs@jis		. #x2287)	; &J90-223D;
    (=ucs@ks		. #x2287)	; &J90-223D;
    (<-fullwidth
     ((name		  . "SUPERSET OF OR EQUAL TO")
      (=ucs		  . #x2287)	; ⊇
      ))
    ))
(define-char
  '((name		. "NEITHER A SUBSET OF NOR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "SUBSET OF OR EQUAL TO")
      (=ucs		  . #x2286)	; ⊆
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2288)	; ⊈
    ))
(define-char
  '((name		. "NEITHER A SUPERSET OF NOR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "SUPERSET OF OR EQUAL TO")
      (=ucs		  . #x2287)	; ⊇
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x2289)	; ⊉
    ))
(define-char
  '((name		. "SUBSET OF WITH NOT EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x228A)	; ⊊
    ))
(define-char
  '((<-denotational
     ((name		  . "SUBSET OF WITH NOT EQUAL TO")
      (=ucs		  . #x228A)	; ⊊
      ))
    (=jis-x0213-1-2000	. #x2244)	; &JX1-2244; [02-36]
    (=ucs@jis		. #x228A)	; &JX1-2244;
    (<-fullwidth
     ((name		  . "SUBSET OF WITH NOT EQUAL TO")
      (=ucs		  . #x228A)	; ⊊
      ))
    ))
(define-char
  '((name		. "SUPERSET OF WITH NOT EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x228B)	; ⊋
    ))
(define-char
  '((<-denotational
     ((name		  . "SUPERSET OF WITH NOT EQUAL TO")
      (=ucs		  . #x228B)	; ⊋
      ))
    (=jis-x0213-1-2000	. #x2245)	; &JX1-2245; [02-37]
    (=ucs@jis		. #x228B)	; &JX1-2245;
    (<-fullwidth
     ((name		  . "SUPERSET OF WITH NOT EQUAL TO")
      (=ucs		  . #x228B)	; ⊋
      ))
    ))
(define-char
  '((name		. "MULTISET")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x228C)	; ⊌
    ))
(define-char
  '((name		. "MULTISET MULTIPLICATION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x228D)	; ⊍
    ))
(define-char
  '((name		. "MULTISET UNION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x228E)	; ⊎
    ))
(define-char
  '((name		. "SQUARE IMAGE OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x228F)	; ⊏
    ))
(define-char
  '((name		. "SQUARE ORIGINAL OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2290)	; ⊐
    ))
(define-char
  '((name		. "SQUARE IMAGE OF OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2291)	; ⊑
    ))
(define-char
  '((name		. "SQUARE ORIGINAL OF OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2292)	; ⊒
    ))
(define-char
  '((name		. "SQUARE CAP")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2293)	; ⊓
    ))
(define-char
  '((name		. "SQUARE CUP")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2294)	; ⊔
    ))
(define-char
  '((name		. "CIRCLED PLUS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2295)	; ⊕
    ))
(define-char
  '((<-denotational
     ((name		  . "CIRCLED PLUS")
      (=ucs		  . #x2295)	; ⊕
      ))
    (=cns11643-1	. #x2253)	; &JX1-2251; [02-51]
    (=jis-x0213-1-2000	. #x2251)	; &I-JX1-2251; [02-49]
    (=big5		. #xA1F2)	; &I-B-A1F2;
    (=ucs@cns		. #x2295)	; &JX1-2251;
    (=ucs@jis		. #x2295)	; &JX1-2251;
    (=ucs@big5		. #x2295)	; &JX1-2251;
    (<-fullwidth
     ((name		  . "CIRCLED PLUS")
      (=ucs		  . #x2295)	; ⊕
      ))
    ))
(define-char
  '((name		. "CIRCLED MINUS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2296)	; ⊖
    ))
(define-char
  '((<-denotational
     ((name		  . "CIRCLED MINUS")
      (=ucs		  . #x2296)	; ⊖
      ))
    (=jis-x0213-1-2000	. #x2252)	; &JX1-2252; [02-50]
    (=ucs@jis		. #x2296)	; &JX1-2252;
    (<-fullwidth
     ((name		  . "CIRCLED MINUS")
      (=ucs		  . #x2296)	; ⊖
      ))
    ))
(define-char
  '((name		. "CIRCLED TIMES")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2297)	; ⊗
    ))
(define-char
  '((<-denotational
     ((name		  . "CIRCLED TIMES")
      (=ucs		  . #x2297)	; ⊗
      ))
    (=jis-x0213-1-2000	. #x2253)	; &JX1-2253; [02-51]
    (=ucs@jis		. #x2297)	; &JX1-2253;
    (<-fullwidth
     ((name		  . "CIRCLED TIMES")
      (=ucs		  . #x2297)	; ⊗
      ))
    ))
(define-char
  '((name		. "CIRCLED DIVISION SLASH")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x2298)	; ⊘
    ))
(define-char
  '((name		. "CIRCLED DOT OPERATOR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x2299)	; ⊙
    ))
(define-char
  '((<-denotational
     ((name		  . "CIRCLED DOT OPERATOR")
      (=ucs		  . #x2299)	; ⊙
      ))
    (=gb2312		. #x2151)	; &C1-2254; [01-49]
    (=ks-x1001		. #x2241)	; &I-K0-2241; [02-33]
    (=cns11643-1	. #x2254)	; &I-C1-2254; [02-52]
    (=big5		. #xA1F3)	; &I-B-A1F3;
    (=ucs@gb		. #x2299)	; &C1-2254;
    (=ucs@cns		. #x2299)	; &C1-2254;
    (=ucs@ks		. #x2299)	; &C1-2254;
    (=ucs@big5		. #x2299)	; &C1-2254;
    (<-fullwidth
     ((name		  . "CIRCLED DOT OPERATOR")
      (=ucs		  . #x2299)	; ⊙
      ))
    ))
(define-char
  '((name		. "CIRCLED RING OPERATOR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x229A)	; ⊚
    ))
(define-char
  '((name		. "CIRCLED ASTERISK OPERATOR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x229B)	; ⊛
    ))
(define-char
  '((name		. "CIRCLED EQUALS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x229C)	; ⊜
    ))
(define-char
  '((name		. "CIRCLED DASH")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x229D)	; ⊝
    ))
(define-char
  '((name		. "SQUARED PLUS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x229E)	; ⊞
    ))
(define-char
  '((name		. "SQUARED MINUS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x229F)	; ⊟
    ))
(define-char
  '((name		. "SQUARED TIMES")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22A0)	; ⊠
    ))
(define-char
  '((name		. "SQUARED DOT OPERATOR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22A1)	; ⊡
    ))
(define-char
  '((name		. "RIGHT TACK")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22A2)	; ⊢
    ))
(define-char
  '((name		. "LEFT TACK")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22A3)	; ⊣
    ))
(define-char
  '((name		. "DOWN TACK")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22A4)	; ⊤
    ))
(define-char
  '((name		. "UP TACK")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22A5)	; ⊥
    ))
(define-char
  '((<-denotational
     ((name		  . "UP TACK")
      (=ucs		  . #x22A5)	; ⊥
      ))
    (=gb2312		. #x214D)	; &J90-225D; [01-45]
    (=jis-x0208@1983	. #x225D)	; &I-J83-225D; [02-61]
    (=ks-x1001		. #x2151)	; &I-K0-2151; [01-49]
    (=jis-x0208@1990	. #x225D)	; &I-J90-225D; [02-61]
    (=cns11643-1	. #x2247)	; &I-C1-2247; [02-39]
    (=big5		. #xA1E6)	; &I-B-A1E6;
    (=ucs@gb		. #x22A5)	; &J90-225D;
    (=ucs@cns		. #x22A5)	; &J90-225D;
    (=ucs@jis		. #x22A5)	; &J90-225D;
    (=ucs@ks		. #x22A5)	; &J90-225D;
    (=ucs@big5		. #x22A5)	; &J90-225D;
    (<-fullwidth
     ((name		  . "UP TACK")
      (=ucs		  . #x22A5)	; ⊥
      ))
    ))
(define-char
  '((name		. "ASSERTION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22A6)	; ⊦
    ))
(define-char
  '((name		. "MODELS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22A7)	; ⊧
    ))
(define-char
  '((name		. "TRUE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22A8)	; ⊨
    ))
(define-char
  '((name		. "FORCES")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22A9)	; ⊩
    ))
(define-char
  '((name		. "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22AA)	; ⊪
    ))
(define-char
  '((name		. "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22AB)	; ⊫
    ))
(define-char
  '((name		. "DOES NOT PROVE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "RIGHT TACK")
      (=ucs		  . #x22A2)	; ⊢
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x22AC)	; ⊬
    ))
(define-char
  '((name		. "NOT TRUE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "TRUE")
      (=ucs		  . #x22A8)	; ⊨
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x22AD)	; ⊭
    ))
(define-char
  '((name		. "DOES NOT FORCE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "FORCES")
      (=ucs		  . #x22A9)	; ⊩
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x22AE)	; ⊮
    ))
(define-char
  '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
      (=ucs		  . #x22AB)	; ⊫
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x22AF)	; ⊯
    ))
(define-char
  '((name		. "PRECEDES UNDER RELATION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22B0)	; ⊰
    ))
(define-char
  '((name		. "SUCCEEDS UNDER RELATION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22B1)	; ⊱
    ))
(define-char
  '((name		. "NORMAL SUBGROUP OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22B2)	; ⊲
    ))
(define-char
  '((name		. "CONTAINS AS NORMAL SUBGROUP")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22B3)	; ⊳
    ))
(define-char
  '((name		. "NORMAL SUBGROUP OF OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22B4)	; ⊴
    ))
(define-char
  '((name		. "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22B5)	; ⊵
    ))
(define-char
  '((name		. "ORIGINAL OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22B6)	; ⊶
    ))
(define-char
  '((name		. "IMAGE OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22B7)	; ⊷
    ))
(define-char
  '((name		. "MULTIMAP")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22B8)	; ⊸
    ))
(define-char
  '((name		. "HERMITIAN CONJUGATE MATRIX")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22B9)	; ⊹
    ))
(define-char
  '((name		. "INTERCALATE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22BA)	; ⊺
    ))
(define-char
  '((name		. "XOR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22BB)	; ⊻
    ))
(define-char
  '((name		. "NAND")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22BC)	; ⊼
    ))
(define-char
  '((name		. "NOR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22BD)	; ⊽
    ))
(define-char
  '((name		. "RIGHT ANGLE WITH ARC")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22BE)	; ⊾
    ))
(define-char
  '((name		. "RIGHT TRIANGLE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22BF)	; ⊿
    ))
(define-char
  '((<-denotational
     ((name		  . "RIGHT TRIANGLE")
      (=ucs		  . #x22BF)	; ⊿
      ))
    (=cns11643-1	. #x224A)	; &JX1-2D79; [02-42]
    (=jis-x0213-1-2000	. #x2D79)	; &I-JX1-2D79; [13-89]
    (=big5		. #xA1E9)	; &I-B-A1E9;
    (=ucs@cns		. #x22BF)	; &JX1-2D79;
    (=ucs@jis		. #x22BF)	; &JX1-2D79;
    (=ucs@big5		. #x22BF)	; &JX1-2D79;
    (<-fullwidth
     ((name		  . "RIGHT TRIANGLE")
      (=ucs		  . #x22BF)	; ⊿
      ))
    ))
(define-char
  '((name		. "N-ARY LOGICAL AND")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22C0)	; ⋀
    ))
(define-char
  '((name		. "N-ARY LOGICAL OR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22C1)	; ⋁
    ))
(define-char
  '((name		. "N-ARY INTERSECTION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22C2)	; ⋂
    ))
(define-char
  '((name		. "N-ARY UNION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22C3)	; ⋃
    ))
(define-char
  '((name		. "DIAMOND OPERATOR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22C4)	; ⋄
    ))
(define-char
  '((name		. "DOT OPERATOR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22C5)	; ⋅
    ))
(define-char
  '((name		. "STAR OPERATOR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22C6)	; ⋆
    ))
(define-char
  '((name		. "DIVISION TIMES")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22C7)	; ⋇
    ))
(define-char
  '((name		. "BOWTIE")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22C8)	; ⋈
    ))
(define-char
  '((name		. "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22C9)	; ⋉
    ))
(define-char
  '((name		. "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22CA)	; ⋊
    ))
(define-char
  '((name		. "LEFT SEMIDIRECT PRODUCT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22CB)	; ⋋
    ))
(define-char
  '((name		. "RIGHT SEMIDIRECT PRODUCT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22CC)	; ⋌
    ))
(define-char
  '((name		. "REVERSED TILDE EQUALS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22CD)	; ⋍
    ))
(define-char
  '((name		. "CURLY LOGICAL OR")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22CE)	; ⋎
    ))
(define-char
  '((name		. "CURLY LOGICAL AND")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22CF)	; ⋏
    ))
(define-char
  '((name		. "DOUBLE SUBSET")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22D0)	; ⋐
    ))
(define-char
  '((name		. "DOUBLE SUPERSET")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22D1)	; ⋑
    ))
(define-char
  '((name		. "DOUBLE INTERSECTION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22D2)	; ⋒
    ))
(define-char
  '((name		. "DOUBLE UNION")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22D3)	; ⋓
    ))
(define-char
  '((name		. "PITCHFORK")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22D4)	; ⋔
    ))
(define-char
  '((name		. "EQUAL AND PARALLEL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22D5)	; ⋕
    ))
(define-char
  '((name		. "LESS-THAN WITH DOT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22D6)	; ⋖
    ))
(define-char
  '((name		. "GREATER-THAN WITH DOT")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22D7)	; ⋗
    ))
(define-char
  '((name		. "VERY MUCH LESS-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22D8)	; ⋘
    ))
(define-char
  '((name		. "VERY MUCH GREATER-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22D9)	; ⋙
    ))
(define-char
  '((name		. "LESS-THAN EQUAL TO OR GREATER-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22DA)	; ⋚
    ))
(define-char
  '((<-denotational
     ((name		  . "LESS-THAN EQUAL TO OR GREATER-THAN")
      (=ucs		  . #x22DA)	; ⋚
      ))
    (=jis-x0213-1-2000	. #x2776)	; &JX1-2776; [07-86]
    (=ucs@jis		. #x22DA)	; &JX1-2776;
    (<-fullwidth
     ((name		  . "LESS-THAN EQUAL TO OR GREATER-THAN")
      (=ucs		  . #x22DA)	; ⋚
      ))
    ))
(define-char
  '((name		. "GREATER-THAN EQUAL TO OR LESS-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22DB)	; ⋛
    ))
(define-char
  '((<-denotational
     ((name		  . "GREATER-THAN EQUAL TO OR LESS-THAN")
      (=ucs		  . #x22DB)	; ⋛
      ))
    (=jis-x0213-1-2000	. #x2777)	; &JX1-2777; [07-87]
    (=ucs@jis		. #x22DB)	; &JX1-2777;
    (<-fullwidth
     ((name		  . "GREATER-THAN EQUAL TO OR LESS-THAN")
      (=ucs		  . #x22DB)	; ⋛
      ))
    ))
(define-char
  '((name		. "EQUAL TO OR LESS-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22DC)	; ⋜
    ))
(define-char
  '((name		. "EQUAL TO OR GREATER-THAN")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22DD)	; ⋝
    ))
(define-char
  '((name		. "EQUAL TO OR PRECEDES")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22DE)	; ⋞
    ))
(define-char
  '((name		. "EQUAL TO OR SUCCEEDS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22DF)	; ⋟
    ))
(define-char
  '((name		. "DOES NOT PRECEDE OR EQUAL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "PRECEDES OR EQUAL TO")
      (=ucs		  . #x227C)	; ≼
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x22E0)	; ⋠
    ))
(define-char
  '((name		. "DOES NOT SUCCEED OR EQUAL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "SUCCEEDS OR EQUAL TO")
      (=ucs		  . #x227D)	; ≽
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x22E1)	; ⋡
    ))
(define-char
  '((name		. "NOT SQUARE IMAGE OF OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "SQUARE IMAGE OF OR EQUAL TO")
      (=ucs		  . #x2291)	; ⊑
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x22E2)	; ⋢
    ))
(define-char
  '((name		. "NOT SQUARE ORIGINAL OF OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "SQUARE ORIGINAL OF OR EQUAL TO")
      (=ucs		  . #x2292)	; ⊒
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x22E3)	; ⋣
    ))
(define-char
  '((name		. "SQUARE IMAGE OF OR NOT EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22E4)	; ⋤
    ))
(define-char
  '((name		. "SQUARE ORIGINAL OF OR NOT EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22E5)	; ⋥
    ))
(define-char
  '((name		. "LESS-THAN BUT NOT EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22E6)	; ⋦
    ))
(define-char
  '((name		. "GREATER-THAN BUT NOT EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22E7)	; ⋧
    ))
(define-char
  '((name		. "PRECEDES BUT NOT EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22E8)	; ⋨
    ))
(define-char
  '((name		. "SUCCEEDS BUT NOT EQUIVALENT TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22E9)	; ⋩
    ))
(define-char
  '((name		. "NOT NORMAL SUBGROUP OF")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "NORMAL SUBGROUP OF")
      (=ucs		  . #x22B2)	; ⊲
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x22EA)	; ⋪
    ))
(define-char
  '((name		. "DOES NOT CONTAIN AS NORMAL SUBGROUP")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "CONTAINS AS NORMAL SUBGROUP")
      (=ucs		  . #x22B3)	; ⊳
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x22EB)	; ⋫
    ))
(define-char
  '((name		. "NOT NORMAL SUBGROUP OF OR EQUAL TO")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "NORMAL SUBGROUP OF OR EQUAL TO")
      (=ucs		  . #x22B4)	; ⊴
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x22EC)	; ⋬
    ))
(define-char
  '((name		. "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=decomposition
     ((name		  . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
      (=ucs		  . #x22B5)	; ⊵
      )
     ((name		  . "COMBINING LONG SOLIDUS OVERLAY")
      (=ucs		  . #x0338)	; ̸
      ))
    (=ucs		. #x22ED)	; ⋭
    ))
(define-char
  '((name		. "VERTICAL ELLIPSIS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22EE)	; ⋮
    ))
(define-char
  '((name		. "MIDLINE HORIZONTAL ELLIPSIS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. nil)
    (=ucs		. #x22EF)	; ⋯
    ))
(define-char
  '((name		. "UP RIGHT DIAGONAL ELLIPSIS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22F0)	; ⋰
    ))
(define-char
  '((name		. "DOWN RIGHT DIAGONAL ELLIPSIS")
    (general-category	symbol math) ; Informative Category
    (bidi-category	. "ON")
    (mirrored		. t)
    (=ucs		. #x22F1)	; ⋱
    ))