lisp/utf-2000/u02200-Mathematical-Operators.el

   1 (define-char
   2   '((name               . "FOR ALL")
   3     (general-category   symbol math) ; Informative Category
   4     (bidi-category      . "ON")
   5     (mirrored           . nil)
   6     (japanese-jisx0208          . #x224F)       ; �����
   7     (korean-ksc5601             . #x2223)       ; �����
   8     (japanese-jisx0208-1990     . #x224F)       ; �����
   9     (china3-jef                 . #x7FDC)       ; �����
  10     (ucs                        . #x2200)       ; ∀
  11     ))
  12 (define-char
  13   '((name               . "COMPLEMENT")
  14     (general-category   symbol math) ; Informative Category
  15     (bidi-category      . "ON")
  16     (mirrored           . t)
  17     (ucs                . #x2201)       ; ∁
  18     ))
  19 (define-char
  20   '((name               . "PARTIAL DIFFERENTIAL")
  21     (general-category   symbol math) ; Informative Category
  22     (bidi-category      . "ON")
  23     (mirrored           . t)
  24     (japanese-jisx0208          . #x225F)       ; �����
  25     (korean-ksc5601             . #x2153)       ; �����
  26     (japanese-jisx0208-1990     . #x225F)       ; �����
  27     (china3-jef                 . #x7FE1)       ; �����
  28     (ucs                        . #x2202)       ; ∂
  29     ))
  30 (define-char
  31   '((name               . "THERE EXISTS")
  32     (general-category   symbol math) ; Informative Category
  33     (bidi-category      . "ON")
  34     (mirrored           . t)
  35     (japanese-jisx0208          . #x2250)       ; �����
  36     (korean-ksc5601             . #x2224)       ; �����
  37     (japanese-jisx0208-1990     . #x2250)       ; �����
  38     (china3-jef                 . #x7FDD)       ; �����
  39     (ucs                        . #x2203)       ; ∃
  40     ))
  41 (define-char
  42   '((name               . "THERE DOES NOT EXIST")
  43     (general-category   symbol math) ; Informative Category
  44     (bidi-category      . "ON")
  45     (mirrored           . t)
  46     (->decomposition    #x2203 #x0338)
  47     (ucs                . #x2204)       ; ∄
  48     ))
  49 (define-char
  50   '((name               . "EMPTY SET")
  51     (general-category   symbol math) ; Informative Category
  52     (bidi-category      . "ON")
  53     (mirrored           . nil)
  54     (japanese-jisx0213-1        . #x2247)       ; �����
  55     (ucs                        . #x2205)       ; ∅
  56     ))
  57 (define-char
  58   '((name               . "INCREMENT")
  59     (general-category   symbol math) ; Informative Category
  60     (bidi-category      . "ON")
  61     (mirrored           . nil)
  62     (ucs                . #x2206)       ; ∆
  63     ))
  64 (define-char
  65   '((name               . "NABLA")
  66     (general-category   symbol math) ; Informative Category
  67     (bidi-category      . "ON")
  68     (mirrored           . nil)
  69     (japanese-jisx0208          . #x2260)       ; �����
  70     (korean-ksc5601             . #x2154)       ; �����
  71     (japanese-jisx0208-1990     . #x2260)       ; �����
  72     (china3-jef                 . #x7FE2)       ; �����
  73     (ucs                        . #x2207)       ; ∇
  74     ))
  75 (define-char
  76   '((name               . "ELEMENT OF")
  77     (general-category   symbol math) ; Informative Category
  78     (bidi-category      . "ON")
  79     (mirrored           . t)
  80     (chinese-gb2312             . #x214A)       ; �����
  81     (japanese-jisx0208          . #x223A)       ; �����
  82     (korean-ksc5601             . #x2174)       ; �����
  83     (japanese-jisx0208-1990     . #x223A)       ; �����
  84     (china3-jef                 . #x7FD0)       ; �����
  85     (ucs                        . #x2208)       ; ∈
  86     ))
  87 (define-char
  88   '((name               . "NOT AN ELEMENT OF")
  89     (general-category   symbol math) ; Informative Category
  90     (bidi-category      . "ON")
  91     (mirrored           . t)
  92     (->decomposition    #x2208 #x0338)
  93     (japanese-jisx0213-1        . #x2246)       ; �����
  94     (ucs                        . #x2209)       ; ∉
  95     ))
  96 (define-char
  97   '((name               . "SMALL ELEMENT OF")
  98     (general-category   symbol math) ; Informative Category
  99     (bidi-category      . "ON")
 100     (mirrored           . t)
 101     (ucs                . #x220A)       ; ∊
 102     ))
 103 (define-char
 104   '((name               . "CONTAINS AS MEMBER")
 105     (general-category   symbol math) ; Informative Category
 106     (bidi-category      . "ON")
 107     (mirrored           . t)
 108     (japanese-jisx0208          . #x223B)       ; �����
 109     (korean-ksc5601             . #x2175)       ; �����
 110     (japanese-jisx0208-1990     . #x223B)       ; �����
 111     (china3-jef                 . #x7FD1)       ; �����
 112     (ucs                        . #x220B)       ; ∋
 113     ))
 114 (define-char
 115   '((name               . "DOES NOT CONTAIN AS MEMBER")
 116     (general-category   symbol math) ; Informative Category
 117     (bidi-category      . "ON")
 118     (mirrored           . t)
 119     (->decomposition    #x220B #x0338)
 120     (ucs                . #x220C)       ; ∌
 121     ))
 122 (define-char
 123   '((name               . "SMALL CONTAINS AS MEMBER")
 124     (general-category   symbol math) ; Informative Category
 125     (bidi-category      . "ON")
 126     (mirrored           . t)
 127     (ucs                . #x220D)       ; ∍
 128     ))
 129 (define-char
 130   '((name               . "END OF PROOF")
 131     (general-category   symbol math) ; Informative Category
 132     (bidi-category      . "ON")
 133     (mirrored           . nil)
 134     (ucs                . #x220E)       ; ∎
 135     ))
 136 (define-char
 137   '((name               . "N-ARY PRODUCT")
 138     (general-category   symbol math) ; Informative Category
 139     (bidi-category      . "ON")
 140     (mirrored           . nil)
 141     (chinese-gb2312     . #x2147)       ; �����
 142     (korean-ksc5601     . #x2233)       ; �����
 143     (ucs                . #x220F)       ; ∏
 144     ))
 145 (define-char
 146   '((name               . "N-ARY COPRODUCT")
 147     (general-category   symbol math) ; Informative Category
 148     (bidi-category      . "ON")
 149     (mirrored           . nil)
 150     (ucs                . #x2210)       ; ∐
 151     ))
 152 (define-char
 153   '((name               . "N-ARY SUMMATION")
 154     (general-category   symbol math) ; Informative Category
 155     (bidi-category      . "ON")
 156     (mirrored           . t)
 157     (chinese-gb2312     . #x2146)       ; �����
 158     (korean-ksc5601     . #x2232)       ; �����
 159     (ucs                . #x2211)       ; ∑
 160     ))
 161 (define-char
 162   '((name               . "MINUS SIGN")
 163     (general-category   symbol math) ; Informative Category
 164     (bidi-category      . "ET")
 165     (mirrored           . nil)
 166     (japanese-jisx0208-1978     . #x215D)       ; �����
 167     (japanese-jisx0208          . #x215D)       ; �����
 168     (japanese-jisx0208-1990     . #x215D)       ; �����
 169     (ucs                        . #x2212)       ; −
 170     ))
 171 (define-char
 172   '((name               . "MINUS-OR-PLUS SIGN")
 173     (general-category   symbol math) ; Informative Category
 174     (bidi-category      . "ET")
 175     (mirrored           . nil)
 176     (japanese-jisx0213-1        . #x235B)       ; �����
 177     (ucs                        . #x2213)       ; ∓
 178     ))
 179 (define-char
 180   '((name               . "DOT PLUS")
 181     (general-category   symbol math) ; Informative Category
 182     (bidi-category      . "ON")
 183     (mirrored           . nil)
 184     (ucs                . #x2214)       ; ∔
 185     ))
 186 (define-char
 187   '((name               . "DIVISION SLASH")
 188     (general-category   symbol math) ; Informative Category
 189     (bidi-category      . "ON")
 190     (mirrored           . t)
 191     (chinese-cns11643-1 . #x2261)       ; �����
 192     (chinese-big5       . #xA241)       ; ������
 193     (ucs                . #x2215)       ; ∕
 194     ))
 195 (define-char
 196   '((name               . "SET MINUS")
 197     (general-category   symbol math) ; Informative Category
 198     (bidi-category      . "ON")
 199     (mirrored           . t)
 200     (ucs                . #x2216)       ; ∖
 201     ))
 202 (define-char
 203   '((name               . "ASTERISK OPERATOR")
 204     (general-category   symbol math) ; Informative Category
 205     (bidi-category      . "ON")
 206     (mirrored           . nil)
 207     (ucs                . #x2217)       ; ∗
 208     ))
 209 (define-char
 210   '((name               . "RING OPERATOR")
 211     (general-category   symbol math) ; Informative Category
 212     (bidi-category      . "ON")
 213     (mirrored           . nil)
 214     (ucs                . #x2218)       ; ∘
 215     ))
 216 (define-char
 217   '((name               . "BULLET OPERATOR")
 218     (general-category   symbol math) ; Informative Category
 219     (bidi-category      . "ON")
 220     (mirrored           . nil)
 221     (ucs                . #x2219)       ; ∙
 222     ))
 223 (define-char
 224   '((name               . "SQUARE ROOT")
 225     (general-category   symbol math) ; Informative Category
 226     (bidi-category      . "ON")
 227     (mirrored           . t)
 228     (chinese-gb2312             . #x214C)       ; �����
 229     (japanese-jisx0208          . #x2265)       ; �����
 230     (korean-ksc5601             . #x216E)       ; �����
 231     (chinese-cns11643-1         . #x2235)       ; �����
 232     (japanese-jisx0208-1990     . #x2265)       ; �����
 233     (chinese-big5               . #xA1D4)       ; ������
 234     (ucs                        . #x221A)       ; √
 235     ))
 236 (define-char
 237   '((name               . "CUBE ROOT")
 238     (general-category   symbol math) ; Informative Category
 239     (bidi-category      . "ON")
 240     (mirrored           . t)
 241     (ucs                . #x221B)       ; ∛
 242     ))
 243 (define-char
 244   '((name               . "FOURTH ROOT")
 245     (general-category   symbol math) ; Informative Category
 246     (bidi-category      . "ON")
 247     (mirrored           . t)
 248     (ucs                . #x221C)       ; ∜
 249     ))
 250 (define-char
 251   '((name               . "PROPORTIONAL TO")
 252     (general-category   symbol math) ; Informative Category
 253     (bidi-category      . "ON")
 254     (mirrored           . t)
 255     (chinese-gb2312             . #x2158)       ; �����
 256     (japanese-jisx0208          . #x2267)       ; �����
 257     (korean-ksc5601             . #x2170)       ; �����
 258     (japanese-jisx0208-1990     . #x2267)       ; �����
 259     (china3-jef                 . #x7FE7)       ; �����
 260     (ucs                        . #x221D)       ; ∝
 261     ))
 262 (define-char
 263   '((name               . "INFINITY")
 264     (general-category   symbol math) ; Informative Category
 265     (bidi-category      . "ON")
 266     (mirrored           . nil)
 267     (japanese-jisx0208-1978     . #x2167)       ; �����
 268     (chinese-gb2312             . #x215E)       ; �����
 269     (japanese-jisx0208          . #x2167)       ; �����
 270     (korean-ksc5601             . #x2144)       ; �����
 271     (chinese-cns11643-1         . #x223C)       ; �����
 272     (japanese-jisx0208-1990     . #x2167)       ; �����
 273     (chinese-big5               . #xA1DB)       ; ������
 274     (ucs                        . #x221E)       ; ∞
 275     ))
 276 (define-char
 277   '((name               . "RIGHT ANGLE")
 278     (general-category   symbol math) ; Informative Category
 279     (bidi-category      . "ON")
 280     (mirrored           . t)
 281     (chinese-cns11643-1         . #x2249)       ; �����
 282     (japanese-jisx0213-1        . #x2D78)       ; �����
 283     (chinese-big5               . #xA1E8)       ; ������
 284     (ucs                        . #x221F)       ; ∟
 285     ))
 286 (define-char
 287   '((name               . "ANGLE")
 288     (general-category   symbol math) ; Informative Category
 289     (bidi-category      . "ON")
 290     (mirrored           . t)
 291     (chinese-gb2312             . #x214F)       ; �����
 292     (japanese-jisx0208          . #x225C)       ; �����
 293     (korean-ksc5601             . #x2150)       ; �����
 294     (chinese-cns11643-1         . #x2248)       ; �����
 295     (japanese-jisx0208-1990     . #x225C)       ; �����
 296     (chinese-big5               . #xA1E7)       ; ������
 297     (china3-jef                 . #x7FDE)       ; �����
 298     (ucs                        . #x2220)       ; ∠
 299     ))
 300 (define-char
 301   '((name               . "MEASURED ANGLE")
 302     (general-category   symbol math) ; Informative Category
 303     (bidi-category      . "ON")
 304     (mirrored           . t)
 305     (ucs                . #x2221)       ; ∡
 306     ))
 307 (define-char
 308   '((name               . "SPHERICAL ANGLE")
 309     (general-category   symbol math) ; Informative Category
 310     (bidi-category      . "ON")
 311     (mirrored           . t)
 312     (ucs                . #x2222)       ; ∢
 313     ))
 314 (define-char
 315   '((name               . "DIVIDES")
 316     (general-category   symbol math) ; Informative Category
 317     (bidi-category      . "ON")
 318     (mirrored           . nil)
 319     (chinese-big5       . #xA1FD)       ; ������
 320     (ucs                . #x2223)       ; ∣
 321     ))
 322 (define-char
 323   '((name               . "DOES NOT DIVIDE")
 324     (general-category   symbol math) ; Informative Category
 325     (bidi-category      . "ON")
 326     (mirrored           . t)
 327     (->decomposition    #x2223 #x0338)
 328     (ucs                . #x2224)       ; ∤
 329     ))
 330 (define-char
 331   '((name               . "PARALLEL TO")
 332     (general-category   symbol math) ; Informative Category
 333     (bidi-category      . "ON")
 334     (mirrored           . nil)
 335     (chinese-gb2312             . #x214E)       ; �����
 336     (korean-ksc5601             . #x212B)       ; �����
 337     (japanese-jisx0213-1        . #x2254)       ; �����
 338     (chinese-big5               . #xA1FC)       ; ������
 339     (ucs                        . #x2225)       ; ∥
 340     ))
 341 (define-char
 342   '((name               . "NOT PARALLEL TO")
 343     (general-category   symbol math) ; Informative Category
 344     (bidi-category      . "ON")
 345     (mirrored           . t)
 346     (->decomposition    #x2225 #x0338)
 347     (japanese-jisx0213-1        . #x2255)       ; �����
 348     (ucs                        . #x2226)       ; ∦
 349     ))
 350 (define-char
 351   '((name               . "LOGICAL AND")
 352     (general-category   symbol math) ; Informative Category
 353     (bidi-category      . "ON")
 354     (mirrored           . nil)
 355     (chinese-gb2312             . #x2144)       ; �����
 356     (japanese-jisx0208          . #x224A)       ; �����
 357     (korean-ksc5601             . #x217C)       ; �����
 358     (japanese-jisx0208-1990     . #x224A)       ; �����
 359     (ucs                        . #x2227)       ; ∧
 360     ))
 361 (define-char
 362   '((name               . "LOGICAL OR")
 363     (general-category   symbol math) ; Informative Category
 364     (bidi-category      . "ON")
 365     (mirrored           . nil)
 366     (chinese-gb2312             . #x2145)       ; �����
 367     (japanese-jisx0208          . #x224B)       ; �����
 368     (korean-ksc5601             . #x217D)       ; �����
 369     (japanese-jisx0208-1990     . #x224B)       ; �����
 370     (ucs                        . #x2228)       ; ∨
 371     ))
 372 (define-char
 373   '((name               . "INTERSECTION")
 374     (general-category   symbol math) ; Informative Category
 375     (bidi-category      . "ON")
 376     (mirrored           . nil)
 377     (chinese-gb2312             . #x2149)       ; �����
 378     (japanese-jisx0208          . #x2241)       ; �����
 379     (korean-ksc5601             . #x217B)       ; �����
 380     (chinese-cns11643-1         . #x2245)       ; �����
 381     (japanese-jisx0208-1990     . #x2241)       ; �����
 382     (chinese-big5               . #xA1E4)       ; ������
 383     (ucs                        . #x2229)       ; ∩
 384     ))
 385 (define-char
 386   '((name               . "UNION")
 387     (general-category   symbol math) ; Informative Category
 388     (bidi-category      . "ON")
 389     (mirrored           . nil)
 390     (chinese-gb2312             . #x2148)       ; �����
 391     (japanese-jisx0208          . #x2240)       ; �����
 392     (korean-ksc5601             . #x217A)       ; �����
 393     (chinese-cns11643-1         . #x2246)       ; �����
 394     (japanese-jisx0208-1990     . #x2240)       ; �����
 395     (chinese-big5               . #xA1E5)       ; ������
 396     (ucs                        . #x222A)       ; ∪
 397     ))
 398 (define-char
 399   '((name               . "INTEGRAL")
 400     (general-category   symbol math) ; Informative Category
 401     (bidi-category      . "ON")
 402     (mirrored           . t)
 403     (chinese-gb2312             . #x2152)       ; �����
 404     (japanese-jisx0208          . #x2269)       ; �����
 405     (korean-ksc5601             . #x2172)       ; �����
 406     (chinese-cns11643-1         . #x224D)       ; �����
 407     (japanese-jisx0208-1990     . #x2269)       ; �����
 408     (chinese-big5               . #xA1EC)       ; ������
 409     (china3-jef                 . #x7FE8)       ; �����
 410     (ucs                        . #x222B)       ; ∫
 411     ))
 412 (define-char
 413   '((name               . "DOUBLE INTEGRAL")
 414     (general-category   symbol math) ; Informative Category
 415     (bidi-category      . "ON")
 416     (mirrored           . t)
 417     (->decomposition    compat #x222B #x222B)
 418     (japanese-jisx0208          . #x226A)       ; �����
 419     (korean-ksc5601             . #x2173)       ; �����
 420     (japanese-jisx0208-1990     . #x226A)       ; �����
 421     (china3-jef                 . #x7FE9)       ; �����
 422     (ucs                        . #x222C)       ; ∬
 423     ))
 424 (define-char
 425   '((name               . "TRIPLE INTEGRAL")
 426     (general-category   symbol math) ; Informative Category
 427     (bidi-category      . "ON")
 428     (mirrored           . t)
 429     (->decomposition    compat #x222B #x222B #x222B)
 430     (ucs                . #x222D)       ; ∭
 431     ))
 432 (define-char
 433   '((name               . "CONTOUR INTEGRAL")
 434     (general-category   symbol math) ; Informative Category
 435     (bidi-category      . "ON")
 436     (mirrored           . t)
 437     (chinese-gb2312             . #x2153)       ; �����
 438     (korean-ksc5601             . #x2231)       ; �����
 439     (chinese-cns11643-1         . #x224E)       ; �����
 440     (japanese-jisx0213-1        . #x2D73)       ; �����
 441     (chinese-big5               . #xA1ED)       ; ������
 442     (ucs                        . #x222E)       ; ∮
 443     ))
 444 (define-char
 445   '((name               . "SURFACE INTEGRAL")
 446     (general-category   symbol math) ; Informative Category
 447     (bidi-category      . "ON")
 448     (mirrored           . t)
 449     (->decomposition    compat #x222E #x222E)
 450     (ucs                . #x222F)       ; ∯
 451     ))
 452 (define-char
 453   '((name               . "VOLUME INTEGRAL")
 454     (general-category   symbol math) ; Informative Category
 455     (bidi-category      . "ON")
 456     (mirrored           . t)
 457     (->decomposition    compat #x222E #x222E #x222E)
 458     (ucs                . #x2230)       ; ∰
 459     ))
 460 (define-char
 461   '((name               . "CLOCKWISE INTEGRAL")
 462     (general-category   symbol math) ; Informative Category
 463     (bidi-category      . "ON")
 464     (mirrored           . t)
 465     (ucs                . #x2231)       ; ∱
 466     ))
 467 (define-char
 468   '((name               . "CLOCKWISE CONTOUR INTEGRAL")
 469     (general-category   symbol math) ; Informative Category
 470     (bidi-category      . "ON")
 471     (mirrored           . t)
 472     (ucs                . #x2232)       ; ∲
 473     ))
 474 (define-char
 475   '((name               . "ANTICLOCKWISE CONTOUR INTEGRAL")
 476     (general-category   symbol math) ; Informative Category
 477     (bidi-category      . "ON")
 478     (mirrored           . t)
 479     (ucs                . #x2233)       ; ∳
 480     ))
 481 (define-char
 482   '((name               . "THEREFORE")
 483     (general-category   symbol math) ; Informative Category
 484     (bidi-category      . "ON")
 485     (mirrored           . nil)
 486     (japanese-jisx0208-1978     . #x2168)       ; �����
 487     (chinese-gb2312             . #x2160)       ; �����
 488     (japanese-jisx0208          . #x2168)       ; �����
 489     (korean-ksc5601             . #x2145)       ; �����
 490     (chinese-cns11643-1         . #x2250)       ; �����
 491     (japanese-jisx0208-1990     . #x2168)       ; �����
 492     (chinese-big5               . #xA1EF)       ; ������
 493     (ucs                        . #x2234)       ; ∴
 494     ))
 495 (define-char
 496   '((name               . "BECAUSE")
 497     (general-category   symbol math) ; Informative Category
 498     (bidi-category      . "ON")
 499     (mirrored           . nil)
 500     (chinese-gb2312             . #x215F)       ; �����
 501     (japanese-jisx0208          . #x2268)       ; �����
 502     (korean-ksc5601             . #x2171)       ; �����
 503     (chinese-cns11643-1         . #x224F)       ; �����
 504     (japanese-jisx0208-1990     . #x2268)       ; �����
 505     (chinese-big5               . #xA1EE)       ; ������
 506     (ucs                        . #x2235)       ; ∵
 507     ))
 508 (define-char
 509   '((name               . "RATIO")
 510     (general-category   symbol math) ; Informative Category
 511     (bidi-category      . "ON")
 512     (mirrored           . nil)
 513     (chinese-gb2312     . #x2143)       ; �����
 514     (ucs                . #x2236)       ; ∶
 515     ))
 516 (define-char
 517   '((name               . "PROPORTION")
 518     (general-category   symbol math) ; Informative Category
 519     (bidi-category      . "ON")
 520     (mirrored           . nil)
 521     (chinese-gb2312     . #x214B)       ; �����
 522     (ucs                . #x2237)       ; ∷
 523     ))
 524 (define-char
 525   '((name               . "DOT MINUS")
 526     (general-category   symbol math) ; Informative Category
 527     (bidi-category      . "ON")
 528     (mirrored           . nil)
 529     (ucs                . #x2238)       ; ∸
 530     ))
 531 (define-char
 532   '((name               . "EXCESS")
 533     (general-category   symbol math) ; Informative Category
 534     (bidi-category      . "ON")
 535     (mirrored           . t)
 536     (ucs                . #x2239)       ; ∹
 537     ))
 538 (define-char
 539   '((name               . "GEOMETRIC PROPORTION")
 540     (general-category   symbol math) ; Informative Category
 541     (bidi-category      . "ON")
 542     (mirrored           . nil)
 543     (ucs                . #x223A)       ; ∺
 544     ))
 545 (define-char
 546   '((name               . "HOMOTHETIC")
 547     (general-category   symbol math) ; Informative Category
 548     (bidi-category      . "ON")
 549     (mirrored           . t)
 550     (ucs                . #x223B)       ; ∻
 551     ))
 552 (define-char
 553   '((name               . "TILDE OPERATOR")
 554     (general-category   symbol math) ; Informative Category
 555     (bidi-category      . "ON")
 556     (mirrored           . t)
 557     (korean-ksc5601     . #x212D)       ; �����
 558     (chinese-cns11643-1 . #x2244)       ; �����
 559     (chinese-big5       . #xA1E3)       ; ������
 560     (ucs-big5           . #xFF5E)       ; ∼
 561     (ucs                . #x223C)       ; ∼
 562     ))
 563 (define-char
 564   '((name               . "REVERSED TILDE")
 565     (general-category   symbol math) ; Informative Category
 566     (bidi-category      . "ON")
 567     (mirrored           . t)
 568     (iso-10646-comment  . "lazy S")
 569     (chinese-gb2312             . #x2157)       ; �����
 570     (japanese-jisx0208          . #x2266)       ; �����
 571     (korean-ksc5601             . #x216F)       ; �����
 572     (japanese-jisx0208-1990     . #x2266)       ; �����
 573     (china3-jef                 . #x7FE6)       ; �����
 574     (ucs                        . #x223D)       ; ∽
 575     ))
 576 (define-char
 577   '((name               . "INVERTED LAZY S")
 578     (general-category   symbol math) ; Informative Category
 579     (bidi-category      . "ON")
 580     (mirrored           . t)
 581     (ucs                . #x223E)       ; ∾
 582     ))
 583 (define-char
 584   '((name               . "SINE WAVE")
 585     (general-category   symbol math) ; Informative Category
 586     (bidi-category      . "ON")
 587     (mirrored           . t)
 588     (ucs                . #x223F)       ; ∿
 589     ))
 590 (define-char
 591   '((name               . "WREATH PRODUCT")
 592     (general-category   symbol math) ; Informative Category
 593     (bidi-category      . "ON")
 594     (mirrored           . t)
 595     (ucs                . #x2240)       ; ≀
 596     ))
 597 (define-char
 598   '((name               . "NOT TILDE")
 599     (general-category   symbol math) ; Informative Category
 600     (bidi-category      . "ON")
 601     (mirrored           . t)
 602     (->decomposition    #x223C #x0338)
 603     (ucs                . #x2241)       ; ≁
 604     ))
 605 (define-char
 606   '((name               . "MINUS TILDE")
 607     (general-category   symbol math) ; Informative Category
 608     (bidi-category      . "ON")
 609     (mirrored           . t)
 610     (ucs                . #x2242)       ; ≂
 611     ))
 612 (define-char
 613   '((name               . "ASYMPTOTICALLY EQUAL TO")
 614     (general-category   symbol math) ; Informative Category
 615     (bidi-category      . "ON")
 616     (mirrored           . t)
 617     (japanese-jisx0213-1        . #x226C)       ; �����
 618     (ucs                        . #x2243)       ; ≃
 619     ))
 620 (define-char
 621   '((name               . "NOT ASYMPTOTICALLY EQUAL TO")
 622     (general-category   symbol math) ; Informative Category
 623     (bidi-category      . "ON")
 624     (mirrored           . t)
 625     (->decomposition    #x2243 #x0338)
 626     (ucs                . #x2244)       ; ≄
 627     ))
 628 (define-char
 629   '((name               . "APPROXIMATELY EQUAL TO")
 630     (general-category   symbol math) ; Informative Category
 631     (bidi-category      . "ON")
 632     (mirrored           . t)
 633     (japanese-jisx0213-1        . #x226D)       ; �����
 634     (ucs                        . #x2245)       ; ≅
 635     ))
 636 (define-char
 637   '((name               . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
 638     (general-category   symbol math) ; Informative Category
 639     (bidi-category      . "ON")
 640     (mirrored           . t)
 641     (ucs                . #x2246)       ; ≆
 642     ))
 643 (define-char
 644   '((name               . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
 645     (general-category   symbol math) ; Informative Category
 646     (bidi-category      . "ON")
 647     (mirrored           . t)
 648     (->decomposition    #x2245 #x0338)
 649     (ucs                . #x2247)       ; ≇
 650     ))
 651 (define-char
 652   '((name               . "ALMOST EQUAL TO")
 653     (general-category   symbol math) ; Informative Category
 654     (bidi-category      . "ON")
 655     (mirrored           . t)
 656     (chinese-gb2312             . #x2156)       ; �����
 657     (japanese-jisx0213-1        . #x226E)       ; �����
 658     (ucs                        . #x2248)       ; ≈
 659     ))
 660 (define-char
 661   '((name               . "NOT ALMOST EQUAL TO")
 662     (general-category   symbol math) ; Informative Category
 663     (bidi-category      . "ON")
 664     (mirrored           . t)
 665     (->decomposition    #x2248 #x0338)
 666     (ucs                . #x2249)       ; ≉
 667     ))
 668 (define-char
 669   '((name               . "ALMOST EQUAL OR EQUAL TO")
 670     (general-category   symbol math) ; Informative Category
 671     (bidi-category      . "ON")
 672     (mirrored           . t)
 673     (ucs                . #x224A)       ; ≊
 674     ))
 675 (define-char
 676   '((name               . "TRIPLE TILDE")
 677     (general-category   symbol math) ; Informative Category
 678     (bidi-category      . "ON")
 679     (mirrored           . t)
 680     (ucs                . #x224B)       ; ≋
 681     ))
 682 (define-char
 683   '((name               . "ALL EQUAL TO")
 684     (general-category   symbol math) ; Informative Category
 685     (bidi-category      . "ON")
 686     (mirrored           . t)
 687     (chinese-gb2312     . #x2155)       ; �����
 688     (ucs                . #x224C)       ; ≌
 689     ))
 690 (define-char
 691   '((name               . "EQUIVALENT TO")
 692     (general-category   symbol math) ; Informative Category
 693     (bidi-category      . "ON")
 694     (mirrored           . nil)
 695     (ucs                . #x224D)       ; ≍
 696     ))
 697 (define-char
 698   '((name               . "GEOMETRICALLY EQUIVALENT TO")
 699     (general-category   symbol math) ; Informative Category
 700     (bidi-category      . "ON")
 701     (mirrored           . nil)
 702     (ucs                . #x224E)       ; ≎
 703     ))
 704 (define-char
 705   '((name               . "DIFFERENCE BETWEEN")
 706     (general-category   symbol math) ; Informative Category
 707     (bidi-category      . "ON")
 708     (mirrored           . nil)
 709     (ucs                . #x224F)       ; ≏
 710     ))
 711 (define-char
 712   '((name               . "APPROACHES THE LIMIT")
 713     (general-category   symbol math) ; Informative Category
 714     (bidi-category      . "ON")
 715     (mirrored           . nil)
 716     (ucs                . #x2250)       ; ≐
 717     ))
 718 (define-char
 719   '((name               . "GEOMETRICALLY EQUAL TO")
 720     (general-category   symbol math) ; Informative Category
 721     (bidi-category      . "ON")
 722     (mirrored           . nil)
 723     (ucs                . #x2251)       ; ≑
 724     ))
 725 (define-char
 726   '((name               . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
 727     (general-category   symbol math) ; Informative Category
 728     (bidi-category      . "ON")
 729     (mirrored           . t)
 730     (japanese-jisx0208          . #x2262)       ; �����
 731     (korean-ksc5601             . #x2156)       ; �����
 732     (chinese-cns11643-1         . #x223D)       ; �����
 733     (japanese-jisx0208-1990     . #x2262)       ; �����
 734     (chinese-big5               . #xA1DC)       ; ������
 735     (ucs                        . #x2252)       ; ≒
 736     ))
 737 (define-char
 738   '((name               . "IMAGE OF OR APPROXIMATELY EQUAL TO")
 739     (general-category   symbol math) ; Informative Category
 740     (bidi-category      . "ON")
 741     (mirrored           . t)
 742     (ucs                . #x2253)       ; ≓
 743     ))
 744 (define-char
 745   '((name               . "COLON EQUALS")
 746     (general-category   symbol math) ; Informative Category
 747     (bidi-category      . "ON")
 748     (mirrored           . t)
 749     (ucs                . #x2254)       ; ≔
 750     ))
 751 (define-char
 752   '((name               . "EQUALS COLON")
 753     (general-category   symbol math) ; Informative Category
 754     (bidi-category      . "ON")
 755     (mirrored           . t)
 756     (ucs                . #x2255)       ; ≕
 757     ))
 758 (define-char
 759   '((name               . "RING IN EQUAL TO")
 760     (general-category   symbol math) ; Informative Category
 761     (bidi-category      . "ON")
 762     (mirrored           . nil)
 763     (ucs                . #x2256)       ; ≖
 764     ))
 765 (define-char
 766   '((name               . "RING EQUAL TO")
 767     (general-category   symbol math) ; Informative Category
 768     (bidi-category      . "ON")
 769     (mirrored           . nil)
 770     (ucs                . #x2257)       ; ≗
 771     ))
 772 (define-char
 773   '((name               . "CORRESPONDS TO")
 774     (general-category   symbol math) ; Informative Category
 775     (bidi-category      . "ON")
 776     (mirrored           . nil)
 777     (ucs                . #x2258)       ; ≘
 778     ))
 779 (define-char
 780   '((name               . "ESTIMATES")
 781     (general-category   symbol math) ; Informative Category
 782     (bidi-category      . "ON")
 783     (mirrored           . nil)
 784     (ucs                . #x2259)       ; ≙
 785     ))
 786 (define-char
 787   '((name               . "EQUIANGULAR TO")
 788     (general-category   symbol math) ; Informative Category
 789     (bidi-category      . "ON")
 790     (mirrored           . nil)
 791     (ucs                . #x225A)       ; ≚
 792     ))
 793 (define-char
 794   '((name               . "STAR EQUALS")
 795     (general-category   symbol math) ; Informative Category
 796     (bidi-category      . "ON")
 797     (mirrored           . nil)
 798     (ucs                . #x225B)       ; ≛
 799     ))
 800 (define-char
 801   '((name               . "DELTA EQUAL TO")
 802     (general-category   symbol math) ; Informative Category
 803     (bidi-category      . "ON")
 804     (mirrored           . nil)
 805     (ucs                . #x225C)       ; ≜
 806     ))
 807 (define-char
 808   '((name               . "EQUAL TO BY DEFINITION")
 809     (general-category   symbol math) ; Informative Category
 810     (bidi-category      . "ON")
 811     (mirrored           . nil)
 812     (ucs                . #x225D)       ; ≝
 813     ))
 814 (define-char
 815   '((name               . "MEASURED BY")
 816     (general-category   symbol math) ; Informative Category
 817     (bidi-category      . "ON")
 818     (mirrored           . nil)
 819     (ucs                . #x225E)       ; ≞
 820     ))
 821 (define-char
 822   '((name               . "QUESTIONED EQUAL TO")
 823     (general-category   symbol math) ; Informative Category
 824     (bidi-category      . "ON")
 825     (mirrored           . t)
 826     (ucs                . #x225F)       ; ≟
 827     ))
 828 (define-char
 829   '((name               . "NOT EQUAL TO")
 830     (general-category   symbol math) ; Informative Category
 831     (bidi-category      . "ON")
 832     (mirrored           . t)
 833     (->decomposition    #x003D #x0338)
 834     (japanese-jisx0208-1978     . #x2162)       ; �����
 835     (chinese-gb2312             . #x2159)       ; �����
 836     (japanese-jisx0208          . #x2162)       ; �����
 837     (korean-ksc5601             . #x2141)       ; �����
 838     (chinese-cns11643-1         . #x223B)       ; �����
 839     (japanese-jisx0208-1990     . #x2162)       ; �����
 840     (chinese-big5               . #xA1DA)       ; ������
 841     (ucs                        . #x2260)       ; ≠
 842     ))
 843 (define-char
 844   '((name               . "IDENTICAL TO")
 845     (general-category   symbol math) ; Informative Category
 846     (bidi-category      . "ON")
 847     (mirrored           . nil)
 848     (chinese-gb2312             . #x2154)       ; �����
 849     (japanese-jisx0208          . #x2261)       ; �����
 850     (korean-ksc5601             . #x2155)       ; �����
 851     (chinese-cns11643-1         . #x223E)       ; �����
 852     (japanese-jisx0208-1990     . #x2261)       ; �����
 853     (chinese-big5               . #xA1DD)       ; ������
 854     (ucs                        . #x2261)       ; ≡
 855     ))
 856 (define-char
 857   '((name               . "NOT IDENTICAL TO")
 858     (general-category   symbol math) ; Informative Category
 859     (bidi-category      . "ON")
 860     (mirrored           . t)
 861     (->decomposition    #x2261 #x0338)
 862     (japanese-jisx0213-1        . #x226B)       ; �����
 863     (ucs                        . #x2262)       ; ≢
 864     ))
 865 (define-char
 866   '((name               . "STRICTLY EQUIVALENT TO")
 867     (general-category   symbol math) ; Informative Category
 868     (bidi-category      . "ON")
 869     (mirrored           . nil)
 870     (ucs                . #x2263)       ; ≣
 871     ))
 872 (define-char
 873   '((name               . "LESS-THAN OR EQUAL TO")
 874     (general-category   symbol math) ; Informative Category
 875     (bidi-category      . "ON")
 876     (mirrored           . t)
 877     (chinese-gb2312     . #x215C)       ; �����
 878     (korean-ksc5601     . #x2142)       ; �����
 879     (ucs                . #x2264)       ; ≤
 880     ))
 881 (define-char
 882   '((name               . "GREATER-THAN OR EQUAL TO")
 883     (general-category   symbol math) ; Informative Category
 884     (bidi-category      . "ON")
 885     (mirrored           . t)
 886     (chinese-gb2312     . #x215D)       ; �����
 887     (korean-ksc5601     . #x2143)       ; �����
 888     (ucs                . #x2265)       ; ≥
 889     ))
 890 (define-char
 891   '((name               . "LESS-THAN OVER EQUAL TO")
 892     (general-category   symbol math) ; Informative Category
 893     (bidi-category      . "ON")
 894     (mirrored           . t)
 895     (japanese-jisx0208-1978     . #x2165)       ; �����
 896     (japanese-jisx0208          . #x2165)       ; �����
 897     (chinese-cns11643-1         . #x2239)       ; �����
 898     (japanese-jisx0208-1990     . #x2165)       ; �����
 899     (chinese-big5               . #xA1D8)       ; ������
 900     (ucs                        . #x2266)       ; ≦
 901     ))
 902 (define-char
 903   '((name               . "GREATER-THAN OVER EQUAL TO")
 904     (general-category   symbol math) ; Informative Category
 905     (bidi-category      . "ON")
 906     (mirrored           . t)
 907     (japanese-jisx0208-1978     . #x2166)       ; �����
 908     (japanese-jisx0208          . #x2166)       ; �����
 909     (chinese-cns11643-1         . #x223A)       ; �����
 910     (japanese-jisx0208-1990     . #x2166)       ; �����
 911     (chinese-big5               . #xA1D9)       ; ������
 912     (ucs                        . #x2267)       ; ≧
 913     ))
 914 (define-char
 915   '((name               . "LESS-THAN BUT NOT EQUAL TO")
 916     (general-category   symbol math) ; Informative Category
 917     (bidi-category      . "ON")
 918     (mirrored           . t)
 919     (ucs                . #x2268)       ; ≨
 920     ))
 921 (define-char
 922   '((name               . "GREATER-THAN BUT NOT EQUAL TO")
 923     (general-category   symbol math) ; Informative Category
 924     (bidi-category      . "ON")
 925     (mirrored           . t)
 926     (ucs                . #x2269)       ; ≩
 927     ))
 928 (define-char
 929   '((name               . "MUCH LESS-THAN")
 930     (general-category   symbol math) ; Informative Category
 931     (bidi-category      . "ON")
 932     (mirrored           . t)
 933     (japanese-jisx0208          . #x2263)       ; �����
 934     (korean-ksc5601             . #x216C)       ; �����
 935     (japanese-jisx0208-1990     . #x2263)       ; �����
 936     (china3-jef                 . #x7FE3)       ; �����
 937     (ucs                        . #x226A)       ; ≪
 938     ))
 939 (define-char
 940   '((name               . "MUCH GREATER-THAN")
 941     (general-category   symbol math) ; Informative Category
 942     (bidi-category      . "ON")
 943     (mirrored           . t)
 944     (japanese-jisx0208          . #x2264)       ; �����
 945     (korean-ksc5601             . #x216D)       ; �����
 946     (japanese-jisx0208-1990     . #x2264)       ; �����
 947     (china3-jef                 . #x7FE4)       ; �����
 948     (ucs                        . #x226B)       ; ≫
 949     ))
 950 (define-char
 951   '((name               . "BETWEEN")
 952     (general-category   symbol math) ; Informative Category
 953     (bidi-category      . "ON")
 954     (mirrored           . nil)
 955     (ucs                . #x226C)       ; ≬
 956     ))
 957 (define-char
 958   '((name               . "NOT EQUIVALENT TO")
 959     (general-category   symbol math) ; Informative Category
 960     (bidi-category      . "ON")
 961     (mirrored           . nil)
 962     (->decomposition    #x224D #x0338)
 963     (ucs                . #x226D)       ; ≭
 964     ))
 965 (define-char
 966   '((name               . "NOT LESS-THAN")
 967     (general-category   symbol math) ; Informative Category
 968     (bidi-category      . "ON")
 969     (mirrored           . t)
 970     (->decomposition    #x003C #x0338)
 971     (chinese-gb2312     . #x215A)       ; �����
 972     (ucs                . #x226E)       ; ≮
 973     ))
 974 (define-char
 975   '((name               . "NOT GREATER-THAN")
 976     (general-category   symbol math) ; Informative Category
 977     (bidi-category      . "ON")
 978     (mirrored           . t)
 979     (->decomposition    #x003E #x0338)
 980     (chinese-gb2312     . #x215B)       ; �����
 981     (ucs                . #x226F)       ; ≯
 982     ))
 983 (define-char
 984   '((name               . "NEITHER LESS-THAN NOR EQUAL TO")
 985     (general-category   symbol math) ; Informative Category
 986     (bidi-category      . "ON")
 987     (mirrored           . t)
 988     (->decomposition    #x2264 #x0338)
 989     (ucs                . #x2270)       ; ≰
 990     ))
 991 (define-char
 992   '((name               . "NEITHER GREATER-THAN NOR EQUAL TO")
 993     (general-category   symbol math) ; Informative Category
 994     (bidi-category      . "ON")
 995     (mirrored           . t)
 996     (->decomposition    #x2265 #x0338)
 997     (ucs                . #x2271)       ; ≱
 998     ))
 999 (define-char
1000   '((name               . "LESS-THAN OR EQUIVALENT TO")
1001     (general-category   symbol math) ; Informative Category
1002     (bidi-category      . "ON")
1003     (mirrored           . t)
1004     (ucs                . #x2272)       ; ≲
1005     ))
1006 (define-char
1007   '((name               . "GREATER-THAN OR EQUIVALENT TO")
1008     (general-category   symbol math) ; Informative Category
1009     (bidi-category      . "ON")
1010     (mirrored           . t)
1011     (ucs                . #x2273)       ; ≳
1012     ))
1013 (define-char
1014   '((name               . "NEITHER LESS-THAN NOR EQUIVALENT TO")
1015     (general-category   symbol math) ; Informative Category
1016     (bidi-category      . "ON")
1017     (mirrored           . t)
1018     (->decomposition    #x2272 #x0338)
1019     (ucs                . #x2274)       ; ≴
1020     ))
1021 (define-char
1022   '((name               . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
1023     (general-category   symbol math) ; Informative Category
1024     (bidi-category      . "ON")
1025     (mirrored           . t)
1026     (->decomposition    #x2273 #x0338)
1027     (ucs                . #x2275)       ; ≵
1028     ))
1029 (define-char
1030   '((name               . "LESS-THAN OR GREATER-THAN")
1031     (general-category   symbol math) ; Informative Category
1032     (bidi-category      . "ON")
1033     (mirrored           . t)
1034     (japanese-jisx0213-1        . #x226F)       ; �����
1035     (ucs                        . #x2276)       ; ≶
1036     ))
1037 (define-char
1038   '((name               . "GREATER-THAN OR LESS-THAN")
1039     (general-category   symbol math) ; Informative Category
1040     (bidi-category      . "ON")
1041     (mirrored           . t)
1042     (japanese-jisx0213-1        . #x2270)       ; �����
1043     (ucs                        . #x2277)       ; ≷
1044     ))
1045 (define-char
1046   '((name               . "NEITHER LESS-THAN NOR GREATER-THAN")
1047     (general-category   symbol math) ; Informative Category
1048     (bidi-category      . "ON")
1049     (mirrored           . t)
1050     (->decomposition    #x2276 #x0338)
1051     (ucs                . #x2278)       ; ≸
1052     ))
1053 (define-char
1054   '((name               . "NEITHER GREATER-THAN NOR LESS-THAN")
1055     (general-category   symbol math) ; Informative Category
1056     (bidi-category      . "ON")
1057     (mirrored           . t)
1058     (->decomposition    #x2277 #x0338)
1059     (ucs                . #x2279)       ; ≹
1060     ))
1061 (define-char
1062   '((name               . "PRECEDES")
1063     (general-category   symbol math) ; Informative Category
1064     (bidi-category      . "ON")
1065     (mirrored           . t)
1066     (ucs                . #x227A)       ; ≺
1067     ))
1068 (define-char
1069   '((name               . "SUCCEEDS")
1070     (general-category   symbol math) ; Informative Category
1071     (bidi-category      . "ON")
1072     (mirrored           . t)
1073     (ucs                . #x227B)       ; ≻
1074     ))
1075 (define-char
1076   '((name               . "PRECEDES OR EQUAL TO")
1077     (general-category   symbol math) ; Informative Category
1078     (bidi-category      . "ON")
1079     (mirrored           . t)
1080     (ucs                . #x227C)       ; ≼
1081     ))
1082 (define-char
1083   '((name               . "SUCCEEDS OR EQUAL TO")
1084     (general-category   symbol math) ; Informative Category
1085     (bidi-category      . "ON")
1086     (mirrored           . t)
1087     (ucs                . #x227D)       ; ≽
1088     ))
1089 (define-char
1090   '((name               . "PRECEDES OR EQUIVALENT TO")
1091     (general-category   symbol math) ; Informative Category
1092     (bidi-category      . "ON")
1093     (mirrored           . t)
1094     (ucs                . #x227E)       ; ≾
1095     ))
1096 (define-char
1097   '((name               . "SUCCEEDS OR EQUIVALENT TO")
1098     (general-category   symbol math) ; Informative Category
1099     (bidi-category      . "ON")
1100     (mirrored           . t)
1101     (ucs                . #x227F)       ; ≿
1102     ))
1103 (define-char
1104   '((name               . "DOES NOT PRECEDE")
1105     (general-category   symbol math) ; Informative Category
1106     (bidi-category      . "ON")
1107     (mirrored           . t)
1108     (->decomposition    #x227A #x0338)
1109     (ucs                . #x2280)       ; ⊀
1110     ))
1111 (define-char
1112   '((name               . "DOES NOT SUCCEED")
1113     (general-category   symbol math) ; Informative Category
1114     (bidi-category      . "ON")
1115     (mirrored           . t)
1116     (->decomposition    #x227B #x0338)
1117     (ucs                . #x2281)       ; ⊁
1118     ))
1119 (define-char
1120   '((name               . "SUBSET OF")
1121     (general-category   symbol math) ; Informative Category
1122     (bidi-category      . "ON")
1123     (mirrored           . t)
1124     (japanese-jisx0208          . #x223E)       ; �����
1125     (korean-ksc5601             . #x2178)       ; �����
1126     (japanese-jisx0208-1990     . #x223E)       ; �����
1127     (china3-jef                 . #x7FD4)       ; �����
1128     (ucs                        . #x2282)       ; ⊂
1129     ))
1130 (define-char
1131   '((name               . "SUPERSET OF")
1132     (general-category   symbol math) ; Informative Category
1133     (bidi-category      . "ON")
1134     (mirrored           . t)
1135     (japanese-jisx0208          . #x223F)       ; �����
1136     (korean-ksc5601             . #x2179)       ; �����
1137     (japanese-jisx0208-1990     . #x223F)       ; �����
1138     (china3-jef                 . #x7FD5)       ; �����
1139     (ucs                        . #x2283)       ; ⊃
1140     ))
1141 (define-char
1142   '((name               . "NOT A SUBSET OF")
1143     (general-category   symbol math) ; Informative Category
1144     (bidi-category      . "ON")
1145     (mirrored           . t)
1146     (->decomposition    #x2282 #x0338)
1147     (japanese-jisx0213-1        . #x2242)       ; �����
1148     (ucs                        . #x2284)       ; ⊄
1149     ))
1150 (define-char
1151   '((name               . "NOT A SUPERSET OF")
1152     (general-category   symbol math) ; Informative Category
1153     (bidi-category      . "ON")
1154     (mirrored           . t)
1155     (->decomposition    #x2283 #x0338)
1156     (japanese-jisx0213-1        . #x2243)       ; �����
1157     (ucs                        . #x2285)       ; ⊅
1158     ))
1159 (define-char
1160   '((name               . "SUBSET OF OR EQUAL TO")
1161     (general-category   symbol math) ; Informative Category
1162     (bidi-category      . "ON")
1163     (mirrored           . t)
1164     (japanese-jisx0208          . #x223C)       ; �����
1165     (korean-ksc5601             . #x2176)       ; �����
1166     (japanese-jisx0208-1990     . #x223C)       ; �����
1167     (china3-jef                 . #x7FD2)       ; �����
1168     (ucs                        . #x2286)       ; ⊆
1169     ))
1170 (define-char
1171   '((name               . "SUPERSET OF OR EQUAL TO")
1172     (general-category   symbol math) ; Informative Category
1173     (bidi-category      . "ON")
1174     (mirrored           . t)
1175     (japanese-jisx0208          . #x223D)       ; �����
1176     (korean-ksc5601             . #x2177)       ; �����
1177     (japanese-jisx0208-1990     . #x223D)       ; �����
1178     (china3-jef                 . #x7FD3)       ; �����
1179     (ucs                        . #x2287)       ; ⊇
1180     ))
1181 (define-char
1182   '((name               . "NEITHER A SUBSET OF NOR EQUAL TO")
1183     (general-category   symbol math) ; Informative Category
1184     (bidi-category      . "ON")
1185     (mirrored           . t)
1186     (->decomposition    #x2286 #x0338)
1187     (ucs                . #x2288)       ; ⊈
1188     ))
1189 (define-char
1190   '((name               . "NEITHER A SUPERSET OF NOR EQUAL TO")
1191     (general-category   symbol math) ; Informative Category
1192     (bidi-category      . "ON")
1193     (mirrored           . t)
1194     (->decomposition    #x2287 #x0338)
1195     (ucs                . #x2289)       ; ⊉
1196     ))
1197 (define-char
1198   '((name               . "SUBSET OF WITH NOT EQUAL TO")
1199     (general-category   symbol math) ; Informative Category
1200     (bidi-category      . "ON")
1201     (mirrored           . t)
1202     (japanese-jisx0213-1        . #x2244)       ; �����
1203     (ucs                        . #x228A)       ; ⊊
1204     ))
1205 (define-char
1206   '((name               . "SUPERSET OF WITH NOT EQUAL TO")
1207     (general-category   symbol math) ; Informative Category
1208     (bidi-category      . "ON")
1209     (mirrored           . t)
1210     (japanese-jisx0213-1        . #x2245)       ; �����
1211     (ucs                        . #x228B)       ; ⊋
1212     ))
1213 (define-char
1214   '((name               . "MULTISET")
1215     (general-category   symbol math) ; Informative Category
1216     (bidi-category      . "ON")
1217     (mirrored           . t)
1218     (ucs                . #x228C)       ; ⊌
1219     ))
1220 (define-char
1221   '((name               . "MULTISET MULTIPLICATION")
1222     (general-category   symbol math) ; Informative Category
1223     (bidi-category      . "ON")
1224     (mirrored           . nil)
1225     (ucs                . #x228D)       ; ⊍
1226     ))
1227 (define-char
1228   '((name               . "MULTISET UNION")
1229     (general-category   symbol math) ; Informative Category
1230     (bidi-category      . "ON")
1231     (mirrored           . nil)
1232     (ucs                . #x228E)       ; ⊎
1233     ))
1234 (define-char
1235   '((name               . "SQUARE IMAGE OF")
1236     (general-category   symbol math) ; Informative Category
1237     (bidi-category      . "ON")
1238     (mirrored           . t)
1239     (ucs                . #x228F)       ; ⊏
1240     ))
1241 (define-char
1242   '((name               . "SQUARE ORIGINAL OF")
1243     (general-category   symbol math) ; Informative Category
1244     (bidi-category      . "ON")
1245     (mirrored           . t)
1246     (ucs                . #x2290)       ; ⊐
1247     ))
1248 (define-char
1249   '((name               . "SQUARE IMAGE OF OR EQUAL TO")
1250     (general-category   symbol math) ; Informative Category
1251     (bidi-category      . "ON")
1252     (mirrored           . t)
1253     (ucs                . #x2291)       ; ⊑
1254     ))
1255 (define-char
1256   '((name               . "SQUARE ORIGINAL OF OR EQUAL TO")
1257     (general-category   symbol math) ; Informative Category
1258     (bidi-category      . "ON")
1259     (mirrored           . t)
1260     (ucs                . #x2292)       ; ⊒
1261     ))
1262 (define-char
1263   '((name               . "SQUARE CAP")
1264     (general-category   symbol math) ; Informative Category
1265     (bidi-category      . "ON")
1266     (mirrored           . nil)
1267     (ucs                . #x2293)       ; ⊓
1268     ))
1269 (define-char
1270   '((name               . "SQUARE CUP")
1271     (general-category   symbol math) ; Informative Category
1272     (bidi-category      . "ON")
1273     (mirrored           . nil)
1274     (ucs                . #x2294)       ; ⊔
1275     ))
1276 (define-char
1277   '((name               . "CIRCLED PLUS")
1278     (general-category   symbol math) ; Informative Category
1279     (bidi-category      . "ON")
1280     (mirrored           . nil)
1281     (chinese-cns11643-1         . #x2253)       ; �����
1282     (japanese-jisx0213-1        . #x2251)       ; �����
1283     (chinese-big5               . #xA1F2)       ; ������
1284     (ucs                        . #x2295)       ; ⊕
1285     ))
1286 (define-char
1287   '((name               . "CIRCLED MINUS")
1288     (general-category   symbol math) ; Informative Category
1289     (bidi-category      . "ON")
1290     (mirrored           . nil)
1291     (japanese-jisx0213-1        . #x2252)       ; �����
1292     (ucs                        . #x2296)       ; ⊖
1293     ))
1294 (define-char
1295   '((name               . "CIRCLED TIMES")
1296     (general-category   symbol math) ; Informative Category
1297     (bidi-category      . "ON")
1298     (mirrored           . nil)
1299     (japanese-jisx0213-1        . #x2253)       ; �����
1300     (ucs                        . #x2297)       ; ⊗
1301     ))
1302 (define-char
1303   '((name               . "CIRCLED DIVISION SLASH")
1304     (general-category   symbol math) ; Informative Category
1305     (bidi-category      . "ON")
1306     (mirrored           . t)
1307     (ucs                . #x2298)       ; ⊘
1308     ))
1309 (define-char
1310   '((name               . "CIRCLED DOT OPERATOR")
1311     (general-category   symbol math) ; Informative Category
1312     (bidi-category      . "ON")
1313     (mirrored           . nil)
1314     (chinese-gb2312     . #x2151)       ; �����
1315     (korean-ksc5601     . #x2241)       ; �����
1316     (chinese-cns11643-1 . #x2254)       ; �����
1317     (chinese-big5       . #xA1F3)       ; ������
1318     (ucs                . #x2299)       ; ⊙
1319     ))
1320 (define-char
1321   '((name               . "CIRCLED RING OPERATOR")
1322     (general-category   symbol math) ; Informative Category
1323     (bidi-category      . "ON")
1324     (mirrored           . nil)
1325     (ucs                . #x229A)       ; ⊚
1326     ))
1327 (define-char
1328   '((name               . "CIRCLED ASTERISK OPERATOR")
1329     (general-category   symbol math) ; Informative Category
1330     (bidi-category      . "ON")
1331     (mirrored           . nil)
1332     (ucs                . #x229B)       ; ⊛
1333     ))
1334 (define-char
1335   '((name               . "CIRCLED EQUALS")
1336     (general-category   symbol math) ; Informative Category
1337     (bidi-category      . "ON")
1338     (mirrored           . nil)
1339     (ucs                . #x229C)       ; ⊜
1340     ))
1341 (define-char
1342   '((name               . "CIRCLED DASH")
1343     (general-category   symbol math) ; Informative Category
1344     (bidi-category      . "ON")
1345     (mirrored           . nil)
1346     (ucs                . #x229D)       ; ⊝
1347     ))
1348 (define-char
1349   '((name               . "SQUARED PLUS")
1350     (general-category   symbol math) ; Informative Category
1351     (bidi-category      . "ON")
1352     (mirrored           . nil)
1353     (ucs                . #x229E)       ; ⊞
1354     ))
1355 (define-char
1356   '((name               . "SQUARED MINUS")
1357     (general-category   symbol math) ; Informative Category
1358     (bidi-category      . "ON")
1359     (mirrored           . nil)
1360     (ucs                . #x229F)       ; ⊟
1361     ))
1362 (define-char
1363   '((name               . "SQUARED TIMES")
1364     (general-category   symbol math) ; Informative Category
1365     (bidi-category      . "ON")
1366     (mirrored           . nil)
1367     (ucs                . #x22A0)       ; ⊠
1368     ))
1369 (define-char
1370   '((name               . "SQUARED DOT OPERATOR")
1371     (general-category   symbol math) ; Informative Category
1372     (bidi-category      . "ON")
1373     (mirrored           . nil)
1374     (ucs                . #x22A1)       ; ⊡
1375     ))
1376 (define-char
1377   '((name               . "RIGHT TACK")
1378     (general-category   symbol math) ; Informative Category
1379     (bidi-category      . "ON")
1380     (mirrored           . t)
1381     (ucs                . #x22A2)       ; ⊢
1382     ))
1383 (define-char
1384   '((name               . "LEFT TACK")
1385     (general-category   symbol math) ; Informative Category
1386     (bidi-category      . "ON")
1387     (mirrored           . t)
1388     (ucs                . #x22A3)       ; ⊣
1389     ))
1390 (define-char
1391   '((name               . "DOWN TACK")
1392     (general-category   symbol math) ; Informative Category
1393     (bidi-category      . "ON")
1394     (mirrored           . nil)
1395     (ucs                . #x22A4)       ; ⊤
1396     ))
1397 (define-char
1398   '((name               . "UP TACK")
1399     (general-category   symbol math) ; Informative Category
1400     (bidi-category      . "ON")
1401     (mirrored           . nil)
1402     (chinese-gb2312             . #x214D)       ; �����
1403     (japanese-jisx0208          . #x225D)       ; �����
1404     (korean-ksc5601             . #x2151)       ; �����
1405     (chinese-cns11643-1         . #x2247)       ; �����
1406     (japanese-jisx0208-1990     . #x225D)       ; �����
1407     (chinese-big5               . #xA1E6)       ; ������
1408     (ucs                        . #x22A5)       ; ⊥
1409     ))
1410 (define-char
1411   '((name               . "ASSERTION")
1412     (general-category   symbol math) ; Informative Category
1413     (bidi-category      . "ON")
1414     (mirrored           . t)
1415     (ucs                . #x22A6)       ; ⊦
1416     ))
1417 (define-char
1418   '((name               . "MODELS")
1419     (general-category   symbol math) ; Informative Category
1420     (bidi-category      . "ON")
1421     (mirrored           . t)
1422     (ucs                . #x22A7)       ; ⊧
1423     ))
1424 (define-char
1425   '((name               . "TRUE")
1426     (general-category   symbol math) ; Informative Category
1427     (bidi-category      . "ON")
1428     (mirrored           . t)
1429     (ucs                . #x22A8)       ; ⊨
1430     ))
1431 (define-char
1432   '((name               . "FORCES")
1433     (general-category   symbol math) ; Informative Category
1434     (bidi-category      . "ON")
1435     (mirrored           . t)
1436     (ucs                . #x22A9)       ; ⊩
1437     ))
1438 (define-char
1439   '((name               . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
1440     (general-category   symbol math) ; Informative Category
1441     (bidi-category      . "ON")
1442     (mirrored           . t)
1443     (ucs                . #x22AA)       ; ⊪
1444     ))
1445 (define-char
1446   '((name               . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1447     (general-category   symbol math) ; Informative Category
1448     (bidi-category      . "ON")
1449     (mirrored           . t)
1450     (ucs                . #x22AB)       ; ⊫
1451     ))
1452 (define-char
1453   '((name               . "DOES NOT PROVE")
1454     (general-category   symbol math) ; Informative Category
1455     (bidi-category      . "ON")
1456     (mirrored           . t)
1457     (->decomposition    #x22A2 #x0338)
1458     (ucs                . #x22AC)       ; ⊬
1459     ))
1460 (define-char
1461   '((name               . "NOT TRUE")
1462     (general-category   symbol math) ; Informative Category
1463     (bidi-category      . "ON")
1464     (mirrored           . t)
1465     (->decomposition    #x22A8 #x0338)
1466     (ucs                . #x22AD)       ; ⊭
1467     ))
1468 (define-char
1469   '((name               . "DOES NOT FORCE")
1470     (general-category   symbol math) ; Informative Category
1471     (bidi-category      . "ON")
1472     (mirrored           . t)
1473     (->decomposition    #x22A9 #x0338)
1474     (ucs                . #x22AE)       ; ⊮
1475     ))
1476 (define-char
1477   '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1478     (general-category   symbol math) ; Informative Category
1479     (bidi-category      . "ON")
1480     (mirrored           . t)
1481     (->decomposition    #x22AB #x0338)
1482     (ucs                . #x22AF)       ; ⊯
1483     ))
1484 (define-char
1485   '((name               . "PRECEDES UNDER RELATION")
1486     (general-category   symbol math) ; Informative Category
1487     (bidi-category      . "ON")
1488     (mirrored           . t)
1489     (ucs                . #x22B0)       ; ⊰
1490     ))
1491 (define-char
1492   '((name               . "SUCCEEDS UNDER RELATION")
1493     (general-category   symbol math) ; Informative Category
1494     (bidi-category      . "ON")
1495     (mirrored           . t)
1496     (ucs                . #x22B1)       ; ⊱
1497     ))
1498 (define-char
1499   '((name               . "NORMAL SUBGROUP OF")
1500     (general-category   symbol math) ; Informative Category
1501     (bidi-category      . "ON")
1502     (mirrored           . t)
1503     (ucs                . #x22B2)       ; ⊲
1504     ))
1505 (define-char
1506   '((name               . "CONTAINS AS NORMAL SUBGROUP")
1507     (general-category   symbol math) ; Informative Category
1508     (bidi-category      . "ON")
1509     (mirrored           . t)
1510     (ucs                . #x22B3)       ; ⊳
1511     ))
1512 (define-char
1513   '((name               . "NORMAL SUBGROUP OF OR EQUAL TO")
1514     (general-category   symbol math) ; Informative Category
1515     (bidi-category      . "ON")
1516     (mirrored           . t)
1517     (ucs                . #x22B4)       ; ⊴
1518     ))
1519 (define-char
1520   '((name               . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
1521     (general-category   symbol math) ; Informative Category
1522     (bidi-category      . "ON")
1523     (mirrored           . t)
1524     (ucs                . #x22B5)       ; ⊵
1525     ))
1526 (define-char
1527   '((name               . "ORIGINAL OF")
1528     (general-category   symbol math) ; Informative Category
1529     (bidi-category      . "ON")
1530     (mirrored           . t)
1531     (ucs                . #x22B6)       ; ⊶
1532     ))
1533 (define-char
1534   '((name               . "IMAGE OF")
1535     (general-category   symbol math) ; Informative Category
1536     (bidi-category      . "ON")
1537     (mirrored           . t)
1538     (ucs                . #x22B7)       ; ⊷
1539     ))
1540 (define-char
1541   '((name               . "MULTIMAP")
1542     (general-category   symbol math) ; Informative Category
1543     (bidi-category      . "ON")
1544     (mirrored           . t)
1545     (ucs                . #x22B8)       ; ⊸
1546     ))
1547 (define-char
1548   '((name               . "HERMITIAN CONJUGATE MATRIX")
1549     (general-category   symbol math) ; Informative Category
1550     (bidi-category      . "ON")
1551     (mirrored           . nil)
1552     (ucs                . #x22B9)       ; ⊹
1553     ))
1554 (define-char
1555   '((name               . "INTERCALATE")
1556     (general-category   symbol math) ; Informative Category
1557     (bidi-category      . "ON")
1558     (mirrored           . nil)
1559     (ucs                . #x22BA)       ; ⊺
1560     ))
1561 (define-char
1562   '((name               . "XOR")
1563     (general-category   symbol math) ; Informative Category
1564     (bidi-category      . "ON")
1565     (mirrored           . nil)
1566     (ucs                . #x22BB)       ; ⊻
1567     ))
1568 (define-char
1569   '((name               . "NAND")
1570     (general-category   symbol math) ; Informative Category
1571     (bidi-category      . "ON")
1572     (mirrored           . nil)
1573     (ucs                . #x22BC)       ; ⊼
1574     ))
1575 (define-char
1576   '((name               . "NOR")
1577     (general-category   symbol math) ; Informative Category
1578     (bidi-category      . "ON")
1579     (mirrored           . nil)
1580     (ucs                . #x22BD)       ; ⊽
1581     ))
1582 (define-char
1583   '((name               . "RIGHT ANGLE WITH ARC")
1584     (general-category   symbol math) ; Informative Category
1585     (bidi-category      . "ON")
1586     (mirrored           . t)
1587     (ucs                . #x22BE)       ; ⊾
1588     ))
1589 (define-char
1590   '((name               . "RIGHT TRIANGLE")
1591     (general-category   symbol math) ; Informative Category
1592     (bidi-category      . "ON")
1593     (mirrored           . t)
1594     (chinese-cns11643-1         . #x224A)       ; �����
1595     (japanese-jisx0213-1        . #x2D79)       ; �����
1596     (chinese-big5               . #xA1E9)       ; ������
1597     (ucs                        . #x22BF)       ; ⊿
1598     ))
1599 (define-char
1600   '((name               . "N-ARY LOGICAL AND")
1601     (general-category   symbol math) ; Informative Category
1602     (bidi-category      . "ON")
1603     (mirrored           . nil)
1604     (china3-jef         . #x7FD8)       ; �����
1605     (ucs                . #x22C0)       ; ⋀
1606     ))
1607 (define-char
1608   '((name               . "N-ARY LOGICAL OR")
1609     (general-category   symbol math) ; Informative Category
1610     (bidi-category      . "ON")
1611     (mirrored           . nil)
1612     (china3-jef         . #x7FD9)       ; �����
1613     (ucs                . #x22C1)       ; ⋁
1614     ))
1615 (define-char
1616   '((name               . "N-ARY INTERSECTION")
1617     (general-category   symbol math) ; Informative Category
1618     (bidi-category      . "ON")
1619     (mirrored           . nil)
1620     (china3-jef         . #x7FD7)       ; �����
1621     (ucs                . #x22C2)       ; ⋂
1622     ))
1623 (define-char
1624   '((name               . "N-ARY UNION")
1625     (general-category   symbol math) ; Informative Category
1626     (bidi-category      . "ON")
1627     (mirrored           . nil)
1628     (china3-jef         . #x7FD6)       ; �����
1629     (ucs                . #x22C3)       ; ⋃
1630     ))
1631 (define-char
1632   '((name               . "DIAMOND OPERATOR")
1633     (general-category   symbol math) ; Informative Category
1634     (bidi-category      . "ON")
1635     (mirrored           . nil)
1636     (ucs                . #x22C4)       ; ⋄
1637     ))
1638 (define-char
1639   '((name               . "DOT OPERATOR")
1640     (general-category   symbol math) ; Informative Category
1641     (bidi-category      . "ON")
1642     (mirrored           . nil)
1643     (ucs                . #x22C5)       ; ⋅
1644     ))
1645 (define-char
1646   '((name               . "STAR OPERATOR")
1647     (general-category   symbol math) ; Informative Category
1648     (bidi-category      . "ON")
1649     (mirrored           . nil)
1650     (ucs                . #x22C6)       ; ⋆
1651     ))
1652 (define-char
1653   '((name               . "DIVISION TIMES")
1654     (general-category   symbol math) ; Informative Category
1655     (bidi-category      . "ON")
1656     (mirrored           . nil)
1657     (ucs                . #x22C7)       ; ⋇
1658     ))
1659 (define-char
1660   '((name               . "BOWTIE")
1661     (general-category   symbol math) ; Informative Category
1662     (bidi-category      . "ON")
1663     (mirrored           . nil)
1664     (ucs                . #x22C8)       ; ⋈
1665     ))
1666 (define-char
1667   '((name               . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
1668     (general-category   symbol math) ; Informative Category
1669     (bidi-category      . "ON")
1670     (mirrored           . t)
1671     (ucs                . #x22C9)       ; ⋉
1672     ))
1673 (define-char
1674   '((name               . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
1675     (general-category   symbol math) ; Informative Category
1676     (bidi-category      . "ON")
1677     (mirrored           . t)
1678     (ucs                . #x22CA)       ; ⋊
1679     ))
1680 (define-char
1681   '((name               . "LEFT SEMIDIRECT PRODUCT")
1682     (general-category   symbol math) ; Informative Category
1683     (bidi-category      . "ON")
1684     (mirrored           . t)
1685     (ucs                . #x22CB)       ; ⋋
1686     ))
1687 (define-char
1688   '((name               . "RIGHT SEMIDIRECT PRODUCT")
1689     (general-category   symbol math) ; Informative Category
1690     (bidi-category      . "ON")
1691     (mirrored           . t)
1692     (ucs                . #x22CC)       ; ⋌
1693     ))
1694 (define-char
1695   '((name               . "REVERSED TILDE EQUALS")
1696     (general-category   symbol math) ; Informative Category
1697     (bidi-category      . "ON")
1698     (mirrored           . t)
1699     (ucs                . #x22CD)       ; ⋍
1700     ))
1701 (define-char
1702   '((name               . "CURLY LOGICAL OR")
1703     (general-category   symbol math) ; Informative Category
1704     (bidi-category      . "ON")
1705     (mirrored           . nil)
1706     (ucs                . #x22CE)       ; ⋎
1707     ))
1708 (define-char
1709   '((name               . "CURLY LOGICAL AND")
1710     (general-category   symbol math) ; Informative Category
1711     (bidi-category      . "ON")
1712     (mirrored           . nil)
1713     (ucs                . #x22CF)       ; ⋏
1714     ))
1715 (define-char
1716   '((name               . "DOUBLE SUBSET")
1717     (general-category   symbol math) ; Informative Category
1718     (bidi-category      . "ON")
1719     (mirrored           . t)
1720     (ucs                . #x22D0)       ; ⋐
1721     ))
1722 (define-char
1723   '((name               . "DOUBLE SUPERSET")
1724     (general-category   symbol math) ; Informative Category
1725     (bidi-category      . "ON")
1726     (mirrored           . t)
1727     (ucs                . #x22D1)       ; ⋑
1728     ))
1729 (define-char
1730   '((name               . "DOUBLE INTERSECTION")
1731     (general-category   symbol math) ; Informative Category
1732     (bidi-category      . "ON")
1733     (mirrored           . nil)
1734     (ucs                . #x22D2)       ; ⋒
1735     ))
1736 (define-char
1737   '((name               . "DOUBLE UNION")
1738     (general-category   symbol math) ; Informative Category
1739     (bidi-category      . "ON")
1740     (mirrored           . nil)
1741     (ucs                . #x22D3)       ; ⋓
1742     ))
1743 (define-char
1744   '((name               . "PITCHFORK")
1745     (general-category   symbol math) ; Informative Category
1746     (bidi-category      . "ON")
1747     (mirrored           . nil)
1748     (ucs                . #x22D4)       ; ⋔
1749     ))
1750 (define-char
1751   '((name               . "EQUAL AND PARALLEL TO")
1752     (general-category   symbol math) ; Informative Category
1753     (bidi-category      . "ON")
1754     (mirrored           . nil)
1755     (ucs                . #x22D5)       ; ⋕
1756     ))
1757 (define-char
1758   '((name               . "LESS-THAN WITH DOT")
1759     (general-category   symbol math) ; Informative Category
1760     (bidi-category      . "ON")
1761     (mirrored           . t)
1762     (ucs                . #x22D6)       ; ⋖
1763     ))
1764 (define-char
1765   '((name               . "GREATER-THAN WITH DOT")
1766     (general-category   symbol math) ; Informative Category
1767     (bidi-category      . "ON")
1768     (mirrored           . t)
1769     (ucs                . #x22D7)       ; ⋗
1770     ))
1771 (define-char
1772   '((name               . "VERY MUCH LESS-THAN")
1773     (general-category   symbol math) ; Informative Category
1774     (bidi-category      . "ON")
1775     (mirrored           . t)
1776     (ucs                . #x22D8)       ; ⋘
1777     ))
1778 (define-char
1779   '((name               . "VERY MUCH GREATER-THAN")
1780     (general-category   symbol math) ; Informative Category
1781     (bidi-category      . "ON")
1782     (mirrored           . t)
1783     (ucs                . #x22D9)       ; ⋙
1784     ))
1785 (define-char
1786   '((name               . "LESS-THAN EQUAL TO OR GREATER-THAN")
1787     (general-category   symbol math) ; Informative Category
1788     (bidi-category      . "ON")
1789     (mirrored           . t)
1790     (japanese-jisx0213-1        . #x2776)       ; �����
1791     (ucs                        . #x22DA)       ; ⋚
1792     ))
1793 (define-char
1794   '((name               . "GREATER-THAN EQUAL TO OR LESS-THAN")
1795     (general-category   symbol math) ; Informative Category
1796     (bidi-category      . "ON")
1797     (mirrored           . t)
1798     (japanese-jisx0213-1        . #x2777)       ; �����
1799     (ucs                        . #x22DB)       ; ⋛
1800     ))
1801 (define-char
1802   '((name               . "EQUAL TO OR LESS-THAN")
1803     (general-category   symbol math) ; Informative Category
1804     (bidi-category      . "ON")
1805     (mirrored           . t)
1806     (ucs                . #x22DC)       ; ⋜
1807     ))
1808 (define-char
1809   '((name               . "EQUAL TO OR GREATER-THAN")
1810     (general-category   symbol math) ; Informative Category
1811     (bidi-category      . "ON")
1812     (mirrored           . t)
1813     (ucs                . #x22DD)       ; ⋝
1814     ))
1815 (define-char
1816   '((name               . "EQUAL TO OR PRECEDES")
1817     (general-category   symbol math) ; Informative Category
1818     (bidi-category      . "ON")
1819     (mirrored           . t)
1820     (ucs                . #x22DE)       ; ⋞
1821     ))
1822 (define-char
1823   '((name               . "EQUAL TO OR SUCCEEDS")
1824     (general-category   symbol math) ; Informative Category
1825     (bidi-category      . "ON")
1826     (mirrored           . t)
1827     (ucs                . #x22DF)       ; ⋟
1828     ))
1829 (define-char
1830   '((name               . "DOES NOT PRECEDE OR EQUAL")
1831     (general-category   symbol math) ; Informative Category
1832     (bidi-category      . "ON")
1833     (mirrored           . t)
1834     (->decomposition    #x227C #x0338)
1835     (ucs                . #x22E0)       ; ⋠
1836     ))
1837 (define-char
1838   '((name               . "DOES NOT SUCCEED OR EQUAL")
1839     (general-category   symbol math) ; Informative Category
1840     (bidi-category      . "ON")
1841     (mirrored           . t)
1842     (->decomposition    #x227D #x0338)
1843     (ucs                . #x22E1)       ; ⋡
1844     ))
1845 (define-char
1846   '((name               . "NOT SQUARE IMAGE OF OR EQUAL TO")
1847     (general-category   symbol math) ; Informative Category
1848     (bidi-category      . "ON")
1849     (mirrored           . t)
1850     (->decomposition    #x2291 #x0338)
1851     (ucs                . #x22E2)       ; ⋢
1852     ))
1853 (define-char
1854   '((name               . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
1855     (general-category   symbol math) ; Informative Category
1856     (bidi-category      . "ON")
1857     (mirrored           . t)
1858     (->decomposition    #x2292 #x0338)
1859     (ucs                . #x22E3)       ; ⋣
1860     ))
1861 (define-char
1862   '((name               . "SQUARE IMAGE OF OR NOT EQUAL TO")
1863     (general-category   symbol math) ; Informative Category
1864     (bidi-category      . "ON")
1865     (mirrored           . t)
1866     (ucs                . #x22E4)       ; ⋤
1867     ))
1868 (define-char
1869   '((name               . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
1870     (general-category   symbol math) ; Informative Category
1871     (bidi-category      . "ON")
1872     (mirrored           . t)
1873     (ucs                . #x22E5)       ; ⋥
1874     ))
1875 (define-char
1876   '((name               . "LESS-THAN BUT NOT EQUIVALENT TO")
1877     (general-category   symbol math) ; Informative Category
1878     (bidi-category      . "ON")
1879     (mirrored           . t)
1880     (ucs                . #x22E6)       ; ⋦
1881     ))
1882 (define-char
1883   '((name               . "GREATER-THAN BUT NOT EQUIVALENT TO")
1884     (general-category   symbol math) ; Informative Category
1885     (bidi-category      . "ON")
1886     (mirrored           . t)
1887     (ucs                . #x22E7)       ; ⋧
1888     ))
1889 (define-char
1890   '((name               . "PRECEDES BUT NOT EQUIVALENT TO")
1891     (general-category   symbol math) ; Informative Category
1892     (bidi-category      . "ON")
1893     (mirrored           . t)
1894     (ucs                . #x22E8)       ; ⋨
1895     ))
1896 (define-char
1897   '((name               . "SUCCEEDS BUT NOT EQUIVALENT TO")
1898     (general-category   symbol math) ; Informative Category
1899     (bidi-category      . "ON")
1900     (mirrored           . t)
1901     (ucs                . #x22E9)       ; ⋩
1902     ))
1903 (define-char
1904   '((name               . "NOT NORMAL SUBGROUP OF")
1905     (general-category   symbol math) ; Informative Category
1906     (bidi-category      . "ON")
1907     (mirrored           . t)
1908     (->decomposition    #x22B2 #x0338)
1909     (ucs                . #x22EA)       ; ⋪
1910     ))
1911 (define-char
1912   '((name               . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
1913     (general-category   symbol math) ; Informative Category
1914     (bidi-category      . "ON")
1915     (mirrored           . t)
1916     (->decomposition    #x22B3 #x0338)
1917     (ucs                . #x22EB)       ; ⋫
1918     ))
1919 (define-char
1920   '((name               . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
1921     (general-category   symbol math) ; Informative Category
1922     (bidi-category      . "ON")
1923     (mirrored           . t)
1924     (->decomposition    #x22B4 #x0338)
1925     (ucs                . #x22EC)       ; ⋬
1926     ))
1927 (define-char
1928   '((name               . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
1929     (general-category   symbol math) ; Informative Category
1930     (bidi-category      . "ON")
1931     (mirrored           . t)
1932     (->decomposition    #x22B5 #x0338)
1933     (ucs                . #x22ED)       ; ⋭
1934     ))
1935 (define-char
1936   '((name               . "VERTICAL ELLIPSIS")
1937     (general-category   symbol math) ; Informative Category
1938     (bidi-category      . "ON")
1939     (mirrored           . nil)
1940     (ucs                . #x22EE)       ; ⋮
1941     ))
1942 (define-char
1943   '((name               . "MIDLINE HORIZONTAL ELLIPSIS")
1944     (general-category   symbol math) ; Informative Category
1945     (bidi-category      . "ON")
1946     (mirrored           . nil)
1947     (ucs                . #x22EF)       ; ⋯
1948     ))
1949 (define-char
1950   '((name               . "UP RIGHT DIAGONAL ELLIPSIS")
1951     (general-category   symbol math) ; Informative Category
1952     (bidi-category      . "ON")
1953     (mirrored           . t)
1954     (ucs                . #x22F0)       ; ⋰
1955     ))
1956 (define-char
1957   '((name               . "DOWN RIGHT DIAGONAL ELLIPSIS")
1958     (general-category   symbol math) ; Informative Category
1959     (bidi-category      . "ON")
1960     (mirrored           . t)
1961     (ucs                . #x22F1)       ; ⋱
1962     ))