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

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