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