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