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     (=jis-x0208-1983    . #x224F)       ; &I-J83-224F;
   9     (=ks-x1001          . #x2223)       ; &I-K0-2223;
  10     (=jis-x0208-1990    . #x224F)       ; &I-J90-224F;
  11     (=jef-china3        . #x7FDC)       ; &I-JC3-7FDC;
  12     ))
  13 (define-char
  14   '((name               . "COMPLEMENT")
  15     (general-category   symbol math) ; Informative Category
  16     (bidi-category      . "ON")
  17     (mirrored           . t)
  18     (=ucs               . #x2201)       ; ∁
  19     ))
  20 (define-char
  21   '((name               . "PARTIAL DIFFERENTIAL")
  22     (general-category   symbol math) ; Informative Category
  23     (bidi-category      . "ON")
  24     (mirrored           . t)
  25     (=ucs               . #x2202)       ; ∂
  26     (=jis-x0208-1983    . #x225F)       ; &I-J83-225F;
  27     (=ks-x1001          . #x2153)       ; &I-K0-2153;
  28     (=jis-x0208-1990    . #x225F)       ; &I-J90-225F;
  29     (=jef-china3        . #x7FE1)       ; &I-JC3-7FE1;
  30     ))
  31 (define-char
  32   '((name               . "THERE EXISTS")
  33     (general-category   symbol math) ; Informative Category
  34     (bidi-category      . "ON")
  35     (mirrored           . t)
  36     (=ucs               . #x2203)       ; ∃
  37     (=jis-x0208-1983    . #x2250)       ; &I-J83-2250;
  38     (=ks-x1001          . #x2224)       ; &I-K0-2224;
  39     (=jis-x0208-1990    . #x2250)       ; &I-J90-2250;
  40     (=jef-china3        . #x7FDD)       ; &I-JC3-7FDD;
  41     ))
  42 (define-char
  43   '((name               . "THERE DOES NOT EXIST")
  44     (general-category   symbol math) ; Informative Category
  45     (bidi-category      . "ON")
  46     (mirrored           . t)
  47     (->decomposition    #x2203 #x0338)
  48     (=ucs               . #x2204)       ; ∄
  49     ))
  50 (define-char
  51   '((name               . "EMPTY SET")
  52     (general-category   symbol math) ; Informative Category
  53     (bidi-category      . "ON")
  54     (mirrored           . nil)
  55     (=ucs               . #x2205)       ; ∅
  56     (=jis-x0213-1-2000  . #x2247)       ; &I-JX1-2247;
  57     ))
  58 (define-char
  59   '((name               . "INCREMENT")
  60     (general-category   symbol math) ; Informative Category
  61     (bidi-category      . "ON")
  62     (mirrored           . nil)
  63     (=ucs               . #x2206)       ; ∆
  64     ))
  65 (define-char
  66   '((name               . "NABLA")
  67     (general-category   symbol math) ; Informative Category
  68     (bidi-category      . "ON")
  69     (mirrored           . nil)
  70     (=ucs               . #x2207)       ; ∇
  71     (=jis-x0208-1983    . #x2260)       ; &I-J83-2260;
  72     (=ks-x1001          . #x2154)       ; &I-K0-2154;
  73     (=jis-x0208-1990    . #x2260)       ; &I-J90-2260;
  74     (=jef-china3        . #x7FE2)       ; &I-JC3-7FE2;
  75     ))
  76 (define-char
  77   '((name               . "ELEMENT OF")
  78     (general-category   symbol math) ; Informative Category
  79     (bidi-category      . "ON")
  80     (mirrored           . t)
  81     (=ucs               . #x2208)       ; ∈
  82     (=gb2312            . #x214A)       ; &I-G0-214A;
  83     (=jis-x0208-1983    . #x223A)       ; &I-J83-223A;
  84     (=ks-x1001          . #x2174)       ; &I-K0-2174;
  85     (=jis-x0208-1990    . #x223A)       ; &I-J90-223A;
  86     (=jef-china3        . #x7FD0)       ; &I-JC3-7FD0;
  87     ))
  88 (define-char
  89   '((name               . "NOT AN ELEMENT OF")
  90     (general-category   symbol math) ; Informative Category
  91     (bidi-category      . "ON")
  92     (mirrored           . t)
  93     (->decomposition    #x2208 #x0338)
  94     (=ucs               . #x2209)       ; ∉
  95     (=jis-x0213-1-2000  . #x2246)       ; &I-JX1-2246;
  96     ))
  97 (define-char
  98   '((name               . "SMALL ELEMENT OF")
  99     (general-category   symbol math) ; Informative Category
 100     (bidi-category      . "ON")
 101     (mirrored           . t)
 102     (=ucs               . #x220A)       ; ∊
 103     ))
 104 (define-char
 105   '((name               . "CONTAINS AS MEMBER")
 106     (general-category   symbol math) ; Informative Category
 107     (bidi-category      . "ON")
 108     (mirrored           . t)
 109     (=ucs               . #x220B)       ; ∋
 110     (=jis-x0208-1983    . #x223B)       ; &I-J83-223B;
 111     (=ks-x1001          . #x2175)       ; &I-K0-2175;
 112     (=jis-x0208-1990    . #x223B)       ; &I-J90-223B;
 113     (=jef-china3        . #x7FD1)       ; &I-JC3-7FD1;
 114     ))
 115 (define-char
 116   '((name               . "DOES NOT CONTAIN AS MEMBER")
 117     (general-category   symbol math) ; Informative Category
 118     (bidi-category      . "ON")
 119     (mirrored           . t)
 120     (->decomposition    #x220B #x0338)
 121     (=ucs               . #x220C)       ; ∌
 122     ))
 123 (define-char
 124   '((name               . "SMALL CONTAINS AS MEMBER")
 125     (general-category   symbol math) ; Informative Category
 126     (bidi-category      . "ON")
 127     (mirrored           . t)
 128     (=ucs               . #x220D)       ; ∍
 129     ))
 130 (define-char
 131   '((name               . "END OF PROOF")
 132     (general-category   symbol math) ; Informative Category
 133     (bidi-category      . "ON")
 134     (mirrored           . nil)
 135     (=ucs               . #x220E)       ; ∎
 136     ))
 137 (define-char
 138   '((name               . "N-ARY PRODUCT")
 139     (general-category   symbol math) ; Informative Category
 140     (bidi-category      . "ON")
 141     (mirrored           . nil)
 142     (=ucs               . #x220F)       ; ∏
 143     (=gb2312            . #x2147)       ; &I-G0-2147;
 144     (=ks-x1001          . #x2233)       ; &I-K0-2233;
 145     ))
 146 (define-char
 147   '((name               . "N-ARY COPRODUCT")
 148     (general-category   symbol math) ; Informative Category
 149     (bidi-category      . "ON")
 150     (mirrored           . nil)
 151     (=ucs               . #x2210)       ; ∐
 152     ))
 153 (define-char
 154   '((name               . "N-ARY SUMMATION")
 155     (general-category   symbol math) ; Informative Category
 156     (bidi-category      . "ON")
 157     (mirrored           . t)
 158     (=ucs               . #x2211)       ; ∑
 159     (=gb2312            . #x2146)       ; &I-G0-2146;
 160     (=ks-x1001          . #x2232)       ; &I-K0-2232;
 161     ))
 162 (define-char
 163   '((name               . "MINUS SIGN")
 164     (general-category   symbol math) ; Informative Category
 165     (bidi-category      . "ET")
 166     (mirrored           . nil)
 167     (=ucs               . #x2212)       ; −
 168     (=jis-x0208         . #x215D)       ; &I-J90-215D;
 169     ))
 170 (define-char
 171   '((name               . "MINUS-OR-PLUS SIGN")
 172     (general-category   symbol math) ; Informative Category
 173     (bidi-category      . "ET")
 174     (mirrored           . nil)
 175     (=ucs               . #x2213)       ; ∓
 176     (=jis-x0213-1-2000  . #x235B)       ; &I-JX1-235B;
 177     ))
 178 (define-char
 179   '((name               . "DOT PLUS")
 180     (general-category   symbol math) ; Informative Category
 181     (bidi-category      . "ON")
 182     (mirrored           . nil)
 183     (=ucs               . #x2214)       ; ∔
 184     ))
 185 (define-char
 186   '((name               . "DIVISION SLASH")
 187     (general-category   symbol math) ; Informative Category
 188     (bidi-category      . "ON")
 189     (mirrored           . t)
 190     (=ucs               . #x2215)       ; ∕
 191     (=cns11643-1        . #x2261)       ; &I-C1-2261;
 192     (=big5              . #xA241)       ; &I-B-A241;
 193     ))
 194 (define-char
 195   '((name               . "SET MINUS")
 196     (general-category   symbol math) ; Informative Category
 197     (bidi-category      . "ON")
 198     (mirrored           . t)
 199     (=ucs               . #x2216)       ; ∖
 200     ))
 201 (define-char
 202   '((name               . "ASTERISK OPERATOR")
 203     (general-category   symbol math) ; Informative Category
 204     (bidi-category      . "ON")
 205     (mirrored           . nil)
 206     (=ucs               . #x2217)       ; ∗
 207     ))
 208 (define-char
 209   '((name               . "RING OPERATOR")
 210     (general-category   symbol math) ; Informative Category
 211     (bidi-category      . "ON")
 212     (mirrored           . nil)
 213     (=ucs               . #x2218)       ; ∘
 214     ))
 215 (define-char
 216   '((name               . "BULLET OPERATOR")
 217     (general-category   symbol math) ; Informative Category
 218     (bidi-category      . "ON")
 219     (mirrored           . nil)
 220     (=ucs               . #x2219)       ; ∙
 221     ))
 222 (define-char
 223   '((name               . "SQUARE ROOT")
 224     (general-category   symbol math) ; Informative Category
 225     (bidi-category      . "ON")
 226     (mirrored           . t)
 227     (=ucs               . #x221A)       ; √
 228     (=gb2312            . #x214C)       ; &I-G0-214C;
 229     (=jis-x0208-1983    . #x2265)       ; &I-J83-2265;
 230     (=ks-x1001          . #x216E)       ; &I-K0-216E;
 231     (=jis-x0208-1990    . #x2265)       ; &I-J90-2265;
 232     (=cns11643-1        . #x2235)       ; &I-C1-2235;
 233     (=big5              . #xA1D4)       ; &I-B-A1D4;
 234     ))
 235 (define-char
 236   '((name               . "CUBE ROOT")
 237     (general-category   symbol math) ; Informative Category
 238     (bidi-category      . "ON")
 239     (mirrored           . t)
 240     (=ucs               . #x221B)       ; ∛
 241     ))
 242 (define-char
 243   '((name               . "FOURTH ROOT")
 244     (general-category   symbol math) ; Informative Category
 245     (bidi-category      . "ON")
 246     (mirrored           . t)
 247     (=ucs               . #x221C)       ; ∜
 248     ))
 249 (define-char
 250   '((name               . "PROPORTIONAL TO")
 251     (general-category   symbol math) ; Informative Category
 252     (bidi-category      . "ON")
 253     (mirrored           . t)
 254     (=ucs               . #x221D)       ; ∝
 255     (=gb2312            . #x2158)       ; &I-G0-2158;
 256     (=jis-x0208-1983    . #x2267)       ; &I-J83-2267;
 257     (=ks-x1001          . #x2170)       ; &I-K0-2170;
 258     (=jis-x0208-1990    . #x2267)       ; &I-J90-2267;
 259     (=jef-china3        . #x7FE7)       ; &I-JC3-7FE7;
 260     ))
 261 (define-char
 262   '((name               . "INFINITY")
 263     (general-category   symbol math) ; Informative Category
 264     (bidi-category      . "ON")
 265     (mirrored           . nil)
 266     (=ucs               . #x221E)       ; ∞
 267     (=jis-x0208         . #x2167)       ; &I-J90-2167;
 268     (=gb2312            . #x215E)       ; &I-G0-215E;
 269     (=ks-x1001          . #x2144)       ; &I-K0-2144;
 270     (=cns11643-1        . #x223C)       ; &I-C1-223C;
 271     (=big5              . #xA1DB)       ; &I-B-A1DB;
 272     ))
 273 (define-char
 274   '((name               . "RIGHT ANGLE")
 275     (general-category   symbol math) ; Informative Category
 276     (bidi-category      . "ON")
 277     (mirrored           . t)
 278     (=ucs               . #x221F)       ; ∟
 279     (=cns11643-1        . #x2249)       ; &I-C1-2249;
 280     (=jis-x0213-1-2000  . #x2D78)       ; &I-JX1-2D78;
 281     (=big5              . #xA1E8)       ; &I-B-A1E8;
 282     ))
 283 (define-char
 284   '((name               . "ANGLE")
 285     (general-category   symbol math) ; Informative Category
 286     (bidi-category      . "ON")
 287     (mirrored           . t)
 288     (=ucs               . #x2220)       ; ∠
 289     (=gb2312            . #x214F)       ; &I-G0-214F;
 290     (=jis-x0208-1983    . #x225C)       ; &I-J83-225C;
 291     (=ks-x1001          . #x2150)       ; &I-K0-2150;
 292     (=jis-x0208-1990    . #x225C)       ; &I-J90-225C;
 293     (=cns11643-1        . #x2248)       ; &I-C1-2248;
 294     (=big5              . #xA1E7)       ; &I-B-A1E7;
 295     (=jef-china3        . #x7FDE)       ; &I-JC3-7FDE;
 296     ))
 297 (define-char
 298   '((name               . "MEASURED ANGLE")
 299     (general-category   symbol math) ; Informative Category
 300     (bidi-category      . "ON")
 301     (mirrored           . t)
 302     (=ucs               . #x2221)       ; ∡
 303     ))
 304 (define-char
 305   '((name               . "SPHERICAL ANGLE")
 306     (general-category   symbol math) ; Informative Category
 307     (bidi-category      . "ON")
 308     (mirrored           . t)
 309     (=ucs               . #x2222)       ; ∢
 310     ))
 311 (define-char
 312   '((name               . "DIVIDES")
 313     (general-category   symbol math) ; Informative Category
 314     (bidi-category      . "ON")
 315     (mirrored           . nil)
 316     (=ucs               . #x2223)       ; ∣
 317     (=big5              . #xA1FD)       ; &I-B-A1FD;
 318     ))
 319 (define-char
 320   '((name               . "DOES NOT DIVIDE")
 321     (general-category   symbol math) ; Informative Category
 322     (bidi-category      . "ON")
 323     (mirrored           . t)
 324     (->decomposition    #x2223 #x0338)
 325     (=ucs               . #x2224)       ; ∤
 326     ))
 327 (define-char
 328   '((name               . "PARALLEL TO")
 329     (general-category   symbol math) ; Informative Category
 330     (bidi-category      . "ON")
 331     (mirrored           . nil)
 332     (=ucs               . #x2225)       ; ∥
 333     (=gb2312            . #x214E)       ; &I-G0-214E;
 334     (=ks-x1001          . #x212B)       ; &I-K0-212B;
 335     (=jis-x0213-1-2000  . #x2254)       ; &I-JX1-2254;
 336     (=big5              . #xA1FC)       ; &I-B-A1FC;
 337     ))
 338 (define-char
 339   '((name               . "NOT PARALLEL TO")
 340     (general-category   symbol math) ; Informative Category
 341     (bidi-category      . "ON")
 342     (mirrored           . t)
 343     (->decomposition    #x2225 #x0338)
 344     (=ucs               . #x2226)       ; ∦
 345     (=jis-x0213-1-2000  . #x2255)       ; &I-JX1-2255;
 346     ))
 347 (define-char
 348   '((name               . "LOGICAL AND")
 349     (general-category   symbol math) ; Informative Category
 350     (bidi-category      . "ON")
 351     (mirrored           . nil)
 352     (=ucs               . #x2227)       ; ∧
 353     (=gb2312            . #x2144)       ; &I-G0-2144;
 354     (=jis-x0208-1983    . #x224A)       ; &I-J83-224A;
 355     (=ks-x1001          . #x217C)       ; &I-K0-217C;
 356     (=jis-x0208-1990    . #x224A)       ; &I-J90-224A;
 357     ))
 358 (define-char
 359   '((name               . "LOGICAL OR")
 360     (general-category   symbol math) ; Informative Category
 361     (bidi-category      . "ON")
 362     (mirrored           . nil)
 363     (=ucs               . #x2228)       ; ∨
 364     (=gb2312            . #x2145)       ; &I-G0-2145;
 365     (=jis-x0208-1983    . #x224B)       ; &I-J83-224B;
 366     (=ks-x1001          . #x217D)       ; &I-K0-217D;
 367     (=jis-x0208-1990    . #x224B)       ; &I-J90-224B;
 368     ))
 369 (define-char
 370   '((name               . "INTERSECTION")
 371     (general-category   symbol math) ; Informative Category
 372     (bidi-category      . "ON")
 373     (mirrored           . nil)
 374     (=ucs               . #x2229)       ; ∩
 375     (=gb2312            . #x2149)       ; &I-G0-2149;
 376     (=jis-x0208-1983    . #x2241)       ; &I-J83-2241;
 377     (=ks-x1001          . #x217B)       ; &I-K0-217B;
 378     (=jis-x0208-1990    . #x2241)       ; &I-J90-2241;
 379     (=cns11643-1        . #x2245)       ; &I-C1-2245;
 380     (=big5              . #xA1E4)       ; &I-B-A1E4;
 381     ))
 382 (define-char
 383   '((name               . "UNION")
 384     (general-category   symbol math) ; Informative Category
 385     (bidi-category      . "ON")
 386     (mirrored           . nil)
 387     (=ucs               . #x222A)       ; ∪
 388     (=gb2312            . #x2148)       ; &I-G0-2148;
 389     (=jis-x0208-1983    . #x2240)       ; &I-J83-2240;
 390     (=ks-x1001          . #x217A)       ; &I-K0-217A;
 391     (=jis-x0208-1990    . #x2240)       ; &I-J90-2240;
 392     (=cns11643-1        . #x2246)       ; &I-C1-2246;
 393     (=big5              . #xA1E5)       ; &I-B-A1E5;
 394     ))
 395 (define-char
 396   '((name               . "INTEGRAL")
 397     (general-category   symbol math) ; Informative Category
 398     (bidi-category      . "ON")
 399     (mirrored           . t)
 400     (=ucs               . #x222B)       ; ∫
 401     (=gb2312            . #x2152)       ; &I-G0-2152;
 402     (=jis-x0208-1983    . #x2269)       ; &I-J83-2269;
 403     (=ks-x1001          . #x2172)       ; &I-K0-2172;
 404     (=jis-x0208-1990    . #x2269)       ; &I-J90-2269;
 405     (=cns11643-1        . #x224D)       ; &I-C1-224D;
 406     (=big5              . #xA1EC)       ; &I-B-A1EC;
 407     (=jef-china3        . #x7FE8)       ; &I-JC3-7FE8;
 408     ))
 409 (define-char
 410   '((name               . "DOUBLE INTEGRAL")
 411     (general-category   symbol math) ; Informative Category
 412     (bidi-category      . "ON")
 413     (mirrored           . t)
 414     (->decomposition    compat #x222B #x222B)
 415     (=ucs               . #x222C)       ; ∬
 416     (=jis-x0208-1983    . #x226A)       ; &I-J83-226A;
 417     (=ks-x1001          . #x2173)       ; &I-K0-2173;
 418     (=jis-x0208-1990    . #x226A)       ; &I-J90-226A;
 419     (=jef-china3        . #x7FE9)       ; &I-JC3-7FE9;
 420     ))
 421 (define-char
 422   '((name               . "TRIPLE INTEGRAL")
 423     (general-category   symbol math) ; Informative Category
 424     (bidi-category      . "ON")
 425     (mirrored           . t)
 426     (->decomposition    compat #x222B #x222B #x222B)
 427     (=ucs               . #x222D)       ; ∭
 428     ))
 429 (define-char
 430   '((name               . "CONTOUR INTEGRAL")
 431     (general-category   symbol math) ; Informative Category
 432     (bidi-category      . "ON")
 433     (mirrored           . t)
 434     (=ucs               . #x222E)       ; ∮
 435     (=gb2312            . #x2153)       ; &I-G0-2153;
 436     (=ks-x1001          . #x2231)       ; &I-K0-2231;
 437     (=cns11643-1        . #x224E)       ; &I-C1-224E;
 438     (=jis-x0213-1-2000  . #x2D73)       ; &I-JX1-2D73;
 439     (=big5              . #xA1ED)       ; &I-B-A1ED;
 440     ))
 441 (define-char
 442   '((name               . "SURFACE INTEGRAL")
 443     (general-category   symbol math) ; Informative Category
 444     (bidi-category      . "ON")
 445     (mirrored           . t)
 446     (->decomposition    compat #x222E #x222E)
 447     (=ucs               . #x222F)       ; ∯
 448     ))
 449 (define-char
 450   '((name               . "VOLUME INTEGRAL")
 451     (general-category   symbol math) ; Informative Category
 452     (bidi-category      . "ON")
 453     (mirrored           . t)
 454     (->decomposition    compat #x222E #x222E #x222E)
 455     (=ucs               . #x2230)       ; ∰
 456     ))
 457 (define-char
 458   '((name               . "CLOCKWISE INTEGRAL")
 459     (general-category   symbol math) ; Informative Category
 460     (bidi-category      . "ON")
 461     (mirrored           . t)
 462     (=ucs               . #x2231)       ; ∱
 463     ))
 464 (define-char
 465   '((name               . "CLOCKWISE CONTOUR INTEGRAL")
 466     (general-category   symbol math) ; Informative Category
 467     (bidi-category      . "ON")
 468     (mirrored           . t)
 469     (=ucs               . #x2232)       ; ∲
 470     ))
 471 (define-char
 472   '((name               . "ANTICLOCKWISE CONTOUR INTEGRAL")
 473     (general-category   symbol math) ; Informative Category
 474     (bidi-category      . "ON")
 475     (mirrored           . t)
 476     (=ucs               . #x2233)       ; ∳
 477     ))
 478 (define-char
 479   '((name               . "THEREFORE")
 480     (general-category   symbol math) ; Informative Category
 481     (bidi-category      . "ON")
 482     (mirrored           . nil)
 483     (=ucs               . #x2234)       ; ∴
 484     (=jis-x0208         . #x2168)       ; &I-J90-2168;
 485     (=gb2312            . #x2160)       ; &I-G0-2160;
 486     (=ks-x1001          . #x2145)       ; &I-K0-2145;
 487     (=cns11643-1        . #x2250)       ; &I-C1-2250;
 488     (=big5              . #xA1EF)       ; &I-B-A1EF;
 489     ))
 490 (define-char
 491   '((name               . "BECAUSE")
 492     (general-category   symbol math) ; Informative Category
 493     (bidi-category      . "ON")
 494     (mirrored           . nil)
 495     (=ucs               . #x2235)       ; ∵
 496     (=gb2312            . #x215F)       ; &I-G0-215F;
 497     (=jis-x0208-1983    . #x2268)       ; &I-J83-2268;
 498     (=ks-x1001          . #x2171)       ; &I-K0-2171;
 499     (=jis-x0208-1990    . #x2268)       ; &I-J90-2268;
 500     (=cns11643-1        . #x224F)       ; &I-C1-224F;
 501     (=big5              . #xA1EE)       ; &I-B-A1EE;
 502     ))
 503 (define-char
 504   '((name               . "RATIO")
 505     (general-category   symbol math) ; Informative Category
 506     (bidi-category      . "ON")
 507     (mirrored           . nil)
 508     (=ucs               . #x2236)       ; ∶
 509     (=gb2312            . #x2143)       ; &I-G0-2143;
 510     ))
 511 (define-char
 512   '((name               . "PROPORTION")
 513     (general-category   symbol math) ; Informative Category
 514     (bidi-category      . "ON")
 515     (mirrored           . nil)
 516     (=ucs               . #x2237)       ; ∷
 517     (=gb2312            . #x214B)       ; &I-G0-214B;
 518     ))
 519 (define-char
 520   '((name               . "DOT MINUS")
 521     (general-category   symbol math) ; Informative Category
 522     (bidi-category      . "ON")
 523     (mirrored           . nil)
 524     (=ucs               . #x2238)       ; ∸
 525     ))
 526 (define-char
 527   '((name               . "EXCESS")
 528     (general-category   symbol math) ; Informative Category
 529     (bidi-category      . "ON")
 530     (mirrored           . t)
 531     (=ucs               . #x2239)       ; ∹
 532     ))
 533 (define-char
 534   '((name               . "GEOMETRIC PROPORTION")
 535     (general-category   symbol math) ; Informative Category
 536     (bidi-category      . "ON")
 537     (mirrored           . nil)
 538     (=ucs               . #x223A)       ; ∺
 539     ))
 540 (define-char
 541   '((name               . "HOMOTHETIC")
 542     (general-category   symbol math) ; Informative Category
 543     (bidi-category      . "ON")
 544     (mirrored           . t)
 545     (=ucs               . #x223B)       ; ∻
 546     ))
 547 (define-char
 548   '((name               . "TILDE OPERATOR")
 549     (general-category   symbol math) ; Informative Category
 550     (bidi-category      . "ON")
 551     (mirrored           . t)
 552     (=ucs               . #x223C)       ; ∼
 553     (=ks-x1001          . #x212D)       ; &I-K0-212D;
 554     (=cns11643-1        . #x2244)       ; &I-C1-2244;
 555     (=big5              . #xA1E3)       ; &I-B-A1E3;
 556     (=ucs@big5          . #xFF5E)       ; ∼
 557     ))
 558 (define-char
 559   '((name               . "REVERSED TILDE")
 560     (general-category   symbol math) ; Informative Category
 561     (bidi-category      . "ON")
 562     (mirrored           . t)
 563     (iso-10646-comment  . "lazy S")
 564     (=ucs               . #x223D)       ; ∽
 565     (=gb2312            . #x2157)       ; &I-G0-2157;
 566     (=jis-x0208-1983    . #x2266)       ; &I-J83-2266;
 567     (=ks-x1001          . #x216F)       ; &I-K0-216F;
 568     (=jis-x0208-1990    . #x2266)       ; &I-J90-2266;
 569     (=jef-china3        . #x7FE6)       ; &I-JC3-7FE6;
 570     ))
 571 (define-char
 572   '((name               . "INVERTED LAZY S")
 573     (general-category   symbol math) ; Informative Category
 574     (bidi-category      . "ON")
 575     (mirrored           . t)
 576     (=ucs               . #x223E)       ; ∾
 577     ))
 578 (define-char
 579   '((name               . "SINE WAVE")
 580     (general-category   symbol math) ; Informative Category
 581     (bidi-category      . "ON")
 582     (mirrored           . t)
 583     (=ucs               . #x223F)       ; ∿
 584     ))
 585 (define-char
 586   '((name               . "WREATH PRODUCT")
 587     (general-category   symbol math) ; Informative Category
 588     (bidi-category      . "ON")
 589     (mirrored           . t)
 590     (=ucs               . #x2240)       ; ≀
 591     ))
 592 (define-char
 593   '((name               . "NOT TILDE")
 594     (general-category   symbol math) ; Informative Category
 595     (bidi-category      . "ON")
 596     (mirrored           . t)
 597     (->decomposition    #x223C #x0338)
 598     (=ucs               . #x2241)       ; ≁
 599     ))
 600 (define-char
 601   '((name               . "MINUS TILDE")
 602     (general-category   symbol math) ; Informative Category
 603     (bidi-category      . "ON")
 604     (mirrored           . t)
 605     (=ucs               . #x2242)       ; ≂
 606     ))
 607 (define-char
 608   '((name               . "ASYMPTOTICALLY EQUAL TO")
 609     (general-category   symbol math) ; Informative Category
 610     (bidi-category      . "ON")
 611     (mirrored           . t)
 612     (=ucs               . #x2243)       ; ≃
 613     (=jis-x0213-1-2000  . #x226C)       ; &I-JX1-226C;
 614     ))
 615 (define-char
 616   '((name               . "NOT ASYMPTOTICALLY EQUAL TO")
 617     (general-category   symbol math) ; Informative Category
 618     (bidi-category      . "ON")
 619     (mirrored           . t)
 620     (->decomposition    #x2243 #x0338)
 621     (=ucs               . #x2244)       ; ≄
 622     ))
 623 (define-char
 624   '((name               . "APPROXIMATELY EQUAL TO")
 625     (general-category   symbol math) ; Informative Category
 626     (bidi-category      . "ON")
 627     (mirrored           . t)
 628     (=ucs               . #x2245)       ; ≅
 629     (=jis-x0213-1-2000  . #x226D)       ; &I-JX1-226D;
 630     ))
 631 (define-char
 632   '((name               . "APPROXIMATELY BUT NOT ACTUALLY EQUAL TO")
 633     (general-category   symbol math) ; Informative Category
 634     (bidi-category      . "ON")
 635     (mirrored           . t)
 636     (=ucs               . #x2246)       ; ≆
 637     ))
 638 (define-char
 639   '((name               . "NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO")
 640     (general-category   symbol math) ; Informative Category
 641     (bidi-category      . "ON")
 642     (mirrored           . t)
 643     (->decomposition    #x2245 #x0338)
 644     (=ucs               . #x2247)       ; ≇
 645     ))
 646 (define-char
 647   '((name               . "ALMOST EQUAL TO")
 648     (general-category   symbol math) ; Informative Category
 649     (bidi-category      . "ON")
 650     (mirrored           . t)
 651     (=ucs               . #x2248)       ; ≈
 652     (=gb2312            . #x2156)       ; &I-G0-2156;
 653     (=jis-x0213-1-2000  . #x226E)       ; &I-JX1-226E;
 654     ))
 655 (define-char
 656   '((name               . "NOT ALMOST EQUAL TO")
 657     (general-category   symbol math) ; Informative Category
 658     (bidi-category      . "ON")
 659     (mirrored           . t)
 660     (->decomposition    #x2248 #x0338)
 661     (=ucs               . #x2249)       ; ≉
 662     ))
 663 (define-char
 664   '((name               . "ALMOST EQUAL OR EQUAL TO")
 665     (general-category   symbol math) ; Informative Category
 666     (bidi-category      . "ON")
 667     (mirrored           . t)
 668     (=ucs               . #x224A)       ; ≊
 669     ))
 670 (define-char
 671   '((name               . "TRIPLE TILDE")
 672     (general-category   symbol math) ; Informative Category
 673     (bidi-category      . "ON")
 674     (mirrored           . t)
 675     (=ucs               . #x224B)       ; ≋
 676     ))
 677 (define-char
 678   '((name               . "ALL EQUAL TO")
 679     (general-category   symbol math) ; Informative Category
 680     (bidi-category      . "ON")
 681     (mirrored           . t)
 682     (=ucs               . #x224C)       ; ≌
 683     (=gb2312            . #x2155)       ; &I-G0-2155;
 684     ))
 685 (define-char
 686   '((name               . "EQUIVALENT TO")
 687     (general-category   symbol math) ; Informative Category
 688     (bidi-category      . "ON")
 689     (mirrored           . nil)
 690     (=ucs               . #x224D)       ; ≍
 691     ))
 692 (define-char
 693   '((name               . "GEOMETRICALLY EQUIVALENT TO")
 694     (general-category   symbol math) ; Informative Category
 695     (bidi-category      . "ON")
 696     (mirrored           . nil)
 697     (=ucs               . #x224E)       ; ≎
 698     ))
 699 (define-char
 700   '((name               . "DIFFERENCE BETWEEN")
 701     (general-category   symbol math) ; Informative Category
 702     (bidi-category      . "ON")
 703     (mirrored           . nil)
 704     (=ucs               . #x224F)       ; ≏
 705     ))
 706 (define-char
 707   '((name               . "APPROACHES THE LIMIT")
 708     (general-category   symbol math) ; Informative Category
 709     (bidi-category      . "ON")
 710     (mirrored           . nil)
 711     (=ucs               . #x2250)       ; ≐
 712     ))
 713 (define-char
 714   '((name               . "GEOMETRICALLY EQUAL TO")
 715     (general-category   symbol math) ; Informative Category
 716     (bidi-category      . "ON")
 717     (mirrored           . nil)
 718     (=ucs               . #x2251)       ; ≑
 719     ))
 720 (define-char
 721   '((name               . "APPROXIMATELY EQUAL TO OR THE IMAGE OF")
 722     (general-category   symbol math) ; Informative Category
 723     (bidi-category      . "ON")
 724     (mirrored           . t)
 725     (=ucs               . #x2252)       ; ≒
 726     (=jis-x0208-1983    . #x2262)       ; &I-J83-2262;
 727     (=ks-x1001          . #x2156)       ; &I-K0-2156;
 728     (=jis-x0208-1990    . #x2262)       ; &I-J90-2262;
 729     (=cns11643-1        . #x223D)       ; &I-C1-223D;
 730     (=big5              . #xA1DC)       ; &I-B-A1DC;
 731     ))
 732 (define-char
 733   '((name               . "IMAGE OF OR APPROXIMATELY EQUAL TO")
 734     (general-category   symbol math) ; Informative Category
 735     (bidi-category      . "ON")
 736     (mirrored           . t)
 737     (=ucs               . #x2253)       ; ≓
 738     ))
 739 (define-char
 740   '((name               . "COLON EQUALS")
 741     (general-category   symbol math) ; Informative Category
 742     (bidi-category      . "ON")
 743     (mirrored           . t)
 744     (=ucs               . #x2254)       ; ≔
 745     ))
 746 (define-char
 747   '((name               . "EQUALS COLON")
 748     (general-category   symbol math) ; Informative Category
 749     (bidi-category      . "ON")
 750     (mirrored           . t)
 751     (=ucs               . #x2255)       ; ≕
 752     ))
 753 (define-char
 754   '((name               . "RING IN EQUAL TO")
 755     (general-category   symbol math) ; Informative Category
 756     (bidi-category      . "ON")
 757     (mirrored           . nil)
 758     (=ucs               . #x2256)       ; ≖
 759     ))
 760 (define-char
 761   '((name               . "RING EQUAL TO")
 762     (general-category   symbol math) ; Informative Category
 763     (bidi-category      . "ON")
 764     (mirrored           . nil)
 765     (=ucs               . #x2257)       ; ≗
 766     ))
 767 (define-char
 768   '((name               . "CORRESPONDS TO")
 769     (general-category   symbol math) ; Informative Category
 770     (bidi-category      . "ON")
 771     (mirrored           . nil)
 772     (=ucs               . #x2258)       ; ≘
 773     ))
 774 (define-char
 775   '((name               . "ESTIMATES")
 776     (general-category   symbol math) ; Informative Category
 777     (bidi-category      . "ON")
 778     (mirrored           . nil)
 779     (=ucs               . #x2259)       ; ≙
 780     ))
 781 (define-char
 782   '((name               . "EQUIANGULAR TO")
 783     (general-category   symbol math) ; Informative Category
 784     (bidi-category      . "ON")
 785     (mirrored           . nil)
 786     (=ucs               . #x225A)       ; ≚
 787     ))
 788 (define-char
 789   '((name               . "STAR EQUALS")
 790     (general-category   symbol math) ; Informative Category
 791     (bidi-category      . "ON")
 792     (mirrored           . nil)
 793     (=ucs               . #x225B)       ; ≛
 794     ))
 795 (define-char
 796   '((name               . "DELTA EQUAL TO")
 797     (general-category   symbol math) ; Informative Category
 798     (bidi-category      . "ON")
 799     (mirrored           . nil)
 800     (=ucs               . #x225C)       ; ≜
 801     ))
 802 (define-char
 803   '((name               . "EQUAL TO BY DEFINITION")
 804     (general-category   symbol math) ; Informative Category
 805     (bidi-category      . "ON")
 806     (mirrored           . nil)
 807     (=ucs               . #x225D)       ; ≝
 808     ))
 809 (define-char
 810   '((name               . "MEASURED BY")
 811     (general-category   symbol math) ; Informative Category
 812     (bidi-category      . "ON")
 813     (mirrored           . nil)
 814     (=ucs               . #x225E)       ; ≞
 815     ))
 816 (define-char
 817   '((name               . "QUESTIONED EQUAL TO")
 818     (general-category   symbol math) ; Informative Category
 819     (bidi-category      . "ON")
 820     (mirrored           . t)
 821     (=ucs               . #x225F)       ; ≟
 822     ))
 823 (define-char
 824   '((name               . "NOT EQUAL TO")
 825     (general-category   symbol math) ; Informative Category
 826     (bidi-category      . "ON")
 827     (mirrored           . t)
 828     (->decomposition    #x003D #x0338)
 829     (=ucs               . #x2260)       ; ≠
 830     (=jis-x0208         . #x2162)       ; &I-J90-2162;
 831     (=gb2312            . #x2159)       ; &I-G0-2159;
 832     (=ks-x1001          . #x2141)       ; &I-K0-2141;
 833     (=cns11643-1        . #x223B)       ; &I-C1-223B;
 834     (=big5              . #xA1DA)       ; &I-B-A1DA;
 835     ))
 836 (define-char
 837   '((name               . "IDENTICAL TO")
 838     (general-category   symbol math) ; Informative Category
 839     (bidi-category      . "ON")
 840     (mirrored           . nil)
 841     (=ucs               . #x2261)       ; ≡
 842     (=gb2312            . #x2154)       ; &I-G0-2154;
 843     (=jis-x0208-1983    . #x2261)       ; &I-J83-2261;
 844     (=ks-x1001          . #x2155)       ; &I-K0-2155;
 845     (=jis-x0208-1990    . #x2261)       ; &I-J90-2261;
 846     (=cns11643-1        . #x223E)       ; &I-C1-223E;
 847     (=big5              . #xA1DD)       ; &I-B-A1DD;
 848     ))
 849 (define-char
 850   '((name               . "NOT IDENTICAL TO")
 851     (general-category   symbol math) ; Informative Category
 852     (bidi-category      . "ON")
 853     (mirrored           . t)
 854     (->decomposition    #x2261 #x0338)
 855     (=ucs               . #x2262)       ; ≢
 856     (=jis-x0213-1-2000  . #x226B)       ; &I-JX1-226B;
 857     ))
 858 (define-char
 859   '((name               . "STRICTLY EQUIVALENT TO")
 860     (general-category   symbol math) ; Informative Category
 861     (bidi-category      . "ON")
 862     (mirrored           . nil)
 863     (=ucs               . #x2263)       ; ≣
 864     ))
 865 (define-char
 866   '((name               . "LESS-THAN OR EQUAL TO")
 867     (general-category   symbol math) ; Informative Category
 868     (bidi-category      . "ON")
 869     (mirrored           . t)
 870     (=ucs               . #x2264)       ; ≤
 871     (=gb2312            . #x215C)       ; &I-G0-215C;
 872     (=ks-x1001          . #x2142)       ; &I-K0-2142;
 873     ))
 874 (define-char
 875   '((name               . "GREATER-THAN OR EQUAL TO")
 876     (general-category   symbol math) ; Informative Category
 877     (bidi-category      . "ON")
 878     (mirrored           . t)
 879     (=ucs               . #x2265)       ; ≥
 880     (=gb2312            . #x215D)       ; &I-G0-215D;
 881     (=ks-x1001          . #x2143)       ; &I-K0-2143;
 882     ))
 883 (define-char
 884   '((name               . "LESS-THAN OVER EQUAL TO")
 885     (general-category   symbol math) ; Informative Category
 886     (bidi-category      . "ON")
 887     (mirrored           . t)
 888     (=ucs               . #x2266)       ; ≦
 889     (=jis-x0208         . #x2165)       ; &I-J90-2165;
 890     (=cns11643-1        . #x2239)       ; &I-C1-2239;
 891     (=big5              . #xA1D8)       ; &I-B-A1D8;
 892     ))
 893 (define-char
 894   '((name               . "GREATER-THAN OVER EQUAL TO")
 895     (general-category   symbol math) ; Informative Category
 896     (bidi-category      . "ON")
 897     (mirrored           . t)
 898     (=ucs               . #x2267)       ; ≧
 899     (=jis-x0208         . #x2166)       ; &I-J90-2166;
 900     (=cns11643-1        . #x223A)       ; &I-C1-223A;
 901     (=big5              . #xA1D9)       ; &I-B-A1D9;
 902     ))
 903 (define-char
 904   '((name               . "LESS-THAN BUT NOT EQUAL TO")
 905     (general-category   symbol math) ; Informative Category
 906     (bidi-category      . "ON")
 907     (mirrored           . t)
 908     (=ucs               . #x2268)       ; ≨
 909     ))
 910 (define-char
 911   '((name               . "GREATER-THAN BUT NOT EQUAL TO")
 912     (general-category   symbol math) ; Informative Category
 913     (bidi-category      . "ON")
 914     (mirrored           . t)
 915     (=ucs               . #x2269)       ; ≩
 916     ))
 917 (define-char
 918   '((name               . "MUCH LESS-THAN")
 919     (general-category   symbol math) ; Informative Category
 920     (bidi-category      . "ON")
 921     (mirrored           . t)
 922     (=ucs               . #x226A)       ; ≪
 923     (=jis-x0208-1983    . #x2263)       ; &I-J83-2263;
 924     (=ks-x1001          . #x216C)       ; &I-K0-216C;
 925     (=jis-x0208-1990    . #x2263)       ; &I-J90-2263;
 926     (=jef-china3        . #x7FE3)       ; &I-JC3-7FE3;
 927     ))
 928 (define-char
 929   '((name               . "MUCH GREATER-THAN")
 930     (general-category   symbol math) ; Informative Category
 931     (bidi-category      . "ON")
 932     (mirrored           . t)
 933     (=ucs               . #x226B)       ; ≫
 934     (=jis-x0208-1983    . #x2264)       ; &I-J83-2264;
 935     (=ks-x1001          . #x216D)       ; &I-K0-216D;
 936     (=jis-x0208-1990    . #x2264)       ; &I-J90-2264;
 937     (=jef-china3        . #x7FE4)       ; &I-JC3-7FE4;
 938     ))
 939 (define-char
 940   '((name               . "BETWEEN")
 941     (general-category   symbol math) ; Informative Category
 942     (bidi-category      . "ON")
 943     (mirrored           . nil)
 944     (=ucs               . #x226C)       ; ≬
 945     ))
 946 (define-char
 947   '((name               . "NOT EQUIVALENT TO")
 948     (general-category   symbol math) ; Informative Category
 949     (bidi-category      . "ON")
 950     (mirrored           . nil)
 951     (->decomposition    #x224D #x0338)
 952     (=ucs               . #x226D)       ; ≭
 953     ))
 954 (define-char
 955   '((name               . "NOT LESS-THAN")
 956     (general-category   symbol math) ; Informative Category
 957     (bidi-category      . "ON")
 958     (mirrored           . t)
 959     (->decomposition    #x003C #x0338)
 960     (=ucs               . #x226E)       ; ≮
 961     (=gb2312            . #x215A)       ; &I-G0-215A;
 962     ))
 963 (define-char
 964   '((name               . "NOT GREATER-THAN")
 965     (general-category   symbol math) ; Informative Category
 966     (bidi-category      . "ON")
 967     (mirrored           . t)
 968     (->decomposition    #x003E #x0338)
 969     (=ucs               . #x226F)       ; ≯
 970     (=gb2312            . #x215B)       ; &I-G0-215B;
 971     ))
 972 (define-char
 973   '((name               . "NEITHER LESS-THAN NOR EQUAL TO")
 974     (general-category   symbol math) ; Informative Category
 975     (bidi-category      . "ON")
 976     (mirrored           . t)
 977     (->decomposition    #x2264 #x0338)
 978     (=ucs               . #x2270)       ; ≰
 979     ))
 980 (define-char
 981   '((name               . "NEITHER GREATER-THAN NOR EQUAL TO")
 982     (general-category   symbol math) ; Informative Category
 983     (bidi-category      . "ON")
 984     (mirrored           . t)
 985     (->decomposition    #x2265 #x0338)
 986     (=ucs               . #x2271)       ; ≱
 987     ))
 988 (define-char
 989   '((name               . "LESS-THAN OR EQUIVALENT TO")
 990     (general-category   symbol math) ; Informative Category
 991     (bidi-category      . "ON")
 992     (mirrored           . t)
 993     (=ucs               . #x2272)       ; ≲
 994     ))
 995 (define-char
 996   '((name               . "GREATER-THAN OR EQUIVALENT TO")
 997     (general-category   symbol math) ; Informative Category
 998     (bidi-category      . "ON")
 999     (mirrored           . t)
1000     (=ucs               . #x2273)       ; ≳
1001     ))
1002 (define-char
1003   '((name               . "NEITHER LESS-THAN NOR EQUIVALENT TO")
1004     (general-category   symbol math) ; Informative Category
1005     (bidi-category      . "ON")
1006     (mirrored           . t)
1007     (->decomposition    #x2272 #x0338)
1008     (=ucs               . #x2274)       ; ≴
1009     ))
1010 (define-char
1011   '((name               . "NEITHER GREATER-THAN NOR EQUIVALENT TO")
1012     (general-category   symbol math) ; Informative Category
1013     (bidi-category      . "ON")
1014     (mirrored           . t)
1015     (->decomposition    #x2273 #x0338)
1016     (=ucs               . #x2275)       ; ≵
1017     ))
1018 (define-char
1019   '((name               . "LESS-THAN OR GREATER-THAN")
1020     (general-category   symbol math) ; Informative Category
1021     (bidi-category      . "ON")
1022     (mirrored           . t)
1023     (=ucs               . #x2276)       ; ≶
1024     (=jis-x0213-1-2000  . #x226F)       ; &I-JX1-226F;
1025     ))
1026 (define-char
1027   '((name               . "GREATER-THAN OR LESS-THAN")
1028     (general-category   symbol math) ; Informative Category
1029     (bidi-category      . "ON")
1030     (mirrored           . t)
1031     (=ucs               . #x2277)       ; ≷
1032     (=jis-x0213-1-2000  . #x2270)       ; &I-JX1-2270;
1033     ))
1034 (define-char
1035   '((name               . "NEITHER LESS-THAN NOR GREATER-THAN")
1036     (general-category   symbol math) ; Informative Category
1037     (bidi-category      . "ON")
1038     (mirrored           . t)
1039     (->decomposition    #x2276 #x0338)
1040     (=ucs               . #x2278)       ; ≸
1041     ))
1042 (define-char
1043   '((name               . "NEITHER GREATER-THAN NOR LESS-THAN")
1044     (general-category   symbol math) ; Informative Category
1045     (bidi-category      . "ON")
1046     (mirrored           . t)
1047     (->decomposition    #x2277 #x0338)
1048     (=ucs               . #x2279)       ; ≹
1049     ))
1050 (define-char
1051   '((name               . "PRECEDES")
1052     (general-category   symbol math) ; Informative Category
1053     (bidi-category      . "ON")
1054     (mirrored           . t)
1055     (=ucs               . #x227A)       ; ≺
1056     ))
1057 (define-char
1058   '((name               . "SUCCEEDS")
1059     (general-category   symbol math) ; Informative Category
1060     (bidi-category      . "ON")
1061     (mirrored           . t)
1062     (=ucs               . #x227B)       ; ≻
1063     ))
1064 (define-char
1065   '((name               . "PRECEDES OR EQUAL TO")
1066     (general-category   symbol math) ; Informative Category
1067     (bidi-category      . "ON")
1068     (mirrored           . t)
1069     (=ucs               . #x227C)       ; ≼
1070     ))
1071 (define-char
1072   '((name               . "SUCCEEDS OR EQUAL TO")
1073     (general-category   symbol math) ; Informative Category
1074     (bidi-category      . "ON")
1075     (mirrored           . t)
1076     (=ucs               . #x227D)       ; ≽
1077     ))
1078 (define-char
1079   '((name               . "PRECEDES OR EQUIVALENT TO")
1080     (general-category   symbol math) ; Informative Category
1081     (bidi-category      . "ON")
1082     (mirrored           . t)
1083     (=ucs               . #x227E)       ; ≾
1084     ))
1085 (define-char
1086   '((name               . "SUCCEEDS OR EQUIVALENT TO")
1087     (general-category   symbol math) ; Informative Category
1088     (bidi-category      . "ON")
1089     (mirrored           . t)
1090     (=ucs               . #x227F)       ; ≿
1091     ))
1092 (define-char
1093   '((name               . "DOES NOT PRECEDE")
1094     (general-category   symbol math) ; Informative Category
1095     (bidi-category      . "ON")
1096     (mirrored           . t)
1097     (->decomposition    #x227A #x0338)
1098     (=ucs               . #x2280)       ; ⊀
1099     ))
1100 (define-char
1101   '((name               . "DOES NOT SUCCEED")
1102     (general-category   symbol math) ; Informative Category
1103     (bidi-category      . "ON")
1104     (mirrored           . t)
1105     (->decomposition    #x227B #x0338)
1106     (=ucs               . #x2281)       ; ⊁
1107     ))
1108 (define-char
1109   '((name               . "SUBSET OF")
1110     (general-category   symbol math) ; Informative Category
1111     (bidi-category      . "ON")
1112     (mirrored           . t)
1113     (=ucs               . #x2282)       ; ⊂
1114     (=jis-x0208-1983    . #x223E)       ; &I-J83-223E;
1115     (=ks-x1001          . #x2178)       ; &I-K0-2178;
1116     (=jis-x0208-1990    . #x223E)       ; &I-J90-223E;
1117     (=jef-china3        . #x7FD4)       ; &I-JC3-7FD4;
1118     ))
1119 (define-char
1120   '((name               . "SUPERSET OF")
1121     (general-category   symbol math) ; Informative Category
1122     (bidi-category      . "ON")
1123     (mirrored           . t)
1124     (=ucs               . #x2283)       ; ⊃
1125     (=jis-x0208-1983    . #x223F)       ; &I-J83-223F;
1126     (=ks-x1001          . #x2179)       ; &I-K0-2179;
1127     (=jis-x0208-1990    . #x223F)       ; &I-J90-223F;
1128     (=jef-china3        . #x7FD5)       ; &I-JC3-7FD5;
1129     ))
1130 (define-char
1131   '((name               . "NOT A SUBSET OF")
1132     (general-category   symbol math) ; Informative Category
1133     (bidi-category      . "ON")
1134     (mirrored           . t)
1135     (->decomposition    #x2282 #x0338)
1136     (=ucs               . #x2284)       ; ⊄
1137     (=jis-x0213-1-2000  . #x2242)       ; &I-JX1-2242;
1138     ))
1139 (define-char
1140   '((name               . "NOT A SUPERSET OF")
1141     (general-category   symbol math) ; Informative Category
1142     (bidi-category      . "ON")
1143     (mirrored           . t)
1144     (->decomposition    #x2283 #x0338)
1145     (=ucs               . #x2285)       ; ⊅
1146     (=jis-x0213-1-2000  . #x2243)       ; &I-JX1-2243;
1147     ))
1148 (define-char
1149   '((name               . "SUBSET OF OR EQUAL TO")
1150     (general-category   symbol math) ; Informative Category
1151     (bidi-category      . "ON")
1152     (mirrored           . t)
1153     (=ucs               . #x2286)       ; ⊆
1154     (=jis-x0208-1983    . #x223C)       ; &I-J83-223C;
1155     (=ks-x1001          . #x2176)       ; &I-K0-2176;
1156     (=jis-x0208-1990    . #x223C)       ; &I-J90-223C;
1157     (=jef-china3        . #x7FD2)       ; &I-JC3-7FD2;
1158     ))
1159 (define-char
1160   '((name               . "SUPERSET OF OR EQUAL TO")
1161     (general-category   symbol math) ; Informative Category
1162     (bidi-category      . "ON")
1163     (mirrored           . t)
1164     (=ucs               . #x2287)       ; ⊇
1165     (=jis-x0208-1983    . #x223D)       ; &I-J83-223D;
1166     (=ks-x1001          . #x2177)       ; &I-K0-2177;
1167     (=jis-x0208-1990    . #x223D)       ; &I-J90-223D;
1168     (=jef-china3        . #x7FD3)       ; &I-JC3-7FD3;
1169     ))
1170 (define-char
1171   '((name               . "NEITHER A SUBSET OF NOR EQUAL TO")
1172     (general-category   symbol math) ; Informative Category
1173     (bidi-category      . "ON")
1174     (mirrored           . t)
1175     (->decomposition    #x2286 #x0338)
1176     (=ucs               . #x2288)       ; ⊈
1177     ))
1178 (define-char
1179   '((name               . "NEITHER A SUPERSET OF NOR EQUAL TO")
1180     (general-category   symbol math) ; Informative Category
1181     (bidi-category      . "ON")
1182     (mirrored           . t)
1183     (->decomposition    #x2287 #x0338)
1184     (=ucs               . #x2289)       ; ⊉
1185     ))
1186 (define-char
1187   '((name               . "SUBSET OF WITH NOT EQUAL TO")
1188     (general-category   symbol math) ; Informative Category
1189     (bidi-category      . "ON")
1190     (mirrored           . t)
1191     (=ucs               . #x228A)       ; ⊊
1192     (=jis-x0213-1-2000  . #x2244)       ; &I-JX1-2244;
1193     ))
1194 (define-char
1195   '((name               . "SUPERSET OF WITH NOT EQUAL TO")
1196     (general-category   symbol math) ; Informative Category
1197     (bidi-category      . "ON")
1198     (mirrored           . t)
1199     (=ucs               . #x228B)       ; ⊋
1200     (=jis-x0213-1-2000  . #x2245)       ; &I-JX1-2245;
1201     ))
1202 (define-char
1203   '((name               . "MULTISET")
1204     (general-category   symbol math) ; Informative Category
1205     (bidi-category      . "ON")
1206     (mirrored           . t)
1207     (=ucs               . #x228C)       ; ⊌
1208     ))
1209 (define-char
1210   '((name               . "MULTISET MULTIPLICATION")
1211     (general-category   symbol math) ; Informative Category
1212     (bidi-category      . "ON")
1213     (mirrored           . nil)
1214     (=ucs               . #x228D)       ; ⊍
1215     ))
1216 (define-char
1217   '((name               . "MULTISET UNION")
1218     (general-category   symbol math) ; Informative Category
1219     (bidi-category      . "ON")
1220     (mirrored           . nil)
1221     (=ucs               . #x228E)       ; ⊎
1222     ))
1223 (define-char
1224   '((name               . "SQUARE IMAGE OF")
1225     (general-category   symbol math) ; Informative Category
1226     (bidi-category      . "ON")
1227     (mirrored           . t)
1228     (=ucs               . #x228F)       ; ⊏
1229     ))
1230 (define-char
1231   '((name               . "SQUARE ORIGINAL OF")
1232     (general-category   symbol math) ; Informative Category
1233     (bidi-category      . "ON")
1234     (mirrored           . t)
1235     (=ucs               . #x2290)       ; ⊐
1236     ))
1237 (define-char
1238   '((name               . "SQUARE IMAGE OF OR EQUAL TO")
1239     (general-category   symbol math) ; Informative Category
1240     (bidi-category      . "ON")
1241     (mirrored           . t)
1242     (=ucs               . #x2291)       ; ⊑
1243     ))
1244 (define-char
1245   '((name               . "SQUARE ORIGINAL OF OR EQUAL TO")
1246     (general-category   symbol math) ; Informative Category
1247     (bidi-category      . "ON")
1248     (mirrored           . t)
1249     (=ucs               . #x2292)       ; ⊒
1250     ))
1251 (define-char
1252   '((name               . "SQUARE CAP")
1253     (general-category   symbol math) ; Informative Category
1254     (bidi-category      . "ON")
1255     (mirrored           . nil)
1256     (=ucs               . #x2293)       ; ⊓
1257     ))
1258 (define-char
1259   '((name               . "SQUARE CUP")
1260     (general-category   symbol math) ; Informative Category
1261     (bidi-category      . "ON")
1262     (mirrored           . nil)
1263     (=ucs               . #x2294)       ; ⊔
1264     ))
1265 (define-char
1266   '((name               . "CIRCLED PLUS")
1267     (general-category   symbol math) ; Informative Category
1268     (bidi-category      . "ON")
1269     (mirrored           . nil)
1270     (=ucs               . #x2295)       ; ⊕
1271     (=cns11643-1        . #x2253)       ; &I-C1-2253;
1272     (=jis-x0213-1-2000  . #x2251)       ; &I-JX1-2251;
1273     (=big5              . #xA1F2)       ; &I-B-A1F2;
1274     ))
1275 (define-char
1276   '((name               . "CIRCLED MINUS")
1277     (general-category   symbol math) ; Informative Category
1278     (bidi-category      . "ON")
1279     (mirrored           . nil)
1280     (=ucs               . #x2296)       ; ⊖
1281     (=jis-x0213-1-2000  . #x2252)       ; &I-JX1-2252;
1282     ))
1283 (define-char
1284   '((name               . "CIRCLED TIMES")
1285     (general-category   symbol math) ; Informative Category
1286     (bidi-category      . "ON")
1287     (mirrored           . nil)
1288     (=ucs               . #x2297)       ; ⊗
1289     (=jis-x0213-1-2000  . #x2253)       ; &I-JX1-2253;
1290     ))
1291 (define-char
1292   '((name               . "CIRCLED DIVISION SLASH")
1293     (general-category   symbol math) ; Informative Category
1294     (bidi-category      . "ON")
1295     (mirrored           . t)
1296     (=ucs               . #x2298)       ; ⊘
1297     ))
1298 (define-char
1299   '((name               . "CIRCLED DOT OPERATOR")
1300     (general-category   symbol math) ; Informative Category
1301     (bidi-category      . "ON")
1302     (mirrored           . nil)
1303     (=ucs               . #x2299)       ; ⊙
1304     (=gb2312            . #x2151)       ; &I-G0-2151;
1305     (=ks-x1001          . #x2241)       ; &I-K0-2241;
1306     (=cns11643-1        . #x2254)       ; &I-C1-2254;
1307     (=big5              . #xA1F3)       ; &I-B-A1F3;
1308     ))
1309 (define-char
1310   '((name               . "CIRCLED RING OPERATOR")
1311     (general-category   symbol math) ; Informative Category
1312     (bidi-category      . "ON")
1313     (mirrored           . nil)
1314     (=ucs               . #x229A)       ; ⊚
1315     ))
1316 (define-char
1317   '((name               . "CIRCLED ASTERISK OPERATOR")
1318     (general-category   symbol math) ; Informative Category
1319     (bidi-category      . "ON")
1320     (mirrored           . nil)
1321     (=ucs               . #x229B)       ; ⊛
1322     ))
1323 (define-char
1324   '((name               . "CIRCLED EQUALS")
1325     (general-category   symbol math) ; Informative Category
1326     (bidi-category      . "ON")
1327     (mirrored           . nil)
1328     (=ucs               . #x229C)       ; ⊜
1329     ))
1330 (define-char
1331   '((name               . "CIRCLED DASH")
1332     (general-category   symbol math) ; Informative Category
1333     (bidi-category      . "ON")
1334     (mirrored           . nil)
1335     (=ucs               . #x229D)       ; ⊝
1336     ))
1337 (define-char
1338   '((name               . "SQUARED PLUS")
1339     (general-category   symbol math) ; Informative Category
1340     (bidi-category      . "ON")
1341     (mirrored           . nil)
1342     (=ucs               . #x229E)       ; ⊞
1343     ))
1344 (define-char
1345   '((name               . "SQUARED MINUS")
1346     (general-category   symbol math) ; Informative Category
1347     (bidi-category      . "ON")
1348     (mirrored           . nil)
1349     (=ucs               . #x229F)       ; ⊟
1350     ))
1351 (define-char
1352   '((name               . "SQUARED TIMES")
1353     (general-category   symbol math) ; Informative Category
1354     (bidi-category      . "ON")
1355     (mirrored           . nil)
1356     (=ucs               . #x22A0)       ; ⊠
1357     ))
1358 (define-char
1359   '((name               . "SQUARED DOT OPERATOR")
1360     (general-category   symbol math) ; Informative Category
1361     (bidi-category      . "ON")
1362     (mirrored           . nil)
1363     (=ucs               . #x22A1)       ; ⊡
1364     ))
1365 (define-char
1366   '((name               . "RIGHT TACK")
1367     (general-category   symbol math) ; Informative Category
1368     (bidi-category      . "ON")
1369     (mirrored           . t)
1370     (=ucs               . #x22A2)       ; ⊢
1371     ))
1372 (define-char
1373   '((name               . "LEFT TACK")
1374     (general-category   symbol math) ; Informative Category
1375     (bidi-category      . "ON")
1376     (mirrored           . t)
1377     (=ucs               . #x22A3)       ; ⊣
1378     ))
1379 (define-char
1380   '((name               . "DOWN TACK")
1381     (general-category   symbol math) ; Informative Category
1382     (bidi-category      . "ON")
1383     (mirrored           . nil)
1384     (=ucs               . #x22A4)       ; ⊤
1385     ))
1386 (define-char
1387   '((name               . "UP TACK")
1388     (general-category   symbol math) ; Informative Category
1389     (bidi-category      . "ON")
1390     (mirrored           . nil)
1391     (=ucs               . #x22A5)       ; ⊥
1392     (=gb2312            . #x214D)       ; &I-G0-214D;
1393     (=jis-x0208-1983    . #x225D)       ; &I-J83-225D;
1394     (=ks-x1001          . #x2151)       ; &I-K0-2151;
1395     (=jis-x0208-1990    . #x225D)       ; &I-J90-225D;
1396     (=cns11643-1        . #x2247)       ; &I-C1-2247;
1397     (=big5              . #xA1E6)       ; &I-B-A1E6;
1398     ))
1399 (define-char
1400   '((name               . "ASSERTION")
1401     (general-category   symbol math) ; Informative Category
1402     (bidi-category      . "ON")
1403     (mirrored           . t)
1404     (=ucs               . #x22A6)       ; ⊦
1405     ))
1406 (define-char
1407   '((name               . "MODELS")
1408     (general-category   symbol math) ; Informative Category
1409     (bidi-category      . "ON")
1410     (mirrored           . t)
1411     (=ucs               . #x22A7)       ; ⊧
1412     ))
1413 (define-char
1414   '((name               . "TRUE")
1415     (general-category   symbol math) ; Informative Category
1416     (bidi-category      . "ON")
1417     (mirrored           . t)
1418     (=ucs               . #x22A8)       ; ⊨
1419     ))
1420 (define-char
1421   '((name               . "FORCES")
1422     (general-category   symbol math) ; Informative Category
1423     (bidi-category      . "ON")
1424     (mirrored           . t)
1425     (=ucs               . #x22A9)       ; ⊩
1426     ))
1427 (define-char
1428   '((name               . "TRIPLE VERTICAL BAR RIGHT TURNSTILE")
1429     (general-category   symbol math) ; Informative Category
1430     (bidi-category      . "ON")
1431     (mirrored           . t)
1432     (=ucs               . #x22AA)       ; ⊪
1433     ))
1434 (define-char
1435   '((name               . "DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1436     (general-category   symbol math) ; Informative Category
1437     (bidi-category      . "ON")
1438     (mirrored           . t)
1439     (=ucs               . #x22AB)       ; ⊫
1440     ))
1441 (define-char
1442   '((name               . "DOES NOT PROVE")
1443     (general-category   symbol math) ; Informative Category
1444     (bidi-category      . "ON")
1445     (mirrored           . t)
1446     (->decomposition    #x22A2 #x0338)
1447     (=ucs               . #x22AC)       ; ⊬
1448     ))
1449 (define-char
1450   '((name               . "NOT TRUE")
1451     (general-category   symbol math) ; Informative Category
1452     (bidi-category      . "ON")
1453     (mirrored           . t)
1454     (->decomposition    #x22A8 #x0338)
1455     (=ucs               . #x22AD)       ; ⊭
1456     ))
1457 (define-char
1458   '((name               . "DOES NOT FORCE")
1459     (general-category   symbol math) ; Informative Category
1460     (bidi-category      . "ON")
1461     (mirrored           . t)
1462     (->decomposition    #x22A9 #x0338)
1463     (=ucs               . #x22AE)       ; ⊮
1464     ))
1465 (define-char
1466   '((name . "NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE")
1467     (general-category   symbol math) ; Informative Category
1468     (bidi-category      . "ON")
1469     (mirrored           . t)
1470     (->decomposition    #x22AB #x0338)
1471     (=ucs               . #x22AF)       ; ⊯
1472     ))
1473 (define-char
1474   '((name               . "PRECEDES UNDER RELATION")
1475     (general-category   symbol math) ; Informative Category
1476     (bidi-category      . "ON")
1477     (mirrored           . t)
1478     (=ucs               . #x22B0)       ; ⊰
1479     ))
1480 (define-char
1481   '((name               . "SUCCEEDS UNDER RELATION")
1482     (general-category   symbol math) ; Informative Category
1483     (bidi-category      . "ON")
1484     (mirrored           . t)
1485     (=ucs               . #x22B1)       ; ⊱
1486     ))
1487 (define-char
1488   '((name               . "NORMAL SUBGROUP OF")
1489     (general-category   symbol math) ; Informative Category
1490     (bidi-category      . "ON")
1491     (mirrored           . t)
1492     (=ucs               . #x22B2)       ; ⊲
1493     ))
1494 (define-char
1495   '((name               . "CONTAINS AS NORMAL SUBGROUP")
1496     (general-category   symbol math) ; Informative Category
1497     (bidi-category      . "ON")
1498     (mirrored           . t)
1499     (=ucs               . #x22B3)       ; ⊳
1500     ))
1501 (define-char
1502   '((name               . "NORMAL SUBGROUP OF OR EQUAL TO")
1503     (general-category   symbol math) ; Informative Category
1504     (bidi-category      . "ON")
1505     (mirrored           . t)
1506     (=ucs               . #x22B4)       ; ⊴
1507     ))
1508 (define-char
1509   '((name               . "CONTAINS AS NORMAL SUBGROUP OR EQUAL TO")
1510     (general-category   symbol math) ; Informative Category
1511     (bidi-category      . "ON")
1512     (mirrored           . t)
1513     (=ucs               . #x22B5)       ; ⊵
1514     ))
1515 (define-char
1516   '((name               . "ORIGINAL OF")
1517     (general-category   symbol math) ; Informative Category
1518     (bidi-category      . "ON")
1519     (mirrored           . t)
1520     (=ucs               . #x22B6)       ; ⊶
1521     ))
1522 (define-char
1523   '((name               . "IMAGE OF")
1524     (general-category   symbol math) ; Informative Category
1525     (bidi-category      . "ON")
1526     (mirrored           . t)
1527     (=ucs               . #x22B7)       ; ⊷
1528     ))
1529 (define-char
1530   '((name               . "MULTIMAP")
1531     (general-category   symbol math) ; Informative Category
1532     (bidi-category      . "ON")
1533     (mirrored           . t)
1534     (=ucs               . #x22B8)       ; ⊸
1535     ))
1536 (define-char
1537   '((name               . "HERMITIAN CONJUGATE MATRIX")
1538     (general-category   symbol math) ; Informative Category
1539     (bidi-category      . "ON")
1540     (mirrored           . nil)
1541     (=ucs               . #x22B9)       ; ⊹
1542     ))
1543 (define-char
1544   '((name               . "INTERCALATE")
1545     (general-category   symbol math) ; Informative Category
1546     (bidi-category      . "ON")
1547     (mirrored           . nil)
1548     (=ucs               . #x22BA)       ; ⊺
1549     ))
1550 (define-char
1551   '((name               . "XOR")
1552     (general-category   symbol math) ; Informative Category
1553     (bidi-category      . "ON")
1554     (mirrored           . nil)
1555     (=ucs               . #x22BB)       ; ⊻
1556     ))
1557 (define-char
1558   '((name               . "NAND")
1559     (general-category   symbol math) ; Informative Category
1560     (bidi-category      . "ON")
1561     (mirrored           . nil)
1562     (=ucs               . #x22BC)       ; ⊼
1563     ))
1564 (define-char
1565   '((name               . "NOR")
1566     (general-category   symbol math) ; Informative Category
1567     (bidi-category      . "ON")
1568     (mirrored           . nil)
1569     (=ucs               . #x22BD)       ; ⊽
1570     ))
1571 (define-char
1572   '((name               . "RIGHT ANGLE WITH ARC")
1573     (general-category   symbol math) ; Informative Category
1574     (bidi-category      . "ON")
1575     (mirrored           . t)
1576     (=ucs               . #x22BE)       ; ⊾
1577     ))
1578 (define-char
1579   '((name               . "RIGHT TRIANGLE")
1580     (general-category   symbol math) ; Informative Category
1581     (bidi-category      . "ON")
1582     (mirrored           . t)
1583     (=ucs               . #x22BF)       ; ⊿
1584     (=cns11643-1        . #x224A)       ; &I-C1-224A;
1585     (=jis-x0213-1-2000  . #x2D79)       ; &I-JX1-2D79;
1586     (=big5              . #xA1E9)       ; &I-B-A1E9;
1587     ))
1588 (define-char
1589   '((name               . "N-ARY LOGICAL AND")
1590     (general-category   symbol math) ; Informative Category
1591     (bidi-category      . "ON")
1592     (mirrored           . nil)
1593     (=ucs               . #x22C0)       ; ⋀
1594     (=jef-china3        . #x7FD8)       ; &I-JC3-7FD8;
1595     ))
1596 (define-char
1597   '((name               . "N-ARY LOGICAL OR")
1598     (general-category   symbol math) ; Informative Category
1599     (bidi-category      . "ON")
1600     (mirrored           . nil)
1601     (=ucs               . #x22C1)       ; ⋁
1602     (=jef-china3        . #x7FD9)       ; &I-JC3-7FD9;
1603     ))
1604 (define-char
1605   '((name               . "N-ARY INTERSECTION")
1606     (general-category   symbol math) ; Informative Category
1607     (bidi-category      . "ON")
1608     (mirrored           . nil)
1609     (=ucs               . #x22C2)       ; ⋂
1610     (=jef-china3        . #x7FD7)       ; &I-JC3-7FD7;
1611     ))
1612 (define-char
1613   '((name               . "N-ARY UNION")
1614     (general-category   symbol math) ; Informative Category
1615     (bidi-category      . "ON")
1616     (mirrored           . nil)
1617     (=ucs               . #x22C3)       ; ⋃
1618     (=jef-china3        . #x7FD6)       ; &I-JC3-7FD6;
1619     ))
1620 (define-char
1621   '((name               . "DIAMOND OPERATOR")
1622     (general-category   symbol math) ; Informative Category
1623     (bidi-category      . "ON")
1624     (mirrored           . nil)
1625     (=ucs               . #x22C4)       ; ⋄
1626     ))
1627 (define-char
1628   '((name               . "DOT OPERATOR")
1629     (general-category   symbol math) ; Informative Category
1630     (bidi-category      . "ON")
1631     (mirrored           . nil)
1632     (=ucs               . #x22C5)       ; ⋅
1633     ))
1634 (define-char
1635   '((name               . "STAR OPERATOR")
1636     (general-category   symbol math) ; Informative Category
1637     (bidi-category      . "ON")
1638     (mirrored           . nil)
1639     (=ucs               . #x22C6)       ; ⋆
1640     ))
1641 (define-char
1642   '((name               . "DIVISION TIMES")
1643     (general-category   symbol math) ; Informative Category
1644     (bidi-category      . "ON")
1645     (mirrored           . nil)
1646     (=ucs               . #x22C7)       ; ⋇
1647     ))
1648 (define-char
1649   '((name               . "BOWTIE")
1650     (general-category   symbol math) ; Informative Category
1651     (bidi-category      . "ON")
1652     (mirrored           . nil)
1653     (=ucs               . #x22C8)       ; ⋈
1654     ))
1655 (define-char
1656   '((name               . "LEFT NORMAL FACTOR SEMIDIRECT PRODUCT")
1657     (general-category   symbol math) ; Informative Category
1658     (bidi-category      . "ON")
1659     (mirrored           . t)
1660     (=ucs               . #x22C9)       ; ⋉
1661     ))
1662 (define-char
1663   '((name               . "RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT")
1664     (general-category   symbol math) ; Informative Category
1665     (bidi-category      . "ON")
1666     (mirrored           . t)
1667     (=ucs               . #x22CA)       ; ⋊
1668     ))
1669 (define-char
1670   '((name               . "LEFT SEMIDIRECT PRODUCT")
1671     (general-category   symbol math) ; Informative Category
1672     (bidi-category      . "ON")
1673     (mirrored           . t)
1674     (=ucs               . #x22CB)       ; ⋋
1675     ))
1676 (define-char
1677   '((name               . "RIGHT SEMIDIRECT PRODUCT")
1678     (general-category   symbol math) ; Informative Category
1679     (bidi-category      . "ON")
1680     (mirrored           . t)
1681     (=ucs               . #x22CC)       ; ⋌
1682     ))
1683 (define-char
1684   '((name               . "REVERSED TILDE EQUALS")
1685     (general-category   symbol math) ; Informative Category
1686     (bidi-category      . "ON")
1687     (mirrored           . t)
1688     (=ucs               . #x22CD)       ; ⋍
1689     ))
1690 (define-char
1691   '((name               . "CURLY LOGICAL OR")
1692     (general-category   symbol math) ; Informative Category
1693     (bidi-category      . "ON")
1694     (mirrored           . nil)
1695     (=ucs               . #x22CE)       ; ⋎
1696     ))
1697 (define-char
1698   '((name               . "CURLY LOGICAL AND")
1699     (general-category   symbol math) ; Informative Category
1700     (bidi-category      . "ON")
1701     (mirrored           . nil)
1702     (=ucs               . #x22CF)       ; ⋏
1703     ))
1704 (define-char
1705   '((name               . "DOUBLE SUBSET")
1706     (general-category   symbol math) ; Informative Category
1707     (bidi-category      . "ON")
1708     (mirrored           . t)
1709     (=ucs               . #x22D0)       ; ⋐
1710     ))
1711 (define-char
1712   '((name               . "DOUBLE SUPERSET")
1713     (general-category   symbol math) ; Informative Category
1714     (bidi-category      . "ON")
1715     (mirrored           . t)
1716     (=ucs               . #x22D1)       ; ⋑
1717     ))
1718 (define-char
1719   '((name               . "DOUBLE INTERSECTION")
1720     (general-category   symbol math) ; Informative Category
1721     (bidi-category      . "ON")
1722     (mirrored           . nil)
1723     (=ucs               . #x22D2)       ; ⋒
1724     ))
1725 (define-char
1726   '((name               . "DOUBLE UNION")
1727     (general-category   symbol math) ; Informative Category
1728     (bidi-category      . "ON")
1729     (mirrored           . nil)
1730     (=ucs               . #x22D3)       ; ⋓
1731     ))
1732 (define-char
1733   '((name               . "PITCHFORK")
1734     (general-category   symbol math) ; Informative Category
1735     (bidi-category      . "ON")
1736     (mirrored           . nil)
1737     (=ucs               . #x22D4)       ; ⋔
1738     ))
1739 (define-char
1740   '((name               . "EQUAL AND PARALLEL TO")
1741     (general-category   symbol math) ; Informative Category
1742     (bidi-category      . "ON")
1743     (mirrored           . nil)
1744     (=ucs               . #x22D5)       ; ⋕
1745     ))
1746 (define-char
1747   '((name               . "LESS-THAN WITH DOT")
1748     (general-category   symbol math) ; Informative Category
1749     (bidi-category      . "ON")
1750     (mirrored           . t)
1751     (=ucs               . #x22D6)       ; ⋖
1752     ))
1753 (define-char
1754   '((name               . "GREATER-THAN WITH DOT")
1755     (general-category   symbol math) ; Informative Category
1756     (bidi-category      . "ON")
1757     (mirrored           . t)
1758     (=ucs               . #x22D7)       ; ⋗
1759     ))
1760 (define-char
1761   '((name               . "VERY MUCH LESS-THAN")
1762     (general-category   symbol math) ; Informative Category
1763     (bidi-category      . "ON")
1764     (mirrored           . t)
1765     (=ucs               . #x22D8)       ; ⋘
1766     ))
1767 (define-char
1768   '((name               . "VERY MUCH GREATER-THAN")
1769     (general-category   symbol math) ; Informative Category
1770     (bidi-category      . "ON")
1771     (mirrored           . t)
1772     (=ucs               . #x22D9)       ; ⋙
1773     ))
1774 (define-char
1775   '((name               . "LESS-THAN EQUAL TO OR GREATER-THAN")
1776     (general-category   symbol math) ; Informative Category
1777     (bidi-category      . "ON")
1778     (mirrored           . t)
1779     (=ucs               . #x22DA)       ; ⋚
1780     (=jis-x0213-1-2000  . #x2776)       ; &I-JX1-2776;
1781     ))
1782 (define-char
1783   '((name               . "GREATER-THAN EQUAL TO OR LESS-THAN")
1784     (general-category   symbol math) ; Informative Category
1785     (bidi-category      . "ON")
1786     (mirrored           . t)
1787     (=ucs               . #x22DB)       ; ⋛
1788     (=jis-x0213-1-2000  . #x2777)       ; &I-JX1-2777;
1789     ))
1790 (define-char
1791   '((name               . "EQUAL TO OR LESS-THAN")
1792     (general-category   symbol math) ; Informative Category
1793     (bidi-category      . "ON")
1794     (mirrored           . t)
1795     (=ucs               . #x22DC)       ; ⋜
1796     ))
1797 (define-char
1798   '((name               . "EQUAL TO OR GREATER-THAN")
1799     (general-category   symbol math) ; Informative Category
1800     (bidi-category      . "ON")
1801     (mirrored           . t)
1802     (=ucs               . #x22DD)       ; ⋝
1803     ))
1804 (define-char
1805   '((name               . "EQUAL TO OR PRECEDES")
1806     (general-category   symbol math) ; Informative Category
1807     (bidi-category      . "ON")
1808     (mirrored           . t)
1809     (=ucs               . #x22DE)       ; ⋞
1810     ))
1811 (define-char
1812   '((name               . "EQUAL TO OR SUCCEEDS")
1813     (general-category   symbol math) ; Informative Category
1814     (bidi-category      . "ON")
1815     (mirrored           . t)
1816     (=ucs               . #x22DF)       ; ⋟
1817     ))
1818 (define-char
1819   '((name               . "DOES NOT PRECEDE OR EQUAL")
1820     (general-category   symbol math) ; Informative Category
1821     (bidi-category      . "ON")
1822     (mirrored           . t)
1823     (->decomposition    #x227C #x0338)
1824     (=ucs               . #x22E0)       ; ⋠
1825     ))
1826 (define-char
1827   '((name               . "DOES NOT SUCCEED OR EQUAL")
1828     (general-category   symbol math) ; Informative Category
1829     (bidi-category      . "ON")
1830     (mirrored           . t)
1831     (->decomposition    #x227D #x0338)
1832     (=ucs               . #x22E1)       ; ⋡
1833     ))
1834 (define-char
1835   '((name               . "NOT SQUARE IMAGE OF OR EQUAL TO")
1836     (general-category   symbol math) ; Informative Category
1837     (bidi-category      . "ON")
1838     (mirrored           . t)
1839     (->decomposition    #x2291 #x0338)
1840     (=ucs               . #x22E2)       ; ⋢
1841     ))
1842 (define-char
1843   '((name               . "NOT SQUARE ORIGINAL OF OR EQUAL TO")
1844     (general-category   symbol math) ; Informative Category
1845     (bidi-category      . "ON")
1846     (mirrored           . t)
1847     (->decomposition    #x2292 #x0338)
1848     (=ucs               . #x22E3)       ; ⋣
1849     ))
1850 (define-char
1851   '((name               . "SQUARE IMAGE OF OR NOT EQUAL TO")
1852     (general-category   symbol math) ; Informative Category
1853     (bidi-category      . "ON")
1854     (mirrored           . t)
1855     (=ucs               . #x22E4)       ; ⋤
1856     ))
1857 (define-char
1858   '((name               . "SQUARE ORIGINAL OF OR NOT EQUAL TO")
1859     (general-category   symbol math) ; Informative Category
1860     (bidi-category      . "ON")
1861     (mirrored           . t)
1862     (=ucs               . #x22E5)       ; ⋥
1863     ))
1864 (define-char
1865   '((name               . "LESS-THAN BUT NOT EQUIVALENT TO")
1866     (general-category   symbol math) ; Informative Category
1867     (bidi-category      . "ON")
1868     (mirrored           . t)
1869     (=ucs               . #x22E6)       ; ⋦
1870     ))
1871 (define-char
1872   '((name               . "GREATER-THAN BUT NOT EQUIVALENT TO")
1873     (general-category   symbol math) ; Informative Category
1874     (bidi-category      . "ON")
1875     (mirrored           . t)
1876     (=ucs               . #x22E7)       ; ⋧
1877     ))
1878 (define-char
1879   '((name               . "PRECEDES BUT NOT EQUIVALENT TO")
1880     (general-category   symbol math) ; Informative Category
1881     (bidi-category      . "ON")
1882     (mirrored           . t)
1883     (=ucs               . #x22E8)       ; ⋨
1884     ))
1885 (define-char
1886   '((name               . "SUCCEEDS BUT NOT EQUIVALENT TO")
1887     (general-category   symbol math) ; Informative Category
1888     (bidi-category      . "ON")
1889     (mirrored           . t)
1890     (=ucs               . #x22E9)       ; ⋩
1891     ))
1892 (define-char
1893   '((name               . "NOT NORMAL SUBGROUP OF")
1894     (general-category   symbol math) ; Informative Category
1895     (bidi-category      . "ON")
1896     (mirrored           . t)
1897     (->decomposition    #x22B2 #x0338)
1898     (=ucs               . #x22EA)       ; ⋪
1899     ))
1900 (define-char
1901   '((name               . "DOES NOT CONTAIN AS NORMAL SUBGROUP")
1902     (general-category   symbol math) ; Informative Category
1903     (bidi-category      . "ON")
1904     (mirrored           . t)
1905     (->decomposition    #x22B3 #x0338)
1906     (=ucs               . #x22EB)       ; ⋫
1907     ))
1908 (define-char
1909   '((name               . "NOT NORMAL SUBGROUP OF OR EQUAL TO")
1910     (general-category   symbol math) ; Informative Category
1911     (bidi-category      . "ON")
1912     (mirrored           . t)
1913     (->decomposition    #x22B4 #x0338)
1914     (=ucs               . #x22EC)       ; ⋬
1915     ))
1916 (define-char
1917   '((name               . "DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL")
1918     (general-category   symbol math) ; Informative Category
1919     (bidi-category      . "ON")
1920     (mirrored           . t)
1921     (->decomposition    #x22B5 #x0338)
1922     (=ucs               . #x22ED)       ; ⋭
1923     ))
1924 (define-char
1925   '((name               . "VERTICAL ELLIPSIS")
1926     (general-category   symbol math) ; Informative Category
1927     (bidi-category      . "ON")
1928     (mirrored           . nil)
1929     (=ucs               . #x22EE)       ; ⋮
1930     ))
1931 (define-char
1932   '((name               . "MIDLINE HORIZONTAL ELLIPSIS")
1933     (general-category   symbol math) ; Informative Category
1934     (bidi-category      . "ON")
1935     (mirrored           . nil)
1936     (=ucs               . #x22EF)       ; ⋯
1937     ))
1938 (define-char
1939   '((name               . "UP RIGHT DIAGONAL ELLIPSIS")
1940     (general-category   symbol math) ; Informative Category
1941     (bidi-category      . "ON")
1942     (mirrored           . t)
1943     (=ucs               . #x22F0)       ; ⋰
1944     ))
1945 (define-char
1946   '((name               . "DOWN RIGHT DIAGONAL ELLIPSIS")
1947     (general-category   symbol math) ; Informative Category
1948     (bidi-category      . "ON")
1949     (mirrored           . t)
1950     (=ucs               . #x22F1)       ; ⋱
1951     ))