lisp/utf-2000/u02200-Mathematical-Operators.el

   1 ;; -*- coding: utf-8-mcs-er -*-
   2 (define-char
   3   '((name               . "FOR ALL")
   4     (general-category   symbol math) ; Informative Category
   5     (bidi-category      . "ON")
   6     (mirrored           . nil)
   7     (=ucs               . #x2200)       ; ∀
   8     ))
   9 (define-char
  10   '((<-denotational
  11      ((name               . "FOR ALL")
  12       (=ucs               . #x2200)     ; ∀
  13       ))
  14     (=ucs@jis           . #x2200)       ; &J90-224F;
  15     (=ucs@ks            . #x2200)       ; &J90-224F;
  16     (=jis-x0208@1983    . #x224F)       ; &J90-224F; [02-47]
  17     (=ks-x1001          . #x2223)       ; &I-K0-2223; [02-03]
  18     (=jis-x0208@1990    . #x224F)       ; &I-J90-224F; [02-47]
  19     (=jis-x0213-1       . #x224F)       ; &I-JX1-224F; [02-47]
  20     (=jef-china3        . #x7FDC)       ; &I-JC3-7FDC;
  21     (<-fullwidth
  22      ((name               . "FOR ALL")
  23       (=ucs               . #x2200)     ; ∀
  24       ))
  25     ))
  26 (define-char
  27   '((name               . "COMPLEMENT")
  28     (general-category   symbol math) ; Informative Category
  29     (bidi-category      . "ON")
  30     (mirrored           . t)
  31     (=ucs               . #x2201)       ; ∁
  32     ))
  33 (define-char
  34   '((name               . "PARTIAL DIFFERENTIAL")
  35     (general-category   symbol math) ; Informative Category
  36     (bidi-category      . "ON")
  37     (mirrored           . t)
  38     (=ucs               . #x2202)       ; ∂
  39     ))
  40 (define-char
  41   '((<-denotational
  42      ((name               . "PARTIAL DIFFERENTIAL")
  43       (=ucs               . #x2202)     ; ∂
  44       ))
  45     (=ucs@jis           . #x2202)       ; &J90-225F;
  46     (=ucs@ks            . #x2202)       ; &J90-225F;
  47     (=jis-x0208@1983    . #x225F)       ; &J90-225F; [02-63]
  48     (=ks-x1001          . #x2153)       ; &I-K0-2153; [01-51]
  49     (=jis-x0208@1990    . #x225F)       ; &I-J90-225F; [02-63]
  50     (=jis-x0213-1       . #x225F)       ; &I-JX1-225F; [02-63]
  51     (=jef-china3        . #x7FE1)       ; &I-JC3-7FE1;
  52     (<-fullwidth
  53      ((name               . "PARTIAL DIFFERENTIAL")
  54       (=ucs               . #x2202)     ; ∂
  55       ))
  56     ))
  57 (define-char
  58   '((name               . "THERE EXISTS")
  59     (general-category   symbol math) ; Informative Category
  60     (bidi-category      . "ON")
  61     (mirrored           . t)
  62     (=ucs               . #x2203)       ; ∃
  63     ))
  64 (define-char
  65   '((<-denotational
  66      ((name               . "THERE EXISTS")
  67       (=ucs               . #x2203)     ; ∃
  68       ))
  69     (=ucs@jis           . #x2203)       ; &J90-2250;
  70     (=ucs@ks            . #x2203)       ; &J90-2250;
  71     (=jis-x0208@1983    . #x2250)       ; &J90-2250; [02-48]
  72     (=ks-x1001          . #x2224)       ; &I-K0-2224; [02-04]
  73     (=jis-x0208@1990    . #x2250)       ; &I-J90-2250; [02-48]
  74     (=jis-x0213-1       . #x2250)       ; &I-JX1-2250; [02-48]
  75     (=jef-china3        . #x7FDD)       ; &I-JC3-7FDD;
  76     (<-fullwidth
  77      ((name               . "THERE EXISTS")
  78       (=ucs               . #x2203)     ; ∃
  79       ))
  80     ))
  81 (define-char
  82   '((name               . "THERE DOES NOT EXIST")
  83     (general-category   symbol math) ; Informative Category
  84     (bidi-category      . "ON")
  85     (mirrored           . t)
  86     (=decomposition
  87      ((name               . "THERE EXISTS")
  88       (=ucs               . #x2203)     ; ∃
  89       )
  90      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
  91       (=ucs               . #x0338)     ; ̸
  92       ))
  93     (=ucs               . #x2204)       ; ∄
  94     ))
  95 (define-char
  96   '((name               . "EMPTY SET")
  97     (general-category   symbol math) ; Informative Category
  98     (bidi-category      . "ON")
  99     (mirrored           . nil)
 100     (=ucs               . #x2205)       ; ∅
 101     ))
 102 (define-char
 103   '((<-denotational
 104      ((name               . "EMPTY SET")
 105       (=ucs               . #x2205)     ; ∅
 106       ))
 107     (=ucs@jis           . #x2205)       ; &JX1-2247;
 108     (=jis-x0213-1       . #x2247)       ; &JX1-2247; [02-39]
 109     (<-fullwidth
 110      ((name               . "EMPTY SET")
 111       (=ucs               . #x2205)     ; ∅
 112       ))
 113     ))
 114 (define-char
 115   '((name               . "INCREMENT")
 116     (general-category   symbol math) ; Informative Category
 117     (bidi-category      . "ON")
 118     (mirrored           . nil)
 119     (=ucs               . #x2206)       ; ∆
 120     ))
 121 (define-char
 122   '((name               . "NABLA")
 123     (general-category   symbol math) ; Informative Category
 124     (bidi-category      . "ON")
 125     (mirrored           . nil)
 126     (=ucs               . #x2207)       ; ∇
 127     ))
 128 (define-char
 129   '((<-denotational
 130      ((name               . "NABLA")
 131       (=ucs               . #x2207)     ; ∇
 132       ))
 133     (=ucs@jis           . #x2207)       ; &J90-2260;
 134     (=ucs@ks            . #x2207)       ; &J90-2260;
 135     (=jis-x0208@1983    . #x2260)       ; &J90-2260; [02-64]
 136     (=ks-x1001          . #x2154)       ; &I-K0-2154; [01-52]
 137     (=jis-x0208@1990    . #x2260)       ; &I-J90-2260; [02-64]
 138     (=jis-x0213-1       . #x2260)       ; &I-JX1-2260; [02-64]
 139     (=jef-china3        . #x7FE2)       ; &I-JC3-7FE2;
 140     (<-fullwidth
 141      ((name               . "NABLA")
 142       (=ucs               . #x2207)     ; ∇
 143       ))
 144     ))
 145 (define-char
 146   '((name               . "ELEMENT OF")
 147     (general-category   symbol math) ; Informative Category
 148     (bidi-category      . "ON")
 149     (mirrored           . t)
 150     (=ucs               . #x2208)       ; ∈
 151     ))
 152 (define-char
 153   '((<-denotational
 154      ((name               . "ELEMENT OF")
 155       (=ucs               . #x2208)     ; ∈
 156       ))
 157     (=ucs@gb            . #x2208)       ; &J90-223A;
 158     (=ucs@jis           . #x2208)       ; &J90-223A;
 159     (=ucs@ks            . #x2208)       ; &J90-223A;
 160     (=gb2312            . #x214A)       ; &J90-223A; [01-42]
 161     (=jis-x0208@1983    . #x223A)       ; &I-J83-223A; [02-26]
 162     (=ks-x1001          . #x2174)       ; &I-K0-2174; [01-84]
 163     (=jis-x0208@1990    . #x223A)       ; &I-J90-223A; [02-26]
 164     (=jis-x0213-1       . #x223A)       ; &I-JX1-223A; [02-26]
 165     (=jef-china3        . #x7FD0)       ; &I-JC3-7FD0;
 166     (<-fullwidth
 167      ((name               . "ELEMENT OF")
 168       (=ucs               . #x2208)     ; ∈
 169       ))
 170     ))
 171 (define-char
 172   '((name               . "NOT AN ELEMENT OF")
 173     (general-category   symbol math) ; Informative Category
 174     (bidi-category      . "ON")
 175     (mirrored           . t)
 176     (=decomposition
 177      ((name               . "ELEMENT OF")
 178       (=ucs               . #x2208)     ; ∈
 179       )
 180      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
 181       (=ucs               . #x0338)     ; ̸
 182       ))
 183     (=ucs               . #x2209)       ; ∉
 184     ))
 185 (define-char
 186   '((<-denotational
 187      ((name               . "NOT AN ELEMENT OF")
 188       (=ucs               . #x2209)     ; ∉
 189       ))
 190     (=ucs@jis           . #x2209)       ; &JX1-2246;
 191     (=jis-x0213-1       . #x2246)       ; &JX1-2246; [02-38]
 192     (<-fullwidth
 193      ((name               . "NOT AN ELEMENT OF")
 194       (=ucs               . #x2209)     ; ∉
 195       ))
 196     ))
 197 (define-char
 198   '((name               . "SMALL ELEMENT OF")
 199     (general-category   symbol math) ; Informative Category
 200     (bidi-category      . "ON")
 201     (mirrored           . t)
 202     (=ucs               . #x220A)       ; ∊
 203     ))
 204 (define-char
 205   '((name               . "CONTAINS AS MEMBER")
 206     (general-category   symbol math) ; Informative Category
 207     (bidi-category      . "ON")
 208     (mirrored           . t)
 209     (=ucs               . #x220B)       ; ∋
 210     ))
 211 (define-char
 212   '((<-denotational
 213      ((name               . "CONTAINS AS MEMBER")
 214       (=ucs               . #x220B)     ; ∋
 215       ))
 216     (=ucs@jis           . #x220B)       ; &J90-223B;
 217     (=ucs@ks            . #x220B)       ; &J90-223B;
 218     (=jis-x0208@1983    . #x223B)       ; &J90-223B; [02-27]
 219     (=ks-x1001          . #x2175)       ; &I-K0-2175; [01-85]
 220     (=jis-x0208@1990    . #x223B)       ; &I-J90-223B; [02-27]
 221     (=jis-x0213-1       . #x223B)       ; &I-JX1-223B; [02-27]
 222     (=jef-china3        . #x7FD1)       ; &I-JC3-7FD1;
 223     (<-fullwidth
 224      ((name               . "CONTAINS AS MEMBER")
 225       (=ucs               . #x220B)     ; ∋
 226       ))
 227     ))
 228 (define-char
 229   '((name               . "DOES NOT CONTAIN AS MEMBER")
 230     (general-category   symbol math) ; Informative Category
 231     (bidi-category      . "ON")
 232     (mirrored           . t)
 233     (=decomposition
 234      ((name               . "CONTAINS AS MEMBER")
 235       (=ucs               . #x220B)     ; ∋
 236       )
 237      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
 238       (=ucs               . #x0338)     ; ̸
 239       ))
 240     (=ucs               . #x220C)       ; ∌
 241     ))
 242 (define-char
 243   '((name               . "SMALL CONTAINS AS MEMBER")
 244     (general-category   symbol math) ; Informative Category
 245     (bidi-category      . "ON")
 246     (mirrored           . t)
 247     (=ucs               . #x220D)       ; ∍
 248     ))
 249 (define-char
 250   '((name               . "END OF PROOF")
 251     (general-category   symbol math) ; Informative Category
 252     (bidi-category      . "ON")
 253     (mirrored           . nil)
 254     (=ucs               . #x220E)       ; ∎
 255     ))
 256 (define-char
 257   '((name               . "N-ARY PRODUCT")
 258     (general-category   symbol math) ; Informative Category
 259     (bidi-category      . "ON")
 260     (mirrored           . nil)
 261     (=ucs               . #x220F)       ; ∏
 262     ))
 263 (define-char
 264   '((<-denotational
 265      ((name               . "N-ARY PRODUCT")
 266       (=ucs               . #x220F)     ; ∏
 267       ))
 268     (=ucs@gb            . #x220F)       ; &G0-2147;
 269     (=ucs@ks            . #x220F)       ; &G0-2147;
 270     (=gb2312            . #x2147)       ; &G0-2147; [01-39]
 271     (=ks-x1001          . #x2233)       ; &I-K0-2233; [02-19]
 272     (<-fullwidth
 273      ((name               . "N-ARY PRODUCT")
 274       (=ucs               . #x220F)     ; ∏
 275       ))
 276     ))
 277 (define-char
 278   '((name               . "N-ARY COPRODUCT")
 279     (general-category   symbol math) ; Informative Category
 280     (bidi-category      . "ON")
 281     (mirrored           . nil)
 282     (=ucs               . #x2210)       ; ∐
 283     ))
 284 (define-char
 285   '((name               . "N-ARY SUMMATION")
 286     (general-category   symbol math) ; Informative Category
 287     (bidi-category      . "ON")
 288     (mirrored           . t)
 289     (=ucs               . #x2211)       ; ∑
 290     ))
 291 (define-char
 292   '((<-denotational
 293      ((name               . "N-ARY SUMMATION")
 294       (=ucs               . #x2211)     ; ∑
 295       ))
 296     (=ucs@gb            . #x2211)       ; &G0-2146;
 297     (=ucs@ks            . #x2211)       ; &G0-2146;
 298     (=gb2312            . #x2146)       ; &G0-2146; [01-38]
 299     (=ks-x1001          . #x2232)       ; &I-K0-2232; [02-18]
 300     (<-fullwidth
 301      ((name               . "N-ARY SUMMATION")
 302       (=ucs               . #x2211)     ; ∑
 303       ))
 304     ))
 305 (define-char
 306   '((name               . "MINUS SIGN")
 307     (general-category   symbol math) ; Informative Category
 308     (bidi-category      . "ET")
 309     (mirrored           . nil)
 310     (=ucs               . #x2212)       ; −
 311     ))
 312 (define-char
 313   '((<-denotational
 314      ((name               . "MINUS SIGN")
 315       (=ucs               . #x2212)     ; −
 316       ))
 317     (=ucs@jis           . #x2212)       ; &J90-215D;
 318     (=jis-x0208         . #x215D)       ; &J90-215D; [01-61]
 319     (=jis-x0213-1       . #x215D)       ; &I-JX1-215D; [01-61]
 320     (<-fullwidth
 321      ((name               . "MINUS SIGN")
 322       (=ucs               . #x2212)     ; −
 323       ))
 324     ))
 325 (define-char
 326   '((name               . "MINUS-OR-PLUS SIGN")
 327     (general-category   symbol math) ; Informative Category
 328     (bidi-category      . "ET")
 329     (mirrored           . nil)
 330     (=ucs               . #x2213)       ; ∓
 331     ))
 332 (define-char
 333   '((<-denotational
 334      ((name               . "MINUS-OR-PLUS SIGN")
 335       (=ucs               . #x2213)     ; ∓
 336       ))
 337     (=ucs@jis           . #x2213)       ; &JX1-235B;
 338     (=jis-x0213-1       . #x235B)       ; &JX1-235B; [03-59]
 339     (<-fullwidth
 340      ((name               . "MINUS-OR-PLUS SIGN")
 341       (=ucs               . #x2213)     ; ∓
 342       ))
 343     ))
 344 (define-char
 345   '((name               . "DOT PLUS")
 346     (general-category   symbol math) ; Informative Category
 347     (bidi-category      . "ON")
 348     (mirrored           . nil)
 349     (=ucs               . #x2214)       ; ∔
 350     ))
 351 (define-char
 352   '((name               . "DIVISION SLASH")
 353     (general-category   symbol math) ; Informative Category
 354     (bidi-category      . "ON")
 355     (mirrored           . t)
 356     (=ucs               . #x2215)       ; ∕
 357     ))
 358 (define-char
 359   '((<-denotational
 360      ((name               . "DIVISION SLASH")
 361       (=ucs               . #x2215)     ; ∕
 362       ))
 363     (=ucs@cns           . #x2215)       ; &C1-2261;
 364     (=ucs@big5          . #x2215)       ; &C1-2261;
 365     (=cns11643-1        . #x2261)       ; &C1-2261; [02-65]
 366     (=big5              . #xA241)       ; &I-B-A241;
 367     (<-fullwidth
 368      ((name               . "DIVISION SLASH")
 369       (=ucs               . #x2215)     ; ∕
 370       ))
 371     ))
 372 (define-char
 373   '((name               . "SET MINUS")
 374     (general-category   symbol math) ; Informative Category
 375     (bidi-category      . "ON")
 376     (mirrored           . t)
 377     (=ucs               . #x2216)       ; ∖
 378     ))
 379 (define-char
 380   '((name               . "ASTERISK OPERATOR")
 381     (general-category   symbol math) ; Informative Category
 382     (bidi-category      . "ON")
 383     (mirrored           . nil)
 384     (=ucs               . #x2217)       ; ∗
 385     ))
 386 (define-char
 387   '((name               . "RING OPERATOR")
 388     (general-category   symbol math) ; Informative Category
 389     (bidi-category      . "ON")
 390     (mirrored           . nil)
 391     (=ucs               . #x2218)       ; ∘
 392     ))
 393 (define-char
 394   '((name               . "BULLET OPERATOR")
 395     (general-category   symbol math) ; Informative Category
 396     (bidi-category      . "ON")
 397     (mirrored           . nil)
 398     (=ucs               . #x2219)       ; ∙
 399     ))
 400 (define-char
 401   '((name               . "SQUARE ROOT")
 402     (general-category   symbol math) ; Informative Category
 403     (bidi-category      . "ON")
 404     (mirrored           . t)
 405     (=ucs               . #x221A)       ; √
 406     ))
 407 (define-char
 408   '((<-denotational
 409      ((name               . "SQUARE ROOT")
 410       (=ucs               . #x221A)     ; √
 411       ))
 412     (=ucs@gb            . #x221A)       ; &J90-2265;
 413     (=ucs@cns           . #x221A)       ; &J90-2265;
 414     (=ucs@jis           . #x221A)       ; &J90-2265;
 415     (=ucs@ks            . #x221A)       ; &J90-2265;
 416     (=ucs@big5          . #x221A)       ; &J90-2265;
 417     (=gb2312            . #x214C)       ; &J90-2265; [01-44]
 418     (=jis-x0208@1983    . #x2265)       ; &I-J83-2265; [02-69]
 419     (=ks-x1001          . #x216E)       ; &I-K0-216E; [01-78]
 420     (=jis-x0208@1990    . #x2265)       ; &I-J90-2265; [02-69]
 421     (=cns11643-1        . #x2235)       ; &I-C1-2235; [02-21]
 422     (=jis-x0213-1       . #x2265)       ; &I-JX1-2265; [02-69]
 423     (=big5              . #xA1D4)       ; &I-B-A1D4;
 424     (<-fullwidth
 425      ((name               . "SQUARE ROOT")
 426       (=ucs               . #x221A)     ; √
 427       ))
 428     ))
 429 (define-char
 430   '((name               . "CUBE ROOT")
 431     (general-category   symbol math) ; Informative Category
 432     (bidi-category      . "ON")
 433     (mirrored           . t)
 434     (=ucs               . #x221B)       ; ∛
 435     ))
 436 (define-char
 437   '((name               . "FOURTH ROOT")
 438     (general-category   symbol math) ; Informative Category
 439     (bidi-category      . "ON")
 440     (mirrored           . t)
 441     (=ucs               . #x221C)       ; ∜
 442     ))
 443 (define-char
 444   '((name               . "PROPORTIONAL TO")
 445     (general-category   symbol math) ; Informative Category
 446     (bidi-category      . "ON")
 447     (mirrored           . t)
 448     (=ucs               . #x221D)       ; ∝
 449     ))
 450 (define-char
 451   '((<-denotational
 452      ((name               . "PROPORTIONAL TO")
 453       (=ucs               . #x221D)     ; ∝
 454       ))
 455     (=ucs@gb            . #x221D)       ; &J90-2267;
 456     (=ucs@jis           . #x221D)       ; &J90-2267;
 457     (=ucs@ks            . #x221D)       ; &J90-2267;
 458     (=gb2312            . #x2158)       ; &J90-2267; [01-56]
 459     (=jis-x0208@1983    . #x2267)       ; &I-J83-2267; [02-71]
 460     (=ks-x1001          . #x2170)       ; &I-K0-2170; [01-80]
 461     (=jis-x0208@1990    . #x2267)       ; &I-J90-2267; [02-71]
 462     (=jis-x0213-1       . #x2267)       ; &I-JX1-2267; [02-71]
 463     (=jef-china3        . #x7FE7)       ; &I-JC3-7FE7;
 464     (<-fullwidth
 465      ((name               . "PROPORTIONAL TO")
 466       (=ucs               . #x221D)     ; ∝
 467       ))
 468     ))
 469 (define-char
 470   '((name               . "INFINITY")
 471     (general-category   symbol math) ; Informative Category
 472     (bidi-category      . "ON")
 473     (mirrored           . nil)
 474     (=ucs               . #x221E)       ; ∞
 475     ))
 476 (define-char
 477   '((<-denotational
 478      ((name               . "INFINITY")
 479       (=ucs               . #x221E)     ; ∞
 480       ))
 481     (=ucs@gb            . #x221E)       ; &J90-2167;
 482     (=ucs@cns           . #x221E)       ; &J90-2167;
 483     (=ucs@jis           . #x221E)       ; &J90-2167;
 484     (=ucs@ks            . #x221E)       ; &J90-2167;
 485     (=ucs@big5          . #x221E)       ; &J90-2167;
 486     (=jis-x0208         . #x2167)       ; &J90-2167; [01-71]
 487     (=gb2312            . #x215E)       ; &I-G0-215E; [01-62]
 488     (=ks-x1001          . #x2144)       ; &I-K0-2144; [01-36]
 489     (=cns11643-1        . #x223C)       ; &I-C1-223C; [02-28]
 490     (=jis-x0213-1       . #x2167)       ; &I-JX1-2167; [01-71]
 491     (=big5              . #xA1DB)       ; &I-B-A1DB;
 492     (<-fullwidth
 493      ((name               . "INFINITY")
 494       (=ucs               . #x221E)     ; ∞
 495       ))
 496     ))
 497 (define-char
 498   '((name               . "RIGHT ANGLE")
 499     (general-category   symbol math) ; Informative Category
 500     (bidi-category      . "ON")
 501     (mirrored           . t)
 502     (=ucs               . #x221F)       ; ∟
 503     ))
 504 (define-char
 505   '((<-denotational
 506      ((name               . "RIGHT ANGLE")
 507       (=ucs               . #x221F)     ; ∟
 508       ))
 509     (=ucs@cns           . #x221F)       ; &JX1-2D78;
 510     (=ucs@jis           . #x221F)       ; &JX1-2D78;
 511     (=ucs@big5          . #x221F)       ; &JX1-2D78;
 512     (=cns11643-1        . #x2249)       ; &JX1-2D78; [02-41]
 513     (=jis-x0213-1       . #x2D78)       ; &I-JX1-2D78; [13-88]
 514     (=big5              . #xA1E8)       ; &I-B-A1E8;
 515     (<-fullwidth
 516      ((name               . "RIGHT ANGLE")
 517       (=ucs               . #x221F)     ; ∟
 518       ))
 519     ))
 520 (define-char
 521   '((name               . "ANGLE")
 522     (general-category   symbol math) ; Informative Category
 523     (bidi-category      . "ON")
 524     (mirrored           . t)
 525     (=ucs               . #x2220)       ; ∠
 526     ))
 527 (define-char
 528   '((<-denotational
 529      ((name               . "ANGLE")
 530       (=ucs               . #x2220)     ; ∠
 531       ))
 532     (=ucs@gb            . #x2220)       ; &J90-225C;
 533     (=ucs@cns           . #x2220)       ; &J90-225C;
 534     (=ucs@jis           . #x2220)       ; &J90-225C;
 535     (=ucs@ks            . #x2220)       ; &J90-225C;
 536     (=ucs@big5          . #x2220)       ; &J90-225C;
 537     (=gb2312            . #x214F)       ; &J90-225C; [01-47]
 538     (=jis-x0208@1983    . #x225C)       ; &I-J83-225C; [02-60]
 539     (=ks-x1001          . #x2150)       ; &I-K0-2150; [01-48]
 540     (=jis-x0208@1990    . #x225C)       ; &I-J90-225C; [02-60]
 541     (=cns11643-1        . #x2248)       ; &I-C1-2248; [02-40]
 542     (=jis-x0213-1       . #x225C)       ; &I-JX1-225C; [02-60]
 543     (=big5              . #xA1E7)       ; &I-B-A1E7;
 544     (=jef-china3        . #x7FDE)       ; &I-JC3-7FDE;
 545     (<-fullwidth
 546      ((name               . "ANGLE")
 547       (=ucs               . #x2220)     ; ∠
 548       ))
 549     ))
 550 (define-char
 551   '((name               . "MEASURED ANGLE")
 552     (general-category   symbol math) ; Informative Category
 553     (bidi-category      . "ON")
 554     (mirrored           . t)
 555     (=ucs               . #x2221)       ; ∡
 556     ))
 557 (define-char
 558   '((name               . "SPHERICAL ANGLE")
 559     (general-category   symbol math) ; Informative Category
 560     (bidi-category      . "ON")
 561     (mirrored           . t)
 562     (=ucs               . #x2222)       ; ∢
 563     ))
 564 (define-char
 565   '((name               . "DIVIDES")
 566     (general-category   symbol math) ; Informative Category
 567     (bidi-category      . "ON")
 568     (mirrored           . nil)
 569     (=ucs               . #x2223)       ; ∣
 570     ))
 571 (define-char
 572   '((<-denotational
 573      ((name               . "DIVIDES")
 574       (=ucs               . #x2223)     ; ∣
 575       ))
 576     (=ucs@big5          . #x2223)       ; &B-A1FD;
 577     (=big5              . #xA1FD)       ; &B-A1FD;
 578     (<-fullwidth
 579      ((name               . "DIVIDES")
 580       (=ucs               . #x2223)     ; ∣
 581       ))
 582     ))
 583 (define-char
 584   '((name               . "DOES NOT DIVIDE")
 585     (general-category   symbol math) ; Informative Category
 586     (bidi-category      . "ON")
 587     (mirrored           . t)
 588     (=decomposition
 589      ((name               . "DIVIDES")
 590       (=ucs               . #x2223)     ; ∣
 591       )
 592      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
 593       (=ucs               . #x0338)     ; ̸
 594       ))
 595     (=ucs               . #x2224)       ; ∤
 596     ))
 597 (define-char
 598   '((name               . "PARALLEL TO")
 599     (general-category   symbol math) ; Informative Category
 600     (bidi-category      . "ON")
 601     (mirrored           . nil)
 602     (=ucs               . #x2225)       ; ∥
 603     ))
 604 (define-char
 605   '((<-denotational
 606      ((name               . "PARALLEL TO")
 607       (=ucs               . #x2225)     ; ∥
 608       ))
 609     (=ucs@gb            . #x2225)       ; &JX1-2254;
 610     (=ucs@jis           . #x2225)       ; &JX1-2254;
 611     (=ucs@ks            . #x2225)       ; &JX1-2254;
 612     (=ucs@big5          . #x2225)       ; &JX1-2254;
 613     (=gb2312            . #x214E)       ; &JX1-2254; [01-46]
 614     (=ks-x1001          . #x212B)       ; &I-K0-212B; [01-11]
 615     (=jis-x0213-1       . #x2254)       ; &I-JX1-2254; [02-52]
 616     (=big5              . #xA1FC)       ; &I-B-A1FC;
 617     (<-fullwidth
 618      ((name               . "PARALLEL TO")
 619       (=ucs               . #x2225)     ; ∥
 620       ))
 621     ))
 622 (define-char
 623   '((name               . "NOT PARALLEL TO")
 624     (general-category   symbol math) ; Informative Category
 625     (bidi-category      . "ON")
 626     (mirrored           . t)
 627     (=decomposition
 628      ((name               . "PARALLEL TO")
 629       (=ucs               . #x2225)     ; ∥
 630       )
 631      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
 632       (=ucs               . #x0338)     ; ̸
 633       ))
 634     (=ucs               . #x2226)       ; ∦
 635     ))
 636 (define-char
 637   '((<-denotational
 638      ((name               . "NOT PARALLEL TO")
 639       (=ucs               . #x2226)     ; ∦
 640       ))
 641     (=ucs@jis           . #x2226)       ; &JX1-2255;
 642     (=jis-x0213-1       . #x2255)       ; &JX1-2255; [02-53]
 643     (<-fullwidth
 644      ((name               . "NOT PARALLEL TO")
 645       (=ucs               . #x2226)     ; ∦
 646       ))
 647     ))
 648 (define-char
 649   '((name               . "LOGICAL AND")
 650     (general-category   symbol math) ; Informative Category
 651     (bidi-category      . "ON")
 652     (mirrored           . nil)
 653     (=ucs               . #x2227)       ; ∧
 654     ))
 655 (define-char
 656   '((<-denotational
 657      ((name               . "LOGICAL AND")
 658       (=ucs               . #x2227)     ; ∧
 659       ))
 660     (=ucs@gb            . #x2227)       ; &J90-224A;
 661     (=ucs@jis           . #x2227)       ; &J90-224A;
 662     (=ucs@ks            . #x2227)       ; &J90-224A;
 663     (=gb2312            . #x2144)       ; &J90-224A; [01-36]
 664     (=jis-x0208@1983    . #x224A)       ; &I-J83-224A; [02-42]
 665     (=ks-x1001          . #x217C)       ; &I-K0-217C; [01-92]
 666     (=jis-x0208@1990    . #x224A)       ; &I-J90-224A; [02-42]
 667     (=jis-x0213-1       . #x224A)       ; &I-JX1-224A; [02-42]
 668     (=jef-china3        . #x7FD8)       ; &I-JC3-7FD8;
 669     (<-fullwidth
 670      ((name               . "LOGICAL AND")
 671       (=ucs               . #x2227)     ; ∧
 672       ))
 673     ))
 674 (define-char
 675   '((name               . "LOGICAL OR")
 676     (general-category   symbol math) ; Informative Category
 677     (bidi-category      . "ON")
 678     (mirrored           . nil)
 679     (=ucs               . #x2228)       ; ∨
 680     ))
 681 (define-char
 682   '((<-denotational
 683      ((name               . "LOGICAL OR")
 684       (=ucs               . #x2228)     ; ∨
 685       ))
 686     (=ucs@gb            . #x2228)       ; &J90-224B;
 687     (=ucs@jis           . #x2228)       ; &J90-224B;
 688     (=ucs@ks            . #x2228)       ; &J90-224B;
 689     (=gb2312            . #x2145)       ; &J90-224B; [01-37]
 690     (=jis-x0208@1983    . #x224B)       ; &I-J83-224B; [02-43]
 691     (=ks-x1001          . #x217D)       ; &I-K0-217D; [01-93]
 692     (=jis-x0208@1990    . #x224B)       ; &I-J90-224B; [02-43]
 693     (=jis-x0213-1       . #x224B)       ; &I-JX1-224B; [02-43]
 694     (=jef-china3        . #x7FD9)       ; &I-JC3-7FD9;
 695     (<-fullwidth
 696      ((name               . "LOGICAL OR")
 697       (=ucs               . #x2228)     ; ∨
 698       ))
 699     ))
 700 (define-char
 701   '((name               . "INTERSECTION")
 702     (general-category   symbol math) ; Informative Category
 703     (bidi-category      . "ON")
 704     (mirrored           . nil)
 705     (=ucs               . #x2229)       ; ∩
 706     ))
 707 (define-char
 708   '((<-denotational
 709      ((name               . "INTERSECTION")
 710       (=ucs               . #x2229)     ; ∩
 711       ))
 712     (=ucs@gb            . #x2229)       ; &J90-2241;
 713     (=ucs@cns           . #x2229)       ; &J90-2241;
 714     (=ucs@jis           . #x2229)       ; &J90-2241;
 715     (=ucs@ks            . #x2229)       ; &J90-2241;
 716     (=ucs@big5          . #x2229)       ; &J90-2241;
 717     (=gb2312            . #x2149)       ; &J90-2241; [01-41]
 718     (=jis-x0208@1983    . #x2241)       ; &I-J83-2241; [02-33]
 719     (=ks-x1001          . #x217B)       ; &I-K0-217B; [01-91]
 720     (=jis-x0208@1990    . #x2241)       ; &I-J90-2241; [02-33]
 721     (=cns11643-1        . #x2245)       ; &I-C1-2245; [02-37]
 722     (=jis-x0213-1       . #x2241)       ; &I-JX1-2241; [02-33]
 723     (=big5              . #xA1E4)       ; &I-B-A1E4;
 724     (=jef-china3        . #x7FD7)       ; &I-JC3-7FD7;
 725     (<-fullwidth
 726      ((name               . "INTERSECTION")
 727       (=ucs               . #x2229)     ; ∩
 728       ))
 729     ))
 730 (define-char
 731   '((name               . "UNION")
 732     (general-category   symbol math) ; Informative Category
 733     (bidi-category      . "ON")
 734     (mirrored           . nil)
 735     (=ucs               . #x222A)       ; ∪
 736     ))
 737 (define-char
 738   '((<-denotational
 739      ((name               . "UNION")
 740       (=ucs               . #x222A)     ; ∪
 741       ))
 742     (=ucs@gb            . #x222A)       ; &J90-2240;
 743     (=ucs@cns           . #x222A)       ; &J90-2240;
 744     (=ucs@jis           . #x222A)       ; &J90-2240;
 745     (=ucs@ks            . #x222A)       ; &J90-2240;
 746     (=ucs@big5          . #x222A)       ; &J90-2240;
 747     (=gb2312            . #x2148)       ; &J90-2240; [01-40]
 748     (=jis-x0208@1983    . #x2240)       ; &I-J83-2240; [02-32]
 749     (=ks-x1001          . #x217A)       ; &I-K0-217A; [01-90]
 750     (=jis-x0208@1990    . #x2240)       ; &I-J90-2240; [02-32]
 751     (=cns11643-1        . #x2246)       ; &I-C1-2246; [02-38]
 752     (=jis-x0213-1       . #x2240)       ; &I-JX1-2240; [02-32]
 753     (=big5              . #xA1E5)       ; &I-B-A1E5;
 754     (=jef-china3        . #x7FD6)       ; &I-JC3-7FD6;
 755     (<-fullwidth
 756      ((name               . "UNION")
 757       (=ucs               . #x222A)     ; ∪
 758       ))
 759     ))
 760 (define-char
 761   '((name               . "INTEGRAL")
 762     (general-category   symbol math) ; Informative Category
 763     (bidi-category      . "ON")
 764     (mirrored           . t)
 765     (=ucs               . #x222B)       ; ∫
 766     ))
 767 (define-char
 768   '((<-denotational
 769      ((name               . "INTEGRAL")
 770       (=ucs               . #x222B)     ; ∫
 771       ))
 772     (=ucs@gb            . #x222B)       ; &J90-2269;
 773     (=ucs@cns           . #x222B)       ; &J90-2269;
 774     (=ucs@jis           . #x222B)       ; &J90-2269;
 775     (=ucs@ks            . #x222B)       ; &J90-2269;
 776     (=ucs@big5          . #x222B)       ; &J90-2269;
 777     (=gb2312            . #x2152)       ; &J90-2269; [01-50]
 778     (=jis-x0208@1983    . #x2269)       ; &I-J83-2269; [02-73]
 779     (=ks-x1001          . #x2172)       ; &I-K0-2172; [01-82]
 780     (=jis-x0208@1990    . #x2269)       ; &I-J90-2269; [02-73]
 781     (=cns11643-1        . #x224D)       ; &I-C1-224D; [02-45]
 782     (=jis-x0213-1       . #x2269)       ; &I-JX1-2269; [02-73]
 783     (=big5              . #xA1EC)       ; &I-B-A1EC;
 784     (=jef-china3        . #x7FE8)       ; &I-JC3-7FE8;
 785     (<-fullwidth
 786      ((name               . "INTEGRAL")
 787       (=ucs               . #x222B)     ; ∫
 788       ))
 789     ))
 790 (define-char
 791   '((name               . "DOUBLE INTEGRAL")
 792     (general-category   symbol math) ; Informative Category
 793     (bidi-category      . "ON")
 794     (mirrored           . t)
 795     (=>decomposition@compat
 796      ((name               . "INTEGRAL")
 797       (=ucs               . #x222B)     ; ∫
 798       )
 799      ((name               . "INTEGRAL")
 800       (=ucs               . #x222B)     ; ∫
 801       ))
 802     (=ucs               . #x222C)       ; ∬
 803     ))
 804 (define-char
 805   '((<-denotational
 806      ((name               . "DOUBLE INTEGRAL")
 807       (=ucs               . #x222C)     ; ∬
 808       ))
 809     (=ucs@jis           . #x222C)       ; &J90-226A;
 810     (=ucs@ks            . #x222C)       ; &J90-226A;
 811     (=jis-x0208@1983    . #x226A)       ; &J90-226A; [02-74]
 812     (=ks-x1001          . #x2173)       ; &I-K0-2173; [01-83]
 813     (=jis-x0208@1990    . #x226A)       ; &I-J90-226A; [02-74]
 814     (=jis-x0213-1       . #x226A)       ; &I-JX1-226A; [02-74]
 815     (=jef-china3        . #x7FE9)       ; &I-JC3-7FE9;
 816     (<-fullwidth
 817      ((name               . "DOUBLE INTEGRAL")
 818       (=ucs               . #x222C)     ; ∬
 819       ))
 820     ))
 821 (define-char
 822   '((name               . "TRIPLE INTEGRAL")
 823     (general-category   symbol math) ; Informative Category
 824     (bidi-category      . "ON")
 825     (mirrored           . t)
 826     (=>decomposition@compat
 827      ((name               . "INTEGRAL")
 828       (=ucs               . #x222B)     ; ∫
 829       )
 830      ((name               . "INTEGRAL")
 831       (=ucs               . #x222B)     ; ∫
 832       )
 833      ((name               . "INTEGRAL")
 834       (=ucs               . #x222B)     ; ∫
 835       ))
 836     (=ucs               . #x222D)       ; ∭
 837     ))
 838 (define-char
 839   '((name               . "CONTOUR INTEGRAL")
 840     (general-category   symbol math) ; Informative Category
 841     (bidi-category      . "ON")
 842     (mirrored           . t)
 843     (=ucs               . #x222E)       ; ∮
 844     ))
 845 (define-char
 846   '((<-denotational
 847      ((name               . "CONTOUR INTEGRAL")
 848       (=ucs               . #x222E)     ; ∮
 849       ))
 850     (=ucs@gb            . #x222E)       ; &JX1-2D73;
 851     (=ucs@cns           . #x222E)       ; &JX1-2D73;
 852     (=ucs@jis           . #x222E)       ; &JX1-2D73;
 853     (=ucs@ks            . #x222E)       ; &JX1-2D73;
 854     (=ucs@big5          . #x222E)       ; &JX1-2D73;
 855     (=gb2312            . #x2153)       ; &JX1-2D73; [01-51]
 856     (=ks-x1001          . #x2231)       ; &I-K0-2231; [02-17]
 857     (=cns11643-1        . #x224E)       ; &I-C1-224E; [02-46]
 858     (=jis-x0213-1       . #x2D73)       ; &I-JX1-2D73; [13-83]
 859     (=big5              . #xA1ED)       ; &I-B-A1ED;
 860     (<-fullwidth
 861      ((name               . "CONTOUR INTEGRAL")
 862       (=ucs               . #x222E)     ; ∮
 863       ))
 864     ))
 865 (define-char
 866   '((name               . "SURFACE INTEGRAL")
 867     (general-category   symbol math) ; Informative Category
 868     (bidi-category      . "ON")
 869     (mirrored           . t)
 870     (=>decomposition@compat
 871      ((name               . "CONTOUR INTEGRAL")
 872       (=ucs               . #x222E)     ; ∮
 873       )
 874      ((name               . "CONTOUR INTEGRAL")
 875       (=ucs               . #x222E)     ; ∮
 876       ))
 877     (=ucs               . #x222F)       ; ∯
 878     ))
 879 (define-char
 880   '((name               . "VOLUME INTEGRAL")
 881     (general-category   symbol math) ; Informative Category
 882     (bidi-category      . "ON")
 883     (mirrored           . t)
 884     (=>decomposition@compat
 885      ((name               . "CONTOUR INTEGRAL")
 886       (=ucs               . #x222E)     ; ∮
 887       )
 888      ((name               . "CONTOUR INTEGRAL")
 889       (=ucs               . #x222E)     ; ∮
 890       )
 891      ((name               . "CONTOUR INTEGRAL")
 892       (=ucs               . #x222E)     ; ∮
 893       ))
 894     (=ucs               . #x2230)       ; ∰
 895     ))
 896 (define-char
 897   '((name               . "CLOCKWISE INTEGRAL")
 898     (general-category   symbol math) ; Informative Category
 899     (bidi-category      . "ON")
 900     (mirrored           . t)
 901     (=ucs               . #x2231)       ; ∱
 902     ))
 903 (define-char
 904   '((name               . "CLOCKWISE CONTOUR INTEGRAL")
 905     (general-category   symbol math) ; Informative Category
 906     (bidi-category      . "ON")
 907     (mirrored           . t)
 908     (=ucs               . #x2232)       ; ∲
 909     ))
 910 (define-char
 911   '((name               . "ANTICLOCKWISE CONTOUR INTEGRAL")
 912     (general-category   symbol math) ; Informative Category
 913     (bidi-category      . "ON")
 914     (mirrored           . t)
 915     (=ucs               . #x2233)       ; ∳
 916     ))
 917 (define-char
 918   '((name               . "THEREFORE")
 919     (general-category   symbol math) ; Informative Category
 920     (bidi-category      . "ON")
 921     (mirrored           . nil)
 922     (=ucs               . #x2234)       ; ∴
 923     ))
 924 (define-char
 925   '((<-denotational
 926      ((name               . "THEREFORE")
 927       (=ucs               . #x2234)     ; ∴
 928       ))
 929     (=ucs@gb            . #x2234)       ; &J90-2168;
 930     (=ucs@cns           . #x2234)       ; &J90-2168;
 931     (=ucs@jis           . #x2234)       ; &J90-2168;
 932     (=ucs@ks            . #x2234)       ; &J90-2168;
 933     (=ucs@big5          . #x2234)       ; &J90-2168;
 934     (=jis-x0208         . #x2168)       ; &J90-2168; [01-72]
 935     (=gb2312            . #x2160)       ; &I-G0-2160; [01-64]
 936     (=ks-x1001          . #x2145)       ; &I-K0-2145; [01-37]
 937     (=cns11643-1        . #x2250)       ; &I-C1-2250; [02-48]
 938     (=jis-x0213-1       . #x2168)       ; &I-JX1-2168; [01-72]
 939     (=big5              . #xA1EF)       ; &I-B-A1EF;
 940     (<-fullwidth
 941      ((name               . "THEREFORE")
 942       (=ucs               . #x2234)     ; ∴
 943       ))
 944     ))
 945 (define-char
 946   '((name               . "BECAUSE")
 947     (general-category   symbol math) ; Informative Category
 948     (bidi-category      . "ON")
 949     (mirrored           . nil)
 950     (=ucs               . #x2235)       ; ∵
 951     ))
 952 (define-char
 953   '((<-denotational
 954      ((name               . "BECAUSE")
 955       (=ucs               . #x2235)     ; ∵
 956       ))
 957     (=ucs@gb            . #x2235)       ; &J90-2268;
 958     (=ucs@cns           . #x2235)       ; &J90-2268;
 959     (=ucs@jis           . #x2235)       ; &J90-2268;
 960     (=ucs@ks            . #x2235)       ; &J90-2268;
 961     (=ucs@big5          . #x2235)       ; &J90-2268;
 962     (=gb2312            . #x215F)       ; &J90-2268; [01-63]
 963     (=jis-x0208@1983    . #x2268)       ; &I-J83-2268; [02-72]
 964     (=ks-x1001          . #x2171)       ; &I-K0-2171; [01-81]
 965     (=jis-x0208@1990    . #x2268)       ; &I-J90-2268; [02-72]
 966     (=cns11643-1        . #x224F)       ; &I-C1-224F; [02-47]
 967     (=jis-x0213-1       . #x2268)       ; &I-JX1-2268; [02-72]
 968     (=big5              . #xA1EE)       ; &I-B-A1EE;
 969     (<-fullwidth
 970      ((name               . "BECAUSE")
 971       (=ucs               . #x2235)     ; ∵
 972       ))
 973     ))
 974 (define-char
 975   '((name               . "RATIO")
 976     (general-category   symbol math) ; Informative Category
 977     (bidi-category      . "ON")
 978     (mirrored           . nil)
 979     (=ucs               . #x2236)       ; ∶
 980     ))
 981 (define-char
 982   '((<-denotational
 983      ((name               . "RATIO")
 984       (=ucs               . #x2236)     ; ∶
 985       ))
 986     (=ucs@gb            . #x2236)       ; &G0-2143;
 987     (=gb2312            . #x2143)       ; &G0-2143; [01-35]
 988     (<-fullwidth
 989      ((name               . "RATIO")
 990       (=ucs               . #x2236)     ; ∶
 991       ))
 992     ))
 993 (define-char
 994   '((name               . "PROPORTION")
 995     (general-category   symbol math) ; Informative Category
 996     (bidi-category      . "ON")
 997     (mirrored           . nil)
 998     (=ucs               . #x2237)       ; ∷
 999     ))
1000 (define-char
1001   '((<-denotational
1002      ((name               . "PROPORTION")
1003       (=ucs               . #x2237)     ; ∷
1004       ))
1005     (=ucs@gb            . #x2237)       ; &G0-214B;
1006     (=gb2312            . #x214B)       ; &G0-214B; [01-43]
1007     (<-fullwidth
1008      ((name               . "PROPORTION")
1009       (=ucs               . #x2237)     ; ∷
1010       ))
1011     ))
1012 (define-char
1013   '((name               . "DOT MINUS")
1014     (general-category   symbol math) ; Informative Category
1015     (bidi-category      . "ON")
1016     (mirrored           . nil)
1017     (=ucs               . #x2238)       ; ∸
1018     ))
1019 (define-char
1020   '((name               . "EXCESS")
1021     (general-category   symbol math) ; Informative Category
1022     (bidi-category      . "ON")
1023     (mirrored           . t)
1024     (=ucs               . #x2239)       ; ∹
1025     ))
1026 (define-char
1027   '((name               . "GEOMETRIC PROPORTION")
1028     (general-category   symbol math) ; Informative Category
1029     (bidi-category      . "ON")
1030     (mirrored           . nil)
1031     (=ucs               . #x223A)       ; ∺
1032     ))
1033 (define-char
1034   '((name               . "HOMOTHETIC")
1035     (general-category   symbol math) ; Informative Category
1036     (bidi-category      . "ON")
1037     (mirrored           . t)
1038     (=ucs               . #x223B)       ; ∻
1039     ))
1040 (define-char
1041   '((name               . "TILDE OPERATOR")
1042     (general-category   symbol math) ; Informative Category
1043     (bidi-category      . "ON")
1044     (mirrored           . t)
1045     (=ucs               . #x223C)       ; ∼
1046     ))
1047 (define-char
1048   '((<-denotational
1049      ((name               . "TILDE OPERATOR")
1050       (=ucs               . #x223C)     ; ∼
1051       ))
1052     (=ucs@ks            . #x223C)       ; &K0-212D;
1053     (=ks-x1001          . #x212D)       ; &K0-212D; [01-13]
1054     (<-fullwidth
1055      ((name               . "TILDE OPERATOR")
1056       (=ucs               . #x223C)     ; ∼
1057       ))
1058     ))
1059 (define-char
1060   '((name               . "REVERSED TILDE")
1061     (general-category   symbol math) ; Informative Category
1062     (bidi-category      . "ON")
1063     (mirrored           . t)
1064     (iso-10646-comment  . "lazy S")
1065     (=ucs               . #x223D)       ; ∽
1066     ))
1067 (define-char
1068   '((<-denotational
1069      ((name               . "REVERSED TILDE")
1070       (=ucs               . #x223D)     ; ∽
1071       ))
1072     (=ucs@gb            . #x223D)       ; &J90-2266;
1073     (=ucs@jis           . #x223D)       ; &J90-2266;
1074     (=ucs@ks            . #x223D)       ; &J90-2266;
1075     (=gb2312            . #x2157)       ; &J90-2266; [01-55]
1076     (=jis-x0208@1983    . #x2266)       ; &I-J83-2266; [02-70]
1077     (=ks-x1001          . #x216F)       ; &I-K0-216F; [01-79]
1078     (=jis-x0208@1990    . #x2266)       ; &I-J90-2266; [02-70]
1079     (=jis-x0213-1       . #x2266)       ; &I-JX1-2266; [02-70]
1080     (=jef-china3        . #x7FE6)       ; &I-JC3-7FE6;
1081     (<-fullwidth
1082      ((name               . "REVERSED TILDE")
1083       (=ucs               . #x223D)     ; ∽
1084       ))
1085     ))
1086 (define-char
1087   '((name               . "INVERTED LAZY S")
1088     (general-category   symbol math) ; Informative Category
1089     (bidi-category      . "ON")
1090     (mirrored           . t)
1091     (=ucs               . #x223E)       ; ∾
1092     ))
1093 (define-char
1094   '((name               . "SINE WAVE")
1095     (general-category   symbol math) ; Informative Category
1096     (bidi-category      . "ON")
1097     (mirrored           . t)
1098     (=ucs               . #x223F)       ; ∿
1099     ))
1100 (define-char
1101   '((name               . "WREATH PRODUCT")
1102     (general-category   symbol math) ; Informative Category
1103     (bidi-category      . "ON")
1104     (mirrored           . t)
1105     (=ucs               . #x2240)       ; ≀
1106     ))
1107 (define-char
1108   '((name               . "NOT TILDE")
1109     (general-category   symbol math) ; Informative Category
1110     (bidi-category      . "ON")
1111     (mirrored           . t)
1112     (=decomposition
1113      ((name               . "TILDE OPERATOR")
1114       (=ucs               . #x223C)     ; ∼
1115       )
1116      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1117       (=ucs               . #x0338)     ; ̸
1118       ))
1119     (=ucs               . #x2241)       ; ≁
1120     ))
1121 (define-char
1122   '((name               . "MINUS TILDE")
1123     (general-category   symbol math) ; Informative Category
1124     (bidi-category      . "ON")
1125     (mirrored           . t)
1126     (=ucs               . #x2242)       ; ≂
1127     ))
1128 (define-char
1129   '((name               . "ASYMPTOTICALLY EQUAL TO")
1130     (general-category   symbol math) ; Informative Category
1131     (bidi-category      . "ON")
1132     (mirrored           . t)
1133     (=ucs               . #x2243)       ; ≃
1134     ))
1135 (define-char
1136   '((<-denotational
1137      ((name               . "ASYMPTOTICALLY EQUAL TO")
1138       (=ucs               . #x2243)     ; ≃
1139       ))
1140     (=ucs@jis           . #x2243)       ; &JX1-226C;
1141     (=jis-x0213-1       . #x226C)       ; &JX1-226C; [02-76]
1142     (<-fullwidth
1143      ((name               . "ASYMPTOTICALLY EQUAL TO")
1144       (=ucs               . #x2243)     ; ≃
1145       ))
1146     ))
1147 (define-char
1148   '((name               . "NOT ASYMPTOTICALLY EQUAL TO")
1149     (general-category   symbol math) ; Informative Category
1150     (bidi-category      . "ON")
1151     (mirrored           . t)
1152     (=decomposition
1153      ((name               . "ASYMPTOTICALLY EQUAL TO")
1154       (=ucs               . #x2243)     ; ≃
1155       )
1156      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1157       (=ucs               . #x0338)     ; ̸
1158       ))
1159     (=ucs               . #x2244)       ; ≄
1160     ))
1161 (define-char
1162   '((name               . "APPROXIMATELY EQUAL TO")
1163     (general-category   symbol math) ; Informative Category
1164     (bidi-category      . "ON")
1165     (mirrored           . t)
1166     (=ucs               . #x2245)       ; ≅
1167     ))
1168 (define-char
1169   '((<-denotational
1170      ((name               . "APPROXIMATELY EQUAL TO")
1171       (=ucs               . #x2245)     ; ≅
1172       ))
1173     (=ucs@jis           . #x2245)       ; &JX1-226D;
1174     (=jis-x0213-1       . #x226D)       ; &JX1-226D; [02-77]
1175     (<-fullwidth
1176      ((name               . "APPROXIMATELY EQUAL TO")
1177       (=ucs               . #x2245)     ; ≅
1178       ))
1179     ))
1180 (define-char
1181   '((name               . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
1182     (general-category   symbol math) ; Informative Category
1183     (bidi-category      . "ON")
1184     (mirrored           . t)
1185     (=ucs               . #x2246)       ; ≆
1186     ))
1187 (define-char
1188   '((name               . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
1189     (general-category   symbol math) ; Informative Category
1190     (bidi-category      . "ON")
1191     (mirrored           . t)
1192     (=decomposition
1193      ((name               . "APPROXIMATELY EQUAL TO")
1194       (=ucs               . #x2245)     ; ≅
1195       )
1196      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1197       (=ucs               . #x0338)     ; ̸
1198       ))
1199     (=ucs               . #x2247)       ; ≇
1200     ))
1201 (define-char
1202   '((name               . "ALMOST EQUAL TO")
1203     (general-category   symbol math) ; Informative Category
1204     (bidi-category      . "ON")
1205     (mirrored           . t)
1206     (=ucs               . #x2248)       ; ≈
1207     ))
1208 (define-char
1209   '((<-denotational
1210      ((name               . "ALMOST EQUAL TO")
1211       (=ucs               . #x2248)     ; ≈
1212       ))
1213     (=ucs@gb            . #x2248)       ; &JX1-226E;
1214     (=ucs@jis           . #x2248)       ; &JX1-226E;
1215     (=gb2312            . #x2156)       ; &JX1-226E; [01-54]
1216     (=jis-x0213-1       . #x226E)       ; &I-JX1-226E; [02-78]
1217     (<-fullwidth
1218      ((name               . "ALMOST EQUAL TO")
1219       (=ucs               . #x2248)     ; ≈
1220       ))
1221     ))
1222 (define-char
1223   '((name               . "NOT ALMOST EQUAL TO")
1224     (general-category   symbol math) ; Informative Category
1225     (bidi-category      . "ON")
1226     (mirrored           . t)
1227     (=decomposition
1228      ((name               . "ALMOST EQUAL TO")
1229       (=ucs               . #x2248)     ; ≈
1230       )
1231      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1232       (=ucs               . #x0338)     ; ̸
1233       ))
1234     (=ucs               . #x2249)       ; ≉
1235     ))
1236 (define-char
1237   '((name               . "ALMOST EQUAL OR EQUAL TO")
1238     (general-category   symbol math) ; Informative Category
1239     (bidi-category      . "ON")
1240     (mirrored           . t)
1241     (=ucs               . #x224A)       ; ≊
1242     ))
1243 (define-char
1244   '((name               . "TRIPLE TILDE")
1245     (general-category   symbol math) ; Informative Category
1246     (bidi-category      . "ON")
1247     (mirrored           . t)
1248     (=ucs               . #x224B)       ; ≋
1249     ))
1250 (define-char
1251   '((name               . "ALL EQUAL TO")
1252     (general-category   symbol math) ; Informative Category
1253     (bidi-category      . "ON")
1254     (mirrored           . t)
1255     (=ucs               . #x224C)       ; ≌
1256     ))
1257 (define-char
1258   '((<-denotational
1259      ((name               . "ALL EQUAL TO")
1260       (=ucs               . #x224C)     ; ≌
1261       ))
1262     (=ucs@gb            . #x224C)       ; &G0-2155;
1263     (=gb2312            . #x2155)       ; &G0-2155; [01-53]
1264     (<-fullwidth
1265      ((name               . "ALL EQUAL TO")
1266       (=ucs               . #x224C)     ; ≌
1267       ))
1268     ))
1269 (define-char
1270   '((name               . "EQUIVALENT TO")
1271     (general-category   symbol math) ; Informative Category
1272     (bidi-category      . "ON")
1273     (mirrored           . nil)
1274     (=ucs               . #x224D)       ; ≍
1275     ))
1276 (define-char
1277   '((name               . "GEOMETRICALLY EQUIVALENT TO")
1278     (general-category   symbol math) ; Informative Category
1279     (bidi-category      . "ON")
1280     (mirrored           . nil)
1281     (=ucs               . #x224E)       ; ≎
1282     ))
1283 (define-char
1284   '((name               . "DIFFERENCE BETWEEN")
1285     (general-category   symbol math) ; Informative Category
1286     (bidi-category      . "ON")
1287     (mirrored           . nil)
1288     (=ucs               . #x224F)       ; ≏
1289     ))
1290 (define-char
1291   '((name               . "APPROACHES THE LIMIT")
1292     (general-category   symbol math) ; Informative Category
1293     (bidi-category      . "ON")
1294     (mirrored           . nil)
1295     (=ucs               . #x2250)       ; ≐
1296     ))
1297 (define-char
1298   '((name               . "GEOMETRICALLY EQUAL TO")
1299     (general-category   symbol math) ; Informative Category
1300     (bidi-category      . "ON")
1301     (mirrored           . nil)
1302     (=ucs               . #x2251)       ; ≑
1303     ))
1304 (define-char
1305   '((name               . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1306     (general-category   symbol math) ; Informative Category
1307     (bidi-category      . "ON")
1308     (mirrored           . t)
1309     (=ucs               . #x2252)       ; ≒
1310     ))
1311 (define-char
1312   '((<-denotational
1313      ((name               . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1314       (=ucs               . #x2252)     ; ≒
1315       ))
1316     (=ucs@cns           . #x2252)       ; &J90-2262;
1317     (=ucs@jis           . #x2252)       ; &J90-2262;
1318     (=ucs@ks            . #x2252)       ; &J90-2262;
1319     (=ucs@big5          . #x2252)       ; &J90-2262;
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     (<-fullwidth
1327      ((name               . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
1328       (=ucs               . #x2252)     ; ≒
1329       ))
1330     ))
1331 (define-char
1332   '((name               . "IMAGE OF OR APPROXIMATELY EQUAL TO")
1333     (general-category   symbol math) ; Informative Category
1334     (bidi-category      . "ON")
1335     (mirrored           . t)
1336     (=ucs               . #x2253)       ; ≓
1337     ))
1338 (define-char
1339   '((name               . "COLON EQUALS")
1340     (general-category   symbol math) ; Informative Category
1341     (bidi-category      . "ON")
1342     (mirrored           . t)
1343     (=ucs               . #x2254)       ; ≔
1344     ))
1345 (define-char
1346   '((name               . "EQUALS COLON")
1347     (general-category   symbol math) ; Informative Category
1348     (bidi-category      . "ON")
1349     (mirrored           . t)
1350     (=ucs               . #x2255)       ; ≕
1351     ))
1352 (define-char
1353   '((name               . "RING IN EQUAL TO")
1354     (general-category   symbol math) ; Informative Category
1355     (bidi-category      . "ON")
1356     (mirrored           . nil)
1357     (=ucs               . #x2256)       ; ≖
1358     ))
1359 (define-char
1360   '((name               . "RING EQUAL TO")
1361     (general-category   symbol math) ; Informative Category
1362     (bidi-category      . "ON")
1363     (mirrored           . nil)
1364     (=ucs               . #x2257)       ; ≗
1365     ))
1366 (define-char
1367   '((name               . "CORRESPONDS TO")
1368     (general-category   symbol math) ; Informative Category
1369     (bidi-category      . "ON")
1370     (mirrored           . nil)
1371     (=ucs               . #x2258)       ; ≘
1372     ))
1373 (define-char
1374   '((name               . "ESTIMATES")
1375     (general-category   symbol math) ; Informative Category
1376     (bidi-category      . "ON")
1377     (mirrored           . nil)
1378     (=ucs               . #x2259)       ; ≙
1379     ))
1380 (define-char
1381   '((name               . "EQUIANGULAR TO")
1382     (general-category   symbol math) ; Informative Category
1383     (bidi-category      . "ON")
1384     (mirrored           . nil)
1385     (=ucs               . #x225A)       ; ≚
1386     ))
1387 (define-char
1388   '((name               . "STAR EQUALS")
1389     (general-category   symbol math) ; Informative Category
1390     (bidi-category      . "ON")
1391     (mirrored           . nil)
1392     (=ucs               . #x225B)       ; ≛
1393     ))
1394 (define-char
1395   '((name               . "DELTA EQUAL TO")
1396     (general-category   symbol math) ; Informative Category
1397     (bidi-category      . "ON")
1398     (mirrored           . nil)
1399     (=ucs               . #x225C)       ; ≜
1400     ))
1401 (define-char
1402   '((name               . "EQUAL TO BY DEFINITION")
1403     (general-category   symbol math) ; Informative Category
1404     (bidi-category      . "ON")
1405     (mirrored           . nil)
1406     (=ucs               . #x225D)       ; ≝
1407     ))
1408 (define-char
1409   '((name               . "MEASURED BY")
1410     (general-category   symbol math) ; Informative Category
1411     (bidi-category      . "ON")
1412     (mirrored           . nil)
1413     (=ucs               . #x225E)       ; ≞
1414     ))
1415 (define-char
1416   '((name               . "QUESTIONED EQUAL TO")
1417     (general-category   symbol math) ; Informative Category
1418     (bidi-category      . "ON")
1419     (mirrored           . t)
1420     (=ucs               . #x225F)       ; ≟
1421     ))
1422 (define-char
1423   '((name               . "NOT EQUAL TO")
1424     (general-category   symbol math) ; Informative Category
1425     (bidi-category      . "ON")
1426     (mirrored           . t)
1427     (=decomposition
1428      ((name               . "EQUALS SIGN")
1429       (=ucs               . #x003D)     ; =
1430       )
1431      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1432       (=ucs               . #x0338)     ; ̸
1433       ))
1434     (=ucs               . #x2260)       ; ≠
1435     ))
1436 (define-char
1437   '((<-denotational
1438      ((name               . "NOT EQUAL TO")
1439       (=ucs               . #x2260)     ; ≠
1440       ))
1441     (=decomposition
1442      ((name               . "FULLWIDTH EQUALS SIGN")
1443       (=ucs               . #xFF1D)     ; ＝
1444       )
1445      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1446       (=ucs               . #x0338)     ; ̸
1447       ))
1448     (=ucs@gb            . #x2260)       ; &J90-2162;
1449     (=ucs@cns           . #x2260)       ; &J90-2162;
1450     (=ucs@jis           . #x2260)       ; &J90-2162;
1451     (=ucs@ks            . #x2260)       ; &J90-2162;
1452     (=ucs@big5          . #x2260)       ; &J90-2162;
1453     (=jis-x0208         . #x2162)       ; &J90-2162; [01-66]
1454     (=gb2312            . #x2159)       ; &I-G0-2159; [01-57]
1455     (=ks-x1001          . #x2141)       ; &I-K0-2141; [01-33]
1456     (=cns11643-1        . #x223B)       ; &I-C1-223B; [02-27]
1457     (=jis-x0213-1       . #x2162)       ; &I-JX1-2162; [01-66]
1458     (=big5              . #xA1DA)       ; &I-B-A1DA;
1459     (<-fullwidth
1460      ((name               . "NOT EQUAL TO")
1461       (=ucs               . #x2260)     ; ≠
1462       ))
1463     ))
1464 (define-char
1465   '((name               . "IDENTICAL TO")
1466     (general-category   symbol math) ; Informative Category
1467     (bidi-category      . "ON")
1468     (mirrored           . nil)
1469     (=ucs               . #x2261)       ; ≡
1470     ))
1471 (define-char
1472   '((<-denotational
1473      ((name               . "IDENTICAL TO")
1474       (=ucs               . #x2261)     ; ≡
1475       ))
1476     (=ucs@gb            . #x2261)       ; &J90-2261;
1477     (=ucs@cns           . #x2261)       ; &J90-2261;
1478     (=ucs@jis           . #x2261)       ; &J90-2261;
1479     (=ucs@ks            . #x2261)       ; &J90-2261;
1480     (=ucs@big5          . #x2261)       ; &J90-2261;
1481     (=gb2312            . #x2154)       ; &J90-2261; [01-52]
1482     (=jis-x0208@1983    . #x2261)       ; &I-J83-2261; [02-65]
1483     (=ks-x1001          . #x2155)       ; &I-K0-2155; [01-53]
1484     (=jis-x0208@1990    . #x2261)       ; &I-J90-2261; [02-65]
1485     (=cns11643-1        . #x223E)       ; &I-C1-223E; [02-30]
1486     (=jis-x0213-1       . #x2261)       ; &I-JX1-2261; [02-65]
1487     (=big5              . #xA1DD)       ; &I-B-A1DD;
1488     (<-fullwidth
1489      ((name               . "IDENTICAL TO")
1490       (=ucs               . #x2261)     ; ≡
1491       ))
1492     ))
1493 (define-char
1494   '((name               . "NOT IDENTICAL TO")
1495     (general-category   symbol math) ; Informative Category
1496     (bidi-category      . "ON")
1497     (mirrored           . t)
1498     (=decomposition
1499      ((name               . "IDENTICAL TO")
1500       (=ucs               . #x2261)     ; ≡
1501       )
1502      ((name               . "COMBINING LONG SOLIDUS OVERLAY")
1503       (=ucs               . #x0338)     ; ̸
1504       ))
1505     (=ucs               . #x2262)       ; ≢
1506     ))
1507 (define-char
1508   '((<-denotational
1509      ((name               . "NOT IDENTICAL TO")
1510       (=ucs               . #x2262)     ; ≢
1511       ))
1512     (=decomposition
1513      ((=ucs@gb            . #x2261)     ; &J90-2261;
1514       (=ucs@cns           . #x2261)     ; &J90-2261;
1515       (=ucs@jis           . #x2261)     ; &J90-2261;
1516       (=ucs@ks            . #x2261)     ; &J90-2261;
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     (=ucs@jis           . #x2262)       ; &JX1-226B;
1527     (=jis-x0213-1       . #x226B)       ; &JX1-226B; [02-75]
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     (=ucs@gb            . #x2264)       ; &G0-215C;
1553     (=ucs@ks            . #x2264)       ; &G0-215C;
1554     (=gb2312            . #x215C)       ; &G0-215C; [01-60]
1555     (=ks-x1001          . #x2142)       ; &I-K0-2142; [01-34]
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     (=ucs@gb            . #x2265)       ; &G0-215D;
1574     (=ucs@ks            . #x2265)       ; &G0-215D;
1575     (=gb2312            . #x215D)       ; &G0-215D; [01-61]
1576     (=ks-x1001          . #x2143)       ; &I-K0-2143; [01-35]
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     (=ucs@cns           . #x2266)       ; &J90-2165;
1595     (=ucs@jis           . #x2266)       ; &J90-2165;
1596     (=ucs@big5          . #x2266)       ; &J90-2165;
1597     (=jis-x0208         . #x2165)       ; &J90-2165; [01-69]
1598     (=cns11643-1        . #x2239)       ; &I-C1-2239; [02-25]
1599     (=jis-x0213-1       . #x2165)       ; &I-JX1-2165; [01-69]
1600     (=big5              . #xA1D8)       ; &I-B-A1D8;
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     (=ucs@cns           . #x2267)       ; &J90-2166;
1619     (=ucs@jis           . #x2267)       ; &J90-2166;
1620     (=ucs@big5          . #x2267)       ; &J90-2166;
1621     (=jis-x0208         . #x2166)       ; &J90-2166; [01-70]
1622     (=cns11643-1        . #x223A)       ; &I-C1-223A; [02-26]
1623     (=jis-x0213-1       . #x2166)       ; &I-JX1-2166; [01-70]
1624     (=big5              . #xA1D9)       ; &I-B-A1D9;
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     (=ucs@jis           . #x226A)       ; &J90-2263;
1657     (=ucs@ks            . #x226A)       ; &J90-2263;
1658     (=jis-x0208@1983    . #x2263)       ; &J90-2263; [02-67]
1659     (=ks-x1001          . #x216C)       ; &I-K0-216C; [01-76]
1660     (=jis-x0208@1990    . #x2263)       ; &I-J90-2263; [02-67]
1661     (=jis-x0213-1       . #x2263)       ; &I-JX1-2263; [02-67]
1662     (=jef-china3        . #x7FE3)       ; &I-JC3-7FE3;
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     (=ucs@jis           . #x226B)       ; &J90-2264;
1681     (=ucs@ks            . #x226B)       ; &J90-2264;
1682     (=jis-x0208@1983    . #x2264)       ; &J90-2264; [02-68]
1683     (=ks-x1001          . #x216D)       ; &I-K0-216D; [01-77]
1684     (=jis-x0208@1990    . #x2264)       ; &I-J90-2264; [02-68]
1685     (=jis-x0213-1       . #x2264)       ; &I-JX1-2264; [02-68]
1686     (=jef-china3        . #x7FE4)       ; &I-JC3-7FE4;
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     (=ucs@gb            . #x226E)       ; &G0-215A;
1740     (=gb2312            . #x215A)       ; &G0-215A; [01-58]
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     (=ucs@gb            . #x226F)       ; &G0-215B;
1773     (=gb2312            . #x215B)       ; &G0-215B; [01-59]
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     (=ucs@jis           . #x2276)       ; &JX1-226F;
1862     (=jis-x0213-1       . #x226F)       ; &JX1-226F; [02-79]
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     (=ucs@jis           . #x2277)       ; &JX1-2270;
1881     (=jis-x0213-1       . #x2270)       ; &JX1-2270; [02-80]
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     (=ucs@jis           . #x2282)       ; &J90-223E;
1998     (=ucs@ks            . #x2282)       ; &J90-223E;
1999     (=jis-x0208@1983    . #x223E)       ; &J90-223E; [02-30]
2000     (=ks-x1001          . #x2178)       ; &I-K0-2178; [01-88]
2001     (=jis-x0208@1990    . #x223E)       ; &I-J90-223E; [02-30]
2002     (=jis-x0213-1       . #x223E)       ; &I-JX1-223E; [02-30]
2003     (=jef-china3        . #x7FD4)       ; &I-JC3-7FD4;
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     (=ucs@jis           . #x2283)       ; &J90-223F;
2022     (=ucs@ks            . #x2283)       ; &J90-223F;
2023     (=jis-x0208@1983    . #x223F)       ; &J90-223F; [02-31]
2024     (=ks-x1001          . #x2179)       ; &I-K0-2179; [01-89]
2025     (=jis-x0208@1990    . #x223F)       ; &I-J90-223F; [02-31]
2026     (=jis-x0213-1       . #x223F)       ; &I-JX1-223F; [02-31]
2027     (=jef-china3        . #x7FD5)       ; &I-JC3-7FD5;
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     (=ucs@jis           . #x2284)       ; &JX1-2242;
2053     (=jis-x0213-1       . #x2242)       ; &JX1-2242; [02-34]
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     (=ucs@jis           . #x2285)       ; &JX1-2243;
2079     (=jis-x0213-1       . #x2243)       ; &JX1-2243; [02-35]
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     (=ucs@jis           . #x2286)       ; &J90-223C;
2098     (=ucs@ks            . #x2286)       ; &J90-223C;
2099     (=jis-x0208@1983    . #x223C)       ; &J90-223C; [02-28]
2100     (=ks-x1001          . #x2176)       ; &I-K0-2176; [01-86]
2101     (=jis-x0208@1990    . #x223C)       ; &I-J90-223C; [02-28]
2102     (=jis-x0213-1       . #x223C)       ; &I-JX1-223C; [02-28]
2103     (=jef-china3        . #x7FD2)       ; &I-JC3-7FD2;
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     (=ucs@jis           . #x2287)       ; &J90-223D;
2122     (=ucs@ks            . #x2287)       ; &J90-223D;
2123     (=jis-x0208@1983    . #x223D)       ; &J90-223D; [02-29]
2124     (=ks-x1001          . #x2177)       ; &I-K0-2177; [01-87]
2125     (=jis-x0208@1990    . #x223D)       ; &I-J90-223D; [02-29]
2126     (=jis-x0213-1       . #x223D)       ; &I-JX1-223D; [02-29]
2127     (=jef-china3        . #x7FD3)       ; &I-JC3-7FD3;
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     (=ucs@jis           . #x228A)       ; &JX1-2244;
2174     (=jis-x0213-1       . #x2244)       ; &JX1-2244; [02-36]
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     (=ucs@jis           . #x228B)       ; &JX1-2245;
2193     (=jis-x0213-1       . #x2245)       ; &JX1-2245; [02-37]
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     (=ucs@cns           . #x2295)       ; &JX1-2251;
2275     (=ucs@jis           . #x2295)       ; &JX1-2251;
2276     (=ucs@big5          . #x2295)       ; &JX1-2251;
2277     (=cns11643-1        . #x2253)       ; &JX1-2251; [02-51]
2278     (=jis-x0213-1       . #x2251)       ; &I-JX1-2251; [02-49]
2279     (=big5              . #xA1F2)       ; &I-B-A1F2;
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     (=ucs@jis           . #x2296)       ; &JX1-2252;
2298     (=jis-x0213-1       . #x2252)       ; &JX1-2252; [02-50]
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     (=ucs@jis           . #x2297)       ; &JX1-2253;
2317     (=jis-x0213-1       . #x2253)       ; &JX1-2253; [02-51]
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     (=ucs@gb            . #x2299)       ; &C1-2254;
2343     (=ucs@cns           . #x2299)       ; &C1-2254;
2344     (=ucs@ks            . #x2299)       ; &C1-2254;
2345     (=ucs@big5          . #x2299)       ; &C1-2254;
2346     (=gb2312            . #x2151)       ; &C1-2254; [01-49]
2347     (=ks-x1001          . #x2241)       ; &I-K0-2241; [02-33]
2348     (=cns11643-1        . #x2254)       ; &I-C1-2254; [02-52]
2349     (=big5              . #xA1F3)       ; &I-B-A1F3;
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     (=ucs@gb            . #x22A5)       ; &J90-225D;
2445     (=ucs@cns           . #x22A5)       ; &J90-225D;
2446     (=ucs@jis           . #x22A5)       ; &J90-225D;
2447     (=ucs@ks            . #x22A5)       ; &J90-225D;
2448     (=ucs@big5          . #x22A5)       ; &J90-225D;
2449     (=gb2312            . #x214D)       ; &J90-225D; [01-45]
2450     (=jis-x0208@1983    . #x225D)       ; &I-J83-225D; [02-61]
2451     (=ks-x1001          . #x2151)       ; &I-K0-2151; [01-49]
2452     (=jis-x0208@1990    . #x225D)       ; &I-J90-225D; [02-61]
2453     (=cns11643-1        . #x2247)       ; &I-C1-2247; [02-39]
2454     (=jis-x0213-1       . #x225D)       ; &I-JX1-225D; [02-61]
2455     (=big5              . #xA1E6)       ; &I-B-A1E6;
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     (=ucs@cns           . #x22BF)       ; &JX1-2D79;
2677     (=ucs@jis           . #x22BF)       ; &JX1-2D79;
2678     (=ucs@big5          . #x22BF)       ; &JX1-2D79;
2679     (=cns11643-1        . #x224A)       ; &JX1-2D79; [02-42]
2680     (=jis-x0213-1       . #x2D79)       ; &I-JX1-2D79; [13-89]
2681     (=big5              . #xA1E9)       ; &I-B-A1E9;
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     (=ucs@jis           . #x22DA)       ; &JX1-2776;
2882     (=jis-x0213-1       . #x2776)       ; &JX1-2776; [07-86]
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     (=ucs@jis           . #x22DB)       ; &JX1-2777;
2901     (=jis-x0213-1       . #x2777)       ; &JX1-2777; [07-87]
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     ))