git.chise.org Git - chise/xemacs-chise.git.1/blob - lisp/utf-2000/u02200-Mathematical-Operators.el

   1 ;; -*- coding: utf-8-mcs-er -*-
   2 (define-char
   3   '((name               . "FOR ALL")
   4     (general-category   symbol math) ; Informative Category
   5     (bidi-category      . "ON")
   6     (mirrored           . nil)
   7     (=ucs               . #x2200)       ; ∀
   8     ))
   9 (define-char
  10   '((<-denotational
  11      ((name               . "FOR ALL")
  12       (=ucs               . #x2200)     ; ∀
  13       ))
  14     (=jis-x0208@1983    . #x224F)       ; &J90-224F; [02-47]
  15     (=ks-x1001          . #x2223)       ; &I-K0-2223; [02-03]
  16     (=jis-x0208@1990    . #x224F)       ; &I-J90-224F; [02-47]
  17     (=jef-china3        . #x7FDC)       ; &I-JC3-7FDC;
  18     (=ucs@jis           . #x2200)       ; &J90-224F;
  19     (=ucs@ks            . #x2200)       ; &J90-224F;
  20     (<-fullwidth
  21      ((name               . "FOR ALL")
  22       (=ucs               . #x2200)     ; ∀
  23       ))
  24     ))
  25 (define-char
  26   '((name               . "COMPLEMENT")
  27     (general-category   symbol math) ; Informative Category
  28     (bidi-category      . "ON")
  29     (mirrored           . t)
  30     (=ucs               . #x2201)       ; ∁
  31     ))
  32 (define-char
  33   '((name               . "PARTIAL DIFFERENTIAL")
  34     (general-category   symbol math) ; Informative Category
  35     (bidi-category      . "ON")
  36     (mirrored           . t)
  37     (=ucs               . #x2202)       ; ∂
  38     ))
  39 (define-char
  40   '((<-denotational
  41      ((name               . "PARTIAL DIFFERENTIAL")
  42       (=ucs               . #x2202)     ; ∂
  43       ))
  44     (=jis-x0208@1983    . #x225F)       ; &J90-225F; [02-63]
  45     (=ks-x1001          . #x2153)       ; &I-K0-2153; [01-51]
  46     (=jis-x0208@1990    . #x225F)       ; &I-J90-225F; [02-63]
  47     (=jef-china3        . #x7FE1)       ; &I-JC3-7FE1;
  48     (=ucs@jis           . #x2202)       ; &J90-225F;
  49     (=ucs@ks            . #x2202)       ; &J90-225F;
  50     (<-fullwidth
  51      ((name               . "PARTIAL DIFFERENTIAL")
  52       (=ucs               . #x2202)     ; ∂
  53       ))
  54     ))
  55 (define-char
  56   '((name               . "THERE EXISTS")
  57     (general-category   symbol math) ; Informative Category
  58     (bidi-category      . "ON")
  59     (mirrored           . t)
  60     (=ucs               . #x2203)       ; ∃
  61     ))
  62 (define-char
  63   '((<-denotational
  64      ((name               . "THERE EXISTS")
  65       (=ucs               . #x2203)     ; ∃
  66       ))
  67     (=jis-x0208@1983    . #x2250)       ; &J90-2250; [02-48]
  68     (=ks-x1001          . #x2224)       ; &I-K0-2224; [02-04]
  69     (=jis-x0208@1990    . #x2250)       ; &I-J90-2250; [02-48]
  70     (=jef-china3        . #x7FDD)       ; &I-JC3-7FDD;
  71     (=ucs@jis           . #x2203)       ; &J90-2250;
  72     (=ucs@ks            . #x2203)       ; &J90-2250;
  73     (<-fullwidth
  74      ((name               . "THERE EXISTS")
  75       (=ucs               . #x2203)     ; ∃
  76       ))
  77     ))
  78 (define-char
  79   '((name               . "THERE DOES NOT EXIST")
  80     (general-category   symbol math) ; Informative Category
  81     (bidi-category      . "ON")
  82     (mirrored           . t)
  83     (=decomposition
  84      ((name               . "THERE EXISTS")
  85       (=ucs               . #x2203)     ; ∃
  86       )
  87      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
  88       (=ucs               . #x0338)     ; ̸
  89       ))
  90     (=ucs               . #x2204)       ; ∄
  91     ))
  92 (define-char
  93   '((name               . "EMPTY SET")
  94     (general-category   symbol math) ; Informative Category
  95     (bidi-category      . "ON")
  96     (mirrored           . nil)
  97     (=ucs               . #x2205)       ; ∅
  98     ))
  99 (define-char
 100   '((<-denotational
 101      ((name               . "EMPTY SET")
 102       (=ucs               . #x2205)     ; ∅
 103       ))
 104     (=jis-x0213-1-2000  . #x2247)       ; &JX1-2247; [02-39]
 105     (=ucs@jis           . #x2205)       ; &JX1-2247;
 106     (<-fullwidth
 107      ((name               . "EMPTY SET")
 108       (=ucs               . #x2205)     ; ∅
 109       ))
 110     ))
 111 (define-char
 112   '((name               . "INCREMENT")
 113     (general-category   symbol math) ; Informative Category
 114     (bidi-category      . "ON")
 115     (mirrored           . nil)
 116     (=ucs               . #x2206)       ; ∆
 117     ))
 118 (define-char
 119   '((name               . "NABLA")
 120     (general-category   symbol math) ; Informative Category
 121     (bidi-category      . "ON")
 122     (mirrored           . nil)
 123     (=ucs               . #x2207)       ; ∇
 124     ))
 125 (define-char
 126   '((<-denotational
 127      ((name               . "NABLA")
 128       (=ucs               . #x2207)     ; ∇
 129       ))
 130     (=jis-x0208@1983    . #x2260)       ; &J90-2260; [02-64]
 131     (=ks-x1001          . #x2154)       ; &I-K0-2154; [01-52]
 132     (=jis-x0208@1990    . #x2260)       ; &I-J90-2260; [02-64]
 133     (=jef-china3        . #x7FE2)       ; &I-JC3-7FE2;
 134     (=ucs@jis           . #x2207)       ; &J90-2260;
 135     (=ucs@ks            . #x2207)       ; &J90-2260;
 136     (<-fullwidth
 137      ((name               . "NABLA")
 138       (=ucs               . #x2207)     ; ∇
 139       ))
 140     ))
 141 (define-char
 142   '((name               . "ELEMENT OF")
 143     (general-category   symbol math) ; Informative Category
 144     (bidi-category      . "ON")
 145     (mirrored           . t)
 146     (=ucs               . #x2208)       ; ∈
 147     ))
 148 (define-char
 149   '((<-denotational
 150      ((name               . "ELEMENT OF")
 151       (=ucs               . #x2208)     ; ∈
 152       ))
 153     (=gb2312            . #x214A)       ; &J90-223A; [01-42]
 154     (=jis-x0208@1983    . #x223A)       ; &I-J83-223A; [02-26]
 155     (=ks-x1001          . #x2174)       ; &I-K0-2174; [01-84]
 156     (=jis-x0208@1990    . #x223A)       ; &I-J90-223A; [02-26]
 157     (=jef-china3        . #x7FD0)       ; &I-JC3-7FD0;
 158     (=ucs@gb            . #x2208)       ; &J90-223A;
 159     (=ucs@jis           . #x2208)       ; &J90-223A;
 160     (=ucs@ks            . #x2208)       ; &J90-223A;
 161     (<-fullwidth
 162      ((name               . "ELEMENT OF")
 163       (=ucs               . #x2208)     ; ∈
 164       ))
 165     ))
 166 (define-char
 167   '((name               . "NOT AN ELEMENT OF")
 168     (general-category   symbol math) ; Informative Category
 169     (bidi-category      . "ON")
 170     (mirrored           . t)
 171     (=decomposition
 172      ((name               . "ELEMENT OF")
 173       (=ucs               . #x2208)     ; ∈
 174       )
 175      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
 176       (=ucs               . #x0338)     ; ̸
 177       ))
 178     (=ucs               . #x2209)       ; ∉
 179     ))
 180 (define-char
 181   '((<-denotational
 182      ((name               . "NOT AN ELEMENT OF")
 183       (=ucs               . #x2209)     ; ∉
 184       ))
 185     (=jis-x0213-1-2000  . #x2246)       ; &JX1-2246; [02-38]
 186     (=ucs@jis           . #x2209)       ; &JX1-2246;
 187     (<-fullwidth
 188      ((name               . "NOT AN ELEMENT OF")
 189       (=ucs               . #x2209)     ; ∉
 190       ))
 191     ))
 192 (define-char
 193   '((name               . "SMALL ELEMENT OF")
 194     (general-category   symbol math) ; Informative Category
 195     (bidi-category      . "ON")
 196     (mirrored           . t)
 197     (=ucs               . #x220A)       ; ∊
 198     ))
 199 (define-char
 200   '((name               . "CONTAINS AS MEMBER")
 201     (general-category   symbol math) ; Informative Category
 202     (bidi-category      . "ON")
 203     (mirrored           . t)
 204     (=ucs               . #x220B)       ; ∋
 205     ))
 206 (define-char
 207   '((<-denotational
 208      ((name               . "CONTAINS AS MEMBER")
 209       (=ucs               . #x220B)     ; ∋
 210       ))
 211     (=jis-x0208@1983    . #x223B)       ; &J90-223B; [02-27]
 212     (=ks-x1001          . #x2175)       ; &I-K0-2175; [01-85]
 213     (=jis-x0208@1990    . #x223B)       ; &I-J90-223B; [02-27]
 214     (=jef-china3        . #x7FD1)       ; &I-JC3-7FD1;
 215     (=ucs@jis           . #x220B)       ; &J90-223B;
 216     (=ucs@ks            . #x220B)       ; &J90-223B;
 217     (<-fullwidth
 218      ((name               . "CONTAINS AS MEMBER")
 219       (=ucs               . #x220B)     ; ∋
 220       ))
 221     ))
 222 (define-char
 223   '((name               . "DOES NOT CONTAIN AS MEMBER")
 224     (general-category   symbol math) ; Informative Category
 225     (bidi-category      . "ON")
 226     (mirrored           . t)
 227     (=decomposition
 228      ((name               . "CONTAINS AS MEMBER")
 229       (=ucs               . #x220B)     ; ∋
 230       )
 231      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
 232       (=ucs               . #x0338)     ; ̸
 233       ))
 234     (=ucs               . #x220C)       ; ∌
 235     ))
 236 (define-char
 237   '((name               . "SMALL CONTAINS AS MEMBER")
 238     (general-category   symbol math) ; Informative Category
 239     (bidi-category      . "ON")
 240     (mirrored           . t)
 241     (=ucs               . #x220D)       ; ∍
 242     ))
 243 (define-char
 244   '((name               . "END OF PROOF")
 245     (general-category   symbol math) ; Informative Category
 246     (bidi-category      . "ON")
 247     (mirrored           . nil)
 248     (=ucs               . #x220E)       ; ∎
 249     ))
 250 (define-char
 251   '((name               . "N-ARY PRODUCT")
 252     (general-category   symbol math) ; Informative Category
 253     (bidi-category      . "ON")
 254     (mirrored           . nil)
 255     (=ucs               . #x220F)       ; ∏
 256     ))
 257 (define-char
 258   '((<-denotational
 259      ((name               . "N-ARY PRODUCT")
 260       (=ucs               . #x220F)     ; ∏
 261       ))
 262     (=gb2312            . #x2147)       ; &K0-2233; [01-39]
 263     (=ks-x1001          . #x2233)       ; &I-K0-2233; [02-19]
 264     (=ucs@gb            . #x220F)       ; &K0-2233;
 265     (=ucs@ks            . #x220F)       ; &K0-2233;
 266     (<-fullwidth
 267      ((name               . "N-ARY PRODUCT")
 268       (=ucs               . #x220F)     ; ∏
 269       ))
 270     ))
 271 (define-char
 272   '((name               . "N-ARY COPRODUCT")
 273     (general-category   symbol math) ; Informative Category
 274     (bidi-category      . "ON")
 275     (mirrored           . nil)
 276     (=ucs               . #x2210)       ; ∐
 277     ))
 278 (define-char
 279   '((name               . "N-ARY SUMMATION")
 280     (general-category   symbol math) ; Informative Category
 281     (bidi-category      . "ON")
 282     (mirrored           . t)
 283     (=ucs               . #x2211)       ; ∑
 284     ))
 285 (define-char
 286   '((<-denotational
 287      ((name               . "N-ARY SUMMATION")
 288       (=ucs               . #x2211)     ; ∑
 289       ))
 290     (=gb2312            . #x2146)       ; &K0-2232; [01-38]
 291     (=ks-x1001          . #x2232)       ; &I-K0-2232; [02-18]
 292     (=ucs@gb            . #x2211)       ; &K0-2232;
 293     (=ucs@ks            . #x2211)       ; &K0-2232;
 294     (<-fullwidth
 295      ((name               . "N-ARY SUMMATION")
 296       (=ucs               . #x2211)     ; ∑
 297       ))
 298     ))
 299 (define-char
 300   '((name               . "MINUS SIGN")
 301     (general-category   symbol math) ; Informative Category
 302     (bidi-category      . "ET")
 303     (mirrored           . nil)
 304     (=ucs               . #x2212)       ; −
 305     ))
 306 (define-char
 307   '((<-denotational
 308      ((name               . "MINUS SIGN")
 309       (=ucs               . #x2212)     ; −
 310       ))
 311     (=jis-x0208         . #x215D)       ; &J90-215D; [01-61]
 312     (=ucs@jis           . #x2212)       ; &J90-215D;
 313     (<-fullwidth
 314      ((name               . "MINUS SIGN")
 315       (=ucs               . #x2212)     ; −
 316       ))
 317     ))
 318 (define-char
 319   '((name               . "MINUS-OR-PLUS SIGN")
 320     (general-category   symbol math) ; Informative Category
 321     (bidi-category      . "ET")
 322     (mirrored           . nil)
 323     (=ucs               . #x2213)       ; ∓
 324     ))
 325 (define-char
 326   '((<-denotational
 327      ((name               . "MINUS-OR-PLUS SIGN")
 328       (=ucs               . #x2213)     ; ∓
 329       ))
 330     (=jis-x0213-1-2000  . #x235B)       ; &JX1-235B; [03-59]
 331     (=ucs@jis           . #x2213)       ; &JX1-235B;
 332     (<-fullwidth
 333      ((name               . "MINUS-OR-PLUS SIGN")
 334       (=ucs               . #x2213)     ; ∓
 335       ))
 336     ))
 337 (define-char
 338   '((name               . "DOT PLUS")
 339     (general-category   symbol math) ; Informative Category
 340     (bidi-category      . "ON")
 341     (mirrored           . nil)
 342     (=ucs               . #x2214)       ; ∔
 343     ))
 344 (define-char
 345   '((name               . "DIVISION SLASH")
 346     (general-category   symbol math) ; Informative Category
 347     (bidi-category      . "ON")
 348     (mirrored           . t)
 349     (=ucs               . #x2215)       ; ∕
 350     ))
 351 (define-char
 352   '((<-denotational
 353      ((name               . "DIVISION SLASH")
 354       (=ucs               . #x2215)     ; ∕
 355       ))
 356     (=cns11643-1        . #x2261)       ; &C1-2261; [02-65]
 357     (=big5              . #xA241)       ; &I-B-A241;
 358     (=ucs@cns           . #x2215)       ; &C1-2261;
 359     (=ucs@big5          . #x2215)       ; &C1-2261;
 360     (<-fullwidth
 361      ((name               . "DIVISION SLASH")
 362       (=ucs               . #x2215)     ; ∕
 363       ))
 364     ))
 365 (define-char
 366   '((name               . "SET MINUS")
 367     (general-category   symbol math) ; Informative Category
 368     (bidi-category      . "ON")
 369     (mirrored           . t)
 370     (=ucs               . #x2216)       ; ∖
 371     ))
 372 (define-char
 373   '((name               . "ASTERISK OPERATOR")
 374     (general-category   symbol math) ; Informative Category
 375     (bidi-category      . "ON")
 376     (mirrored           . nil)
 377     (=ucs               . #x2217)       ; ∗
 378     ))
 379 (define-char
 380   '((name               . "RING OPERATOR")
 381     (general-category   symbol math) ; Informative Category
 382     (bidi-category      . "ON")
 383     (mirrored           . nil)
 384     (=ucs               . #x2218)       ; ∘
 385     ))
 386 (define-char
 387   '((name               . "BULLET OPERATOR")
 388     (general-category   symbol math) ; Informative Category
 389     (bidi-category      . "ON")
 390     (mirrored           . nil)
 391     (=ucs               . #x2219)       ; ∙
 392     ))
 393 (define-char
 394   '((name               . "SQUARE ROOT")
 395     (general-category   symbol math) ; Informative Category
 396     (bidi-category      . "ON")
 397     (mirrored           . t)
 398     (=ucs               . #x221A)       ; √
 399     ))
 400 (define-char
 401   '((<-denotational
 402      ((name               . "SQUARE ROOT")
 403       (=ucs               . #x221A)     ; √
 404       ))
 405     (=gb2312            . #x214C)       ; &J90-2265; [01-44]
 406     (=jis-x0208@1983    . #x2265)       ; &I-J83-2265; [02-69]
 407     (=ks-x1001          . #x216E)       ; &I-K0-216E; [01-78]
 408     (=jis-x0208@1990    . #x2265)       ; &I-J90-2265; [02-69]
 409     (=cns11643-1        . #x2235)       ; &I-C1-2235; [02-21]
 410     (=big5              . #xA1D4)       ; &I-B-A1D4;
 411     (=ucs@gb            . #x221A)       ; &J90-2265;
 412     (=ucs@cns           . #x221A)       ; &J90-2265;
 413     (=ucs@jis           . #x221A)       ; &J90-2265;
 414     (=ucs@ks            . #x221A)       ; &J90-2265;
 415     (=ucs@big5          . #x221A)       ; &J90-2265;
 416     (<-fullwidth
 417      ((name               . "SQUARE ROOT")
 418       (=ucs               . #x221A)     ; √
 419       ))
 420     ))
 421 (define-char
 422   '((name               . "CUBE ROOT")
 423     (general-category   symbol math) ; Informative Category
 424     (bidi-category      . "ON")
 425     (mirrored           . t)
 426     (=ucs               . #x221B)       ; ∛
 427     ))
 428 (define-char
 429   '((name               . "FOURTH ROOT")
 430     (general-category   symbol math) ; Informative Category
 431     (bidi-category      . "ON")
 432     (mirrored           . t)
 433     (=ucs               . #x221C)       ; ∜
 434     ))
 435 (define-char
 436   '((name               . "PROPORTIONAL TO")
 437     (general-category   symbol math) ; Informative Category
 438     (bidi-category      . "ON")
 439     (mirrored           . t)
 440     (=ucs               . #x221D)       ; ∝
 441     ))
 442 (define-char
 443   '((<-denotational
 444      ((name               . "PROPORTIONAL TO")
 445       (=ucs               . #x221D)     ; ∝
 446       ))
 447     (=gb2312            . #x2158)       ; &J90-2267; [01-56]
 448     (=jis-x0208@1983    . #x2267)       ; &I-J83-2267; [02-71]
 449     (=ks-x1001          . #x2170)       ; &I-K0-2170; [01-80]
 450     (=jis-x0208@1990    . #x2267)       ; &I-J90-2267; [02-71]
 451     (=jef-china3        . #x7FE7)       ; &I-JC3-7FE7;
 452     (=ucs@gb            . #x221D)       ; &J90-2267;
 453     (=ucs@jis           . #x221D)       ; &J90-2267;
 454     (=ucs@ks            . #x221D)       ; &J90-2267;
 455     (<-fullwidth
 456      ((name               . "PROPORTIONAL TO")
 457       (=ucs               . #x221D)     ; ∝
 458       ))
 459     ))
 460 (define-char
 461   '((name               . "INFINITY")
 462     (general-category   symbol math) ; Informative Category
 463     (bidi-category      . "ON")
 464     (mirrored           . nil)
 465     (=ucs               . #x221E)       ; ∞
 466     ))
 467 (define-char
 468   '((<-denotational
 469      ((name               . "INFINITY")
 470       (=ucs               . #x221E)     ; ∞
 471       ))
 472     (=jis-x0208         . #x2167)       ; &J90-2167; [01-71]
 473     (=gb2312            . #x215E)       ; &I-G0-215E; [01-62]
 474     (=ks-x1001          . #x2144)       ; &I-K0-2144; [01-36]
 475     (=cns11643-1        . #x223C)       ; &I-C1-223C; [02-28]
 476     (=big5              . #xA1DB)       ; &I-B-A1DB;
 477     (=ucs@gb            . #x221E)       ; &J90-2167;
 478     (=ucs@cns           . #x221E)       ; &J90-2167;
 479     (=ucs@jis           . #x221E)       ; &J90-2167;
 480     (=ucs@ks            . #x221E)       ; &J90-2167;
 481     (=ucs@big5          . #x221E)       ; &J90-2167;
 482     (<-fullwidth
 483      ((name               . "INFINITY")
 484       (=ucs               . #x221E)     ; ∞
 485       ))
 486     ))
 487 (define-char
 488   '((name               . "RIGHT ANGLE")
 489     (general-category   symbol math) ; Informative Category
 490     (bidi-category      . "ON")
 491     (mirrored           . t)
 492     (=ucs               . #x221F)       ; ∟
 493     ))
 494 (define-char
 495   '((<-denotational
 496      ((name               . "RIGHT ANGLE")
 497       (=ucs               . #x221F)     ; ∟
 498       ))
 499     (=cns11643-1        . #x2249)       ; &JX1-2D78; [02-41]
 500     (=jis-x0213-1-2000  . #x2D78)       ; &I-JX1-2D78; [13-88]
 501     (=big5              . #xA1E8)       ; &I-B-A1E8;
 502     (=ucs@cns           . #x221F)       ; &JX1-2D78;
 503     (=ucs@jis           . #x221F)       ; &JX1-2D78;
 504     (=ucs@big5          . #x221F)       ; &JX1-2D78;
 505     (<-fullwidth
 506      ((name               . "RIGHT ANGLE")
 507       (=ucs               . #x221F)     ; ∟
 508       ))
 509     ))
 510 (define-char
 511   '((name               . "ANGLE")
 512     (general-category   symbol math) ; Informative Category
 513     (bidi-category      . "ON")
 514     (mirrored           . t)
 515     (=ucs               . #x2220)       ; ∠
 516     ))
 517 (define-char
 518   '((<-denotational
 519      ((name               . "ANGLE")
 520       (=ucs               . #x2220)     ; ∠
 521       ))
 522     (=gb2312            . #x214F)       ; &J90-225C; [01-47]
 523     (=jis-x0208@1983    . #x225C)       ; &I-J83-225C; [02-60]
 524     (=ks-x1001          . #x2150)       ; &I-K0-2150; [01-48]
 525     (=jis-x0208@1990    . #x225C)       ; &I-J90-225C; [02-60]
 526     (=cns11643-1        . #x2248)       ; &I-C1-2248; [02-40]
 527     (=big5              . #xA1E7)       ; &I-B-A1E7;
 528     (=jef-china3        . #x7FDE)       ; &I-JC3-7FDE;
 529     (=ucs@gb            . #x2220)       ; &J90-225C;
 530     (=ucs@cns           . #x2220)       ; &J90-225C;
 531     (=ucs@jis           . #x2220)       ; &J90-225C;
 532     (=ucs@ks            . #x2220)       ; &J90-225C;
 533     (=ucs@big5          . #x2220)       ; &J90-225C;
 534     (<-fullwidth
 535      ((name               . "ANGLE")
 536       (=ucs               . #x2220)     ; ∠
 537       ))
 538     ))
 539 (define-char
 540   '((name               . "MEASURED ANGLE")
 541     (general-category   symbol math) ; Informative Category
 542     (bidi-category      . "ON")
 543     (mirrored           . t)
 544     (=ucs               . #x2221)       ; ∡
 545     ))
 546 (define-char
 547   '((name               . "SPHERICAL ANGLE")
 548     (general-category   symbol math) ; Informative Category
 549     (bidi-category      . "ON")
 550     (mirrored           . t)
 551     (=ucs               . #x2222)       ; ∢
 552     ))
 553 (define-char
 554   '((name               . "DIVIDES")
 555     (general-category   symbol math) ; Informative Category
 556     (bidi-category      . "ON")
 557     (mirrored           . nil)
 558     (=ucs               . #x2223)       ; ∣
 559     ))
 560 (define-char
 561   '((<-denotational
 562      ((name               . "DIVIDES")
 563       (=ucs               . #x2223)     ; ∣
 564       ))
 565     (=big5              . #xA1FD)       ; &B-A1FD;
 566     (=ucs@big5          . #x2223)       ; &B-A1FD;
 567     (<-fullwidth
 568      ((name               . "DIVIDES")
 569       (=ucs               . #x2223)     ; ∣
 570       ))
 571     ))
 572 (define-char
 573   '((name               . "DOES NOT DIVIDE")
 574     (general-category   symbol math) ; Informative Category
 575     (bidi-category      . "ON")
 576     (mirrored           . t)
 577     (=decomposition
 578      ((name               . "DIVIDES")
 579       (=ucs               . #x2223)     ; ∣
 580       )
 581      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
 582       (=ucs               . #x0338)     ; ̸
 583       ))
 584     (=ucs               . #x2224)       ; ∤
 585     ))
 586 (define-char
 587   '((name               . "PARALLEL TO")
 588     (general-category   symbol math) ; Informative Category
 589     (bidi-category      . "ON")
 590     (mirrored           . nil)
 591     (=ucs               . #x2225)       ; ∥
 592     ))
 593 (define-char
 594   '((<-denotational
 595      ((name               . "PARALLEL TO")
 596       (=ucs               . #x2225)     ; ∥
 597       ))
 598     (=gb2312            . #x214E)       ; &JX1-2254; [01-46]
 599     (=ks-x1001          . #x212B)       ; &I-K0-212B; [01-11]
 600     (=jis-x0213-1-2000  . #x2254)       ; &I-JX1-2254; [02-52]
 601     (=big5              . #xA1FC)       ; &I-B-A1FC;
 602     (=ucs@gb            . #x2225)       ; &JX1-2254;
 603     (=ucs@jis           . #x2225)       ; &JX1-2254;
 604     (=ucs@ks            . #x2225)       ; &JX1-2254;
 605     (=ucs@big5          . #x2225)       ; &JX1-2254;
 606     (<-fullwidth
 607      ((name               . "PARALLEL TO")
 608       (=ucs               . #x2225)     ; ∥
 609       ))
 610     ))
 611 (define-char
 612   '((name               . "NOT PARALLEL TO")
 613     (general-category   symbol math) ; Informative Category
 614     (bidi-category      . "ON")
 615     (mirrored           . t)
 616     (=decomposition
 617      ((name               . "PARALLEL TO")
 618       (=ucs               . #x2225)     ; ∥
 619       )
 620      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
 621       (=ucs               . #x0338)     ; ̸
 622       ))
 623     (=ucs               . #x2226)       ; ∦
 624     ))
 625 (define-char
 626   '((<-denotational
 627      ((name               . "NOT PARALLEL TO")
 628       (=ucs               . #x2226)     ; ∦
 629       ))
 630     (=jis-x0213-1-2000  . #x2255)       ; &JX1-2255; [02-53]
 631     (=ucs@jis           . #x2226)       ; &JX1-2255;
 632     (<-fullwidth
 633      ((name               . "NOT PARALLEL TO")
 634       (=ucs               . #x2226)     ; ∦
 635       ))
 636     ))
 637 (define-char
 638   '((name               . "LOGICAL AND")
 639     (general-category   symbol math) ; Informative Category
 640     (bidi-category      . "ON")
 641     (mirrored           . nil)
 642     (=ucs               . #x2227)       ; ∧
 643     ))
 644 (define-char
 645   '((<-denotational
 646      ((name               . "LOGICAL AND")
 647       (=ucs               . #x2227)     ; ∧
 648       ))
 649     (=gb2312            . #x2144)       ; &J90-224A; [01-36]
 650     (=jis-x0208@1983    . #x224A)       ; &I-J83-224A; [02-42]
 651     (=ks-x1001          . #x217C)       ; &I-K0-217C; [01-92]
 652     (=jis-x0208@1990    . #x224A)       ; &I-J90-224A; [02-42]
 653     (=jef-china3        . #x7FD8)       ; &I-JC3-7FD8;
 654     (=ucs@gb            . #x2227)       ; &J90-224A;
 655     (=ucs@jis           . #x2227)       ; &J90-224A;
 656     (=ucs@ks            . #x2227)       ; &J90-224A;
 657     (<-fullwidth
 658      ((name               . "LOGICAL AND")
 659       (=ucs               . #x2227)     ; ∧
 660       ))
 661     ))
 662 (define-char
 663   '((name               . "LOGICAL OR")
 664     (general-category   symbol math) ; Informative Category
 665     (bidi-category      . "ON")
 666     (mirrored           . nil)
 667     (=ucs               . #x2228)       ; ∨
 668     ))
 669 (define-char
 670   '((<-denotational
 671      ((name               . "LOGICAL OR")
 672       (=ucs               . #x2228)     ; ∨
 673       ))
 674     (=gb2312            . #x2145)       ; &J90-224B; [01-37]
 675     (=jis-x0208@1983    . #x224B)       ; &I-J83-224B; [02-43]
 676     (=ks-x1001          . #x217D)       ; &I-K0-217D; [01-93]
 677     (=jis-x0208@1990    . #x224B)       ; &I-J90-224B; [02-43]
 678     (=jef-china3        . #x7FD9)       ; &I-JC3-7FD9;
 679     (=ucs@gb            . #x2228)       ; &J90-224B;
 680     (=ucs@jis           . #x2228)       ; &J90-224B;
 681     (=ucs@ks            . #x2228)       ; &J90-224B;
 682     (<-fullwidth
 683      ((name               . "LOGICAL OR")
 684       (=ucs               . #x2228)     ; ∨
 685       ))
 686     ))
 687 (define-char
 688   '((name               . "INTERSECTION")
 689     (general-category   symbol math) ; Informative Category
 690     (bidi-category      . "ON")
 691     (mirrored           . nil)
 692     (=ucs               . #x2229)       ; ∩
 693     ))
 694 (define-char
 695   '((<-denotational
 696      ((name               . "INTERSECTION")
 697       (=ucs               . #x2229)     ; ∩
 698       ))
 699     (=gb2312            . #x2149)       ; &J90-2241; [01-41]
 700     (=jis-x0208@1983    . #x2241)       ; &I-J83-2241; [02-33]
 701     (=ks-x1001          . #x217B)       ; &I-K0-217B; [01-91]
 702     (=jis-x0208@1990    . #x2241)       ; &I-J90-2241; [02-33]
 703     (=cns11643-1        . #x2245)       ; &I-C1-2245; [02-37]
 704     (=big5              . #xA1E4)       ; &I-B-A1E4;
 705     (=jef-china3        . #x7FD7)       ; &I-JC3-7FD7;
 706     (=ucs@gb            . #x2229)       ; &J90-2241;
 707     (=ucs@cns           . #x2229)       ; &J90-2241;
 708     (=ucs@jis           . #x2229)       ; &J90-2241;
 709     (=ucs@ks            . #x2229)       ; &J90-2241;
 710     (=ucs@big5          . #x2229)       ; &J90-2241;
 711     (<-fullwidth
 712      ((name               . "INTERSECTION")
 713       (=ucs               . #x2229)     ; ∩
 714       ))
 715     ))
 716 (define-char
 717   '((name               . "UNION")
 718     (general-category   symbol math) ; Informative Category
 719     (bidi-category      . "ON")
 720     (mirrored           . nil)
 721     (=ucs               . #x222A)       ; ∪
 722     ))
 723 (define-char
 724   '((<-denotational
 725      ((name               . "UNION")
 726       (=ucs               . #x222A)     ; ∪
 727       ))
 728     (=gb2312            . #x2148)       ; &J90-2240; [01-40]
 729     (=jis-x0208@1983    . #x2240)       ; &I-J83-2240; [02-32]
 730     (=ks-x1001          . #x217A)       ; &I-K0-217A; [01-90]
 731     (=jis-x0208@1990    . #x2240)       ; &I-J90-2240; [02-32]
 732     (=cns11643-1        . #x2246)       ; &I-C1-2246; [02-38]
 733     (=big5              . #xA1E5)       ; &I-B-A1E5;
 734     (=jef-china3        . #x7FD6)       ; &I-JC3-7FD6;
 735     (=ucs@gb            . #x222A)       ; &J90-2240;
 736     (=ucs@cns           . #x222A)       ; &J90-2240;
 737     (=ucs@jis           . #x222A)       ; &J90-2240;
 738     (=ucs@ks            . #x222A)       ; &J90-2240;
 739     (=ucs@big5          . #x222A)       ; &J90-2240;
 740     (<-fullwidth
 741      ((name               . "UNION")
 742       (=ucs               . #x222A)     ; ∪
 743       ))
 744     ))
 745 (define-char
 746   '((name               . "INTEGRAL")
 747     (general-category   symbol math) ; Informative Category
 748     (bidi-category      . "ON")
 749     (mirrored           . t)
 750     (=ucs               . #x222B)       ; ∫
 751     ))
 752 (define-char
 753   '((<-denotational
 754      ((name               . "INTEGRAL")
 755       (=ucs               . #x222B)     ; ∫
 756       ))
 757     (=gb2312            . #x2152)       ; &J90-2269; [01-50]
 758     (=jis-x0208@1983    . #x2269)       ; &I-J83-2269; [02-73]
 759     (=ks-x1001          . #x2172)       ; &I-K0-2172; [01-82]
 760     (=jis-x0208@1990    . #x2269)       ; &I-J90-2269; [02-73]
 761     (=cns11643-1        . #x224D)       ; &I-C1-224D; [02-45]
 762     (=big5              . #xA1EC)       ; &I-B-A1EC;
 763     (=jef-china3        . #x7FE8)       ; &I-JC3-7FE8;
 764     (=ucs@gb            . #x222B)       ; &J90-2269;
 765     (=ucs@cns           . #x222B)       ; &J90-2269;
 766     (=ucs@jis           . #x222B)       ; &J90-2269;
 767     (=ucs@ks            . #x222B)       ; &J90-2269;
 768     (=ucs@big5          . #x222B)       ; &J90-2269;
 769     (<-fullwidth
 770      ((name               . "INTEGRAL")
 771       (=ucs               . #x222B)     ; ∫
 772       ))
 773     ))
 774 (define-char
 775   '((name               . "DOUBLE INTEGRAL")
 776     (general-category   symbol math) ; Informative Category
 777     (bidi-category      . "ON")
 778     (mirrored           . t)
 779     (=>decomposition@compat
 780      ((name               . "INTEGRAL")
 781       (=ucs               . #x222B)     ; ∫
 782       )
 783      ((name               . "INTEGRAL")
 784       (=ucs               . #x222B)     ; ∫
 785       ))
 786     (=ucs               . #x222C)       ; ∬
 787     ))
 788 (define-char
 789   '((<-denotational
 790      ((name               . "DOUBLE INTEGRAL")
 791       (=ucs               . #x222C)     ; ∬
 792       ))
 793     (=jis-x0208@1983    . #x226A)       ; &J90-226A; [02-74]
 794     (=ks-x1001          . #x2173)       ; &I-K0-2173; [01-83]
 795     (=jis-x0208@1990    . #x226A)       ; &I-J90-226A; [02-74]
 796     (=jef-china3        . #x7FE9)       ; &I-JC3-7FE9;
 797     (=ucs@jis           . #x222C)       ; &J90-226A;
 798     (=ucs@ks            . #x222C)       ; &J90-226A;
 799     (<-fullwidth
 800      ((name               . "DOUBLE INTEGRAL")
 801       (=ucs               . #x222C)     ; ∬
 802       ))
 803     ))
 804 (define-char
 805   '((name               . "TRIPLE INTEGRAL")
 806     (general-category   symbol math) ; Informative Category
 807     (bidi-category      . "ON")
 808     (mirrored           . t)
 809     (=>decomposition@compat
 810      ((name               . "INTEGRAL")
 811       (=ucs               . #x222B)     ; ∫
 812       )
 813      ((name               . "INTEGRAL")
 814       (=ucs               . #x222B)     ; ∫
 815       )
 816      ((name               . "INTEGRAL")
 817       (=ucs               . #x222B)     ; ∫
 818       ))
 819     (=ucs               . #x222D)       ; ∭
 820     ))
 821 (define-char
 822   '((name               . "CONTOUR INTEGRAL")
 823     (general-category   symbol math) ; Informative Category
 824     (bidi-category      . "ON")
 825     (mirrored           . t)
 826     (=ucs               . #x222E)       ; ∮
 827     ))
 828 (define-char
 829   '((<-denotational
 830      ((name               . "CONTOUR INTEGRAL")
 831       (=ucs               . #x222E)     ; ∮
 832       ))
 833     (=gb2312            . #x2153)       ; &JX1-2D73; [01-51]
 834     (=ks-x1001          . #x2231)       ; &I-K0-2231; [02-17]
 835     (=cns11643-1        . #x224E)       ; &I-C1-224E; [02-46]
 836     (=jis-x0213-1-2000  . #x2D73)       ; &I-JX1-2D73; [13-83]
 837     (=big5              . #xA1ED)       ; &I-B-A1ED;
 838     (=ucs@gb            . #x222E)       ; &JX1-2D73;
 839     (=ucs@cns           . #x222E)       ; &JX1-2D73;
 840     (=ucs@jis           . #x222E)       ; &JX1-2D73;
 841     (=ucs@ks            . #x222E)       ; &JX1-2D73;
 842     (=ucs@big5          . #x222E)       ; &JX1-2D73;
 843     (<-fullwidth
 844      ((name               . "CONTOUR INTEGRAL")
 845       (=ucs               . #x222E)     ; ∮
 846       ))
 847     ))
 848 (define-char
 849   '((name               . "SURFACE INTEGRAL")
 850     (general-category   symbol math) ; Informative Category
 851     (bidi-category      . "ON")
 852     (mirrored           . t)
 853     (=>decomposition@compat
 854      ((name               . "CONTOUR INTEGRAL")
 855       (=ucs               . #x222E)     ; ∮
 856       )
 857      ((name               . "CONTOUR INTEGRAL")
 858       (=ucs               . #x222E)     ; ∮
 859       ))
 860     (=ucs               . #x222F)       ; ∯
 861     ))
 862 (define-char
 863   '((name               . "VOLUME INTEGRAL")
 864     (general-category   symbol math) ; Informative Category
 865     (bidi-category      . "ON")
 866     (mirrored           . t)
 867     (=>decomposition@compat
 868      ((name               . "CONTOUR INTEGRAL")
 869       (=ucs               . #x222E)     ; ∮
 870       )
 871      ((name               . "CONTOUR INTEGRAL")
 872       (=ucs               . #x222E)     ; ∮
 873       )
 874      ((name               . "CONTOUR INTEGRAL")
 875       (=ucs               . #x222E)     ; ∮
 876       ))
 877     (=ucs               . #x2230)       ; ∰
 878     ))
 879 (define-char
 880   '((name               . "CLOCKWISE INTEGRAL")
 881     (general-category   symbol math) ; Informative Category
 882     (bidi-category      . "ON")
 883     (mirrored           . t)
 884     (=ucs               . #x2231)       ; ∱
 885     ))
 886 (define-char
 887   '((name               . "CLOCKWISE CONTOUR INTEGRAL")
 888     (general-category   symbol math) ; Informative Category
 889     (bidi-category      . "ON")
 890     (mirrored           . t)
 891     (=ucs               . #x2232)       ; ∲
 892     ))
 893 (define-char
 894   '((name               . "ANTICLOCKWISE CONTOUR INTEGRAL")
 895     (general-category   symbol math) ; Informative Category
 896     (bidi-category      . "ON")
 897     (mirrored           . t)
 898     (=ucs               . #x2233)       ; ∳
 899     ))
 900 (define-char
 901   '((name               . "THEREFORE")
 902     (general-category   symbol math) ; Informative Category
 903     (bidi-category      . "ON")
 904     (mirrored           . nil)
 905     (=ucs               . #x2234)       ; ∴
 906     ))
 907 (define-char
 908   '((<-denotational
 909      ((name               . "THEREFORE")
 910       (=ucs               . #x2234)     ; ∴
 911       ))
 912     (=jis-x0208         . #x2168)       ; &J90-2168; [01-72]
 913     (=gb2312            . #x2160)       ; &I-G0-2160; [01-64]
 914     (=ks-x1001          . #x2145)       ; &I-K0-2145; [01-37]
 915     (=cns11643-1        . #x2250)       ; &I-C1-2250; [02-48]
 916     (=big5              . #xA1EF)       ; &I-B-A1EF;
 917     (=ucs@gb            . #x2234)       ; &J90-2168;
 918     (=ucs@cns           . #x2234)       ; &J90-2168;
 919     (=ucs@jis           . #x2234)       ; &J90-2168;
 920     (=ucs@ks            . #x2234)       ; &J90-2168;
 921     (=ucs@big5          . #x2234)       ; &J90-2168;
 922     (<-fullwidth
 923      ((name               . "THEREFORE")
 924       (=ucs               . #x2234)     ; ∴
 925       ))
 926     ))
 927 (define-char
 928   '((name               . "BECAUSE")
 929     (general-category   symbol math) ; Informative Category
 930     (bidi-category      . "ON")
 931     (mirrored           . nil)
 932     (=ucs               . #x2235)       ; ∵
 933     ))
 934 (define-char
 935   '((<-denotational
 936      ((name               . "BECAUSE")
 937       (=ucs               . #x2235)     ; ∵
 938       ))
 939     (=gb2312            . #x215F)       ; &J90-2268; [01-63]
 940     (=jis-x0208@1983    . #x2268)       ; &I-J83-2268; [02-72]
 941     (=ks-x1001          . #x2171)       ; &I-K0-2171; [01-81]
 942     (=jis-x0208@1990    . #x2268)       ; &I-J90-2268; [02-72]
 943     (=cns11643-1        . #x224F)       ; &I-C1-224F; [02-47]
 944     (=big5              . #xA1EE)       ; &I-B-A1EE;
 945     (=ucs@gb            . #x2235)       ; &J90-2268;
 946     (=ucs@cns           . #x2235)       ; &J90-2268;
 947     (=ucs@jis           . #x2235)       ; &J90-2268;
 948     (=ucs@ks            . #x2235)       ; &J90-2268;
 949     (=ucs@big5          . #x2235)       ; &J90-2268;
 950     (<-fullwidth
 951      ((name               . "BECAUSE")
 952       (=ucs               . #x2235)     ; ∵
 953       ))
 954     ))
 955 (define-char
 956   '((name               . "RATIO")
 957     (general-category   symbol math) ; Informative Category
 958     (bidi-category      . "ON")
 959     (mirrored           . nil)
 960     (=ucs               . #x2236)       ; ∶
 961     ))
 962 (define-char
 963   '((<-denotational
 964      ((name               . "RATIO")
 965       (=ucs               . #x2236)     ; ∶
 966       ))
 967     (=gb2312            . #x2143)       ; &G0-2143; [01-35]
 968     (=ucs@gb            . #x2236)       ; &G0-2143;
 969     (<-fullwidth
 970      ((name               . "RATIO")
 971       (=ucs               . #x2236)     ; ∶
 972       ))
 973     ))
 974 (define-char
 975   '((name               . "PROPORTION")
 976     (general-category   symbol math) ; Informative Category
 977     (bidi-category      . "ON")
 978     (mirrored           . nil)
 979     (=ucs               . #x2237)       ; ∷
 980     ))
 981 (define-char
 982   '((<-denotational
 983      ((name               . "PROPORTION")
 984       (=ucs               . #x2237)     ; ∷
 985       ))
 986     (=gb2312            . #x214B)       ; &G0-214B; [01-43]
 987     (=ucs@gb            . #x2237)       ; &G0-214B;
 988     (<-fullwidth
 989      ((name               . "PROPORTION")
 990       (=ucs               . #x2237)     ; ∷
 991       ))
 992     ))
 993 (define-char
 994   '((name               . "DOT MINUS")
 995     (general-category   symbol math) ; Informative Category
 996     (bidi-category      . "ON")
 997     (mirrored           . nil)
 998     (=ucs               . #x2238)       ; ∸
 999     ))
1000 (define-char
1001   '((name               . "EXCESS")
1002     (general-category   symbol math) ; Informative Category
1003     (bidi-category      . "ON")
1004     (mirrored           . t)
1005     (=ucs               . #x2239)       ; ∹
1006     ))
1007 (define-char
1008   '((name               . "GEOMETRIC PROPORTION")
1009     (general-category   symbol math) ; Informative Category
1010     (bidi-category      . "ON")
1011     (mirrored           . nil)
1012     (=ucs               . #x223A)       ; ∺
1013     ))
1014 (define-char
1015   '((name               . "HOMOTHETIC")
1016     (general-category   symbol math) ; Informative Category
1017     (bidi-category      . "ON")
1018     (mirrored           . t)
1019     (=ucs               . #x223B)       ; ∻
1020     ))
1021 (define-char
1022   '((name               . "TILDE OPERATOR")
1023     (general-category   symbol math) ; Informative Category
1024     (bidi-category      . "ON")
1025     (mirrored           . t)
1026     (=ucs               . #x223C)       ; ∼
1027     ))
1028 (define-char
1029   '((<-denotational
1030      ((name               . "TILDE OPERATOR")
1031       (=ucs               . #x223C)     ; ∼
1032       ))
1033     (=ks-x1001          . #x212D)       ; &C1-2244; [01-13]
1034     (=cns11643-1        . #x2244)       ; &I-C1-2244; [02-36]
1035     (=big5              . #xA1E3)       ; &I-B-A1E3;
1036     (=ucs@cns           . #xFF5E)       ; &C1-2244;
1037     (=ucs@ks            . #x223C)       ; &C1-2244;
1038     (=ucs@big5          . #xFF5E)       ; &C1-2244;
1039     (<-fullwidth
1040      ((name               . "TILDE OPERATOR")
1041       (=ucs               . #x223C)     ; ∼
1042       ))
1043     ))
1044 (define-char
1045   '((name               . "REVERSED TILDE")
1046     (general-category   symbol math) ; Informative Category
1047     (bidi-category      . "ON")
1048     (mirrored           . t)
1049     (iso-10646-comment  . "lazy S")
1050     (=ucs               . #x223D)       ; ∽
1051     ))
1052 (define-char
1053   '((<-denotational
1054      ((name               . "REVERSED TILDE")
1055       (=ucs               . #x223D)     ; ∽
1056       ))
1057     (=gb2312            . #x2157)       ; &J90-2266; [01-55]
1058     (=jis-x0208@1983    . #x2266)       ; &I-J83-2266; [02-70]
1059     (=ks-x1001          . #x216F)       ; &I-K0-216F; [01-79]
1060     (=jis-x0208@1990    . #x2266)       ; &I-J90-2266; [02-70]
1061     (=jef-china3        . #x7FE6)       ; &I-JC3-7FE6;
1062     (=ucs@gb            . #x223D)       ; &J90-2266;
1063     (=ucs@jis           . #x223D)       ; &J90-2266;
1064     (=ucs@ks            . #x223D)       ; &J90-2266;
1065     (<-fullwidth
1066      ((name               . "REVERSED TILDE")
1067       (=ucs               . #x223D)     ; ∽
1068       ))
1069     ))
1070 (define-char
1071   '((name               . "INVERTED LAZY S")
1072     (general-category   symbol math) ; Informative Category
1073     (bidi-category      . "ON")
1074     (mirrored           . t)
1075     (=ucs               . #x223E)       ; ∾
1076     ))
1077 (define-char
1078   '((name               . "SINE WAVE")
1079     (general-category   symbol math) ; Informative Category
1080     (bidi-category      . "ON")
1081     (mirrored           . t)
1082     (=ucs               . #x223F)       ; ∿
1083     ))
1084 (define-char
1085   '((name               . "WREATH PRODUCT")
1086     (general-category   symbol math) ; Informative Category
1087     (bidi-category      . "ON")
1088     (mirrored           . t)
1089     (=ucs               . #x2240)       ; ≀
1090     ))
1091 (define-char
1092   '((name               . "NOT TILDE")
1093     (general-category   symbol math) ; Informative Category
1094     (bidi-category      . "ON")
1095     (mirrored           . t)
1096     (=decomposition
1097      ((name               . "TILDE OPERATOR")
1098       (=ucs               . #x223C)     ; ∼
1099       )
1100      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1101       (=ucs               . #x0338)     ; ̸
1102       ))
1103     (=ucs               . #x2241)       ; ≁
1104     ))
1105 (define-char
1106   '((name               . "MINUS TILDE")
1107     (general-category   symbol math) ; Informative Category
1108     (bidi-category      . "ON")
1109     (mirrored           . t)
1110     (=ucs               . #x2242)       ; ≂
1111     ))
1112 (define-char
1113   '((name               . "ASYMPTOTICALLY EQUAL TO")
1114     (general-category   symbol math) ; Informative Category
1115     (bidi-category      . "ON")
1116     (mirrored           . t)
1117     (=ucs               . #x2243)       ; ≃
1118     ))
1119 (define-char
1120   '((<-denotational
1121      ((name               . "ASYMPTOTICALLY EQUAL TO")
1122       (=ucs               . #x2243)     ; ≃
1123       ))
1124     (=jis-x0213-1-2000  . #x226C)       ; &JX1-226C; [02-76]
1125     (=ucs@jis           . #x2243)       ; &JX1-226C;
1126     (<-fullwidth
1127      ((name               . "ASYMPTOTICALLY EQUAL TO")
1128       (=ucs               . #x2243)     ; ≃
1129       ))
1130     ))
1131 (define-char
1132   '((name               . "NOT ASYMPTOTICALLY EQUAL TO")
1133     (general-category   symbol math) ; Informative Category
1134     (bidi-category      . "ON")
1135     (mirrored           . t)
1136     (=decomposition
1137      ((name               . "ASYMPTOTICALLY EQUAL TO")
1138       (=ucs               . #x2243)     ; ≃
1139       )
1140      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1141       (=ucs               . #x0338)     ; ̸
1142       ))
1143     (=ucs               . #x2244)       ; ≄
1144     ))
1145 (define-char
1146   '((name               . "APPROXIMATELY EQUAL TO")
1147     (general-category   symbol math) ; Informative Category
1148     (bidi-category      . "ON")
1149     (mirrored           . t)
1150     (=ucs               . #x2245)       ; ≅
1151     ))
1152 (define-char
1153   '((<-denotational
1154      ((name               . "APPROXIMATELY EQUAL TO")
1155       (=ucs               . #x2245)     ; ≅
1156       ))
1157     (=jis-x0213-1-2000  . #x226D)       ; &JX1-226D; [02-77]
1158     (=ucs@jis           . #x2245)       ; &JX1-226D;
1159     (<-fullwidth
1160      ((name               . "APPROXIMATELY EQUAL TO")
1161       (=ucs               . #x2245)     ; ≅
1162       ))
1163     ))
1164 (define-char
1165   '((name               . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
1166     (general-category   symbol math) ; Informative Category
1167     (bidi-category      . "ON")
1168     (mirrored           . t)
1169     (=ucs               . #x2246)       ; ≆
1170     ))
1171 (define-char
1172   '((name               . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
1173     (general-category   symbol math) ; Informative Category
1174     (bidi-category      . "ON")
1175     (mirrored           . t)
1176     (=decomposition
1177      ((name               . "APPROXIMATELY EQUAL TO")
1178       (=ucs               . #x2245)     ; ≅
1179       )
1180      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1181       (=ucs               . #x0338)     ; ̸
1182       ))
1183     (=ucs               . #x2247)       ; ≇
1184     ))
1185 (define-char
1186   '((name               . "ALMOST EQUAL TO")
1187     (general-category   symbol math) ; Informative Category
1188     (bidi-category      . "ON")
1189     (mirrored           . t)
1190     (=ucs               . #x2248)       ; ≈
1191     ))
1192 (define-char
1193   '((<-denotational
1194      ((name               . "ALMOST EQUAL TO")
1195       (=ucs               . #x2248)     ; ≈
1196       ))
1197     (=gb2312            . #x2156)       ; &JX1-226E; [01-54]
1198     (=jis-x0213-1-2000  . #x226E)       ; &I-JX1-226E; [02-78]
1199     (=ucs@gb            . #x2248)       ; &JX1-226E;
1200     (=ucs@jis           . #x2248)       ; &JX1-226E;
1201     (<-fullwidth
1202      ((name               . "ALMOST EQUAL TO")
1203       (=ucs               . #x2248)     ; ≈
1204       ))
1205     ))
1206 (define-char
1207   '((name               . "NOT ALMOST EQUAL TO")
1208     (general-category   symbol math) ; Informative Category
1209     (bidi-category      . "ON")
1210     (mirrored           . t)
1211     (=decomposition
1212      ((name               . "ALMOST EQUAL TO")
1213       (=ucs               . #x2248)     ; ≈
1214       )
1215      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1216       (=ucs               . #x0338)     ; ̸
1217       ))
1218     (=ucs               . #x2249)       ; ≉
1219     ))
1220 (define-char
1221   '((name               . "ALMOST EQUAL OR EQUAL TO")
1222     (general-category   symbol math) ; Informative Category
1223     (bidi-category      . "ON")
1224     (mirrored           . t)
1225     (=ucs               . #x224A)       ; ≊
1226     ))
1227 (define-char
1228   '((name               . "TRIPLE TILDE")
1229     (general-category   symbol math) ; Informative Category
1230     (bidi-category      . "ON")
1231     (mirrored           . t)
1232     (=ucs               . #x224B)       ; ≋
1233     ))
1234 (define-char
1235   '((name               . "ALL EQUAL TO")
1236     (general-category   symbol math) ; Informative Category
1237     (bidi-category      . "ON")
1238     (mirrored           . t)
1239     (=ucs               . #x224C)       ; ≌
1240     ))
1241 (define-char
1242   '((<-denotational
1243      ((name               . "ALL EQUAL TO")
1244       (=ucs               . #x224C)     ; ≌
1245       ))
1246     (=gb2312            . #x2155)       ; &G0-2155; [01-53]
1247     (=ucs@gb            . #x224C)       ; &G0-2155;
1248     (<-fullwidth
1249      ((name               . "ALL EQUAL TO")
1250       (=ucs               . #x224C)     ; ≌
1251       ))
1252     ))
1253 (define-char
1254   '((name               . "EQUIVALENT TO")
1255     (general-category   symbol math) ; Informative Category
1256     (bidi-category      . "ON")
1257     (mirrored           . nil)
1258     (=ucs               . #x224D)       ; ≍
1259     ))
1260 (define-char
1261   '((name               . "GEOMETRICALLY EQUIVALENT TO")
1262     (general-category   symbol math) ; Informative Category
1263     (bidi-category      . "ON")
1264     (mirrored           . nil)
1265     (=ucs               . #x224E)       ; ≎
1266     ))
1267 (define-char
1268   '((name               . "DIFFERENCE BETWEEN")
1269     (general-category   symbol math) ; Informative Category
1270     (bidi-category      . "ON")
1271     (mirrored           . nil)
1272     (=ucs               . #x224F)       ; ≏
1273     ))
1274 (define-char
1275   '((name               . "APPROACHES THE LIMIT")
1276     (general-category   symbol math) ; Informative Category
1277     (bidi-category      . "ON")
1278     (mirrored           . nil)
1279     (=ucs               . #x2250)       ; ≐
1280     ))
1281 (define-char
1282   '((name               . "GEOMETRICALLY EQUAL TO")
1283     (general-category   symbol math) ; Informative Category
1284     (bidi-category      . "ON")
1285     (mirrored           . nil)
1286     (=ucs               . #x2251)       ; ≑
1287     ))
1288 (define-char
1289   '((name               . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1290     (general-category   symbol math) ; Informative Category
1291     (bidi-category      . "ON")
1292     (mirrored           . t)
1293     (=ucs               . #x2252)       ; ≒
1294     ))
1295 (define-char
1296   '((<-denotational
1297      ((name               . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1298       (=ucs               . #x2252)     ; ≒
1299       ))
1300     (=jis-x0208@1983    . #x2262)       ; &J90-2262; [02-66]
1301     (=ks-x1001          . #x2156)       ; &I-K0-2156; [01-54]
1302     (=jis-x0208@1990    . #x2262)       ; &I-J90-2262; [02-66]
1303     (=cns11643-1        . #x223D)       ; &I-C1-223D; [02-29]
1304     (=big5              . #xA1DC)       ; &I-B-A1DC;
1305     (=ucs@cns           . #x2252)       ; &J90-2262;
1306     (=ucs@jis           . #x2252)       ; &J90-2262;
1307     (=ucs@ks            . #x2252)       ; &J90-2262;
1308     (=ucs@big5          . #x2252)       ; &J90-2262;
1309     (<-fullwidth
1310      ((name               . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1311       (=ucs               . #x2252)     ; ≒
1312       ))
1313     ))
1314 (define-char
1315   '((name               . "IMAGE OF OR APPROXIMATELY EQUAL TO")
1316     (general-category   symbol math) ; Informative Category
1317     (bidi-category      . "ON")
1318     (mirrored           . t)
1319     (=ucs               . #x2253)       ; ≓
1320     ))
1321 (define-char
1322   '((name               . "COLON EQUALS")
1323     (general-category   symbol math) ; Informative Category
1324     (bidi-category      . "ON")
1325     (mirrored           . t)
1326     (=ucs               . #x2254)       ; ≔
1327     ))
1328 (define-char
1329   '((name               . "EQUALS COLON")
1330     (general-category   symbol math) ; Informative Category
1331     (bidi-category      . "ON")
1332     (mirrored           . t)
1333     (=ucs               . #x2255)       ; ≕
1334     ))
1335 (define-char
1336   '((name               . "RING IN EQUAL TO")
1337     (general-category   symbol math) ; Informative Category
1338     (bidi-category      . "ON")
1339     (mirrored           . nil)
1340     (=ucs               . #x2256)       ; ≖
1341     ))
1342 (define-char
1343   '((name               . "RING EQUAL TO")
1344     (general-category   symbol math) ; Informative Category
1345     (bidi-category      . "ON")
1346     (mirrored           . nil)
1347     (=ucs               . #x2257)       ; ≗
1348     ))
1349 (define-char
1350   '((name               . "CORRESPONDS TO")
1351     (general-category   symbol math) ; Informative Category
1352     (bidi-category      . "ON")
1353     (mirrored           . nil)
1354     (=ucs               . #x2258)       ; ≘
1355     ))
1356 (define-char
1357   '((name               . "ESTIMATES")
1358     (general-category   symbol math) ; Informative Category
1359     (bidi-category      . "ON")
1360     (mirrored           . nil)
1361     (=ucs               . #x2259)       ; ≙
1362     ))
1363 (define-char
1364   '((name               . "EQUIANGULAR TO")
1365     (general-category   symbol math) ; Informative Category
1366     (bidi-category      . "ON")
1367     (mirrored           . nil)
1368     (=ucs               . #x225A)       ; ≚
1369     ))
1370 (define-char
1371   '((name               . "STAR EQUALS")
1372     (general-category   symbol math) ; Informative Category
1373     (bidi-category      . "ON")
1374     (mirrored           . nil)
1375     (=ucs               . #x225B)       ; ≛
1376     ))
1377 (define-char
1378   '((name               . "DELTA EQUAL TO")
1379     (general-category   symbol math) ; Informative Category
1380     (bidi-category      . "ON")
1381     (mirrored           . nil)
1382     (=ucs               . #x225C)       ; ≜
1383     ))
1384 (define-char
1385   '((name               . "EQUAL TO BY DEFINITION")
1386     (general-category   symbol math) ; Informative Category
1387     (bidi-category      . "ON")
1388     (mirrored           . nil)
1389     (=ucs               . #x225D)       ; ≝
1390     ))
1391 (define-char
1392   '((name               . "MEASURED BY")
1393     (general-category   symbol math) ; Informative Category
1394     (bidi-category      . "ON")
1395     (mirrored           . nil)
1396     (=ucs               . #x225E)       ; ≞
1397     ))
1398 (define-char
1399   '((name               . "QUESTIONED EQUAL TO")
1400     (general-category   symbol math) ; Informative Category
1401     (bidi-category      . "ON")
1402     (mirrored           . t)
1403     (=ucs               . #x225F)       ; ≟
1404     ))
1405 (define-char
1406   '((name               . "NOT EQUAL TO")
1407     (general-category   symbol math) ; Informative Category
1408     (bidi-category      . "ON")
1409     (mirrored           . t)
1410     (=decomposition
1411      ((name               . "EQUALS SIGN")
1412       (=ucs               . #x003D)     ; =
1413       )
1414      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1415       (=ucs               . #x0338)     ; ̸
1416       ))
1417     (=ucs               . #x2260)       ; ≠
1418     ))
1419 (define-char
1420   '((<-denotational
1421      ((name               . "NOT EQUAL TO")
1422       (=ucs               . #x2260)     ; ≠
1423       ))
1424     (=decomposition
1425      ((name               . "FULLWIDTH EQUALS SIGN")
1426       (=ucs               . #xFF1D)     ; ＝
1427       )
1428      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1429       (=ucs               . #x0338)     ; ̸
1430       ))
1431     (=jis-x0208         . #x2162)       ; &J90-2162; [01-66]
1432     (=gb2312            . #x2159)       ; &I-G0-2159; [01-57]
1433     (=ks-x1001          . #x2141)       ; &I-K0-2141; [01-33]
1434     (=cns11643-1        . #x223B)       ; &I-C1-223B; [02-27]
1435     (=big5              . #xA1DA)       ; &I-B-A1DA;
1436     (=ucs@gb            . #x2260)       ; &J90-2162;
1437     (=ucs@cns           . #x2260)       ; &J90-2162;
1438     (=ucs@jis           . #x2260)       ; &J90-2162;
1439     (=ucs@ks            . #x2260)       ; &J90-2162;
1440     (=ucs@big5          . #x2260)       ; &J90-2162;
1441     (<-fullwidth
1442      ((name               . "NOT EQUAL TO")
1443       (=ucs               . #x2260)     ; ≠
1444       ))
1445     ))
1446 (define-char
1447   '((name               . "IDENTICAL TO")
1448     (general-category   symbol math) ; Informative Category
1449     (bidi-category      . "ON")
1450     (mirrored           . nil)
1451     (=ucs               . #x2261)       ; ≡
1452     ))
1453 (define-char
1454   '((<-denotational
1455      ((name               . "IDENTICAL TO")
1456       (=ucs               . #x2261)     ; ≡
1457       ))
1458     (=gb2312            . #x2154)       ; &J90-2261; [01-52]
1459     (=jis-x0208@1983    . #x2261)       ; &I-J83-2261; [02-65]
1460     (=ks-x1001          . #x2155)       ; &I-K0-2155; [01-53]
1461     (=jis-x0208@1990    . #x2261)       ; &I-J90-2261; [02-65]
1462     (=cns11643-1        . #x223E)       ; &I-C1-223E; [02-30]
1463     (=big5              . #xA1DD)       ; &I-B-A1DD;
1464     (=ucs@gb            . #x2261)       ; &J90-2261;
1465     (=ucs@cns           . #x2261)       ; &J90-2261;
1466     (=ucs@jis           . #x2261)       ; &J90-2261;
1467     (=ucs@ks            . #x2261)       ; &J90-2261;
1468     (=ucs@big5          . #x2261)       ; &J90-2261;
1469     (<-fullwidth
1470      ((name               . "IDENTICAL TO")
1471       (=ucs               . #x2261)     ; ≡
1472       ))
1473     ))
1474 (define-char
1475   '((name               . "NOT IDENTICAL TO")
1476     (general-category   symbol math) ; Informative Category
1477     (bidi-category      . "ON")
1478     (mirrored           . t)
1479     (=decomposition
1480      ((name               . "IDENTICAL TO")
1481       (=ucs               . #x2261)     ; ≡
1482       )
1483      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1484       (=ucs               . #x0338)     ; ̸
1485       ))
1486     (=ucs               . #x2262)       ; ≢
1487     ))
1488 (define-char
1489   '((<-denotational
1490      ((name               . "NOT IDENTICAL TO")
1491       (=ucs               . #x2262)     ; ≢
1492       ))
1493     (=decomposition
1494      ((=gb2312            . #x2154)     ; &J90-2261; [01-52]
1495       (=jis-x0208@1983    . #x2261)     ; &I-J83-2261; [02-65]
1496       (=ks-x1001          . #x2155)     ; &I-K0-2155; [01-53]
1497       (=cns11643-1        . #x223E)     ; &I-C1-223E; [02-30]
1498       )
1499      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1500       (=ucs               . #x0338)     ; ̸
1501       ))
1502     (=jis-x0213-1-2000  . #x226B)       ; &JX1-226B; [02-75]
1503     (=ucs@jis           . #x2262)       ; &JX1-226B;
1504     (<-fullwidth
1505      ((name               . "NOT IDENTICAL TO")
1506       (=ucs               . #x2262)     ; ≢
1507       ))
1508     ))
1509 (define-char
1510   '((name               . "STRICTLY EQUIVALENT TO")
1511     (general-category   symbol math) ; Informative Category
1512     (bidi-category      . "ON")
1513     (mirrored           . nil)
1514     (=ucs               . #x2263)       ; ≣
1515     ))
1516 (define-char
1517   '((name               . "LESS-THAN OR EQUAL TO")
1518     (general-category   symbol math) ; Informative Category
1519     (bidi-category      . "ON")
1520     (mirrored           . t)
1521     (=ucs               . #x2264)       ; ≤
1522     ))
1523 (define-char
1524   '((<-denotational
1525      ((name               . "LESS-THAN OR EQUAL TO")
1526       (=ucs               . #x2264)     ; ≤
1527       ))
1528     (=gb2312            . #x215C)       ; &K0-2142; [01-60]
1529     (=ks-x1001          . #x2142)       ; &I-K0-2142; [01-34]
1530     (=ucs@gb            . #x2264)       ; &K0-2142;
1531     (=ucs@ks            . #x2264)       ; &K0-2142;
1532     (<-fullwidth
1533      ((name               . "LESS-THAN OR EQUAL TO")
1534       (=ucs               . #x2264)     ; ≤
1535       ))
1536     ))
1537 (define-char
1538   '((name               . "GREATER-THAN OR EQUAL TO")
1539     (general-category   symbol math) ; Informative Category
1540     (bidi-category      . "ON")
1541     (mirrored           . t)
1542     (=ucs               . #x2265)       ; ≥
1543     ))
1544 (define-char
1545   '((<-denotational
1546      ((name               . "GREATER-THAN OR EQUAL TO")
1547       (=ucs               . #x2265)     ; ≥
1548       ))
1549     (=gb2312            . #x215D)       ; &K0-2143; [01-61]
1550     (=ks-x1001          . #x2143)       ; &I-K0-2143; [01-35]
1551     (=ucs@gb            . #x2265)       ; &K0-2143;
1552     (=ucs@ks            . #x2265)       ; &K0-2143;
1553     (<-fullwidth
1554      ((name               . "GREATER-THAN OR EQUAL TO")
1555       (=ucs               . #x2265)     ; ≥
1556       ))
1557     ))
1558 (define-char
1559   '((name               . "LESS-THAN OVER EQUAL TO")
1560     (general-category   symbol math) ; Informative Category
1561     (bidi-category      . "ON")
1562     (mirrored           . t)
1563     (=ucs               . #x2266)       ; ≦
1564     ))
1565 (define-char
1566   '((<-denotational
1567      ((name               . "LESS-THAN OVER EQUAL TO")
1568       (=ucs               . #x2266)     ; ≦
1569       ))
1570     (=jis-x0208         . #x2165)       ; &J90-2165; [01-69]
1571     (=cns11643-1        . #x2239)       ; &I-C1-2239; [02-25]
1572     (=big5              . #xA1D8)       ; &I-B-A1D8;
1573     (=ucs@cns           . #x2266)       ; &J90-2165;
1574     (=ucs@jis           . #x2266)       ; &J90-2165;
1575     (=ucs@big5          . #x2266)       ; &J90-2165;
1576     (<-fullwidth
1577      ((name               . "LESS-THAN OVER EQUAL TO")
1578       (=ucs               . #x2266)     ; ≦
1579       ))
1580     ))
1581 (define-char
1582   '((name               . "GREATER-THAN OVER EQUAL TO")
1583     (general-category   symbol math) ; Informative Category
1584     (bidi-category      . "ON")
1585     (mirrored           . t)
1586     (=ucs               . #x2267)       ; ≧
1587     ))
1588 (define-char
1589   '((<-denotational
1590      ((name               . "GREATER-THAN OVER EQUAL TO")
1591       (=ucs               . #x2267)     ; ≧
1592       ))
1593     (=jis-x0208         . #x2166)       ; &J90-2166; [01-70]
1594     (=cns11643-1        . #x223A)       ; &I-C1-223A; [02-26]
1595     (=big5              . #xA1D9)       ; &I-B-A1D9;
1596     (=ucs@cns           . #x2267)       ; &J90-2166;
1597     (=ucs@jis           . #x2267)       ; &J90-2166;
1598     (=ucs@big5          . #x2267)       ; &J90-2166;
1599     (<-fullwidth
1600      ((name               . "GREATER-THAN OVER EQUAL TO")
1601       (=ucs               . #x2267)     ; ≧
1602       ))
1603     ))
1604 (define-char
1605   '((name               . "LESS-THAN BUT NOT EQUAL TO")
1606     (general-category   symbol math) ; Informative Category
1607     (bidi-category      . "ON")
1608     (mirrored           . t)
1609     (=ucs               . #x2268)       ; ≨
1610     ))
1611 (define-char
1612   '((name               . "GREATER-THAN BUT NOT EQUAL TO")
1613     (general-category   symbol math) ; Informative Category
1614     (bidi-category      . "ON")
1615     (mirrored           . t)
1616     (=ucs               . #x2269)       ; ≩
1617     ))
1618 (define-char
1619   '((name               . "MUCH LESS-THAN")
1620     (general-category   symbol math) ; Informative Category
1621     (bidi-category      . "ON")
1622     (mirrored           . t)
1623     (=ucs               . #x226A)       ; ≪
1624     ))
1625 (define-char
1626   '((<-denotational
1627      ((name               . "MUCH LESS-THAN")
1628       (=ucs               . #x226A)     ; ≪
1629       ))
1630     (=jis-x0208@1983    . #x2263)       ; &J90-2263; [02-67]
1631     (=ks-x1001          . #x216C)       ; &I-K0-216C; [01-76]
1632     (=jis-x0208@1990    . #x2263)       ; &I-J90-2263; [02-67]
1633     (=jef-china3        . #x7FE3)       ; &I-JC3-7FE3;
1634     (=ucs@jis           . #x226A)       ; &J90-2263;
1635     (=ucs@ks            . #x226A)       ; &J90-2263;
1636     (<-fullwidth
1637      ((name               . "MUCH LESS-THAN")
1638       (=ucs               . #x226A)     ; ≪
1639       ))
1640     ))
1641 (define-char
1642   '((name               . "MUCH GREATER-THAN")
1643     (general-category   symbol math) ; Informative Category
1644     (bidi-category      . "ON")
1645     (mirrored           . t)
1646     (=ucs               . #x226B)       ; ≫
1647     ))
1648 (define-char
1649   '((<-denotational
1650      ((name               . "MUCH GREATER-THAN")
1651       (=ucs               . #x226B)     ; ≫
1652       ))
1653     (=jis-x0208@1983    . #x2264)       ; &J90-2264; [02-68]
1654     (=ks-x1001          . #x216D)       ; &I-K0-216D; [01-77]
1655     (=jis-x0208@1990    . #x2264)       ; &I-J90-2264; [02-68]
1656     (=jef-china3        . #x7FE4)       ; &I-JC3-7FE4;
1657     (=ucs@jis           . #x226B)       ; &J90-2264;
1658     (=ucs@ks            . #x226B)       ; &J90-2264;
1659     (<-fullwidth
1660      ((name               . "MUCH GREATER-THAN")
1661       (=ucs               . #x226B)     ; ≫
1662       ))
1663     ))
1664 (define-char
1665   '((name               . "BETWEEN")
1666     (general-category   symbol math) ; Informative Category
1667     (bidi-category      . "ON")
1668     (mirrored           . nil)
1669     (=ucs               . #x226C)       ; ≬
1670     ))
1671 (define-char
1672   '((name               . "NOT EQUIVALENT TO")
1673     (general-category   symbol math) ; Informative Category
1674     (bidi-category      . "ON")
1675     (mirrored           . nil)
1676     (=decomposition
1677      ((name               . "EQUIVALENT TO")
1678       (=ucs               . #x224D)     ; ≍
1679       )
1680      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1681       (=ucs               . #x0338)     ; ̸
1682       ))
1683     (=ucs               . #x226D)       ; ≭
1684     ))
1685 (define-char
1686   '((name               . "NOT LESS-THAN")
1687     (general-category   symbol math) ; Informative Category
1688     (bidi-category      . "ON")
1689     (mirrored           . t)
1690     (=decomposition
1691      ((name               . "LESS-THAN SIGN")
1692       (=ucs               . #x003C)     ; <
1693       )
1694      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1695       (=ucs               . #x0338)     ; ̸
1696       ))
1697     (=ucs               . #x226E)       ; ≮
1698     ))
1699 (define-char
1700   '((<-denotational
1701      ((name               . "NOT LESS-THAN")
1702       (=ucs               . #x226E)     ; ≮
1703       ))
1704     (=decomposition
1705      ((name               . "FULLWIDTH LESS-THAN SIGN")
1706       (=ucs               . #xFF1C)     ; ＜
1707       )
1708      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1709       (=ucs               . #x0338)     ; ̸
1710       ))
1711     (=gb2312            . #x215A)       ; &G0-215A; [01-58]
1712     (=ucs@gb            . #x226E)       ; &G0-215A;
1713     (<-fullwidth
1714      ((name               . "NOT LESS-THAN")
1715       (=ucs               . #x226E)     ; ≮
1716       ))
1717     ))
1718 (define-char
1719   '((name               . "NOT GREATER-THAN")
1720     (general-category   symbol math) ; Informative Category
1721     (bidi-category      . "ON")
1722     (mirrored           . t)
1723     (=decomposition
1724      ((name               . "GREATER-THAN SIGN")
1725       (=ucs               . #x003E)     ; >
1726       )
1727      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1728       (=ucs               . #x0338)     ; ̸
1729       ))
1730     (=ucs               . #x226F)       ; ≯
1731     ))
1732 (define-char
1733   '((<-denotational
1734      ((name               . "NOT GREATER-THAN")
1735       (=ucs               . #x226F)     ; ≯
1736       ))
1737     (=decomposition
1738      ((name               . "FULLWIDTH GREATER-THAN SIGN")
1739       (=ucs               . #xFF1E)     ; ＞
1740       )
1741      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1742       (=ucs               . #x0338)     ; ̸
1743       ))
1744     (=gb2312            . #x215B)       ; &G0-215B; [01-59]
1745     (=ucs@gb            . #x226F)       ; &G0-215B;
1746     (<-fullwidth
1747      ((name               . "NOT GREATER-THAN")
1748       (=ucs               . #x226F)     ; ≯
1749       ))
1750     ))
1751 (define-char
1752   '((name               . "NEITHER LESS-THAN NOR EQUAL TO")
1753     (general-category   symbol math) ; Informative Category
1754     (bidi-category      . "ON")
1755     (mirrored           . t)
1756     (=decomposition
1757      ((name               . "LESS-THAN OR EQUAL TO")
1758       (=ucs               . #x2264)     ; ≤
1759       )
1760      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1761       (=ucs               . #x0338)     ; ̸
1762       ))
1763     (=ucs               . #x2270)       ; ≰
1764     ))
1765 (define-char
1766   '((name               . "NEITHER GREATER-THAN NOR EQUAL TO")
1767     (general-category   symbol math) ; Informative Category
1768     (bidi-category      . "ON")
1769     (mirrored           . t)
1770     (=decomposition
1771      ((name               . "GREATER-THAN OR EQUAL TO")
1772       (=ucs               . #x2265)     ; ≥
1773       )
1774      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1775       (=ucs               . #x0338)     ; ̸
1776       ))
1777     (=ucs               . #x2271)       ; ≱
1778     ))
1779 (define-char
1780   '((name               . "LESS-THAN OR EQUIVALENT TO")
1781     (general-category   symbol math) ; Informative Category
1782     (bidi-category      . "ON")
1783     (mirrored           . t)
1784     (=ucs               . #x2272)       ; ≲
1785     ))
1786 (define-char
1787   '((name               . "GREATER-THAN OR EQUIVALENT TO")
1788     (general-category   symbol math) ; Informative Category
1789     (bidi-category      . "ON")
1790     (mirrored           . t)
1791     (=ucs               . #x2273)       ; ≳
1792     ))
1793 (define-char
1794   '((name               . "NEITHER LESS-THAN NOR EQUIVALENT TO")
1795     (general-category   symbol math) ; Informative Category
1796     (bidi-category      . "ON")
1797     (mirrored           . t)
1798     (=decomposition
1799      ((name               . "LESS-THAN OR EQUIVALENT TO")
1800       (=ucs               . #x2272)     ; ≲
1801       )
1802      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1803       (=ucs               . #x0338)     ; ̸
1804       ))
1805     (=ucs               . #x2274)       ; ≴
1806     ))
1807 (define-char
1808   '((name               . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
1809     (general-category   symbol math) ; Informative Category
1810     (bidi-category      . "ON")
1811     (mirrored           . t)
1812     (=decomposition
1813      ((name               . "GREATER-THAN OR EQUIVALENT TO")
1814       (=ucs               . #x2273)     ; ≳
1815       )
1816      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1817       (=ucs               . #x0338)     ; ̸
1818       ))
1819     (=ucs               . #x2275)       ; ≵
1820     ))
1821 (define-char
1822   '((name               . "LESS-THAN OR GREATER-THAN")
1823     (general-category   symbol math) ; Informative Category
1824     (bidi-category      . "ON")
1825     (mirrored           . t)
1826     (=ucs               . #x2276)       ; ≶
1827     ))
1828 (define-char
1829   '((<-denotational
1830      ((name               . "LESS-THAN OR GREATER-THAN")
1831       (=ucs               . #x2276)     ; ≶
1832       ))
1833     (=jis-x0213-1-2000  . #x226F)       ; &JX1-226F; [02-79]
1834     (=ucs@jis           . #x2276)       ; &JX1-226F;
1835     (<-fullwidth
1836      ((name               . "LESS-THAN OR GREATER-THAN")
1837       (=ucs               . #x2276)     ; ≶
1838       ))
1839     ))
1840 (define-char
1841   '((name               . "GREATER-THAN OR LESS-THAN")
1842     (general-category   symbol math) ; Informative Category
1843     (bidi-category      . "ON")
1844     (mirrored           . t)
1845     (=ucs               . #x2277)       ; ≷
1846     ))
1847 (define-char
1848   '((<-denotational
1849      ((name               . "GREATER-THAN OR LESS-THAN")
1850       (=ucs               . #x2277)     ; ≷
1851       ))
1852     (=jis-x0213-1-2000  . #x2270)       ; &JX1-2270; [02-80]
1853     (=ucs@jis           . #x2277)       ; &JX1-2270;
1854     (<-fullwidth
1855      ((name               . "GREATER-THAN OR LESS-THAN")
1856       (=ucs               . #x2277)     ; ≷
1857       ))
1858     ))
1859 (define-char
1860   '((name               . "NEITHER LESS-THAN NOR GREATER-THAN")
1861     (general-category   symbol math) ; Informative Category
1862     (bidi-category      . "ON")
1863     (mirrored           . t)
1864     (=decomposition
1865      ((name               . "LESS-THAN OR GREATER-THAN")
1866       (=ucs               . #x2276)     ; ≶
1867       )
1868      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1869       (=ucs               . #x0338)     ; ̸
1870       ))
1871     (=ucs               . #x2278)       ; ≸
1872     ))
1873 (define-char
1874   '((name               . "NEITHER GREATER-THAN NOR LESS-THAN")
1875     (general-category   symbol math) ; Informative Category
1876     (bidi-category      . "ON")
1877     (mirrored           . t)
1878     (=decomposition
1879      ((name               . "GREATER-THAN OR LESS-THAN")
1880       (=ucs               . #x2277)     ; ≷
1881       )
1882      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1883       (=ucs               . #x0338)     ; ̸
1884       ))
1885     (=ucs               . #x2279)       ; ≹
1886     ))
1887 (define-char
1888   '((name               . "PRECEDES")
1889     (general-category   symbol math) ; Informative Category
1890     (bidi-category      . "ON")
1891     (mirrored           . t)
1892     (=ucs               . #x227A)       ; ≺
1893     ))
1894 (define-char
1895   '((name               . "SUCCEEDS")
1896     (general-category   symbol math) ; Informative Category
1897     (bidi-category      . "ON")
1898     (mirrored           . t)
1899     (=ucs               . #x227B)       ; ≻
1900     ))
1901 (define-char
1902   '((name               . "PRECEDES OR EQUAL TO")
1903     (general-category   symbol math) ; Informative Category
1904     (bidi-category      . "ON")
1905     (mirrored           . t)
1906     (=ucs               . #x227C)       ; ≼
1907     ))
1908 (define-char
1909   '((name               . "SUCCEEDS OR EQUAL TO")
1910     (general-category   symbol math) ; Informative Category
1911     (bidi-category      . "ON")
1912     (mirrored           . t)
1913     (=ucs               . #x227D)       ; ≽
1914     ))
1915 (define-char
1916   '((name               . "PRECEDES OR EQUIVALENT TO")
1917     (general-category   symbol math) ; Informative Category
1918     (bidi-category      . "ON")
1919     (mirrored           . t)
1920     (=ucs               . #x227E)       ; ≾
1921     ))
1922 (define-char
1923   '((name               . "SUCCEEDS OR EQUIVALENT TO")
1924     (general-category   symbol math) ; Informative Category
1925     (bidi-category      . "ON")
1926     (mirrored           . t)
1927     (=ucs               . #x227F)       ; ≿
1928     ))
1929 (define-char
1930   '((name               . "DOES NOT PRECEDE")
1931     (general-category   symbol math) ; Informative Category
1932     (bidi-category      . "ON")
1933     (mirrored           . t)
1934     (=decomposition
1935      ((name               . "PRECEDES")
1936       (=ucs               . #x227A)     ; ≺
1937       )
1938      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1939       (=ucs               . #x0338)     ; ̸
1940       ))
1941     (=ucs               . #x2280)       ; ⊀
1942     ))
1943 (define-char
1944   '((name               . "DOES NOT SUCCEED")
1945     (general-category   symbol math) ; Informative Category
1946     (bidi-category      . "ON")
1947     (mirrored           . t)
1948     (=decomposition
1949      ((name               . "SUCCEEDS")
1950       (=ucs               . #x227B)     ; ≻
1951       )
1952      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1953       (=ucs               . #x0338)     ; ̸
1954       ))
1955     (=ucs               . #x2281)       ; ⊁
1956     ))
1957 (define-char
1958   '((name               . "SUBSET OF")
1959     (general-category   symbol math) ; Informative Category
1960     (bidi-category      . "ON")
1961     (mirrored           . t)
1962     (=ucs               . #x2282)       ; ⊂
1963     ))
1964 (define-char
1965   '((<-denotational
1966      ((name               . "SUBSET OF")
1967       (=ucs               . #x2282)     ; ⊂
1968       ))
1969     (=jis-x0208@1983    . #x223E)       ; &J90-223E; [02-30]
1970     (=ks-x1001          . #x2178)       ; &I-K0-2178; [01-88]
1971     (=jis-x0208@1990    . #x223E)       ; &I-J90-223E; [02-30]
1972     (=jef-china3        . #x7FD4)       ; &I-JC3-7FD4;
1973     (=ucs@jis           . #x2282)       ; &J90-223E;
1974     (=ucs@ks            . #x2282)       ; &J90-223E;
1975     (<-fullwidth
1976      ((name               . "SUBSET OF")
1977       (=ucs               . #x2282)     ; ⊂
1978       ))
1979     ))
1980 (define-char
1981   '((name               . "SUPERSET OF")
1982     (general-category   symbol math) ; Informative Category
1983     (bidi-category      . "ON")
1984     (mirrored           . t)
1985     (=ucs               . #x2283)       ; ⊃
1986     ))
1987 (define-char
1988   '((<-denotational
1989      ((name               . "SUPERSET OF")
1990       (=ucs               . #x2283)     ; ⊃
1991       ))
1992     (=jis-x0208@1983    . #x223F)       ; &J90-223F; [02-31]
1993     (=ks-x1001          . #x2179)       ; &I-K0-2179; [01-89]
1994     (=jis-x0208@1990    . #x223F)       ; &I-J90-223F; [02-31]
1995     (=jef-china3        . #x7FD5)       ; &I-JC3-7FD5;
1996     (=ucs@jis           . #x2283)       ; &J90-223F;
1997     (=ucs@ks            . #x2283)       ; &J90-223F;
1998     (<-fullwidth
1999      ((name               . "SUPERSET OF")
2000       (=ucs               . #x2283)     ; ⊃
2001       ))
2002     ))
2003 (define-char
2004   '((name               . "NOT A SUBSET OF")
2005     (general-category   symbol math) ; Informative Category
2006     (bidi-category      . "ON")
2007     (mirrored           . t)
2008     (=decomposition
2009      ((name               . "SUBSET OF")
2010       (=ucs               . #x2282)     ; ⊂
2011       )
2012      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2013       (=ucs               . #x0338)     ; ̸
2014       ))
2015     (=ucs               . #x2284)       ; ⊄
2016     ))
2017 (define-char
2018   '((<-denotational
2019      ((name               . "NOT A SUBSET OF")
2020       (=ucs               . #x2284)     ; ⊄
2021       ))
2022     (=jis-x0213-1-2000  . #x2242)       ; &JX1-2242; [02-34]
2023     (=ucs@jis           . #x2284)       ; &JX1-2242;
2024     (<-fullwidth
2025      ((name               . "NOT A SUBSET OF")
2026       (=ucs               . #x2284)     ; ⊄
2027       ))
2028     ))
2029 (define-char
2030   '((name               . "NOT A SUPERSET OF")
2031     (general-category   symbol math) ; Informative Category
2032     (bidi-category      . "ON")
2033     (mirrored           . t)
2034     (=decomposition
2035      ((name               . "SUPERSET OF")
2036       (=ucs               . #x2283)     ; ⊃
2037       )
2038      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2039       (=ucs               . #x0338)     ; ̸
2040       ))
2041     (=ucs               . #x2285)       ; ⊅
2042     ))
2043 (define-char
2044   '((<-denotational
2045      ((name               . "NOT A SUPERSET OF")
2046       (=ucs               . #x2285)     ; ⊅
2047       ))
2048     (=jis-x0213-1-2000  . #x2243)       ; &JX1-2243; [02-35]
2049     (=ucs@jis           . #x2285)       ; &JX1-2243;
2050     (<-fullwidth
2051      ((name               . "NOT A SUPERSET OF")
2052       (=ucs               . #x2285)     ; ⊅
2053       ))
2054     ))
2055 (define-char
2056   '((name               . "SUBSET OF OR EQUAL TO")
2057     (general-category   symbol math) ; Informative Category
2058     (bidi-category      . "ON")
2059     (mirrored           . t)
2060     (=ucs               . #x2286)       ; ⊆
2061     ))
2062 (define-char
2063   '((<-denotational
2064      ((name               . "SUBSET OF OR EQUAL TO")
2065       (=ucs               . #x2286)     ; ⊆
2066       ))
2067     (=jis-x0208@1983    . #x223C)       ; &J90-223C; [02-28]
2068     (=ks-x1001          . #x2176)       ; &I-K0-2176; [01-86]
2069     (=jis-x0208@1990    . #x223C)       ; &I-J90-223C; [02-28]
2070     (=jef-china3        . #x7FD2)       ; &I-JC3-7FD2;
2071     (=ucs@jis           . #x2286)       ; &J90-223C;
2072     (=ucs@ks            . #x2286)       ; &J90-223C;
2073     (<-fullwidth
2074      ((name               . "SUBSET OF OR EQUAL TO")
2075       (=ucs               . #x2286)     ; ⊆
2076       ))
2077     ))
2078 (define-char
2079   '((name               . "SUPERSET OF OR EQUAL TO")
2080     (general-category   symbol math) ; Informative Category
2081     (bidi-category      . "ON")
2082     (mirrored           . t)
2083     (=ucs               . #x2287)       ; ⊇
2084     ))
2085 (define-char
2086   '((<-denotational
2087      ((name               . "SUPERSET OF OR EQUAL TO")
2088       (=ucs               . #x2287)     ; ⊇
2089       ))
2090     (=jis-x0208@1983    . #x223D)       ; &J90-223D; [02-29]
2091     (=ks-x1001          . #x2177)       ; &I-K0-2177; [01-87]
2092     (=jis-x0208@1990    . #x223D)       ; &I-J90-223D; [02-29]
2093     (=jef-china3        . #x7FD3)       ; &I-JC3-7FD3;
2094     (=ucs@jis           . #x2287)       ; &J90-223D;
2095     (=ucs@ks            . #x2287)       ; &J90-223D;
2096     (<-fullwidth
2097      ((name               . "SUPERSET OF OR EQUAL TO")
2098       (=ucs               . #x2287)     ; ⊇
2099       ))
2100     ))
2101 (define-char
2102   '((name               . "NEITHER A SUBSET OF NOR EQUAL TO")
2103     (general-category   symbol math) ; Informative Category
2104     (bidi-category      . "ON")
2105     (mirrored           . t)
2106     (=decomposition
2107      ((name               . "SUBSET OF OR EQUAL TO")
2108       (=ucs               . #x2286)     ; ⊆
2109       )
2110      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2111       (=ucs               . #x0338)     ; ̸
2112       ))
2113     (=ucs               . #x2288)       ; ⊈
2114     ))
2115 (define-char
2116   '((name               . "NEITHER A SUPERSET OF NOR EQUAL TO")
2117     (general-category   symbol math) ; Informative Category
2118     (bidi-category      . "ON")
2119     (mirrored           . t)
2120     (=decomposition
2121      ((name               . "SUPERSET OF OR EQUAL TO")
2122       (=ucs               . #x2287)     ; ⊇
2123       )
2124      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2125       (=ucs               . #x0338)     ; ̸
2126       ))
2127     (=ucs               . #x2289)       ; ⊉
2128     ))
2129 (define-char
2130   '((name               . "SUBSET OF WITH NOT EQUAL TO")
2131     (general-category   symbol math) ; Informative Category
2132     (bidi-category      . "ON")
2133     (mirrored           . t)
2134     (=ucs               . #x228A)       ; ⊊
2135     ))
2136 (define-char
2137   '((<-denotational
2138      ((name               . "SUBSET OF WITH NOT EQUAL TO")
2139       (=ucs               . #x228A)     ; ⊊
2140       ))
2141     (=jis-x0213-1-2000  . #x2244)       ; &JX1-2244; [02-36]
2142     (=ucs@jis           . #x228A)       ; &JX1-2244;
2143     (<-fullwidth
2144      ((name               . "SUBSET OF WITH NOT EQUAL TO")
2145       (=ucs               . #x228A)     ; ⊊
2146       ))
2147     ))
2148 (define-char
2149   '((name               . "SUPERSET OF WITH NOT EQUAL TO")
2150     (general-category   symbol math) ; Informative Category
2151     (bidi-category      . "ON")
2152     (mirrored           . t)
2153     (=ucs               . #x228B)       ; ⊋
2154     ))
2155 (define-char
2156   '((<-denotational
2157      ((name               . "SUPERSET OF WITH NOT EQUAL TO")
2158       (=ucs               . #x228B)     ; ⊋
2159       ))
2160     (=jis-x0213-1-2000  . #x2245)       ; &JX1-2245; [02-37]
2161     (=ucs@jis           . #x228B)       ; &JX1-2245;
2162     (<-fullwidth
2163      ((name               . "SUPERSET OF WITH NOT EQUAL TO")
2164       (=ucs               . #x228B)     ; ⊋
2165       ))
2166     ))
2167 (define-char
2168   '((name               . "MULTISET")
2169     (general-category   symbol math) ; Informative Category
2170     (bidi-category      . "ON")
2171     (mirrored           . t)
2172     (=ucs               . #x228C)       ; ⊌
2173     ))
2174 (define-char
2175   '((name               . "MULTISET MULTIPLICATION")
2176     (general-category   symbol math) ; Informative Category
2177     (bidi-category      . "ON")
2178     (mirrored           . nil)
2179     (=ucs               . #x228D)       ; ⊍
2180     ))
2181 (define-char
2182   '((name               . "MULTISET UNION")
2183     (general-category   symbol math) ; Informative Category
2184     (bidi-category      . "ON")
2185     (mirrored           . nil)
2186     (=ucs               . #x228E)       ; ⊎
2187     ))
2188 (define-char
2189   '((name               . "SQUARE IMAGE OF")
2190     (general-category   symbol math) ; Informative Category
2191     (bidi-category      . "ON")
2192     (mirrored           . t)
2193     (=ucs               . #x228F)       ; ⊏
2194     ))
2195 (define-char
2196   '((name               . "SQUARE ORIGINAL OF")
2197     (general-category   symbol math) ; Informative Category
2198     (bidi-category      . "ON")
2199     (mirrored           . t)
2200     (=ucs               . #x2290)       ; ⊐
2201     ))
2202 (define-char
2203   '((name               . "SQUARE IMAGE OF OR EQUAL TO")
2204     (general-category   symbol math) ; Informative Category
2205     (bidi-category      . "ON")
2206     (mirrored           . t)
2207     (=ucs               . #x2291)       ; ⊑
2208     ))
2209 (define-char
2210   '((name               . "SQUARE ORIGINAL OF OR EQUAL TO")
2211     (general-category   symbol math) ; Informative Category
2212     (bidi-category      . "ON")
2213     (mirrored           . t)
2214     (=ucs               . #x2292)       ; ⊒
2215     ))
2216 (define-char
2217   '((name               . "SQUARE CAP")
2218     (general-category   symbol math) ; Informative Category
2219     (bidi-category      . "ON")
2220     (mirrored           . nil)
2221     (=ucs               . #x2293)       ; ⊓
2222     ))
2223 (define-char
2224   '((name               . "SQUARE CUP")
2225     (general-category   symbol math) ; Informative Category
2226     (bidi-category      . "ON")
2227     (mirrored           . nil)
2228     (=ucs               . #x2294)       ; ⊔
2229     ))
2230 (define-char
2231   '((name               . "CIRCLED PLUS")
2232     (general-category   symbol math) ; Informative Category
2233     (bidi-category      . "ON")
2234     (mirrored           . nil)
2235     (=ucs               . #x2295)       ; ⊕
2236     ))
2237 (define-char
2238   '((<-denotational
2239      ((name               . "CIRCLED PLUS")
2240       (=ucs               . #x2295)     ; ⊕
2241       ))
2242     (=cns11643-1        . #x2253)       ; &JX1-2251; [02-51]
2243     (=jis-x0213-1-2000  . #x2251)       ; &I-JX1-2251; [02-49]
2244     (=big5              . #xA1F2)       ; &I-B-A1F2;
2245     (=ucs@cns           . #x2295)       ; &JX1-2251;
2246     (=ucs@jis           . #x2295)       ; &JX1-2251;
2247     (=ucs@big5          . #x2295)       ; &JX1-2251;
2248     (<-fullwidth
2249      ((name               . "CIRCLED PLUS")
2250       (=ucs               . #x2295)     ; ⊕
2251       ))
2252     ))
2253 (define-char
2254   '((name               . "CIRCLED MINUS")
2255     (general-category   symbol math) ; Informative Category
2256     (bidi-category      . "ON")
2257     (mirrored           . nil)
2258     (=ucs               . #x2296)       ; ⊖
2259     ))
2260 (define-char
2261   '((<-denotational
2262      ((name               . "CIRCLED MINUS")
2263       (=ucs               . #x2296)     ; ⊖
2264       ))
2265     (=jis-x0213-1-2000  . #x2252)       ; &JX1-2252; [02-50]
2266     (=ucs@jis           . #x2296)       ; &JX1-2252;
2267     (<-fullwidth
2268      ((name               . "CIRCLED MINUS")
2269       (=ucs               . #x2296)     ; ⊖
2270       ))
2271     ))
2272 (define-char
2273   '((name               . "CIRCLED TIMES")
2274     (general-category   symbol math) ; Informative Category
2275     (bidi-category      . "ON")
2276     (mirrored           . nil)
2277     (=ucs               . #x2297)       ; ⊗
2278     ))
2279 (define-char
2280   '((<-denotational
2281      ((name               . "CIRCLED TIMES")
2282       (=ucs               . #x2297)     ; ⊗
2283       ))
2284     (=jis-x0213-1-2000  . #x2253)       ; &JX1-2253; [02-51]
2285     (=ucs@jis           . #x2297)       ; &JX1-2253;
2286     (<-fullwidth
2287      ((name               . "CIRCLED TIMES")
2288       (=ucs               . #x2297)     ; ⊗
2289       ))
2290     ))
2291 (define-char
2292   '((name               . "CIRCLED DIVISION SLASH")
2293     (general-category   symbol math) ; Informative Category
2294     (bidi-category      . "ON")
2295     (mirrored           . t)
2296     (=ucs               . #x2298)       ; ⊘
2297     ))
2298 (define-char
2299   '((name               . "CIRCLED DOT OPERATOR")
2300     (general-category   symbol math) ; Informative Category
2301     (bidi-category      . "ON")
2302     (mirrored           . nil)
2303     (=ucs               . #x2299)       ; ⊙
2304     ))
2305 (define-char
2306   '((<-denotational
2307      ((name               . "CIRCLED DOT OPERATOR")
2308       (=ucs               . #x2299)     ; ⊙
2309       ))
2310     (=gb2312            . #x2151)       ; &C1-2254; [01-49]
2311     (=ks-x1001          . #x2241)       ; &I-K0-2241; [02-33]
2312     (=cns11643-1        . #x2254)       ; &I-C1-2254; [02-52]
2313     (=big5              . #xA1F3)       ; &I-B-A1F3;
2314     (=ucs@gb            . #x2299)       ; &C1-2254;
2315     (=ucs@cns           . #x2299)       ; &C1-2254;
2316     (=ucs@ks            . #x2299)       ; &C1-2254;
2317     (=ucs@big5          . #x2299)       ; &C1-2254;
2318     (<-fullwidth
2319      ((name               . "CIRCLED DOT OPERATOR")
2320       (=ucs               . #x2299)     ; ⊙
2321       ))
2322     ))
2323 (define-char
2324   '((name               . "CIRCLED RING OPERATOR")
2325     (general-category   symbol math) ; Informative Category
2326     (bidi-category      . "ON")
2327     (mirrored           . nil)
2328     (=ucs               . #x229A)       ; ⊚
2329     ))
2330 (define-char
2331   '((name               . "CIRCLED ASTERISK OPERATOR")
2332     (general-category   symbol math) ; Informative Category
2333     (bidi-category      . "ON")
2334     (mirrored           . nil)
2335     (=ucs               . #x229B)       ; ⊛
2336     ))
2337 (define-char
2338   '((name               . "CIRCLED EQUALS")
2339     (general-category   symbol math) ; Informative Category
2340     (bidi-category      . "ON")
2341     (mirrored           . nil)
2342     (=ucs               . #x229C)       ; ⊜
2343     ))
2344 (define-char
2345   '((name               . "CIRCLED DASH")
2346     (general-category   symbol math) ; Informative Category
2347     (bidi-category      . "ON")
2348     (mirrored           . nil)
2349     (=ucs               . #x229D)       ; ⊝
2350     ))
2351 (define-char
2352   '((name               . "SQUARED PLUS")
2353     (general-category   symbol math) ; Informative Category
2354     (bidi-category      . "ON")
2355     (mirrored           . nil)
2356     (=ucs               . #x229E)       ; ⊞
2357     ))
2358 (define-char
2359   '((name               . "SQUARED MINUS")
2360     (general-category   symbol math) ; Informative Category
2361     (bidi-category      . "ON")
2362     (mirrored           . nil)
2363     (=ucs               . #x229F)       ; ⊟
2364     ))
2365 (define-char
2366   '((name               . "SQUARED TIMES")
2367     (general-category   symbol math) ; Informative Category
2368     (bidi-category      . "ON")
2369     (mirrored           . nil)
2370     (=ucs               . #x22A0)       ; ⊠
2371     ))
2372 (define-char
2373   '((name               . "SQUARED DOT OPERATOR")
2374     (general-category   symbol math) ; Informative Category
2375     (bidi-category      . "ON")
2376     (mirrored           . nil)
2377     (=ucs               . #x22A1)       ; ⊡
2378     ))
2379 (define-char
2380   '((name               . "RIGHT TACK")
2381     (general-category   symbol math) ; Informative Category
2382     (bidi-category      . "ON")
2383     (mirrored           . t)
2384     (=ucs               . #x22A2)       ; ⊢
2385     ))
2386 (define-char
2387   '((name               . "LEFT TACK")
2388     (general-category   symbol math) ; Informative Category
2389     (bidi-category      . "ON")
2390     (mirrored           . t)
2391     (=ucs               . #x22A3)       ; ⊣
2392     ))
2393 (define-char
2394   '((name               . "DOWN TACK")
2395     (general-category   symbol math) ; Informative Category
2396     (bidi-category      . "ON")
2397     (mirrored           . nil)
2398     (=ucs               . #x22A4)       ; ⊤
2399     ))
2400 (define-char
2401   '((name               . "UP TACK")
2402     (general-category   symbol math) ; Informative Category
2403     (bidi-category      . "ON")
2404     (mirrored           . nil)
2405     (=ucs               . #x22A5)       ; ⊥
2406     ))
2407 (define-char
2408   '((<-denotational
2409      ((name               . "UP TACK")
2410       (=ucs               . #x22A5)     ; ⊥
2411       ))
2412     (=gb2312            . #x214D)       ; &J90-225D; [01-45]
2413     (=jis-x0208@1983    . #x225D)       ; &I-J83-225D; [02-61]
2414     (=ks-x1001          . #x2151)       ; &I-K0-2151; [01-49]
2415     (=jis-x0208@1990    . #x225D)       ; &I-J90-225D; [02-61]
2416     (=cns11643-1        . #x2247)       ; &I-C1-2247; [02-39]
2417     (=big5              . #xA1E6)       ; &I-B-A1E6;
2418     (=ucs@gb            . #x22A5)       ; &J90-225D;
2419     (=ucs@cns           . #x22A5)       ; &J90-225D;
2420     (=ucs@jis           . #x22A5)       ; &J90-225D;
2421     (=ucs@ks            . #x22A5)       ; &J90-225D;
2422     (=ucs@big5          . #x22A5)       ; &J90-225D;
2423     (<-fullwidth
2424      ((name               . "UP TACK")
2425       (=ucs               . #x22A5)     ; ⊥
2426       ))
2427     ))
2428 (define-char
2429   '((name               . "ASSERTION")
2430     (general-category   symbol math) ; Informative Category
2431     (bidi-category      . "ON")
2432     (mirrored           . t)
2433     (=ucs               . #x22A6)       ; ⊦
2434     ))
2435 (define-char
2436   '((name               . "MODELS")
2437     (general-category   symbol math) ; Informative Category
2438     (bidi-category      . "ON")
2439     (mirrored           . t)
2440     (=ucs               . #x22A7)       ; ⊧
2441     ))
2442 (define-char
2443   '((name               . "TRUE")
2444     (general-category   symbol math) ; Informative Category
2445     (bidi-category      . "ON")
2446     (mirrored           . t)
2447     (=ucs               . #x22A8)       ; ⊨
2448     ))
2449 (define-char
2450   '((name               . "FORCES")
2451     (general-category   symbol math) ; Informative Category
2452     (bidi-category      . "ON")
2453     (mirrored           . t)
2454     (=ucs               . #x22A9)       ; ⊩
2455     ))
2456 (define-char
2457   '((name               . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
2458     (general-category   symbol math) ; Informative Category
2459     (bidi-category      . "ON")
2460     (mirrored           . t)
2461     (=ucs               . #x22AA)       ; ⊪
2462     ))
2463 (define-char
2464   '((name               . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2465     (general-category   symbol math) ; Informative Category
2466     (bidi-category      . "ON")
2467     (mirrored           . t)
2468     (=ucs               . #x22AB)       ; ⊫
2469     ))
2470 (define-char
2471   '((name               . "DOES NOT PROVE")
2472     (general-category   symbol math) ; Informative Category
2473     (bidi-category      . "ON")
2474     (mirrored           . t)
2475     (=decomposition
2476      ((name               . "RIGHT TACK")
2477       (=ucs               . #x22A2)     ; ⊢
2478       )
2479      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2480       (=ucs               . #x0338)     ; ̸
2481       ))
2482     (=ucs               . #x22AC)       ; ⊬
2483     ))
2484 (define-char
2485   '((name               . "NOT TRUE")
2486     (general-category   symbol math) ; Informative Category
2487     (bidi-category      . "ON")
2488     (mirrored           . t)
2489     (=decomposition
2490      ((name               . "TRUE")
2491       (=ucs               . #x22A8)     ; ⊨
2492       )
2493      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2494       (=ucs               . #x0338)     ; ̸
2495       ))
2496     (=ucs               . #x22AD)       ; ⊭
2497     ))
2498 (define-char
2499   '((name               . "DOES NOT FORCE")
2500     (general-category   symbol math) ; Informative Category
2501     (bidi-category      . "ON")
2502     (mirrored           . t)
2503     (=decomposition
2504      ((name               . "FORCES")
2505       (=ucs               . #x22A9)     ; ⊩
2506       )
2507      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2508       (=ucs               . #x0338)     ; ̸
2509       ))
2510     (=ucs               . #x22AE)       ; ⊮
2511     ))
2512 (define-char
2513   '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2514     (general-category   symbol math) ; Informative Category
2515     (bidi-category      . "ON")
2516     (mirrored           . t)
2517     (=decomposition
2518      ((name               . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2519       (=ucs               . #x22AB)     ; ⊫
2520       )
2521      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2522       (=ucs               . #x0338)     ; ̸
2523       ))
2524     (=ucs               . #x22AF)       ; ⊯
2525     ))
2526 (define-char
2527   '((name               . "PRECEDES UNDER RELATION")
2528     (general-category   symbol math) ; Informative Category
2529     (bidi-category      . "ON")
2530     (mirrored           . t)
2531     (=ucs               . #x22B0)       ; ⊰
2532     ))
2533 (define-char
2534   '((name               . "SUCCEEDS UNDER RELATION")
2535     (general-category   symbol math) ; Informative Category
2536     (bidi-category      . "ON")
2537     (mirrored           . t)
2538     (=ucs               . #x22B1)       ; ⊱
2539     ))
2540 (define-char
2541   '((name               . "NORMAL SUBGROUP OF")
2542     (general-category   symbol math) ; Informative Category
2543     (bidi-category      . "ON")
2544     (mirrored           . t)
2545     (=ucs               . #x22B2)       ; ⊲
2546     ))
2547 (define-char
2548   '((name               . "CONTAINS AS NORMAL SUBGROUP")
2549     (general-category   symbol math) ; Informative Category
2550     (bidi-category      . "ON")
2551     (mirrored           . t)
2552     (=ucs               . #x22B3)       ; ⊳
2553     ))
2554 (define-char
2555   '((name               . "NORMAL SUBGROUP OF OR EQUAL TO")
2556     (general-category   symbol math) ; Informative Category
2557     (bidi-category      . "ON")
2558     (mirrored           . t)
2559     (=ucs               . #x22B4)       ; ⊴
2560     ))
2561 (define-char
2562   '((name               . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
2563     (general-category   symbol math) ; Informative Category
2564     (bidi-category      . "ON")
2565     (mirrored           . t)
2566     (=ucs               . #x22B5)       ; ⊵
2567     ))
2568 (define-char
2569   '((name               . "ORIGINAL OF")
2570     (general-category   symbol math) ; Informative Category
2571     (bidi-category      . "ON")
2572     (mirrored           . t)
2573     (=ucs               . #x22B6)       ; ⊶
2574     ))
2575 (define-char
2576   '((name               . "IMAGE OF")
2577     (general-category   symbol math) ; Informative Category
2578     (bidi-category      . "ON")
2579     (mirrored           . t)
2580     (=ucs               . #x22B7)       ; ⊷
2581     ))
2582 (define-char
2583   '((name               . "MULTIMAP")
2584     (general-category   symbol math) ; Informative Category
2585     (bidi-category      . "ON")
2586     (mirrored           . t)
2587     (=ucs               . #x22B8)       ; ⊸
2588     ))
2589 (define-char
2590   '((name               . "HERMITIAN CONJUGATE MATRIX")
2591     (general-category   symbol math) ; Informative Category
2592     (bidi-category      . "ON")
2593     (mirrored           . nil)
2594     (=ucs               . #x22B9)       ; ⊹
2595     ))
2596 (define-char
2597   '((name               . "INTERCALATE")
2598     (general-category   symbol math) ; Informative Category
2599     (bidi-category      . "ON")
2600     (mirrored           . nil)
2601     (=ucs               . #x22BA)       ; ⊺
2602     ))
2603 (define-char
2604   '((name               . "XOR")
2605     (general-category   symbol math) ; Informative Category
2606     (bidi-category      . "ON")
2607     (mirrored           . nil)
2608     (=ucs               . #x22BB)       ; ⊻
2609     ))
2610 (define-char
2611   '((name               . "NAND")
2612     (general-category   symbol math) ; Informative Category
2613     (bidi-category      . "ON")
2614     (mirrored           . nil)
2615     (=ucs               . #x22BC)       ; ⊼
2616     ))
2617 (define-char
2618   '((name               . "NOR")
2619     (general-category   symbol math) ; Informative Category
2620     (bidi-category      . "ON")
2621     (mirrored           . nil)
2622     (=ucs               . #x22BD)       ; ⊽
2623     ))
2624 (define-char
2625   '((name               . "RIGHT ANGLE WITH ARC")
2626     (general-category   symbol math) ; Informative Category
2627     (bidi-category      . "ON")
2628     (mirrored           . t)
2629     (=ucs               . #x22BE)       ; ⊾
2630     ))
2631 (define-char
2632   '((name               . "RIGHT TRIANGLE")
2633     (general-category   symbol math) ; Informative Category
2634     (bidi-category      . "ON")
2635     (mirrored           . t)
2636     (=ucs               . #x22BF)       ; ⊿
2637     ))
2638 (define-char
2639   '((<-denotational
2640      ((name               . "RIGHT TRIANGLE")
2641       (=ucs               . #x22BF)     ; ⊿
2642       ))
2643     (=cns11643-1        . #x224A)       ; &JX1-2D79; [02-42]
2644     (=jis-x0213-1-2000  . #x2D79)       ; &I-JX1-2D79; [13-89]
2645     (=big5              . #xA1E9)       ; &I-B-A1E9;
2646     (=ucs@cns           . #x22BF)       ; &JX1-2D79;
2647     (=ucs@jis           . #x22BF)       ; &JX1-2D79;
2648     (=ucs@big5          . #x22BF)       ; &JX1-2D79;
2649     (<-fullwidth
2650      ((name               . "RIGHT TRIANGLE")
2651       (=ucs               . #x22BF)     ; ⊿
2652       ))
2653     ))
2654 (define-char
2655   '((name               . "N-ARY LOGICAL AND")
2656     (general-category   symbol math) ; Informative Category
2657     (bidi-category      . "ON")
2658     (mirrored           . nil)
2659     (=ucs               . #x22C0)       ; ⋀
2660     ))
2661 (define-char
2662   '((name               . "N-ARY LOGICAL OR")
2663     (general-category   symbol math) ; Informative Category
2664     (bidi-category      . "ON")
2665     (mirrored           . nil)
2666     (=ucs               . #x22C1)       ; ⋁
2667     ))
2668 (define-char
2669   '((name               . "N-ARY INTERSECTION")
2670     (general-category   symbol math) ; Informative Category
2671     (bidi-category      . "ON")
2672     (mirrored           . nil)
2673     (=ucs               . #x22C2)       ; ⋂
2674     ))
2675 (define-char
2676   '((name               . "N-ARY UNION")
2677     (general-category   symbol math) ; Informative Category
2678     (bidi-category      . "ON")
2679     (mirrored           . nil)
2680     (=ucs               . #x22C3)       ; ⋃
2681     ))
2682 (define-char
2683   '((name               . "DIAMOND OPERATOR")
2684     (general-category   symbol math) ; Informative Category
2685     (bidi-category      . "ON")
2686     (mirrored           . nil)
2687     (=ucs               . #x22C4)       ; ⋄
2688     ))
2689 (define-char
2690   '((name               . "DOT OPERATOR")
2691     (general-category   symbol math) ; Informative Category
2692     (bidi-category      . "ON")
2693     (mirrored           . nil)
2694     (=ucs               . #x22C5)       ; ⋅
2695     ))
2696 (define-char
2697   '((name               . "STAR OPERATOR")
2698     (general-category   symbol math) ; Informative Category
2699     (bidi-category      . "ON")
2700     (mirrored           . nil)
2701     (=ucs               . #x22C6)       ; ⋆
2702     ))
2703 (define-char
2704   '((name               . "DIVISION TIMES")
2705     (general-category   symbol math) ; Informative Category
2706     (bidi-category      . "ON")
2707     (mirrored           . nil)
2708     (=ucs               . #x22C7)       ; ⋇
2709     ))
2710 (define-char
2711   '((name               . "BOWTIE")
2712     (general-category   symbol math) ; Informative Category
2713     (bidi-category      . "ON")
2714     (mirrored           . nil)
2715     (=ucs               . #x22C8)       ; ⋈
2716     ))
2717 (define-char
2718   '((name               . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
2719     (general-category   symbol math) ; Informative Category
2720     (bidi-category      . "ON")
2721     (mirrored           . t)
2722     (=ucs               . #x22C9)       ; ⋉
2723     ))
2724 (define-char
2725   '((name               . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
2726     (general-category   symbol math) ; Informative Category
2727     (bidi-category      . "ON")
2728     (mirrored           . t)
2729     (=ucs               . #x22CA)       ; ⋊
2730     ))
2731 (define-char
2732   '((name               . "LEFT SEMIDIRECT PRODUCT")
2733     (general-category   symbol math) ; Informative Category
2734     (bidi-category      . "ON")
2735     (mirrored           . t)
2736     (=ucs               . #x22CB)       ; ⋋
2737     ))
2738 (define-char
2739   '((name               . "RIGHT SEMIDIRECT PRODUCT")
2740     (general-category   symbol math) ; Informative Category
2741     (bidi-category      . "ON")
2742     (mirrored           . t)
2743     (=ucs               . #x22CC)       ; ⋌
2744     ))
2745 (define-char
2746   '((name               . "REVERSED TILDE EQUALS")
2747     (general-category   symbol math) ; Informative Category
2748     (bidi-category      . "ON")
2749     (mirrored           . t)
2750     (=ucs               . #x22CD)       ; ⋍
2751     ))
2752 (define-char
2753   '((name               . "CURLY LOGICAL OR")
2754     (general-category   symbol math) ; Informative Category
2755     (bidi-category      . "ON")
2756     (mirrored           . nil)
2757     (=ucs               . #x22CE)       ; ⋎
2758     ))
2759 (define-char
2760   '((name               . "CURLY LOGICAL AND")
2761     (general-category   symbol math) ; Informative Category
2762     (bidi-category      . "ON")
2763     (mirrored           . nil)
2764     (=ucs               . #x22CF)       ; ⋏
2765     ))
2766 (define-char
2767   '((name               . "DOUBLE SUBSET")
2768     (general-category   symbol math) ; Informative Category
2769     (bidi-category      . "ON")
2770     (mirrored           . t)
2771     (=ucs               . #x22D0)       ; ⋐
2772     ))
2773 (define-char
2774   '((name               . "DOUBLE SUPERSET")
2775     (general-category   symbol math) ; Informative Category
2776     (bidi-category      . "ON")
2777     (mirrored           . t)
2778     (=ucs               . #x22D1)       ; ⋑
2779     ))
2780 (define-char
2781   '((name               . "DOUBLE INTERSECTION")
2782     (general-category   symbol math) ; Informative Category
2783     (bidi-category      . "ON")
2784     (mirrored           . nil)
2785     (=ucs               . #x22D2)       ; ⋒
2786     ))
2787 (define-char
2788   '((name               . "DOUBLE UNION")
2789     (general-category   symbol math) ; Informative Category
2790     (bidi-category      . "ON")
2791     (mirrored           . nil)
2792     (=ucs               . #x22D3)       ; ⋓
2793     ))
2794 (define-char
2795   '((name               . "PITCHFORK")
2796     (general-category   symbol math) ; Informative Category
2797     (bidi-category      . "ON")
2798     (mirrored           . nil)
2799     (=ucs               . #x22D4)       ; ⋔
2800     ))
2801 (define-char
2802   '((name               . "EQUAL AND PARALLEL TO")
2803     (general-category   symbol math) ; Informative Category
2804     (bidi-category      . "ON")
2805     (mirrored           . nil)
2806     (=ucs               . #x22D5)       ; ⋕
2807     ))
2808 (define-char
2809   '((name               . "LESS-THAN WITH DOT")
2810     (general-category   symbol math) ; Informative Category
2811     (bidi-category      . "ON")
2812     (mirrored           . t)
2813     (=ucs               . #x22D6)       ; ⋖
2814     ))
2815 (define-char
2816   '((name               . "GREATER-THAN WITH DOT")
2817     (general-category   symbol math) ; Informative Category
2818     (bidi-category      . "ON")
2819     (mirrored           . t)
2820     (=ucs               . #x22D7)       ; ⋗
2821     ))
2822 (define-char
2823   '((name               . "VERY MUCH LESS-THAN")
2824     (general-category   symbol math) ; Informative Category
2825     (bidi-category      . "ON")
2826     (mirrored           . t)
2827     (=ucs               . #x22D8)       ; ⋘
2828     ))
2829 (define-char
2830   '((name               . "VERY MUCH GREATER-THAN")
2831     (general-category   symbol math) ; Informative Category
2832     (bidi-category      . "ON")
2833     (mirrored           . t)
2834     (=ucs               . #x22D9)       ; ⋙
2835     ))
2836 (define-char
2837   '((name               . "LESS-THAN EQUAL TO OR GREATER-THAN")
2838     (general-category   symbol math) ; Informative Category
2839     (bidi-category      . "ON")
2840     (mirrored           . t)
2841     (=ucs               . #x22DA)       ; ⋚
2842     ))
2843 (define-char
2844   '((<-denotational
2845      ((name               . "LESS-THAN EQUAL TO OR GREATER-THAN")
2846       (=ucs               . #x22DA)     ; ⋚
2847       ))
2848     (=jis-x0213-1-2000  . #x2776)       ; &JX1-2776; [07-86]
2849     (=ucs@jis           . #x22DA)       ; &JX1-2776;
2850     (<-fullwidth
2851      ((name               . "LESS-THAN EQUAL TO OR GREATER-THAN")
2852       (=ucs               . #x22DA)     ; ⋚
2853       ))
2854     ))
2855 (define-char
2856   '((name               . "GREATER-THAN EQUAL TO OR LESS-THAN")
2857     (general-category   symbol math) ; Informative Category
2858     (bidi-category      . "ON")
2859     (mirrored           . t)
2860     (=ucs               . #x22DB)       ; ⋛
2861     ))
2862 (define-char
2863   '((<-denotational
2864      ((name               . "GREATER-THAN EQUAL TO OR LESS-THAN")
2865       (=ucs               . #x22DB)     ; ⋛
2866       ))
2867     (=jis-x0213-1-2000  . #x2777)       ; &JX1-2777; [07-87]
2868     (=ucs@jis           . #x22DB)       ; &JX1-2777;
2869     (<-fullwidth
2870      ((name               . "GREATER-THAN EQUAL TO OR LESS-THAN")
2871       (=ucs               . #x22DB)     ; ⋛
2872       ))
2873     ))
2874 (define-char
2875   '((name               . "EQUAL TO OR LESS-THAN")
2876     (general-category   symbol math) ; Informative Category
2877     (bidi-category      . "ON")
2878     (mirrored           . t)
2879     (=ucs               . #x22DC)       ; ⋜
2880     ))
2881 (define-char
2882   '((name               . "EQUAL TO OR GREATER-THAN")
2883     (general-category   symbol math) ; Informative Category
2884     (bidi-category      . "ON")
2885     (mirrored           . t)
2886     (=ucs               . #x22DD)       ; ⋝
2887     ))
2888 (define-char
2889   '((name               . "EQUAL TO OR PRECEDES")
2890     (general-category   symbol math) ; Informative Category
2891     (bidi-category      . "ON")
2892     (mirrored           . t)
2893     (=ucs               . #x22DE)       ; ⋞
2894     ))
2895 (define-char
2896   '((name               . "EQUAL TO OR SUCCEEDS")
2897     (general-category   symbol math) ; Informative Category
2898     (bidi-category      . "ON")
2899     (mirrored           . t)
2900     (=ucs               . #x22DF)       ; ⋟
2901     ))
2902 (define-char
2903   '((name               . "DOES NOT PRECEDE OR EQUAL")
2904     (general-category   symbol math) ; Informative Category
2905     (bidi-category      . "ON")
2906     (mirrored           . t)
2907     (=decomposition
2908      ((name               . "PRECEDES OR EQUAL TO")
2909       (=ucs               . #x227C)     ; ≼
2910       )
2911      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2912       (=ucs               . #x0338)     ; ̸
2913       ))
2914     (=ucs               . #x22E0)       ; ⋠
2915     ))
2916 (define-char
2917   '((name               . "DOES NOT SUCCEED OR EQUAL")
2918     (general-category   symbol math) ; Informative Category
2919     (bidi-category      . "ON")
2920     (mirrored           . t)
2921     (=decomposition
2922      ((name               . "SUCCEEDS OR EQUAL TO")
2923       (=ucs               . #x227D)     ; ≽
2924       )
2925      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2926       (=ucs               . #x0338)     ; ̸
2927       ))
2928     (=ucs               . #x22E1)       ; ⋡
2929     ))
2930 (define-char
2931   '((name               . "NOT SQUARE IMAGE OF OR EQUAL TO")
2932     (general-category   symbol math) ; Informative Category
2933     (bidi-category      . "ON")
2934     (mirrored           . t)
2935     (=decomposition
2936      ((name               . "SQUARE IMAGE OF OR EQUAL TO")
2937       (=ucs               . #x2291)     ; ⊑
2938       )
2939      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2940       (=ucs               . #x0338)     ; ̸
2941       ))
2942     (=ucs               . #x22E2)       ; ⋢
2943     ))
2944 (define-char
2945   '((name               . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
2946     (general-category   symbol math) ; Informative Category
2947     (bidi-category      . "ON")
2948     (mirrored           . t)
2949     (=decomposition
2950      ((name               . "SQUARE ORIGINAL OF OR EQUAL TO")
2951       (=ucs               . #x2292)     ; ⊒
2952       )
2953      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2954       (=ucs               . #x0338)     ; ̸
2955       ))
2956     (=ucs               . #x22E3)       ; ⋣
2957     ))
2958 (define-char
2959   '((name               . "SQUARE IMAGE OF OR NOT EQUAL TO")
2960     (general-category   symbol math) ; Informative Category
2961     (bidi-category      . "ON")
2962     (mirrored           . t)
2963     (=ucs               . #x22E4)       ; ⋤
2964     ))
2965 (define-char
2966   '((name               . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
2967     (general-category   symbol math) ; Informative Category
2968     (bidi-category      . "ON")
2969     (mirrored           . t)
2970     (=ucs               . #x22E5)       ; ⋥
2971     ))
2972 (define-char
2973   '((name               . "LESS-THAN BUT NOT EQUIVALENT TO")
2974     (general-category   symbol math) ; Informative Category
2975     (bidi-category      . "ON")
2976     (mirrored           . t)
2977     (=ucs               . #x22E6)       ; ⋦
2978     ))
2979 (define-char
2980   '((name               . "GREATER-THAN BUT NOT EQUIVALENT TO")
2981     (general-category   symbol math) ; Informative Category
2982     (bidi-category      . "ON")
2983     (mirrored           . t)
2984     (=ucs               . #x22E7)       ; ⋧
2985     ))
2986 (define-char
2987   '((name               . "PRECEDES BUT NOT EQUIVALENT TO")
2988     (general-category   symbol math) ; Informative Category
2989     (bidi-category      . "ON")
2990     (mirrored           . t)
2991     (=ucs               . #x22E8)       ; ⋨
2992     ))
2993 (define-char
2994   '((name               . "SUCCEEDS BUT NOT EQUIVALENT TO")
2995     (general-category   symbol math) ; Informative Category
2996     (bidi-category      . "ON")
2997     (mirrored           . t)
2998     (=ucs               . #x22E9)       ; ⋩
2999     ))
3000 (define-char
3001   '((name               . "NOT NORMAL SUBGROUP OF")
3002     (general-category   symbol math) ; Informative Category
3003     (bidi-category      . "ON")
3004     (mirrored           . t)
3005     (=decomposition
3006      ((name               . "NORMAL SUBGROUP OF")
3007       (=ucs               . #x22B2)     ; ⊲
3008       )
3009      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
3010       (=ucs               . #x0338)     ; ̸
3011       ))
3012     (=ucs               . #x22EA)       ; ⋪
3013     ))
3014 (define-char
3015   '((name               . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
3016     (general-category   symbol math) ; Informative Category
3017     (bidi-category      . "ON")
3018     (mirrored           . t)
3019     (=decomposition
3020      ((name               . "CONTAINS AS NORMAL SUBGROUP")
3021       (=ucs               . #x22B3)     ; ⊳
3022       )
3023      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
3024       (=ucs               . #x0338)     ; ̸
3025       ))
3026     (=ucs               . #x22EB)       ; ⋫
3027     ))
3028 (define-char
3029   '((name               . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
3030     (general-category   symbol math) ; Informative Category
3031     (bidi-category      . "ON")
3032     (mirrored           . t)
3033     (=decomposition
3034      ((name               . "NORMAL SUBGROUP OF OR EQUAL TO")
3035       (=ucs               . #x22B4)     ; ⊴
3036       )
3037      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
3038       (=ucs               . #x0338)     ; ̸
3039       ))
3040     (=ucs               . #x22EC)       ; ⋬
3041     ))
3042 (define-char
3043   '((name               . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
3044     (general-category   symbol math) ; Informative Category
3045     (bidi-category      . "ON")
3046     (mirrored           . t)
3047     (=decomposition
3048      ((name               . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
3049       (=ucs               . #x22B5)     ; ⊵
3050       )
3051      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
3052       (=ucs               . #x0338)     ; ̸
3053       ))
3054     (=ucs               . #x22ED)       ; ⋭
3055     ))
3056 (define-char
3057   '((name               . "VERTICAL ELLIPSIS")
3058     (general-category   symbol math) ; Informative Category
3059     (bidi-category      . "ON")
3060     (mirrored           . nil)
3061     (=ucs               . #x22EE)       ; ⋮
3062     ))
3063 (define-char
3064   '((name               . "MIDLINE HORIZONTAL ELLIPSIS")
3065     (general-category   symbol math) ; Informative Category
3066     (bidi-category      . "ON")
3067     (mirrored           . nil)
3068     (=ucs               . #x22EF)       ; ⋯
3069     ))
3070 (define-char
3071   '((name               . "UP RIGHT DIAGONAL ELLIPSIS")
3072     (general-category   symbol math) ; Informative Category
3073     (bidi-category      . "ON")
3074     (mirrored           . t)
3075     (=ucs               . #x22F0)       ; ⋰
3076     ))
3077 (define-char
3078   '((name               . "DOWN RIGHT DIAGONAL ELLIPSIS")
3079     (general-category   symbol math) ; Informative Category
3080     (bidi-category      . "ON")
3081     (mirrored           . t)
3082     (=ucs               . #x22F1)       ; ⋱
3083     ))