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

   1 ;; -*- coding: utf-8-mcs-er -*-
   2 (define-char
   3   '((name               . "FOR ALL")
   4     (general-category   symbol math) ; Informative Category
   5     (bidi-category      . "ON")
   6     (mirrored           . nil)
   7     (=ucs               . #x2200)       ; ∀
   8     ))
   9 (define-char
  10   '((<-denotational
  11      ((name               . "FOR ALL")
  12       (=ucs               . #x2200)     ; ∀
  13       ))
  14     (=jis-x0208@1983    . #x224F)       ; &J90-224F; [02-47]
  15     (=ks-x1001          . #x2223)       ; &I-K0-2223; [02-03]
  16     (=jis-x0208@1990    . #x224F)       ; &I-J90-224F; [02-47]
  17     (=jis-x0213-1       . #x224F)       ; &I-JX1-224F; [02-47]
  18     (=jef-china3        . #x7FDC)       ; &I-JC3-7FDC;
  19     (=ucs@jis           . #x2200)       ; &J90-224F;
  20     (=ucs@ks            . #x2200)       ; &J90-224F;
  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     (=jis-x0208@1983    . #x225F)       ; &J90-225F; [02-63]
  46     (=ks-x1001          . #x2153)       ; &I-K0-2153; [01-51]
  47     (=jis-x0208@1990    . #x225F)       ; &I-J90-225F; [02-63]
  48     (=jis-x0213-1       . #x225F)       ; &I-JX1-225F; [02-63]
  49     (=jef-china3        . #x7FE1)       ; &I-JC3-7FE1;
  50     (=ucs@jis           . #x2202)       ; &J90-225F;
  51     (=ucs@ks            . #x2202)       ; &J90-225F;
  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     (=jis-x0208@1983    . #x2250)       ; &J90-2250; [02-48]
  70     (=ks-x1001          . #x2224)       ; &I-K0-2224; [02-04]
  71     (=jis-x0208@1990    . #x2250)       ; &I-J90-2250; [02-48]
  72     (=jis-x0213-1       . #x2250)       ; &I-JX1-2250; [02-48]
  73     (=jef-china3        . #x7FDD)       ; &I-JC3-7FDD;
  74     (=ucs@jis           . #x2203)       ; &J90-2250;
  75     (=ucs@ks            . #x2203)       ; &J90-2250;
  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     (=jis-x0213-1       . #x2247)       ; &JX1-2247; [02-39]
 108     (=ucs@jis           . #x2205)       ; &JX1-2247;
 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     (=jis-x0208@1983    . #x2260)       ; &J90-2260; [02-64]
 134     (=ks-x1001          . #x2154)       ; &I-K0-2154; [01-52]
 135     (=jis-x0208@1990    . #x2260)       ; &I-J90-2260; [02-64]
 136     (=jis-x0213-1       . #x2260)       ; &I-JX1-2260; [02-64]
 137     (=jef-china3        . #x7FE2)       ; &I-JC3-7FE2;
 138     (=ucs@jis           . #x2207)       ; &J90-2260;
 139     (=ucs@ks            . #x2207)       ; &J90-2260;
 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     (=gb2312            . #x214A)       ; &J90-223A; [01-42]
 158     (=jis-x0208@1983    . #x223A)       ; &I-J83-223A; [02-26]
 159     (=ks-x1001          . #x2174)       ; &I-K0-2174; [01-84]
 160     (=jis-x0208@1990    . #x223A)       ; &I-J90-223A; [02-26]
 161     (=jis-x0213-1       . #x223A)       ; &I-JX1-223A; [02-26]
 162     (=jef-china3        . #x7FD0)       ; &I-JC3-7FD0;
 163     (=ucs@gb            . #x2208)       ; &J90-223A;
 164     (=ucs@jis           . #x2208)       ; &J90-223A;
 165     (=ucs@ks            . #x2208)       ; &J90-223A;
 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     (=jis-x0213-1       . #x2246)       ; &JX1-2246; [02-38]
 191     (=ucs@jis           . #x2209)       ; &JX1-2246;
 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     (=jis-x0208@1983    . #x223B)       ; &J90-223B; [02-27]
 217     (=ks-x1001          . #x2175)       ; &I-K0-2175; [01-85]
 218     (=jis-x0208@1990    . #x223B)       ; &I-J90-223B; [02-27]
 219     (=jis-x0213-1       . #x223B)       ; &I-JX1-223B; [02-27]
 220     (=jef-china3        . #x7FD1)       ; &I-JC3-7FD1;
 221     (=ucs@jis           . #x220B)       ; &J90-223B;
 222     (=ucs@ks            . #x220B)       ; &J90-223B;
 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     (=gb2312            . #x2147)       ; &K0-2233; [01-39]
 269     (=ks-x1001          . #x2233)       ; &I-K0-2233; [02-19]
 270     (=ucs@gb            . #x220F)       ; &K0-2233;
 271     (=ucs@ks            . #x220F)       ; &K0-2233;
 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     (=gb2312            . #x2146)       ; &K0-2232; [01-38]
 297     (=ks-x1001          . #x2232)       ; &I-K0-2232; [02-18]
 298     (=ucs@gb            . #x2211)       ; &K0-2232;
 299     (=ucs@ks            . #x2211)       ; &K0-2232;
 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     (=jis-x0208         . #x215D)       ; &J90-215D; [01-61]
 318     (=jis-x0213-1       . #x215D)       ; &I-JX1-215D; [01-61]
 319     (=ucs@jis           . #x2212)       ; &J90-215D;
 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     (=jis-x0213-1       . #x235B)       ; &JX1-235B; [03-59]
 338     (=ucs@jis           . #x2213)       ; &JX1-235B;
 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     (=cns11643-1        . #x2261)       ; &C1-2261; [02-65]
 364     (=big5              . #xA241)       ; &I-B-A241;
 365     (=ucs@cns           . #x2215)       ; &C1-2261;
 366     (=ucs@big5          . #x2215)       ; &C1-2261;
 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     (=gb2312            . #x214C)       ; &J90-2265; [01-44]
 413     (=jis-x0208@1983    . #x2265)       ; &I-J83-2265; [02-69]
 414     (=ks-x1001          . #x216E)       ; &I-K0-216E; [01-78]
 415     (=jis-x0208@1990    . #x2265)       ; &I-J90-2265; [02-69]
 416     (=cns11643-1        . #x2235)       ; &I-C1-2235; [02-21]
 417     (=jis-x0213-1       . #x2265)       ; &I-JX1-2265; [02-69]
 418     (=big5              . #xA1D4)       ; &I-B-A1D4;
 419     (=ucs@gb            . #x221A)       ; &J90-2265;
 420     (=ucs@cns           . #x221A)       ; &J90-2265;
 421     (=ucs@jis           . #x221A)       ; &J90-2265;
 422     (=ucs@ks            . #x221A)       ; &J90-2265;
 423     (=ucs@big5          . #x221A)       ; &J90-2265;
 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     (=gb2312            . #x2158)       ; &J90-2267; [01-56]
 456     (=jis-x0208@1983    . #x2267)       ; &I-J83-2267; [02-71]
 457     (=ks-x1001          . #x2170)       ; &I-K0-2170; [01-80]
 458     (=jis-x0208@1990    . #x2267)       ; &I-J90-2267; [02-71]
 459     (=jis-x0213-1       . #x2267)       ; &I-JX1-2267; [02-71]
 460     (=jef-china3        . #x7FE7)       ; &I-JC3-7FE7;
 461     (=ucs@gb            . #x221D)       ; &J90-2267;
 462     (=ucs@jis           . #x221D)       ; &J90-2267;
 463     (=ucs@ks            . #x221D)       ; &J90-2267;
 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     (=jis-x0208         . #x2167)       ; &J90-2167; [01-71]
 482     (=gb2312            . #x215E)       ; &I-G0-215E; [01-62]
 483     (=ks-x1001          . #x2144)       ; &I-K0-2144; [01-36]
 484     (=cns11643-1        . #x223C)       ; &I-C1-223C; [02-28]
 485     (=jis-x0213-1       . #x2167)       ; &I-JX1-2167; [01-71]
 486     (=big5              . #xA1DB)       ; &I-B-A1DB;
 487     (=ucs@gb            . #x221E)       ; &J90-2167;
 488     (=ucs@cns           . #x221E)       ; &J90-2167;
 489     (=ucs@jis           . #x221E)       ; &J90-2167;
 490     (=ucs@ks            . #x221E)       ; &J90-2167;
 491     (=ucs@big5          . #x221E)       ; &J90-2167;
 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     (=cns11643-1        . #x2249)       ; &JX1-2D78; [02-41]
 510     (=jis-x0213-1       . #x2D78)       ; &I-JX1-2D78; [13-88]
 511     (=big5              . #xA1E8)       ; &I-B-A1E8;
 512     (=ucs@cns           . #x221F)       ; &JX1-2D78;
 513     (=ucs@jis           . #x221F)       ; &JX1-2D78;
 514     (=ucs@big5          . #x221F)       ; &JX1-2D78;
 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     (=gb2312            . #x214F)       ; &J90-225C; [01-47]
 533     (=jis-x0208@1983    . #x225C)       ; &I-J83-225C; [02-60]
 534     (=ks-x1001          . #x2150)       ; &I-K0-2150; [01-48]
 535     (=jis-x0208@1990    . #x225C)       ; &I-J90-225C; [02-60]
 536     (=cns11643-1        . #x2248)       ; &I-C1-2248; [02-40]
 537     (=jis-x0213-1       . #x225C)       ; &I-JX1-225C; [02-60]
 538     (=big5              . #xA1E7)       ; &I-B-A1E7;
 539     (=jef-china3        . #x7FDE)       ; &I-JC3-7FDE;
 540     (=ucs@gb            . #x2220)       ; &J90-225C;
 541     (=ucs@cns           . #x2220)       ; &J90-225C;
 542     (=ucs@jis           . #x2220)       ; &J90-225C;
 543     (=ucs@ks            . #x2220)       ; &J90-225C;
 544     (=ucs@big5          . #x2220)       ; &J90-225C;
 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     (=big5              . #xA1FD)       ; &B-A1FD;
 577     (=ucs@big5          . #x2223)       ; &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     (=gb2312            . #x214E)       ; &JX1-2254; [01-46]
 610     (=ks-x1001          . #x212B)       ; &I-K0-212B; [01-11]
 611     (=jis-x0213-1       . #x2254)       ; &I-JX1-2254; [02-52]
 612     (=big5              . #xA1FC)       ; &I-B-A1FC;
 613     (=ucs@gb            . #x2225)       ; &JX1-2254;
 614     (=ucs@jis           . #x2225)       ; &JX1-2254;
 615     (=ucs@ks            . #x2225)       ; &JX1-2254;
 616     (=ucs@big5          . #x2225)       ; &JX1-2254;
 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     (=jis-x0213-1       . #x2255)       ; &JX1-2255; [02-53]
 642     (=ucs@jis           . #x2226)       ; &JX1-2255;
 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     (=gb2312            . #x2144)       ; &J90-224A; [01-36]
 661     (=jis-x0208@1983    . #x224A)       ; &I-J83-224A; [02-42]
 662     (=ks-x1001          . #x217C)       ; &I-K0-217C; [01-92]
 663     (=jis-x0208@1990    . #x224A)       ; &I-J90-224A; [02-42]
 664     (=jis-x0213-1       . #x224A)       ; &I-JX1-224A; [02-42]
 665     (=jef-china3        . #x7FD8)       ; &I-JC3-7FD8;
 666     (=ucs@gb            . #x2227)       ; &J90-224A;
 667     (=ucs@jis           . #x2227)       ; &J90-224A;
 668     (=ucs@ks            . #x2227)       ; &J90-224A;
 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     (=gb2312            . #x2145)       ; &J90-224B; [01-37]
 687     (=jis-x0208@1983    . #x224B)       ; &I-J83-224B; [02-43]
 688     (=ks-x1001          . #x217D)       ; &I-K0-217D; [01-93]
 689     (=jis-x0208@1990    . #x224B)       ; &I-J90-224B; [02-43]
 690     (=jis-x0213-1       . #x224B)       ; &I-JX1-224B; [02-43]
 691     (=jef-china3        . #x7FD9)       ; &I-JC3-7FD9;
 692     (=ucs@gb            . #x2228)       ; &J90-224B;
 693     (=ucs@jis           . #x2228)       ; &J90-224B;
 694     (=ucs@ks            . #x2228)       ; &J90-224B;
 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     (=gb2312            . #x2149)       ; &J90-2241; [01-41]
 713     (=jis-x0208@1983    . #x2241)       ; &I-J83-2241; [02-33]
 714     (=ks-x1001          . #x217B)       ; &I-K0-217B; [01-91]
 715     (=jis-x0208@1990    . #x2241)       ; &I-J90-2241; [02-33]
 716     (=cns11643-1        . #x2245)       ; &I-C1-2245; [02-37]
 717     (=jis-x0213-1       . #x2241)       ; &I-JX1-2241; [02-33]
 718     (=big5              . #xA1E4)       ; &I-B-A1E4;
 719     (=jef-china3        . #x7FD7)       ; &I-JC3-7FD7;
 720     (=ucs@gb            . #x2229)       ; &J90-2241;
 721     (=ucs@cns           . #x2229)       ; &J90-2241;
 722     (=ucs@jis           . #x2229)       ; &J90-2241;
 723     (=ucs@ks            . #x2229)       ; &J90-2241;
 724     (=ucs@big5          . #x2229)       ; &J90-2241;
 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     (=gb2312            . #x2148)       ; &J90-2240; [01-40]
 743     (=jis-x0208@1983    . #x2240)       ; &I-J83-2240; [02-32]
 744     (=ks-x1001          . #x217A)       ; &I-K0-217A; [01-90]
 745     (=jis-x0208@1990    . #x2240)       ; &I-J90-2240; [02-32]
 746     (=cns11643-1        . #x2246)       ; &I-C1-2246; [02-38]
 747     (=jis-x0213-1       . #x2240)       ; &I-JX1-2240; [02-32]
 748     (=big5              . #xA1E5)       ; &I-B-A1E5;
 749     (=jef-china3        . #x7FD6)       ; &I-JC3-7FD6;
 750     (=ucs@gb            . #x222A)       ; &J90-2240;
 751     (=ucs@cns           . #x222A)       ; &J90-2240;
 752     (=ucs@jis           . #x222A)       ; &J90-2240;
 753     (=ucs@ks            . #x222A)       ; &J90-2240;
 754     (=ucs@big5          . #x222A)       ; &J90-2240;
 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     (=gb2312            . #x2152)       ; &J90-2269; [01-50]
 773     (=jis-x0208@1983    . #x2269)       ; &I-J83-2269; [02-73]
 774     (=ks-x1001          . #x2172)       ; &I-K0-2172; [01-82]
 775     (=jis-x0208@1990    . #x2269)       ; &I-J90-2269; [02-73]
 776     (=cns11643-1        . #x224D)       ; &I-C1-224D; [02-45]
 777     (=jis-x0213-1       . #x2269)       ; &I-JX1-2269; [02-73]
 778     (=big5              . #xA1EC)       ; &I-B-A1EC;
 779     (=jef-china3        . #x7FE8)       ; &I-JC3-7FE8;
 780     (=ucs@gb            . #x222B)       ; &J90-2269;
 781     (=ucs@cns           . #x222B)       ; &J90-2269;
 782     (=ucs@jis           . #x222B)       ; &J90-2269;
 783     (=ucs@ks            . #x222B)       ; &J90-2269;
 784     (=ucs@big5          . #x222B)       ; &J90-2269;
 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     (=jis-x0208@1983    . #x226A)       ; &J90-226A; [02-74]
 810     (=ks-x1001          . #x2173)       ; &I-K0-2173; [01-83]
 811     (=jis-x0208@1990    . #x226A)       ; &I-J90-226A; [02-74]
 812     (=jis-x0213-1       . #x226A)       ; &I-JX1-226A; [02-74]
 813     (=jef-china3        . #x7FE9)       ; &I-JC3-7FE9;
 814     (=ucs@jis           . #x222C)       ; &J90-226A;
 815     (=ucs@ks            . #x222C)       ; &J90-226A;
 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     (=gb2312            . #x2153)       ; &JX1-2D73; [01-51]
 851     (=ks-x1001          . #x2231)       ; &I-K0-2231; [02-17]
 852     (=cns11643-1        . #x224E)       ; &I-C1-224E; [02-46]
 853     (=jis-x0213-1       . #x2D73)       ; &I-JX1-2D73; [13-83]
 854     (=big5              . #xA1ED)       ; &I-B-A1ED;
 855     (=ucs@gb            . #x222E)       ; &JX1-2D73;
 856     (=ucs@cns           . #x222E)       ; &JX1-2D73;
 857     (=ucs@jis           . #x222E)       ; &JX1-2D73;
 858     (=ucs@ks            . #x222E)       ; &JX1-2D73;
 859     (=ucs@big5          . #x222E)       ; &JX1-2D73;
 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     (=jis-x0208         . #x2168)       ; &J90-2168; [01-72]
 930     (=gb2312            . #x2160)       ; &I-G0-2160; [01-64]
 931     (=ks-x1001          . #x2145)       ; &I-K0-2145; [01-37]
 932     (=cns11643-1        . #x2250)       ; &I-C1-2250; [02-48]
 933     (=jis-x0213-1       . #x2168)       ; &I-JX1-2168; [01-72]
 934     (=big5              . #xA1EF)       ; &I-B-A1EF;
 935     (=ucs@gb            . #x2234)       ; &J90-2168;
 936     (=ucs@cns           . #x2234)       ; &J90-2168;
 937     (=ucs@jis           . #x2234)       ; &J90-2168;
 938     (=ucs@ks            . #x2234)       ; &J90-2168;
 939     (=ucs@big5          . #x2234)       ; &J90-2168;
 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     (=gb2312            . #x215F)       ; &J90-2268; [01-63]
 958     (=jis-x0208@1983    . #x2268)       ; &I-J83-2268; [02-72]
 959     (=ks-x1001          . #x2171)       ; &I-K0-2171; [01-81]
 960     (=jis-x0208@1990    . #x2268)       ; &I-J90-2268; [02-72]
 961     (=cns11643-1        . #x224F)       ; &I-C1-224F; [02-47]
 962     (=jis-x0213-1       . #x2268)       ; &I-JX1-2268; [02-72]
 963     (=big5              . #xA1EE)       ; &I-B-A1EE;
 964     (=ucs@gb            . #x2235)       ; &J90-2268;
 965     (=ucs@cns           . #x2235)       ; &J90-2268;
 966     (=ucs@jis           . #x2235)       ; &J90-2268;
 967     (=ucs@ks            . #x2235)       ; &J90-2268;
 968     (=ucs@big5          . #x2235)       ; &J90-2268;
 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     (=gb2312            . #x2143)       ; &G0-2143; [01-35]
 987     (=ucs@gb            . #x2236)       ; &G0-2143;
 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     (=gb2312            . #x214B)       ; &G0-214B; [01-43]
1006     (=ucs@gb            . #x2237)       ; &G0-214B;
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     (=ks-x1001          . #x212D)       ; &C1-2244; [01-13]
1053     (=cns11643-1        . #x2244)       ; &I-C1-2244; [02-36]
1054     (=big5              . #xA1E3)       ; &I-B-A1E3;
1055     (=ucs@cns           . #xFF5E)       ; &C1-2244;
1056     (=ucs@ks            . #x223C)       ; &C1-2244;
1057     (=ucs@big5          . #xFF5E)       ; &C1-2244;
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     (=gb2312            . #x2157)       ; &J90-2266; [01-55]
1077     (=jis-x0208@1983    . #x2266)       ; &I-J83-2266; [02-70]
1078     (=ks-x1001          . #x216F)       ; &I-K0-216F; [01-79]
1079     (=jis-x0208@1990    . #x2266)       ; &I-J90-2266; [02-70]
1080     (=jis-x0213-1       . #x2266)       ; &I-JX1-2266; [02-70]
1081     (=jef-china3        . #x7FE6)       ; &I-JC3-7FE6;
1082     (=ucs@gb            . #x223D)       ; &J90-2266;
1083     (=ucs@jis           . #x223D)       ; &J90-2266;
1084     (=ucs@ks            . #x223D)       ; &J90-2266;
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     (=jis-x0213-1       . #x226C)       ; &JX1-226C; [02-76]
1145     (=ucs@jis           . #x2243)       ; &JX1-226C;
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     (=jis-x0213-1       . #x226D)       ; &JX1-226D; [02-77]
1178     (=ucs@jis           . #x2245)       ; &JX1-226D;
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     (=gb2312            . #x2156)       ; &JX1-226E; [01-54]
1218     (=jis-x0213-1       . #x226E)       ; &I-JX1-226E; [02-78]
1219     (=ucs@gb            . #x2248)       ; &JX1-226E;
1220     (=ucs@jis           . #x2248)       ; &JX1-226E;
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     (=gb2312            . #x2155)       ; &G0-2155; [01-53]
1267     (=ucs@gb            . #x224C)       ; &G0-2155;
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     (=jis-x0208@1983    . #x2262)       ; &J90-2262; [02-66]
1321     (=ks-x1001          . #x2156)       ; &I-K0-2156; [01-54]
1322     (=jis-x0208@1990    . #x2262)       ; &I-J90-2262; [02-66]
1323     (=cns11643-1        . #x223D)       ; &I-C1-223D; [02-29]
1324     (=jis-x0213-1       . #x2262)       ; &I-JX1-2262; [02-66]
1325     (=big5              . #xA1DC)       ; &I-B-A1DC;
1326     (=ucs@cns           . #x2252)       ; &J90-2262;
1327     (=ucs@jis           . #x2252)       ; &J90-2262;
1328     (=ucs@ks            . #x2252)       ; &J90-2262;
1329     (=ucs@big5          . #x2252)       ; &J90-2262;
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     (=jis-x0208         . #x2162)       ; &J90-2162; [01-66]
1453     (=gb2312            . #x2159)       ; &I-G0-2159; [01-57]
1454     (=ks-x1001          . #x2141)       ; &I-K0-2141; [01-33]
1455     (=cns11643-1        . #x223B)       ; &I-C1-223B; [02-27]
1456     (=jis-x0213-1       . #x2162)       ; &I-JX1-2162; [01-66]
1457     (=big5              . #xA1DA)       ; &I-B-A1DA;
1458     (=ucs@gb            . #x2260)       ; &J90-2162;
1459     (=ucs@cns           . #x2260)       ; &J90-2162;
1460     (=ucs@jis           . #x2260)       ; &J90-2162;
1461     (=ucs@ks            . #x2260)       ; &J90-2162;
1462     (=ucs@big5          . #x2260)       ; &J90-2162;
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     (=gb2312            . #x2154)       ; &J90-2261; [01-52]
1481     (=jis-x0208@1983    . #x2261)       ; &I-J83-2261; [02-65]
1482     (=ks-x1001          . #x2155)       ; &I-K0-2155; [01-53]
1483     (=jis-x0208@1990    . #x2261)       ; &I-J90-2261; [02-65]
1484     (=cns11643-1        . #x223E)       ; &I-C1-223E; [02-30]
1485     (=jis-x0213-1       . #x2261)       ; &I-JX1-2261; [02-65]
1486     (=big5              . #xA1DD)       ; &I-B-A1DD;
1487     (=ucs@gb            . #x2261)       ; &J90-2261;
1488     (=ucs@cns           . #x2261)       ; &J90-2261;
1489     (=ucs@jis           . #x2261)       ; &J90-2261;
1490     (=ucs@ks            . #x2261)       ; &J90-2261;
1491     (=ucs@big5          . #x2261)       ; &J90-2261;
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      ((=gb2312            . #x2154)     ; &J90-2261; [01-52]
1518       (=jis-x0208@1983    . #x2261)     ; &I-J83-2261; [02-65]
1519       (=ks-x1001          . #x2155)     ; &I-K0-2155; [01-53]
1520       (=cns11643-1        . #x223E)     ; &I-C1-223E; [02-30]
1521       (=jis-x0213-1       . #x2261)     ; &I-JX1-2261; [02-65]
1522       )
1523      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1524       (=ucs               . #x0338)     ; ̸
1525       ))
1526     (=jis-x0213-1       . #x226B)       ; &JX1-226B; [02-75]
1527     (=ucs@jis           . #x2262)       ; &JX1-226B;
1528     (<-fullwidth
1529      ((name               . "NOT IDENTICAL TO")
1530       (=ucs               . #x2262)     ; ≢
1531       ))
1532     ))
1533 (define-char
1534   '((name               . "STRICTLY EQUIVALENT TO")
1535     (general-category   symbol math) ; Informative Category
1536     (bidi-category      . "ON")
1537     (mirrored           . nil)
1538     (=ucs               . #x2263)       ; ≣
1539     ))
1540 (define-char
1541   '((name               . "LESS-THAN OR EQUAL TO")
1542     (general-category   symbol math) ; Informative Category
1543     (bidi-category      . "ON")
1544     (mirrored           . t)
1545     (=ucs               . #x2264)       ; ≤
1546     ))
1547 (define-char
1548   '((<-denotational
1549      ((name               . "LESS-THAN OR EQUAL TO")
1550       (=ucs               . #x2264)     ; ≤
1551       ))
1552     (=gb2312            . #x215C)       ; &K0-2142; [01-60]
1553     (=ks-x1001          . #x2142)       ; &I-K0-2142; [01-34]
1554     (=ucs@gb            . #x2264)       ; &K0-2142;
1555     (=ucs@ks            . #x2264)       ; &K0-2142;
1556     (<-fullwidth
1557      ((name               . "LESS-THAN OR EQUAL TO")
1558       (=ucs               . #x2264)     ; ≤
1559       ))
1560     ))
1561 (define-char
1562   '((name               . "GREATER-THAN OR EQUAL TO")
1563     (general-category   symbol math) ; Informative Category
1564     (bidi-category      . "ON")
1565     (mirrored           . t)
1566     (=ucs               . #x2265)       ; ≥
1567     ))
1568 (define-char
1569   '((<-denotational
1570      ((name               . "GREATER-THAN OR EQUAL TO")
1571       (=ucs               . #x2265)     ; ≥
1572       ))
1573     (=gb2312            . #x215D)       ; &K0-2143; [01-61]
1574     (=ks-x1001          . #x2143)       ; &I-K0-2143; [01-35]
1575     (=ucs@gb            . #x2265)       ; &K0-2143;
1576     (=ucs@ks            . #x2265)       ; &K0-2143;
1577     (<-fullwidth
1578      ((name               . "GREATER-THAN OR EQUAL TO")
1579       (=ucs               . #x2265)     ; ≥
1580       ))
1581     ))
1582 (define-char
1583   '((name               . "LESS-THAN OVER EQUAL TO")
1584     (general-category   symbol math) ; Informative Category
1585     (bidi-category      . "ON")
1586     (mirrored           . t)
1587     (=ucs               . #x2266)       ; ≦
1588     ))
1589 (define-char
1590   '((<-denotational
1591      ((name               . "LESS-THAN OVER EQUAL TO")
1592       (=ucs               . #x2266)     ; ≦
1593       ))
1594     (=jis-x0208         . #x2165)       ; &J90-2165; [01-69]
1595     (=cns11643-1        . #x2239)       ; &I-C1-2239; [02-25]
1596     (=jis-x0213-1       . #x2165)       ; &I-JX1-2165; [01-69]
1597     (=big5              . #xA1D8)       ; &I-B-A1D8;
1598     (=ucs@cns           . #x2266)       ; &J90-2165;
1599     (=ucs@jis           . #x2266)       ; &J90-2165;
1600     (=ucs@big5          . #x2266)       ; &J90-2165;
1601     (<-fullwidth
1602      ((name               . "LESS-THAN OVER EQUAL TO")
1603       (=ucs               . #x2266)     ; ≦
1604       ))
1605     ))
1606 (define-char
1607   '((name               . "GREATER-THAN OVER EQUAL TO")
1608     (general-category   symbol math) ; Informative Category
1609     (bidi-category      . "ON")
1610     (mirrored           . t)
1611     (=ucs               . #x2267)       ; ≧
1612     ))
1613 (define-char
1614   '((<-denotational
1615      ((name               . "GREATER-THAN OVER EQUAL TO")
1616       (=ucs               . #x2267)     ; ≧
1617       ))
1618     (=jis-x0208         . #x2166)       ; &J90-2166; [01-70]
1619     (=cns11643-1        . #x223A)       ; &I-C1-223A; [02-26]
1620     (=jis-x0213-1       . #x2166)       ; &I-JX1-2166; [01-70]
1621     (=big5              . #xA1D9)       ; &I-B-A1D9;
1622     (=ucs@cns           . #x2267)       ; &J90-2166;
1623     (=ucs@jis           . #x2267)       ; &J90-2166;
1624     (=ucs@big5          . #x2267)       ; &J90-2166;
1625     (<-fullwidth
1626      ((name               . "GREATER-THAN OVER EQUAL TO")
1627       (=ucs               . #x2267)     ; ≧
1628       ))
1629     ))
1630 (define-char
1631   '((name               . "LESS-THAN BUT NOT EQUAL TO")
1632     (general-category   symbol math) ; Informative Category
1633     (bidi-category      . "ON")
1634     (mirrored           . t)
1635     (=ucs               . #x2268)       ; ≨
1636     ))
1637 (define-char
1638   '((name               . "GREATER-THAN BUT NOT EQUAL TO")
1639     (general-category   symbol math) ; Informative Category
1640     (bidi-category      . "ON")
1641     (mirrored           . t)
1642     (=ucs               . #x2269)       ; ≩
1643     ))
1644 (define-char
1645   '((name               . "MUCH LESS-THAN")
1646     (general-category   symbol math) ; Informative Category
1647     (bidi-category      . "ON")
1648     (mirrored           . t)
1649     (=ucs               . #x226A)       ; ≪
1650     ))
1651 (define-char
1652   '((<-denotational
1653      ((name               . "MUCH LESS-THAN")
1654       (=ucs               . #x226A)     ; ≪
1655       ))
1656     (=jis-x0208@1983    . #x2263)       ; &J90-2263; [02-67]
1657     (=ks-x1001          . #x216C)       ; &I-K0-216C; [01-76]
1658     (=jis-x0208@1990    . #x2263)       ; &I-J90-2263; [02-67]
1659     (=jis-x0213-1       . #x2263)       ; &I-JX1-2263; [02-67]
1660     (=jef-china3        . #x7FE3)       ; &I-JC3-7FE3;
1661     (=ucs@jis           . #x226A)       ; &J90-2263;
1662     (=ucs@ks            . #x226A)       ; &J90-2263;
1663     (<-fullwidth
1664      ((name               . "MUCH LESS-THAN")
1665       (=ucs               . #x226A)     ; ≪
1666       ))
1667     ))
1668 (define-char
1669   '((name               . "MUCH GREATER-THAN")
1670     (general-category   symbol math) ; Informative Category
1671     (bidi-category      . "ON")
1672     (mirrored           . t)
1673     (=ucs               . #x226B)       ; ≫
1674     ))
1675 (define-char
1676   '((<-denotational
1677      ((name               . "MUCH GREATER-THAN")
1678       (=ucs               . #x226B)     ; ≫
1679       ))
1680     (=jis-x0208@1983    . #x2264)       ; &J90-2264; [02-68]
1681     (=ks-x1001          . #x216D)       ; &I-K0-216D; [01-77]
1682     (=jis-x0208@1990    . #x2264)       ; &I-J90-2264; [02-68]
1683     (=jis-x0213-1       . #x2264)       ; &I-JX1-2264; [02-68]
1684     (=jef-china3        . #x7FE4)       ; &I-JC3-7FE4;
1685     (=ucs@jis           . #x226B)       ; &J90-2264;
1686     (=ucs@ks            . #x226B)       ; &J90-2264;
1687     (<-fullwidth
1688      ((name               . "MUCH GREATER-THAN")
1689       (=ucs               . #x226B)     ; ≫
1690       ))
1691     ))
1692 (define-char
1693   '((name               . "BETWEEN")
1694     (general-category   symbol math) ; Informative Category
1695     (bidi-category      . "ON")
1696     (mirrored           . nil)
1697     (=ucs               . #x226C)       ; ≬
1698     ))
1699 (define-char
1700   '((name               . "NOT EQUIVALENT TO")
1701     (general-category   symbol math) ; Informative Category
1702     (bidi-category      . "ON")
1703     (mirrored           . nil)
1704     (=decomposition
1705      ((name               . "EQUIVALENT TO")
1706       (=ucs               . #x224D)     ; ≍
1707       )
1708      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1709       (=ucs               . #x0338)     ; ̸
1710       ))
1711     (=ucs               . #x226D)       ; ≭
1712     ))
1713 (define-char
1714   '((name               . "NOT LESS-THAN")
1715     (general-category   symbol math) ; Informative Category
1716     (bidi-category      . "ON")
1717     (mirrored           . t)
1718     (=decomposition
1719      ((name               . "LESS-THAN SIGN")
1720       (=ucs               . #x003C)     ; <
1721       )
1722      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1723       (=ucs               . #x0338)     ; ̸
1724       ))
1725     (=ucs               . #x226E)       ; ≮
1726     ))
1727 (define-char
1728   '((<-denotational
1729      ((name               . "NOT LESS-THAN")
1730       (=ucs               . #x226E)     ; ≮
1731       ))
1732     (=decomposition
1733      ((name               . "FULLWIDTH LESS-THAN SIGN")
1734       (=ucs               . #xFF1C)     ; ＜
1735       )
1736      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1737       (=ucs               . #x0338)     ; ̸
1738       ))
1739     (=gb2312            . #x215A)       ; &G0-215A; [01-58]
1740     (=ucs@gb            . #x226E)       ; &G0-215A;
1741     (<-fullwidth
1742      ((name               . "NOT LESS-THAN")
1743       (=ucs               . #x226E)     ; ≮
1744       ))
1745     ))
1746 (define-char
1747   '((name               . "NOT GREATER-THAN")
1748     (general-category   symbol math) ; Informative Category
1749     (bidi-category      . "ON")
1750     (mirrored           . t)
1751     (=decomposition
1752      ((name               . "GREATER-THAN SIGN")
1753       (=ucs               . #x003E)     ; >
1754       )
1755      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1756       (=ucs               . #x0338)     ; ̸
1757       ))
1758     (=ucs               . #x226F)       ; ≯
1759     ))
1760 (define-char
1761   '((<-denotational
1762      ((name               . "NOT GREATER-THAN")
1763       (=ucs               . #x226F)     ; ≯
1764       ))
1765     (=decomposition
1766      ((name               . "FULLWIDTH GREATER-THAN SIGN")
1767       (=ucs               . #xFF1E)     ; ＞
1768       )
1769      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1770       (=ucs               . #x0338)     ; ̸
1771       ))
1772     (=gb2312            . #x215B)       ; &G0-215B; [01-59]
1773     (=ucs@gb            . #x226F)       ; &G0-215B;
1774     (<-fullwidth
1775      ((name               . "NOT GREATER-THAN")
1776       (=ucs               . #x226F)     ; ≯
1777       ))
1778     ))
1779 (define-char
1780   '((name               . "NEITHER LESS-THAN NOR EQUAL TO")
1781     (general-category   symbol math) ; Informative Category
1782     (bidi-category      . "ON")
1783     (mirrored           . t)
1784     (=decomposition
1785      ((name               . "LESS-THAN OR EQUAL TO")
1786       (=ucs               . #x2264)     ; ≤
1787       )
1788      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1789       (=ucs               . #x0338)     ; ̸
1790       ))
1791     (=ucs               . #x2270)       ; ≰
1792     ))
1793 (define-char
1794   '((name               . "NEITHER GREATER-THAN NOR EQUAL TO")
1795     (general-category   symbol math) ; Informative Category
1796     (bidi-category      . "ON")
1797     (mirrored           . t)
1798     (=decomposition
1799      ((name               . "GREATER-THAN OR EQUAL TO")
1800       (=ucs               . #x2265)     ; ≥
1801       )
1802      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1803       (=ucs               . #x0338)     ; ̸
1804       ))
1805     (=ucs               . #x2271)       ; ≱
1806     ))
1807 (define-char
1808   '((name               . "LESS-THAN OR EQUIVALENT TO")
1809     (general-category   symbol math) ; Informative Category
1810     (bidi-category      . "ON")
1811     (mirrored           . t)
1812     (=ucs               . #x2272)       ; ≲
1813     ))
1814 (define-char
1815   '((name               . "GREATER-THAN OR EQUIVALENT TO")
1816     (general-category   symbol math) ; Informative Category
1817     (bidi-category      . "ON")
1818     (mirrored           . t)
1819     (=ucs               . #x2273)       ; ≳
1820     ))
1821 (define-char
1822   '((name               . "NEITHER LESS-THAN NOR EQUIVALENT TO")
1823     (general-category   symbol math) ; Informative Category
1824     (bidi-category      . "ON")
1825     (mirrored           . t)
1826     (=decomposition
1827      ((name               . "LESS-THAN OR EQUIVALENT TO")
1828       (=ucs               . #x2272)     ; ≲
1829       )
1830      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1831       (=ucs               . #x0338)     ; ̸
1832       ))
1833     (=ucs               . #x2274)       ; ≴
1834     ))
1835 (define-char
1836   '((name               . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
1837     (general-category   symbol math) ; Informative Category
1838     (bidi-category      . "ON")
1839     (mirrored           . t)
1840     (=decomposition
1841      ((name               . "GREATER-THAN OR EQUIVALENT TO")
1842       (=ucs               . #x2273)     ; ≳
1843       )
1844      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1845       (=ucs               . #x0338)     ; ̸
1846       ))
1847     (=ucs               . #x2275)       ; ≵
1848     ))
1849 (define-char
1850   '((name               . "LESS-THAN OR GREATER-THAN")
1851     (general-category   symbol math) ; Informative Category
1852     (bidi-category      . "ON")
1853     (mirrored           . t)
1854     (=ucs               . #x2276)       ; ≶
1855     ))
1856 (define-char
1857   '((<-denotational
1858      ((name               . "LESS-THAN OR GREATER-THAN")
1859       (=ucs               . #x2276)     ; ≶
1860       ))
1861     (=jis-x0213-1       . #x226F)       ; &JX1-226F; [02-79]
1862     (=ucs@jis           . #x2276)       ; &JX1-226F;
1863     (<-fullwidth
1864      ((name               . "LESS-THAN OR GREATER-THAN")
1865       (=ucs               . #x2276)     ; ≶
1866       ))
1867     ))
1868 (define-char
1869   '((name               . "GREATER-THAN OR LESS-THAN")
1870     (general-category   symbol math) ; Informative Category
1871     (bidi-category      . "ON")
1872     (mirrored           . t)
1873     (=ucs               . #x2277)       ; ≷
1874     ))
1875 (define-char
1876   '((<-denotational
1877      ((name               . "GREATER-THAN OR LESS-THAN")
1878       (=ucs               . #x2277)     ; ≷
1879       ))
1880     (=jis-x0213-1       . #x2270)       ; &JX1-2270; [02-80]
1881     (=ucs@jis           . #x2277)       ; &JX1-2270;
1882     (<-fullwidth
1883      ((name               . "GREATER-THAN OR LESS-THAN")
1884       (=ucs               . #x2277)     ; ≷
1885       ))
1886     ))
1887 (define-char
1888   '((name               . "NEITHER LESS-THAN NOR GREATER-THAN")
1889     (general-category   symbol math) ; Informative Category
1890     (bidi-category      . "ON")
1891     (mirrored           . t)
1892     (=decomposition
1893      ((name               . "LESS-THAN OR GREATER-THAN")
1894       (=ucs               . #x2276)     ; ≶
1895       )
1896      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1897       (=ucs               . #x0338)     ; ̸
1898       ))
1899     (=ucs               . #x2278)       ; ≸
1900     ))
1901 (define-char
1902   '((name               . "NEITHER GREATER-THAN NOR LESS-THAN")
1903     (general-category   symbol math) ; Informative Category
1904     (bidi-category      . "ON")
1905     (mirrored           . t)
1906     (=decomposition
1907      ((name               . "GREATER-THAN OR LESS-THAN")
1908       (=ucs               . #x2277)     ; ≷
1909       )
1910      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1911       (=ucs               . #x0338)     ; ̸
1912       ))
1913     (=ucs               . #x2279)       ; ≹
1914     ))
1915 (define-char
1916   '((name               . "PRECEDES")
1917     (general-category   symbol math) ; Informative Category
1918     (bidi-category      . "ON")
1919     (mirrored           . t)
1920     (=ucs               . #x227A)       ; ≺
1921     ))
1922 (define-char
1923   '((name               . "SUCCEEDS")
1924     (general-category   symbol math) ; Informative Category
1925     (bidi-category      . "ON")
1926     (mirrored           . t)
1927     (=ucs               . #x227B)       ; ≻
1928     ))
1929 (define-char
1930   '((name               . "PRECEDES OR EQUAL TO")
1931     (general-category   symbol math) ; Informative Category
1932     (bidi-category      . "ON")
1933     (mirrored           . t)
1934     (=ucs               . #x227C)       ; ≼
1935     ))
1936 (define-char
1937   '((name               . "SUCCEEDS OR EQUAL TO")
1938     (general-category   symbol math) ; Informative Category
1939     (bidi-category      . "ON")
1940     (mirrored           . t)
1941     (=ucs               . #x227D)       ; ≽
1942     ))
1943 (define-char
1944   '((name               . "PRECEDES OR EQUIVALENT TO")
1945     (general-category   symbol math) ; Informative Category
1946     (bidi-category      . "ON")
1947     (mirrored           . t)
1948     (=ucs               . #x227E)       ; ≾
1949     ))
1950 (define-char
1951   '((name               . "SUCCEEDS OR EQUIVALENT TO")
1952     (general-category   symbol math) ; Informative Category
1953     (bidi-category      . "ON")
1954     (mirrored           . t)
1955     (=ucs               . #x227F)       ; ≿
1956     ))
1957 (define-char
1958   '((name               . "DOES NOT PRECEDE")
1959     (general-category   symbol math) ; Informative Category
1960     (bidi-category      . "ON")
1961     (mirrored           . t)
1962     (=decomposition
1963      ((name               . "PRECEDES")
1964       (=ucs               . #x227A)     ; ≺
1965       )
1966      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1967       (=ucs               . #x0338)     ; ̸
1968       ))
1969     (=ucs               . #x2280)       ; ⊀
1970     ))
1971 (define-char
1972   '((name               . "DOES NOT SUCCEED")
1973     (general-category   symbol math) ; Informative Category
1974     (bidi-category      . "ON")
1975     (mirrored           . t)
1976     (=decomposition
1977      ((name               . "SUCCEEDS")
1978       (=ucs               . #x227B)     ; ≻
1979       )
1980      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1981       (=ucs               . #x0338)     ; ̸
1982       ))
1983     (=ucs               . #x2281)       ; ⊁
1984     ))
1985 (define-char
1986   '((name               . "SUBSET OF")
1987     (general-category   symbol math) ; Informative Category
1988     (bidi-category      . "ON")
1989     (mirrored           . t)
1990     (=ucs               . #x2282)       ; ⊂
1991     ))
1992 (define-char
1993   '((<-denotational
1994      ((name               . "SUBSET OF")
1995       (=ucs               . #x2282)     ; ⊂
1996       ))
1997     (=jis-x0208@1983    . #x223E)       ; &J90-223E; [02-30]
1998     (=ks-x1001          . #x2178)       ; &I-K0-2178; [01-88]
1999     (=jis-x0208@1990    . #x223E)       ; &I-J90-223E; [02-30]
2000     (=jis-x0213-1       . #x223E)       ; &I-JX1-223E; [02-30]
2001     (=jef-china3        . #x7FD4)       ; &I-JC3-7FD4;
2002     (=ucs@jis           . #x2282)       ; &J90-223E;
2003     (=ucs@ks            . #x2282)       ; &J90-223E;
2004     (<-fullwidth
2005      ((name               . "SUBSET OF")
2006       (=ucs               . #x2282)     ; ⊂
2007       ))
2008     ))
2009 (define-char
2010   '((name               . "SUPERSET OF")
2011     (general-category   symbol math) ; Informative Category
2012     (bidi-category      . "ON")
2013     (mirrored           . t)
2014     (=ucs               . #x2283)       ; ⊃
2015     ))
2016 (define-char
2017   '((<-denotational
2018      ((name               . "SUPERSET OF")
2019       (=ucs               . #x2283)     ; ⊃
2020       ))
2021     (=jis-x0208@1983    . #x223F)       ; &J90-223F; [02-31]
2022     (=ks-x1001          . #x2179)       ; &I-K0-2179; [01-89]
2023     (=jis-x0208@1990    . #x223F)       ; &I-J90-223F; [02-31]
2024     (=jis-x0213-1       . #x223F)       ; &I-JX1-223F; [02-31]
2025     (=jef-china3        . #x7FD5)       ; &I-JC3-7FD5;
2026     (=ucs@jis           . #x2283)       ; &J90-223F;
2027     (=ucs@ks            . #x2283)       ; &J90-223F;
2028     (<-fullwidth
2029      ((name               . "SUPERSET OF")
2030       (=ucs               . #x2283)     ; ⊃
2031       ))
2032     ))
2033 (define-char
2034   '((name               . "NOT A SUBSET OF")
2035     (general-category   symbol math) ; Informative Category
2036     (bidi-category      . "ON")
2037     (mirrored           . t)
2038     (=decomposition
2039      ((name               . "SUBSET OF")
2040       (=ucs               . #x2282)     ; ⊂
2041       )
2042      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2043       (=ucs               . #x0338)     ; ̸
2044       ))
2045     (=ucs               . #x2284)       ; ⊄
2046     ))
2047 (define-char
2048   '((<-denotational
2049      ((name               . "NOT A SUBSET OF")
2050       (=ucs               . #x2284)     ; ⊄
2051       ))
2052     (=jis-x0213-1       . #x2242)       ; &JX1-2242; [02-34]
2053     (=ucs@jis           . #x2284)       ; &JX1-2242;
2054     (<-fullwidth
2055      ((name               . "NOT A SUBSET OF")
2056       (=ucs               . #x2284)     ; ⊄
2057       ))
2058     ))
2059 (define-char
2060   '((name               . "NOT A SUPERSET OF")
2061     (general-category   symbol math) ; Informative Category
2062     (bidi-category      . "ON")
2063     (mirrored           . t)
2064     (=decomposition
2065      ((name               . "SUPERSET OF")
2066       (=ucs               . #x2283)     ; ⊃
2067       )
2068      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2069       (=ucs               . #x0338)     ; ̸
2070       ))
2071     (=ucs               . #x2285)       ; ⊅
2072     ))
2073 (define-char
2074   '((<-denotational
2075      ((name               . "NOT A SUPERSET OF")
2076       (=ucs               . #x2285)     ; ⊅
2077       ))
2078     (=jis-x0213-1       . #x2243)       ; &JX1-2243; [02-35]
2079     (=ucs@jis           . #x2285)       ; &JX1-2243;
2080     (<-fullwidth
2081      ((name               . "NOT A SUPERSET OF")
2082       (=ucs               . #x2285)     ; ⊅
2083       ))
2084     ))
2085 (define-char
2086   '((name               . "SUBSET OF OR EQUAL TO")
2087     (general-category   symbol math) ; Informative Category
2088     (bidi-category      . "ON")
2089     (mirrored           . t)
2090     (=ucs               . #x2286)       ; ⊆
2091     ))
2092 (define-char
2093   '((<-denotational
2094      ((name               . "SUBSET OF OR EQUAL TO")
2095       (=ucs               . #x2286)     ; ⊆
2096       ))
2097     (=jis-x0208@1983    . #x223C)       ; &J90-223C; [02-28]
2098     (=ks-x1001          . #x2176)       ; &I-K0-2176; [01-86]
2099     (=jis-x0208@1990    . #x223C)       ; &I-J90-223C; [02-28]
2100     (=jis-x0213-1       . #x223C)       ; &I-JX1-223C; [02-28]
2101     (=jef-china3        . #x7FD2)       ; &I-JC3-7FD2;
2102     (=ucs@jis           . #x2286)       ; &J90-223C;
2103     (=ucs@ks            . #x2286)       ; &J90-223C;
2104     (<-fullwidth
2105      ((name               . "SUBSET OF OR EQUAL TO")
2106       (=ucs               . #x2286)     ; ⊆
2107       ))
2108     ))
2109 (define-char
2110   '((name               . "SUPERSET OF OR EQUAL TO")
2111     (general-category   symbol math) ; Informative Category
2112     (bidi-category      . "ON")
2113     (mirrored           . t)
2114     (=ucs               . #x2287)       ; ⊇
2115     ))
2116 (define-char
2117   '((<-denotational
2118      ((name               . "SUPERSET OF OR EQUAL TO")
2119       (=ucs               . #x2287)     ; ⊇
2120       ))
2121     (=jis-x0208@1983    . #x223D)       ; &J90-223D; [02-29]
2122     (=ks-x1001          . #x2177)       ; &I-K0-2177; [01-87]
2123     (=jis-x0208@1990    . #x223D)       ; &I-J90-223D; [02-29]
2124     (=jis-x0213-1       . #x223D)       ; &I-JX1-223D; [02-29]
2125     (=jef-china3        . #x7FD3)       ; &I-JC3-7FD3;
2126     (=ucs@jis           . #x2287)       ; &J90-223D;
2127     (=ucs@ks            . #x2287)       ; &J90-223D;
2128     (<-fullwidth
2129      ((name               . "SUPERSET OF OR EQUAL TO")
2130       (=ucs               . #x2287)     ; ⊇
2131       ))
2132     ))
2133 (define-char
2134   '((name               . "NEITHER A SUBSET OF NOR EQUAL TO")
2135     (general-category   symbol math) ; Informative Category
2136     (bidi-category      . "ON")
2137     (mirrored           . t)
2138     (=decomposition
2139      ((name               . "SUBSET OF OR EQUAL TO")
2140       (=ucs               . #x2286)     ; ⊆
2141       )
2142      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2143       (=ucs               . #x0338)     ; ̸
2144       ))
2145     (=ucs               . #x2288)       ; ⊈
2146     ))
2147 (define-char
2148   '((name               . "NEITHER A SUPERSET OF NOR EQUAL TO")
2149     (general-category   symbol math) ; Informative Category
2150     (bidi-category      . "ON")
2151     (mirrored           . t)
2152     (=decomposition
2153      ((name               . "SUPERSET OF OR EQUAL TO")
2154       (=ucs               . #x2287)     ; ⊇
2155       )
2156      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2157       (=ucs               . #x0338)     ; ̸
2158       ))
2159     (=ucs               . #x2289)       ; ⊉
2160     ))
2161 (define-char
2162   '((name               . "SUBSET OF WITH NOT EQUAL TO")
2163     (general-category   symbol math) ; Informative Category
2164     (bidi-category      . "ON")
2165     (mirrored           . t)
2166     (=ucs               . #x228A)       ; ⊊
2167     ))
2168 (define-char
2169   '((<-denotational
2170      ((name               . "SUBSET OF WITH NOT EQUAL TO")
2171       (=ucs               . #x228A)     ; ⊊
2172       ))
2173     (=jis-x0213-1       . #x2244)       ; &JX1-2244; [02-36]
2174     (=ucs@jis           . #x228A)       ; &JX1-2244;
2175     (<-fullwidth
2176      ((name               . "SUBSET OF WITH NOT EQUAL TO")
2177       (=ucs               . #x228A)     ; ⊊
2178       ))
2179     ))
2180 (define-char
2181   '((name               . "SUPERSET OF WITH NOT EQUAL TO")
2182     (general-category   symbol math) ; Informative Category
2183     (bidi-category      . "ON")
2184     (mirrored           . t)
2185     (=ucs               . #x228B)       ; ⊋
2186     ))
2187 (define-char
2188   '((<-denotational
2189      ((name               . "SUPERSET OF WITH NOT EQUAL TO")
2190       (=ucs               . #x228B)     ; ⊋
2191       ))
2192     (=jis-x0213-1       . #x2245)       ; &JX1-2245; [02-37]
2193     (=ucs@jis           . #x228B)       ; &JX1-2245;
2194     (<-fullwidth
2195      ((name               . "SUPERSET OF WITH NOT EQUAL TO")
2196       (=ucs               . #x228B)     ; ⊋
2197       ))
2198     ))
2199 (define-char
2200   '((name               . "MULTISET")
2201     (general-category   symbol math) ; Informative Category
2202     (bidi-category      . "ON")
2203     (mirrored           . t)
2204     (=ucs               . #x228C)       ; ⊌
2205     ))
2206 (define-char
2207   '((name               . "MULTISET MULTIPLICATION")
2208     (general-category   symbol math) ; Informative Category
2209     (bidi-category      . "ON")
2210     (mirrored           . nil)
2211     (=ucs               . #x228D)       ; ⊍
2212     ))
2213 (define-char
2214   '((name               . "MULTISET UNION")
2215     (general-category   symbol math) ; Informative Category
2216     (bidi-category      . "ON")
2217     (mirrored           . nil)
2218     (=ucs               . #x228E)       ; ⊎
2219     ))
2220 (define-char
2221   '((name               . "SQUARE IMAGE OF")
2222     (general-category   symbol math) ; Informative Category
2223     (bidi-category      . "ON")
2224     (mirrored           . t)
2225     (=ucs               . #x228F)       ; ⊏
2226     ))
2227 (define-char
2228   '((name               . "SQUARE ORIGINAL OF")
2229     (general-category   symbol math) ; Informative Category
2230     (bidi-category      . "ON")
2231     (mirrored           . t)
2232     (=ucs               . #x2290)       ; ⊐
2233     ))
2234 (define-char
2235   '((name               . "SQUARE IMAGE OF OR EQUAL TO")
2236     (general-category   symbol math) ; Informative Category
2237     (bidi-category      . "ON")
2238     (mirrored           . t)
2239     (=ucs               . #x2291)       ; ⊑
2240     ))
2241 (define-char
2242   '((name               . "SQUARE ORIGINAL OF OR EQUAL TO")
2243     (general-category   symbol math) ; Informative Category
2244     (bidi-category      . "ON")
2245     (mirrored           . t)
2246     (=ucs               . #x2292)       ; ⊒
2247     ))
2248 (define-char
2249   '((name               . "SQUARE CAP")
2250     (general-category   symbol math) ; Informative Category
2251     (bidi-category      . "ON")
2252     (mirrored           . nil)
2253     (=ucs               . #x2293)       ; ⊓
2254     ))
2255 (define-char
2256   '((name               . "SQUARE CUP")
2257     (general-category   symbol math) ; Informative Category
2258     (bidi-category      . "ON")
2259     (mirrored           . nil)
2260     (=ucs               . #x2294)       ; ⊔
2261     ))
2262 (define-char
2263   '((name               . "CIRCLED PLUS")
2264     (general-category   symbol math) ; Informative Category
2265     (bidi-category      . "ON")
2266     (mirrored           . nil)
2267     (=ucs               . #x2295)       ; ⊕
2268     ))
2269 (define-char
2270   '((<-denotational
2271      ((name               . "CIRCLED PLUS")
2272       (=ucs               . #x2295)     ; ⊕
2273       ))
2274     (=cns11643-1        . #x2253)       ; &JX1-2251; [02-51]
2275     (=jis-x0213-1       . #x2251)       ; &I-JX1-2251; [02-49]
2276     (=big5              . #xA1F2)       ; &I-B-A1F2;
2277     (=ucs@cns           . #x2295)       ; &JX1-2251;
2278     (=ucs@jis           . #x2295)       ; &JX1-2251;
2279     (=ucs@big5          . #x2295)       ; &JX1-2251;
2280     (<-fullwidth
2281      ((name               . "CIRCLED PLUS")
2282       (=ucs               . #x2295)     ; ⊕
2283       ))
2284     ))
2285 (define-char
2286   '((name               . "CIRCLED MINUS")
2287     (general-category   symbol math) ; Informative Category
2288     (bidi-category      . "ON")
2289     (mirrored           . nil)
2290     (=ucs               . #x2296)       ; ⊖
2291     ))
2292 (define-char
2293   '((<-denotational
2294      ((name               . "CIRCLED MINUS")
2295       (=ucs               . #x2296)     ; ⊖
2296       ))
2297     (=jis-x0213-1       . #x2252)       ; &JX1-2252; [02-50]
2298     (=ucs@jis           . #x2296)       ; &JX1-2252;
2299     (<-fullwidth
2300      ((name               . "CIRCLED MINUS")
2301       (=ucs               . #x2296)     ; ⊖
2302       ))
2303     ))
2304 (define-char
2305   '((name               . "CIRCLED TIMES")
2306     (general-category   symbol math) ; Informative Category
2307     (bidi-category      . "ON")
2308     (mirrored           . nil)
2309     (=ucs               . #x2297)       ; ⊗
2310     ))
2311 (define-char
2312   '((<-denotational
2313      ((name               . "CIRCLED TIMES")
2314       (=ucs               . #x2297)     ; ⊗
2315       ))
2316     (=jis-x0213-1       . #x2253)       ; &JX1-2253; [02-51]
2317     (=ucs@jis           . #x2297)       ; &JX1-2253;
2318     (<-fullwidth
2319      ((name               . "CIRCLED TIMES")
2320       (=ucs               . #x2297)     ; ⊗
2321       ))
2322     ))
2323 (define-char
2324   '((name               . "CIRCLED DIVISION SLASH")
2325     (general-category   symbol math) ; Informative Category
2326     (bidi-category      . "ON")
2327     (mirrored           . t)
2328     (=ucs               . #x2298)       ; ⊘
2329     ))
2330 (define-char
2331   '((name               . "CIRCLED DOT OPERATOR")
2332     (general-category   symbol math) ; Informative Category
2333     (bidi-category      . "ON")
2334     (mirrored           . nil)
2335     (=ucs               . #x2299)       ; ⊙
2336     ))
2337 (define-char
2338   '((<-denotational
2339      ((name               . "CIRCLED DOT OPERATOR")
2340       (=ucs               . #x2299)     ; ⊙
2341       ))
2342     (=gb2312            . #x2151)       ; &C1-2254; [01-49]
2343     (=ks-x1001          . #x2241)       ; &I-K0-2241; [02-33]
2344     (=cns11643-1        . #x2254)       ; &I-C1-2254; [02-52]
2345     (=big5              . #xA1F3)       ; &I-B-A1F3;
2346     (=ucs@gb            . #x2299)       ; &C1-2254;
2347     (=ucs@cns           . #x2299)       ; &C1-2254;
2348     (=ucs@ks            . #x2299)       ; &C1-2254;
2349     (=ucs@big5          . #x2299)       ; &C1-2254;
2350     (<-fullwidth
2351      ((name               . "CIRCLED DOT OPERATOR")
2352       (=ucs               . #x2299)     ; ⊙
2353       ))
2354     ))
2355 (define-char
2356   '((name               . "CIRCLED RING OPERATOR")
2357     (general-category   symbol math) ; Informative Category
2358     (bidi-category      . "ON")
2359     (mirrored           . nil)
2360     (=ucs               . #x229A)       ; ⊚
2361     ))
2362 (define-char
2363   '((name               . "CIRCLED ASTERISK OPERATOR")
2364     (general-category   symbol math) ; Informative Category
2365     (bidi-category      . "ON")
2366     (mirrored           . nil)
2367     (=ucs               . #x229B)       ; ⊛
2368     ))
2369 (define-char
2370   '((name               . "CIRCLED EQUALS")
2371     (general-category   symbol math) ; Informative Category
2372     (bidi-category      . "ON")
2373     (mirrored           . nil)
2374     (=ucs               . #x229C)       ; ⊜
2375     ))
2376 (define-char
2377   '((name               . "CIRCLED DASH")
2378     (general-category   symbol math) ; Informative Category
2379     (bidi-category      . "ON")
2380     (mirrored           . nil)
2381     (=ucs               . #x229D)       ; ⊝
2382     ))
2383 (define-char
2384   '((name               . "SQUARED PLUS")
2385     (general-category   symbol math) ; Informative Category
2386     (bidi-category      . "ON")
2387     (mirrored           . nil)
2388     (=ucs               . #x229E)       ; ⊞
2389     ))
2390 (define-char
2391   '((name               . "SQUARED MINUS")
2392     (general-category   symbol math) ; Informative Category
2393     (bidi-category      . "ON")
2394     (mirrored           . nil)
2395     (=ucs               . #x229F)       ; ⊟
2396     ))
2397 (define-char
2398   '((name               . "SQUARED TIMES")
2399     (general-category   symbol math) ; Informative Category
2400     (bidi-category      . "ON")
2401     (mirrored           . nil)
2402     (=ucs               . #x22A0)       ; ⊠
2403     ))
2404 (define-char
2405   '((name               . "SQUARED DOT OPERATOR")
2406     (general-category   symbol math) ; Informative Category
2407     (bidi-category      . "ON")
2408     (mirrored           . nil)
2409     (=ucs               . #x22A1)       ; ⊡
2410     ))
2411 (define-char
2412   '((name               . "RIGHT TACK")
2413     (general-category   symbol math) ; Informative Category
2414     (bidi-category      . "ON")
2415     (mirrored           . t)
2416     (=ucs               . #x22A2)       ; ⊢
2417     ))
2418 (define-char
2419   '((name               . "LEFT TACK")
2420     (general-category   symbol math) ; Informative Category
2421     (bidi-category      . "ON")
2422     (mirrored           . t)
2423     (=ucs               . #x22A3)       ; ⊣
2424     ))
2425 (define-char
2426   '((name               . "DOWN TACK")
2427     (general-category   symbol math) ; Informative Category
2428     (bidi-category      . "ON")
2429     (mirrored           . nil)
2430     (=ucs               . #x22A4)       ; ⊤
2431     ))
2432 (define-char
2433   '((name               . "UP TACK")
2434     (general-category   symbol math) ; Informative Category
2435     (bidi-category      . "ON")
2436     (mirrored           . nil)
2437     (=ucs               . #x22A5)       ; ⊥
2438     ))
2439 (define-char
2440   '((<-denotational
2441      ((name               . "UP TACK")
2442       (=ucs               . #x22A5)     ; ⊥
2443       ))
2444     (=gb2312            . #x214D)       ; &J90-225D; [01-45]
2445     (=jis-x0208@1983    . #x225D)       ; &I-J83-225D; [02-61]
2446     (=ks-x1001          . #x2151)       ; &I-K0-2151; [01-49]
2447     (=jis-x0208@1990    . #x225D)       ; &I-J90-225D; [02-61]
2448     (=cns11643-1        . #x2247)       ; &I-C1-2247; [02-39]
2449     (=jis-x0213-1       . #x225D)       ; &I-JX1-225D; [02-61]
2450     (=big5              . #xA1E6)       ; &I-B-A1E6;
2451     (=ucs@gb            . #x22A5)       ; &J90-225D;
2452     (=ucs@cns           . #x22A5)       ; &J90-225D;
2453     (=ucs@jis           . #x22A5)       ; &J90-225D;
2454     (=ucs@ks            . #x22A5)       ; &J90-225D;
2455     (=ucs@big5          . #x22A5)       ; &J90-225D;
2456     (<-fullwidth
2457      ((name               . "UP TACK")
2458       (=ucs               . #x22A5)     ; ⊥
2459       ))
2460     ))
2461 (define-char
2462   '((name               . "ASSERTION")
2463     (general-category   symbol math) ; Informative Category
2464     (bidi-category      . "ON")
2465     (mirrored           . t)
2466     (=ucs               . #x22A6)       ; ⊦
2467     ))
2468 (define-char
2469   '((name               . "MODELS")
2470     (general-category   symbol math) ; Informative Category
2471     (bidi-category      . "ON")
2472     (mirrored           . t)
2473     (=ucs               . #x22A7)       ; ⊧
2474     ))
2475 (define-char
2476   '((name               . "TRUE")
2477     (general-category   symbol math) ; Informative Category
2478     (bidi-category      . "ON")
2479     (mirrored           . t)
2480     (=ucs               . #x22A8)       ; ⊨
2481     ))
2482 (define-char
2483   '((name               . "FORCES")
2484     (general-category   symbol math) ; Informative Category
2485     (bidi-category      . "ON")
2486     (mirrored           . t)
2487     (=ucs               . #x22A9)       ; ⊩
2488     ))
2489 (define-char
2490   '((name               . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
2491     (general-category   symbol math) ; Informative Category
2492     (bidi-category      . "ON")
2493     (mirrored           . t)
2494     (=ucs               . #x22AA)       ; ⊪
2495     ))
2496 (define-char
2497   '((name               . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2498     (general-category   symbol math) ; Informative Category
2499     (bidi-category      . "ON")
2500     (mirrored           . t)
2501     (=ucs               . #x22AB)       ; ⊫
2502     ))
2503 (define-char
2504   '((name               . "DOES NOT PROVE")
2505     (general-category   symbol math) ; Informative Category
2506     (bidi-category      . "ON")
2507     (mirrored           . t)
2508     (=decomposition
2509      ((name               . "RIGHT TACK")
2510       (=ucs               . #x22A2)     ; ⊢
2511       )
2512      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2513       (=ucs               . #x0338)     ; ̸
2514       ))
2515     (=ucs               . #x22AC)       ; ⊬
2516     ))
2517 (define-char
2518   '((name               . "NOT TRUE")
2519     (general-category   symbol math) ; Informative Category
2520     (bidi-category      . "ON")
2521     (mirrored           . t)
2522     (=decomposition
2523      ((name               . "TRUE")
2524       (=ucs               . #x22A8)     ; ⊨
2525       )
2526      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2527       (=ucs               . #x0338)     ; ̸
2528       ))
2529     (=ucs               . #x22AD)       ; ⊭
2530     ))
2531 (define-char
2532   '((name               . "DOES NOT FORCE")
2533     (general-category   symbol math) ; Informative Category
2534     (bidi-category      . "ON")
2535     (mirrored           . t)
2536     (=decomposition
2537      ((name               . "FORCES")
2538       (=ucs               . #x22A9)     ; ⊩
2539       )
2540      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2541       (=ucs               . #x0338)     ; ̸
2542       ))
2543     (=ucs               . #x22AE)       ; ⊮
2544     ))
2545 (define-char
2546   '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2547     (general-category   symbol math) ; Informative Category
2548     (bidi-category      . "ON")
2549     (mirrored           . t)
2550     (=decomposition
2551      ((name               . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
2552       (=ucs               . #x22AB)     ; ⊫
2553       )
2554      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2555       (=ucs               . #x0338)     ; ̸
2556       ))
2557     (=ucs               . #x22AF)       ; ⊯
2558     ))
2559 (define-char
2560   '((name               . "PRECEDES UNDER RELATION")
2561     (general-category   symbol math) ; Informative Category
2562     (bidi-category      . "ON")
2563     (mirrored           . t)
2564     (=ucs               . #x22B0)       ; ⊰
2565     ))
2566 (define-char
2567   '((name               . "SUCCEEDS UNDER RELATION")
2568     (general-category   symbol math) ; Informative Category
2569     (bidi-category      . "ON")
2570     (mirrored           . t)
2571     (=ucs               . #x22B1)       ; ⊱
2572     ))
2573 (define-char
2574   '((name               . "NORMAL SUBGROUP OF")
2575     (general-category   symbol math) ; Informative Category
2576     (bidi-category      . "ON")
2577     (mirrored           . t)
2578     (=ucs               . #x22B2)       ; ⊲
2579     ))
2580 (define-char
2581   '((name               . "CONTAINS AS NORMAL SUBGROUP")
2582     (general-category   symbol math) ; Informative Category
2583     (bidi-category      . "ON")
2584     (mirrored           . t)
2585     (=ucs               . #x22B3)       ; ⊳
2586     ))
2587 (define-char
2588   '((name               . "NORMAL SUBGROUP OF OR EQUAL TO")
2589     (general-category   symbol math) ; Informative Category
2590     (bidi-category      . "ON")
2591     (mirrored           . t)
2592     (=ucs               . #x22B4)       ; ⊴
2593     ))
2594 (define-char
2595   '((name               . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
2596     (general-category   symbol math) ; Informative Category
2597     (bidi-category      . "ON")
2598     (mirrored           . t)
2599     (=ucs               . #x22B5)       ; ⊵
2600     ))
2601 (define-char
2602   '((name               . "ORIGINAL OF")
2603     (general-category   symbol math) ; Informative Category
2604     (bidi-category      . "ON")
2605     (mirrored           . t)
2606     (=ucs               . #x22B6)       ; ⊶
2607     ))
2608 (define-char
2609   '((name               . "IMAGE OF")
2610     (general-category   symbol math) ; Informative Category
2611     (bidi-category      . "ON")
2612     (mirrored           . t)
2613     (=ucs               . #x22B7)       ; ⊷
2614     ))
2615 (define-char
2616   '((name               . "MULTIMAP")
2617     (general-category   symbol math) ; Informative Category
2618     (bidi-category      . "ON")
2619     (mirrored           . t)
2620     (=ucs               . #x22B8)       ; ⊸
2621     ))
2622 (define-char
2623   '((name               . "HERMITIAN CONJUGATE MATRIX")
2624     (general-category   symbol math) ; Informative Category
2625     (bidi-category      . "ON")
2626     (mirrored           . nil)
2627     (=ucs               . #x22B9)       ; ⊹
2628     ))
2629 (define-char
2630   '((name               . "INTERCALATE")
2631     (general-category   symbol math) ; Informative Category
2632     (bidi-category      . "ON")
2633     (mirrored           . nil)
2634     (=ucs               . #x22BA)       ; ⊺
2635     ))
2636 (define-char
2637   '((name               . "XOR")
2638     (general-category   symbol math) ; Informative Category
2639     (bidi-category      . "ON")
2640     (mirrored           . nil)
2641     (=ucs               . #x22BB)       ; ⊻
2642     ))
2643 (define-char
2644   '((name               . "NAND")
2645     (general-category   symbol math) ; Informative Category
2646     (bidi-category      . "ON")
2647     (mirrored           . nil)
2648     (=ucs               . #x22BC)       ; ⊼
2649     ))
2650 (define-char
2651   '((name               . "NOR")
2652     (general-category   symbol math) ; Informative Category
2653     (bidi-category      . "ON")
2654     (mirrored           . nil)
2655     (=ucs               . #x22BD)       ; ⊽
2656     ))
2657 (define-char
2658   '((name               . "RIGHT ANGLE WITH ARC")
2659     (general-category   symbol math) ; Informative Category
2660     (bidi-category      . "ON")
2661     (mirrored           . t)
2662     (=ucs               . #x22BE)       ; ⊾
2663     ))
2664 (define-char
2665   '((name               . "RIGHT TRIANGLE")
2666     (general-category   symbol math) ; Informative Category
2667     (bidi-category      . "ON")
2668     (mirrored           . t)
2669     (=ucs               . #x22BF)       ; ⊿
2670     ))
2671 (define-char
2672   '((<-denotational
2673      ((name               . "RIGHT TRIANGLE")
2674       (=ucs               . #x22BF)     ; ⊿
2675       ))
2676     (=cns11643-1        . #x224A)       ; &JX1-2D79; [02-42]
2677     (=jis-x0213-1       . #x2D79)       ; &I-JX1-2D79; [13-89]
2678     (=big5              . #xA1E9)       ; &I-B-A1E9;
2679     (=ucs@cns           . #x22BF)       ; &JX1-2D79;
2680     (=ucs@jis           . #x22BF)       ; &JX1-2D79;
2681     (=ucs@big5          . #x22BF)       ; &JX1-2D79;
2682     (<-fullwidth
2683      ((name               . "RIGHT TRIANGLE")
2684       (=ucs               . #x22BF)     ; ⊿
2685       ))
2686     ))
2687 (define-char
2688   '((name               . "N-ARY LOGICAL AND")
2689     (general-category   symbol math) ; Informative Category
2690     (bidi-category      . "ON")
2691     (mirrored           . nil)
2692     (=ucs               . #x22C0)       ; ⋀
2693     ))
2694 (define-char
2695   '((name               . "N-ARY LOGICAL OR")
2696     (general-category   symbol math) ; Informative Category
2697     (bidi-category      . "ON")
2698     (mirrored           . nil)
2699     (=ucs               . #x22C1)       ; ⋁
2700     ))
2701 (define-char
2702   '((name               . "N-ARY INTERSECTION")
2703     (general-category   symbol math) ; Informative Category
2704     (bidi-category      . "ON")
2705     (mirrored           . nil)
2706     (=ucs               . #x22C2)       ; ⋂
2707     ))
2708 (define-char
2709   '((name               . "N-ARY UNION")
2710     (general-category   symbol math) ; Informative Category
2711     (bidi-category      . "ON")
2712     (mirrored           . nil)
2713     (=ucs               . #x22C3)       ; ⋃
2714     ))
2715 (define-char
2716   '((name               . "DIAMOND OPERATOR")
2717     (general-category   symbol math) ; Informative Category
2718     (bidi-category      . "ON")
2719     (mirrored           . nil)
2720     (=ucs               . #x22C4)       ; ⋄
2721     ))
2722 (define-char
2723   '((name               . "DOT OPERATOR")
2724     (general-category   symbol math) ; Informative Category
2725     (bidi-category      . "ON")
2726     (mirrored           . nil)
2727     (=ucs               . #x22C5)       ; ⋅
2728     ))
2729 (define-char
2730   '((name               . "STAR OPERATOR")
2731     (general-category   symbol math) ; Informative Category
2732     (bidi-category      . "ON")
2733     (mirrored           . nil)
2734     (=ucs               . #x22C6)       ; ⋆
2735     ))
2736 (define-char
2737   '((name               . "DIVISION TIMES")
2738     (general-category   symbol math) ; Informative Category
2739     (bidi-category      . "ON")
2740     (mirrored           . nil)
2741     (=ucs               . #x22C7)       ; ⋇
2742     ))
2743 (define-char
2744   '((name               . "BOWTIE")
2745     (general-category   symbol math) ; Informative Category
2746     (bidi-category      . "ON")
2747     (mirrored           . nil)
2748     (=ucs               . #x22C8)       ; ⋈
2749     ))
2750 (define-char
2751   '((name               . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
2752     (general-category   symbol math) ; Informative Category
2753     (bidi-category      . "ON")
2754     (mirrored           . t)
2755     (=ucs               . #x22C9)       ; ⋉
2756     ))
2757 (define-char
2758   '((name               . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
2759     (general-category   symbol math) ; Informative Category
2760     (bidi-category      . "ON")
2761     (mirrored           . t)
2762     (=ucs               . #x22CA)       ; ⋊
2763     ))
2764 (define-char
2765   '((name               . "LEFT SEMIDIRECT PRODUCT")
2766     (general-category   symbol math) ; Informative Category
2767     (bidi-category      . "ON")
2768     (mirrored           . t)
2769     (=ucs               . #x22CB)       ; ⋋
2770     ))
2771 (define-char
2772   '((name               . "RIGHT SEMIDIRECT PRODUCT")
2773     (general-category   symbol math) ; Informative Category
2774     (bidi-category      . "ON")
2775     (mirrored           . t)
2776     (=ucs               . #x22CC)       ; ⋌
2777     ))
2778 (define-char
2779   '((name               . "REVERSED TILDE EQUALS")
2780     (general-category   symbol math) ; Informative Category
2781     (bidi-category      . "ON")
2782     (mirrored           . t)
2783     (=ucs               . #x22CD)       ; ⋍
2784     ))
2785 (define-char
2786   '((name               . "CURLY LOGICAL OR")
2787     (general-category   symbol math) ; Informative Category
2788     (bidi-category      . "ON")
2789     (mirrored           . nil)
2790     (=ucs               . #x22CE)       ; ⋎
2791     ))
2792 (define-char
2793   '((name               . "CURLY LOGICAL AND")
2794     (general-category   symbol math) ; Informative Category
2795     (bidi-category      . "ON")
2796     (mirrored           . nil)
2797     (=ucs               . #x22CF)       ; ⋏
2798     ))
2799 (define-char
2800   '((name               . "DOUBLE SUBSET")
2801     (general-category   symbol math) ; Informative Category
2802     (bidi-category      . "ON")
2803     (mirrored           . t)
2804     (=ucs               . #x22D0)       ; ⋐
2805     ))
2806 (define-char
2807   '((name               . "DOUBLE SUPERSET")
2808     (general-category   symbol math) ; Informative Category
2809     (bidi-category      . "ON")
2810     (mirrored           . t)
2811     (=ucs               . #x22D1)       ; ⋑
2812     ))
2813 (define-char
2814   '((name               . "DOUBLE INTERSECTION")
2815     (general-category   symbol math) ; Informative Category
2816     (bidi-category      . "ON")
2817     (mirrored           . nil)
2818     (=ucs               . #x22D2)       ; ⋒
2819     ))
2820 (define-char
2821   '((name               . "DOUBLE UNION")
2822     (general-category   symbol math) ; Informative Category
2823     (bidi-category      . "ON")
2824     (mirrored           . nil)
2825     (=ucs               . #x22D3)       ; ⋓
2826     ))
2827 (define-char
2828   '((name               . "PITCHFORK")
2829     (general-category   symbol math) ; Informative Category
2830     (bidi-category      . "ON")
2831     (mirrored           . nil)
2832     (=ucs               . #x22D4)       ; ⋔
2833     ))
2834 (define-char
2835   '((name               . "EQUAL AND PARALLEL TO")
2836     (general-category   symbol math) ; Informative Category
2837     (bidi-category      . "ON")
2838     (mirrored           . nil)
2839     (=ucs               . #x22D5)       ; ⋕
2840     ))
2841 (define-char
2842   '((name               . "LESS-THAN WITH DOT")
2843     (general-category   symbol math) ; Informative Category
2844     (bidi-category      . "ON")
2845     (mirrored           . t)
2846     (=ucs               . #x22D6)       ; ⋖
2847     ))
2848 (define-char
2849   '((name               . "GREATER-THAN WITH DOT")
2850     (general-category   symbol math) ; Informative Category
2851     (bidi-category      . "ON")
2852     (mirrored           . t)
2853     (=ucs               . #x22D7)       ; ⋗
2854     ))
2855 (define-char
2856   '((name               . "VERY MUCH LESS-THAN")
2857     (general-category   symbol math) ; Informative Category
2858     (bidi-category      . "ON")
2859     (mirrored           . t)
2860     (=ucs               . #x22D8)       ; ⋘
2861     ))
2862 (define-char
2863   '((name               . "VERY MUCH GREATER-THAN")
2864     (general-category   symbol math) ; Informative Category
2865     (bidi-category      . "ON")
2866     (mirrored           . t)
2867     (=ucs               . #x22D9)       ; ⋙
2868     ))
2869 (define-char
2870   '((name               . "LESS-THAN EQUAL TO OR GREATER-THAN")
2871     (general-category   symbol math) ; Informative Category
2872     (bidi-category      . "ON")
2873     (mirrored           . t)
2874     (=ucs               . #x22DA)       ; ⋚
2875     ))
2876 (define-char
2877   '((<-denotational
2878      ((name               . "LESS-THAN EQUAL TO OR GREATER-THAN")
2879       (=ucs               . #x22DA)     ; ⋚
2880       ))
2881     (=jis-x0213-1       . #x2776)       ; &JX1-2776; [07-86]
2882     (=ucs@jis           . #x22DA)       ; &JX1-2776;
2883     (<-fullwidth
2884      ((name               . "LESS-THAN EQUAL TO OR GREATER-THAN")
2885       (=ucs               . #x22DA)     ; ⋚
2886       ))
2887     ))
2888 (define-char
2889   '((name               . "GREATER-THAN EQUAL TO OR LESS-THAN")
2890     (general-category   symbol math) ; Informative Category
2891     (bidi-category      . "ON")
2892     (mirrored           . t)
2893     (=ucs               . #x22DB)       ; ⋛
2894     ))
2895 (define-char
2896   '((<-denotational
2897      ((name               . "GREATER-THAN EQUAL TO OR LESS-THAN")
2898       (=ucs               . #x22DB)     ; ⋛
2899       ))
2900     (=jis-x0213-1       . #x2777)       ; &JX1-2777; [07-87]
2901     (=ucs@jis           . #x22DB)       ; &JX1-2777;
2902     (<-fullwidth
2903      ((name               . "GREATER-THAN EQUAL TO OR LESS-THAN")
2904       (=ucs               . #x22DB)     ; ⋛
2905       ))
2906     ))
2907 (define-char
2908   '((name               . "EQUAL TO OR LESS-THAN")
2909     (general-category   symbol math) ; Informative Category
2910     (bidi-category      . "ON")
2911     (mirrored           . t)
2912     (=ucs               . #x22DC)       ; ⋜
2913     ))
2914 (define-char
2915   '((name               . "EQUAL TO OR GREATER-THAN")
2916     (general-category   symbol math) ; Informative Category
2917     (bidi-category      . "ON")
2918     (mirrored           . t)
2919     (=ucs               . #x22DD)       ; ⋝
2920     ))
2921 (define-char
2922   '((name               . "EQUAL TO OR PRECEDES")
2923     (general-category   symbol math) ; Informative Category
2924     (bidi-category      . "ON")
2925     (mirrored           . t)
2926     (=ucs               . #x22DE)       ; ⋞
2927     ))
2928 (define-char
2929   '((name               . "EQUAL TO OR SUCCEEDS")
2930     (general-category   symbol math) ; Informative Category
2931     (bidi-category      . "ON")
2932     (mirrored           . t)
2933     (=ucs               . #x22DF)       ; ⋟
2934     ))
2935 (define-char
2936   '((name               . "DOES NOT PRECEDE OR EQUAL")
2937     (general-category   symbol math) ; Informative Category
2938     (bidi-category      . "ON")
2939     (mirrored           . t)
2940     (=decomposition
2941      ((name               . "PRECEDES OR EQUAL TO")
2942       (=ucs               . #x227C)     ; ≼
2943       )
2944      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2945       (=ucs               . #x0338)     ; ̸
2946       ))
2947     (=ucs               . #x22E0)       ; ⋠
2948     ))
2949 (define-char
2950   '((name               . "DOES NOT SUCCEED OR EQUAL")
2951     (general-category   symbol math) ; Informative Category
2952     (bidi-category      . "ON")
2953     (mirrored           . t)
2954     (=decomposition
2955      ((name               . "SUCCEEDS OR EQUAL TO")
2956       (=ucs               . #x227D)     ; ≽
2957       )
2958      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2959       (=ucs               . #x0338)     ; ̸
2960       ))
2961     (=ucs               . #x22E1)       ; ⋡
2962     ))
2963 (define-char
2964   '((name               . "NOT SQUARE IMAGE OF OR EQUAL TO")
2965     (general-category   symbol math) ; Informative Category
2966     (bidi-category      . "ON")
2967     (mirrored           . t)
2968     (=decomposition
2969      ((name               . "SQUARE IMAGE OF OR EQUAL TO")
2970       (=ucs               . #x2291)     ; ⊑
2971       )
2972      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2973       (=ucs               . #x0338)     ; ̸
2974       ))
2975     (=ucs               . #x22E2)       ; ⋢
2976     ))
2977 (define-char
2978   '((name               . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
2979     (general-category   symbol math) ; Informative Category
2980     (bidi-category      . "ON")
2981     (mirrored           . t)
2982     (=decomposition
2983      ((name               . "SQUARE ORIGINAL OF OR EQUAL TO")
2984       (=ucs               . #x2292)     ; ⊒
2985       )
2986      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
2987       (=ucs               . #x0338)     ; ̸
2988       ))
2989     (=ucs               . #x22E3)       ; ⋣
2990     ))
2991 (define-char
2992   '((name               . "SQUARE IMAGE OF OR NOT EQUAL TO")
2993     (general-category   symbol math) ; Informative Category
2994     (bidi-category      . "ON")
2995     (mirrored           . t)
2996     (=ucs               . #x22E4)       ; ⋤
2997     ))
2998 (define-char
2999   '((name               . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
3000     (general-category   symbol math) ; Informative Category
3001     (bidi-category      . "ON")
3002     (mirrored           . t)
3003     (=ucs               . #x22E5)       ; ⋥
3004     ))
3005 (define-char
3006   '((name               . "LESS-THAN BUT NOT EQUIVALENT TO")
3007     (general-category   symbol math) ; Informative Category
3008     (bidi-category      . "ON")
3009     (mirrored           . t)
3010     (=ucs               . #x22E6)       ; ⋦
3011     ))
3012 (define-char
3013   '((name               . "GREATER-THAN BUT NOT EQUIVALENT TO")
3014     (general-category   symbol math) ; Informative Category
3015     (bidi-category      . "ON")
3016     (mirrored           . t)
3017     (=ucs               . #x22E7)       ; ⋧
3018     ))
3019 (define-char
3020   '((name               . "PRECEDES BUT NOT EQUIVALENT TO")
3021     (general-category   symbol math) ; Informative Category
3022     (bidi-category      . "ON")
3023     (mirrored           . t)
3024     (=ucs               . #x22E8)       ; ⋨
3025     ))
3026 (define-char
3027   '((name               . "SUCCEEDS BUT NOT EQUIVALENT TO")
3028     (general-category   symbol math) ; Informative Category
3029     (bidi-category      . "ON")
3030     (mirrored           . t)
3031     (=ucs               . #x22E9)       ; ⋩
3032     ))
3033 (define-char
3034   '((name               . "NOT NORMAL SUBGROUP OF")
3035     (general-category   symbol math) ; Informative Category
3036     (bidi-category      . "ON")
3037     (mirrored           . t)
3038     (=decomposition
3039      ((name               . "NORMAL SUBGROUP OF")
3040       (=ucs               . #x22B2)     ; ⊲
3041       )
3042      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
3043       (=ucs               . #x0338)     ; ̸
3044       ))
3045     (=ucs               . #x22EA)       ; ⋪
3046     ))
3047 (define-char
3048   '((name               . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
3049     (general-category   symbol math) ; Informative Category
3050     (bidi-category      . "ON")
3051     (mirrored           . t)
3052     (=decomposition
3053      ((name               . "CONTAINS AS NORMAL SUBGROUP")
3054       (=ucs               . #x22B3)     ; ⊳
3055       )
3056      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
3057       (=ucs               . #x0338)     ; ̸
3058       ))
3059     (=ucs               . #x22EB)       ; ⋫
3060     ))
3061 (define-char
3062   '((name               . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
3063     (general-category   symbol math) ; Informative Category
3064     (bidi-category      . "ON")
3065     (mirrored           . t)
3066     (=decomposition
3067      ((name               . "NORMAL SUBGROUP OF OR EQUAL TO")
3068       (=ucs               . #x22B4)     ; ⊴
3069       )
3070      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
3071       (=ucs               . #x0338)     ; ̸
3072       ))
3073     (=ucs               . #x22EC)       ; ⋬
3074     ))
3075 (define-char
3076   '((name               . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
3077     (general-category   symbol math) ; Informative Category
3078     (bidi-category      . "ON")
3079     (mirrored           . t)
3080     (=decomposition
3081      ((name               . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
3082       (=ucs               . #x22B5)     ; ⊵
3083       )
3084      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
3085       (=ucs               . #x0338)     ; ̸
3086       ))
3087     (=ucs               . #x22ED)       ; ⋭
3088     ))
3089 (define-char
3090   '((name               . "VERTICAL ELLIPSIS")
3091     (general-category   symbol math) ; Informative Category
3092     (bidi-category      . "ON")
3093     (mirrored           . nil)
3094     (=ucs               . #x22EE)       ; ⋮
3095     ))
3096 (define-char
3097   '((name               . "MIDLINE HORIZONTAL ELLIPSIS")
3098     (general-category   symbol math) ; Informative Category
3099     (bidi-category      . "ON")
3100     (mirrored           . nil)
3101     (=ucs               . #x22EF)       ; ⋯
3102     ))
3103 (define-char
3104   '((name               . "UP RIGHT DIAGONAL ELLIPSIS")
3105     (general-category   symbol math) ; Informative Category
3106     (bidi-category      . "ON")
3107     (mirrored           . t)
3108     (=ucs               . #x22F0)       ; ⋰
3109     ))
3110 (define-char
3111   '((name               . "DOWN RIGHT DIAGONAL ELLIPSIS")
3112     (general-category   symbol math) ; Informative Category
3113     (bidi-category      . "ON")
3114     (mirrored           . t)
3115     (=ucs               . #x22F1)       ; ⋱
3116     ))