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

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