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