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