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