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

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