OLD | NEW |
(Empty) | |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. |
| 4 |
| 5 /// Character codes based on HTML 4.01 character entity names. |
| 6 /// |
| 7 /// For each entity name, e.g., `nbsp`, |
| 8 /// a constant with that name prefixed by `$` is defined |
| 9 /// for that entity's code point. |
| 10 /// |
| 11 /// The HTML entities include the non-ASCII Latin-1 characters and |
| 12 /// symbols, mathematical symbols and Greek litters. |
| 13 /// |
| 14 /// The five characters that are ASCII |
| 15 /// are exported from the `ascii.dart` library. |
| 16 /// |
| 17 /// Three names conflict with `ascii.dart`: `$minus`, `$sub` and `$tilde`. |
| 18 /// If importing both libraries, these three should be hidden from one of the |
| 19 /// libraries. |
| 20 library charcode.htmlentity.dollar_lowercase; |
| 21 |
| 22 export "ascii.dart" show $quot, $amp, $apos, $lt, $gt; |
| 23 |
| 24 /// no-break space (non-breaking space) |
| 25 const int $nbsp = 0x00A0; |
| 26 |
| 27 /// inverted exclamation mark ('¡') |
| 28 const int $iexcl = 0x00A1; |
| 29 |
| 30 /// cent sign ('¢') |
| 31 const int $cent = 0x00A2; |
| 32 |
| 33 /// pound sign ('£') |
| 34 const int $pound = 0x00A3; |
| 35 |
| 36 /// currency sign ('¤') |
| 37 const int $curren = 0x00A4; |
| 38 |
| 39 /// yen sign (yuan sign) ('¥') |
| 40 const int $yen = 0x00A5; |
| 41 |
| 42 /// broken bar (broken vertical bar) ('¦') |
| 43 const int $brvbar = 0x00A6; |
| 44 |
| 45 /// section sign ('§') |
| 46 const int $sect = 0x00A7; |
| 47 |
| 48 /// diaeresis (spacing diaeresis); see Germanic umlaut ('¨') |
| 49 const int $uml = 0x00A8; |
| 50 |
| 51 /// copyright symbol ('©') |
| 52 const int $copy = 0x00A9; |
| 53 |
| 54 /// feminine ordinal indicator ('ª') |
| 55 const int $ordf = 0x00AA; |
| 56 |
| 57 /// left-pointing double angle quotation mark (left pointing guillemet) ('«') |
| 58 const int $laquo = 0x00AB; |
| 59 |
| 60 /// not sign ('¬') |
| 61 const int $not = 0x00AC; |
| 62 |
| 63 /// soft hyphen (discretionary hyphen) |
| 64 const int $shy = 0x00AD; |
| 65 |
| 66 /// registered sign (registered trademark symbol) ('®') |
| 67 const int $reg = 0x00AE; |
| 68 |
| 69 /// macron (spacing macron, overline, APL overbar) ('¯') |
| 70 const int $macr = 0x00AF; |
| 71 |
| 72 /// degree symbol ('°') |
| 73 const int $deg = 0x00B0; |
| 74 |
| 75 /// plus-minus sign (plus-or-minus sign) ('±') |
| 76 const int $plusmn = 0x00B1; |
| 77 |
| 78 /// superscript two (superscript digit two, squared) ('²') |
| 79 const int $sup2 = 0x00B2; |
| 80 |
| 81 /// superscript three (superscript digit three, cubed) ('³') |
| 82 const int $sup3 = 0x00B3; |
| 83 |
| 84 /// acute accent (spacing acute) ('´') |
| 85 const int $acute = 0x00B4; |
| 86 |
| 87 /// micro sign ('µ') |
| 88 const int $micro = 0x00B5; |
| 89 |
| 90 /// pilcrow sign (paragraph sign) ('¶') |
| 91 const int $para = 0x00B6; |
| 92 |
| 93 /// middle dot (Georgian comma, Greek middle dot) ('·') |
| 94 const int $middot = 0x00B7; |
| 95 |
| 96 /// cedilla (spacing cedilla) ('¸') |
| 97 const int $cedil = 0x00B8; |
| 98 |
| 99 /// superscript one (superscript digit one) ('¹') |
| 100 const int $sup1 = 0x00B9; |
| 101 |
| 102 /// masculine ordinal indicator ('º') |
| 103 const int $ordm = 0x00BA; |
| 104 |
| 105 /// right-pointing double angle quotation mark (right pointing guillemet) ('»') |
| 106 const int $raquo = 0x00BB; |
| 107 |
| 108 /// vulgar fraction one quarter (fraction one quarter) ('¼') |
| 109 const int $frac14 = 0x00BC; |
| 110 |
| 111 /// vulgar fraction one half (fraction one half) ('½') |
| 112 const int $frac12 = 0x00BD; |
| 113 |
| 114 /// vulgar fraction three quarters (fraction three quarters) ('¾') |
| 115 const int $frac34 = 0x00BE; |
| 116 |
| 117 /// inverted question mark (turned question mark) ('¿') |
| 118 const int $iquest = 0x00BF; |
| 119 |
| 120 /// Latin capital letter A with grave accent (Latin capital letter A grave) ('À'
) |
| 121 const int $Agrave = 0x00C0; |
| 122 |
| 123 /// Latin capital letter A with acute accent ('Á') |
| 124 const int $Aacute = 0x00C1; |
| 125 |
| 126 /// Latin capital letter A with circumflex ('Â') |
| 127 const int $Acirc = 0x00C2; |
| 128 |
| 129 /// Latin capital letter A with tilde ('Ã') |
| 130 const int $Atilde = 0x00C3; |
| 131 |
| 132 /// Latin capital letter A with diaeresis ('Ä') |
| 133 const int $Auml = 0x00C4; |
| 134 |
| 135 /// Latin capital letter A with ring above (Latin capital letter A ring) ('Å') |
| 136 const int $Aring = 0x00C5; |
| 137 |
| 138 /// Latin capital letter AE (Latin capital ligature AE) ('Æ') |
| 139 const int $AElig = 0x00C6; |
| 140 |
| 141 /// Latin capital letter C with cedilla ('Ç') |
| 142 const int $Ccedil = 0x00C7; |
| 143 |
| 144 /// Latin capital letter E with grave accent ('È') |
| 145 const int $Egrave = 0x00C8; |
| 146 |
| 147 /// Latin capital letter E with acute accent ('É') |
| 148 const int $Eacute = 0x00C9; |
| 149 |
| 150 /// Latin capital letter E with circumflex ('Ê') |
| 151 const int $Ecirc = 0x00CA; |
| 152 |
| 153 /// Latin capital letter E with diaeresis ('Ë') |
| 154 const int $Euml = 0x00CB; |
| 155 |
| 156 /// Latin capital letter I with grave accent ('Ì') |
| 157 const int $Igrave = 0x00CC; |
| 158 |
| 159 /// Latin capital letter I with acute accent ('Í') |
| 160 const int $Iacute = 0x00CD; |
| 161 |
| 162 /// Latin capital letter I with circumflex ('Î') |
| 163 const int $Icirc = 0x00CE; |
| 164 |
| 165 /// Latin capital letter I with diaeresis ('Ï') |
| 166 const int $Iuml = 0x00CF; |
| 167 |
| 168 /// Latin capital letter Eth ('Ð') |
| 169 const int $ETH = 0x00D0; |
| 170 |
| 171 /// Latin capital letter N with tilde ('Ñ') |
| 172 const int $Ntilde = 0x00D1; |
| 173 |
| 174 /// Latin capital letter O with grave accent ('Ò') |
| 175 const int $Ograve = 0x00D2; |
| 176 |
| 177 /// Latin capital letter O with acute accent ('Ó') |
| 178 const int $Oacute = 0x00D3; |
| 179 |
| 180 /// Latin capital letter O with circumflex ('Ô') |
| 181 const int $Ocirc = 0x00D4; |
| 182 |
| 183 /// Latin capital letter O with tilde ('Õ') |
| 184 const int $Otilde = 0x00D5; |
| 185 |
| 186 /// Latin capital letter O with diaeresis ('Ö') |
| 187 const int $Ouml = 0x00D6; |
| 188 |
| 189 /// multiplication sign ('×') |
| 190 const int $times = 0x00D7; |
| 191 |
| 192 /// Latin capital letter O with stroke (Latin capital letter O slash) ('Ø') |
| 193 const int $Oslash = 0x00D8; |
| 194 |
| 195 /// Latin capital letter U with grave accent ('Ù') |
| 196 const int $Ugrave = 0x00D9; |
| 197 |
| 198 /// Latin capital letter U with acute accent ('Ú') |
| 199 const int $Uacute = 0x00DA; |
| 200 |
| 201 /// Latin capital letter U with circumflex ('Û') |
| 202 const int $Ucirc = 0x00DB; |
| 203 |
| 204 /// Latin capital letter U with diaeresis ('Ü') |
| 205 const int $Uuml = 0x00DC; |
| 206 |
| 207 /// Latin capital letter Y with acute accent ('Ý') |
| 208 const int $Yacute = 0x00DD; |
| 209 |
| 210 /// Latin capital letter THORN ('Þ') |
| 211 const int $THORN = 0x00DE; |
| 212 |
| 213 /// Latin small letter sharp s (ess-zed); see German Eszett ('ß') |
| 214 const int $szlig = 0x00DF; |
| 215 |
| 216 /// Latin small letter a with grave accent ('à') |
| 217 const int $agrave = 0x00E0; |
| 218 |
| 219 /// Latin small letter a with acute accent ('á') |
| 220 const int $aacute = 0x00E1; |
| 221 |
| 222 /// Latin small letter a with circumflex ('â') |
| 223 const int $acirc = 0x00E2; |
| 224 |
| 225 /// Latin small letter a with tilde ('ã') |
| 226 const int $atilde = 0x00E3; |
| 227 |
| 228 /// Latin small letter a with diaeresis ('ä') |
| 229 const int $auml = 0x00E4; |
| 230 |
| 231 /// Latin small letter a with ring above ('å') |
| 232 const int $aring = 0x00E5; |
| 233 |
| 234 /// Latin small letter ae (Latin small ligature ae) ('æ') |
| 235 const int $aelig = 0x00E6; |
| 236 |
| 237 /// Latin small letter c with cedilla ('ç') |
| 238 const int $ccedil = 0x00E7; |
| 239 |
| 240 /// Latin small letter e with grave accent ('è') |
| 241 const int $egrave = 0x00E8; |
| 242 |
| 243 /// Latin small letter e with acute accent ('é') |
| 244 const int $eacute = 0x00E9; |
| 245 |
| 246 /// Latin small letter e with circumflex ('ê') |
| 247 const int $ecirc = 0x00EA; |
| 248 |
| 249 /// Latin small letter e with diaeresis ('ë') |
| 250 const int $euml = 0x00EB; |
| 251 |
| 252 /// Latin small letter i with grave accent ('ì') |
| 253 const int $igrave = 0x00EC; |
| 254 |
| 255 /// Latin small letter i with acute accent ('í') |
| 256 const int $iacute = 0x00ED; |
| 257 |
| 258 /// Latin small letter i with circumflex ('î') |
| 259 const int $icirc = 0x00EE; |
| 260 |
| 261 /// Latin small letter i with diaeresis ('ï') |
| 262 const int $iuml = 0x00EF; |
| 263 |
| 264 /// Latin small letter eth ('ð') |
| 265 const int $eth = 0x00F0; |
| 266 |
| 267 /// Latin small letter n with tilde ('ñ') |
| 268 const int $ntilde = 0x00F1; |
| 269 |
| 270 /// Latin small letter o with grave accent ('ò') |
| 271 const int $ograve = 0x00F2; |
| 272 |
| 273 /// Latin small letter o with acute accent ('ó') |
| 274 const int $oacute = 0x00F3; |
| 275 |
| 276 /// Latin small letter o with circumflex ('ô') |
| 277 const int $ocirc = 0x00F4; |
| 278 |
| 279 /// Latin small letter o with tilde ('õ') |
| 280 const int $otilde = 0x00F5; |
| 281 |
| 282 /// Latin small letter o with diaeresis ('ö') |
| 283 const int $ouml = 0x00F6; |
| 284 |
| 285 /// division sign (obelus) ('÷') |
| 286 const int $divide = 0x00F7; |
| 287 |
| 288 /// Latin small letter o with stroke (Latin small letter o slash) ('ø') |
| 289 const int $oslash = 0x00F8; |
| 290 |
| 291 /// Latin small letter u with grave accent ('ù') |
| 292 const int $ugrave = 0x00F9; |
| 293 |
| 294 /// Latin small letter u with acute accent ('ú') |
| 295 const int $uacute = 0x00FA; |
| 296 |
| 297 /// Latin small letter u with circumflex ('û') |
| 298 const int $ucirc = 0x00FB; |
| 299 |
| 300 /// Latin small letter u with diaeresis ('ü') |
| 301 const int $uuml = 0x00FC; |
| 302 |
| 303 /// Latin small letter y with acute accent ('ý') |
| 304 const int $yacute = 0x00FD; |
| 305 |
| 306 /// Latin small letter thorn ('þ') |
| 307 const int $thorn = 0x00FE; |
| 308 |
| 309 /// Latin small letter y with diaeresis ('ÿ') |
| 310 const int $yuml = 0x00FF; |
| 311 |
| 312 /// Latin capital ligature oe ('Œ') |
| 313 const int $OElig = 0x0152; |
| 314 |
| 315 /// Latin small ligature oe ('œ') |
| 316 const int $oelig = 0x0153; |
| 317 |
| 318 /// Latin capital letter s with caron ('Š') |
| 319 const int $Scaron = 0x0160; |
| 320 |
| 321 /// Latin small letter s with caron ('š') |
| 322 const int $scaron = 0x0161; |
| 323 |
| 324 /// Latin capital letter y with diaeresis ('Ÿ') |
| 325 const int $Yuml = 0x0178; |
| 326 |
| 327 /// Latin small letter f with hook (function, florin) ('ƒ') |
| 328 const int $fnof = 0x0192; |
| 329 |
| 330 /// modifier letter circumflex accent ('ˆ') |
| 331 const int $circ = 0x02C6; |
| 332 |
| 333 /// small tilde ('˜') |
| 334 const int $tilde = 0x02DC; |
| 335 |
| 336 /// Greek capital letter Alpha ('Α') |
| 337 const int $Alpha = 0x0391; |
| 338 |
| 339 /// Greek capital letter Beta ('Β') |
| 340 const int $Beta = 0x0392; |
| 341 |
| 342 /// Greek capital letter Gamma ('Γ') |
| 343 const int $Gamma = 0x0393; |
| 344 |
| 345 /// Greek capital letter Delta ('Δ') |
| 346 const int $Delta = 0x0394; |
| 347 |
| 348 /// Greek capital letter Epsilon ('Ε') |
| 349 const int $Epsilon = 0x0395; |
| 350 |
| 351 /// Greek capital letter Zeta ('Ζ') |
| 352 const int $Zeta = 0x0396; |
| 353 |
| 354 /// Greek capital letter Eta ('Η') |
| 355 const int $Eta = 0x0397; |
| 356 |
| 357 /// Greek capital letter Theta ('Θ') |
| 358 const int $Theta = 0x0398; |
| 359 |
| 360 /// Greek capital letter Iota ('Ι') |
| 361 const int $Iota = 0x0399; |
| 362 |
| 363 /// Greek capital letter Kappa ('Κ') |
| 364 const int $Kappa = 0x039A; |
| 365 |
| 366 /// Greek capital letter Lambda ('Λ') |
| 367 const int $Lambda = 0x039B; |
| 368 |
| 369 /// Greek capital letter Mu ('Μ') |
| 370 const int $Mu = 0x039C; |
| 371 |
| 372 /// Greek capital letter Nu ('Ν') |
| 373 const int $Nu = 0x039D; |
| 374 |
| 375 /// Greek capital letter Xi ('Ξ') |
| 376 const int $Xi = 0x039E; |
| 377 |
| 378 /// Greek capital letter Omicron ('Ο') |
| 379 const int $Omicron = 0x039F; |
| 380 |
| 381 /// Greek capital letter Pi ('Π') |
| 382 const int $Pi = 0x03A0; |
| 383 |
| 384 /// Greek capital letter Rho ('Ρ') |
| 385 const int $Rho = 0x03A1; |
| 386 |
| 387 /// Greek capital letter Sigma ('Σ') |
| 388 const int $Sigma = 0x03A3; |
| 389 |
| 390 /// Greek capital letter Tau ('Τ') |
| 391 const int $Tau = 0x03A4; |
| 392 |
| 393 /// Greek capital letter Upsilon ('Υ') |
| 394 const int $Upsilon = 0x03A5; |
| 395 |
| 396 /// Greek capital letter Phi ('Φ') |
| 397 const int $Phi = 0x03A6; |
| 398 |
| 399 /// Greek capital letter Chi ('Χ') |
| 400 const int $Chi = 0x03A7; |
| 401 |
| 402 /// Greek capital letter Psi ('Ψ') |
| 403 const int $Psi = 0x03A8; |
| 404 |
| 405 /// Greek capital letter Omega ('Ω') |
| 406 const int $Omega = 0x03A9; |
| 407 |
| 408 /// Greek small letter alpha ('α') |
| 409 const int $alpha = 0x03B1; |
| 410 |
| 411 /// Greek small letter beta ('β') |
| 412 const int $beta = 0x03B2; |
| 413 |
| 414 /// Greek small letter gamma ('γ') |
| 415 const int $gamma = 0x03B3; |
| 416 |
| 417 /// Greek small letter delta ('δ') |
| 418 const int $delta = 0x03B4; |
| 419 |
| 420 /// Greek small letter epsilon ('ε') |
| 421 const int $epsilon = 0x03B5; |
| 422 |
| 423 /// Greek small letter zeta ('ζ') |
| 424 const int $zeta = 0x03B6; |
| 425 |
| 426 /// Greek small letter eta ('η') |
| 427 const int $eta = 0x03B7; |
| 428 |
| 429 /// Greek small letter theta ('θ') |
| 430 const int $theta = 0x03B8; |
| 431 |
| 432 /// Greek small letter iota ('ι') |
| 433 const int $iota = 0x03B9; |
| 434 |
| 435 /// Greek small letter kappa ('κ') |
| 436 const int $kappa = 0x03BA; |
| 437 |
| 438 /// Greek small letter lambda ('λ') |
| 439 const int $lambda = 0x03BB; |
| 440 |
| 441 /// Greek small letter mu ('μ') |
| 442 const int $mu = 0x03BC; |
| 443 |
| 444 /// Greek small letter nu ('ν') |
| 445 const int $nu = 0x03BD; |
| 446 |
| 447 /// Greek small letter xi ('ξ') |
| 448 const int $xi = 0x03BE; |
| 449 |
| 450 /// Greek small letter omicron ('ο') |
| 451 const int $omicron = 0x03BF; |
| 452 |
| 453 /// Greek small letter pi ('π') |
| 454 const int $pi = 0x03C0; |
| 455 |
| 456 /// Greek small letter rho ('ρ') |
| 457 const int $rho = 0x03C1; |
| 458 |
| 459 /// Greek small letter final sigma ('ς') |
| 460 const int $sigmaf = 0x03C2; |
| 461 |
| 462 /// Greek small letter sigma ('σ') |
| 463 const int $sigma = 0x03C3; |
| 464 |
| 465 /// Greek small letter tau ('τ') |
| 466 const int $tau = 0x03C4; |
| 467 |
| 468 /// Greek small letter upsilon ('υ') |
| 469 const int $upsilon = 0x03C5; |
| 470 |
| 471 /// Greek small letter phi ('φ') |
| 472 const int $phi = 0x03C6; |
| 473 |
| 474 /// Greek small letter chi ('χ') |
| 475 const int $chi = 0x03C7; |
| 476 |
| 477 /// Greek small letter psi ('ψ') |
| 478 const int $psi = 0x03C8; |
| 479 |
| 480 /// Greek small letter omega ('ω') |
| 481 const int $omega = 0x03C9; |
| 482 |
| 483 /// Greek theta symbol ('ϑ') |
| 484 const int $thetasym = 0x03D1; |
| 485 |
| 486 /// Greek Upsilon with hook symbol ('ϒ') |
| 487 const int $upsih = 0x03D2; |
| 488 |
| 489 /// Greek pi symbol ('ϖ') |
| 490 const int $piv = 0x03D6; |
| 491 |
| 492 /// en space |
| 493 const int $ensp = 0x2002; |
| 494 |
| 495 /// em space |
| 496 const int $emsp = 0x2003; |
| 497 |
| 498 /// thin space |
| 499 const int $thinsp = 0x2009; |
| 500 |
| 501 /// zero-width non-joiner |
| 502 const int $zwnj = 0x200C; |
| 503 |
| 504 /// zero-width joiner |
| 505 const int $zwj = 0x200D; |
| 506 |
| 507 /// left-to-right mark |
| 508 const int $lrm = 0x200E; |
| 509 |
| 510 /// right-to-left mark |
| 511 const int $rlm = 0x200F; |
| 512 |
| 513 /// en dash ('–') |
| 514 const int $ndash = 0x2013; |
| 515 |
| 516 /// em dash ('—') |
| 517 const int $mdash = 0x2014; |
| 518 |
| 519 /// left single quotation mark ('‘') |
| 520 const int $lsquo = 0x2018; |
| 521 |
| 522 /// right single quotation mark ('’') |
| 523 const int $rsquo = 0x2019; |
| 524 |
| 525 /// single low-9 quotation mark ('‚') |
| 526 const int $sbquo = 0x201A; |
| 527 |
| 528 /// left double quotation mark ('“') |
| 529 const int $ldquo = 0x201C; |
| 530 |
| 531 /// right double quotation mark ('”') |
| 532 const int $rdquo = 0x201D; |
| 533 |
| 534 /// double low-9 quotation mark ('„') |
| 535 const int $bdquo = 0x201E; |
| 536 |
| 537 /// dagger, obelisk ('†') |
| 538 const int $dagger = 0x2020; |
| 539 |
| 540 /// double dagger, double obelisk ('‡') |
| 541 const int $Dagger = 0x2021; |
| 542 |
| 543 /// bullet (black small circle) ('•') |
| 544 const int $bull = 0x2022; |
| 545 |
| 546 /// horizontal ellipsis (three dot leader) ('…') |
| 547 const int $hellip = 0x2026; |
| 548 |
| 549 /// per mille sign ('‰') |
| 550 const int $permil = 0x2030; |
| 551 |
| 552 /// prime (minutes, feet) ('′') |
| 553 const int $prime = 0x2032; |
| 554 |
| 555 /// double prime (seconds, inches) ('″') |
| 556 const int $Prime = 0x2033; |
| 557 |
| 558 /// single left-pointing angle quotation mark ('‹') |
| 559 const int $lsaquo = 0x2039; |
| 560 |
| 561 /// single right-pointing angle quotation mark ('›') |
| 562 const int $rsaquo = 0x203A; |
| 563 |
| 564 /// overline (spacing overscore) ('‾') |
| 565 const int $oline = 0x203E; |
| 566 |
| 567 /// fraction slash (solidus) ('⁄') |
| 568 const int $frasl = 0x2044; |
| 569 |
| 570 /// euro sign ('€') |
| 571 const int $euro = 0x20AC; |
| 572 |
| 573 /// black-letter capital I (imaginary part) ('ℑ') |
| 574 const int $image = 0x2111; |
| 575 |
| 576 /// script capital P (power set, Weierstrass p) ('℘') |
| 577 const int $weierp = 0x2118; |
| 578 |
| 579 /// black-letter capital R (real part symbol) ('ℜ') |
| 580 const int $real = 0x211C; |
| 581 |
| 582 /// trademark symbol ('™') |
| 583 const int $trade = 0x2122; |
| 584 |
| 585 /// alef symbol (first transfinite cardinal) ('ℵ') |
| 586 const int $alefsym = 0x2135; |
| 587 |
| 588 /// leftwards arrow ('←') |
| 589 const int $larr = 0x2190; |
| 590 |
| 591 /// upwards arrow ('↑') |
| 592 const int $uarr = 0x2191; |
| 593 |
| 594 /// rightwards arrow ('→') |
| 595 const int $rarr = 0x2192; |
| 596 |
| 597 /// downwards arrow ('↓') |
| 598 const int $darr = 0x2193; |
| 599 |
| 600 /// left right arrow ('↔') |
| 601 const int $harr = 0x2194; |
| 602 |
| 603 /// downwards arrow with corner leftwards (carriage return) ('↵') |
| 604 const int $crarr = 0x21B5; |
| 605 |
| 606 /// leftwards double arrow ('⇐') |
| 607 const int $lArr = 0x21D0; |
| 608 |
| 609 /// upwards double arrow ('⇑') |
| 610 const int $uArr = 0x21D1; |
| 611 |
| 612 /// rightwards double arrow ('⇒') |
| 613 const int $rArr = 0x21D2; |
| 614 |
| 615 /// downwards double arrow ('⇓') |
| 616 const int $dArr = 0x21D3; |
| 617 |
| 618 /// left right double arrow ('⇔') |
| 619 const int $hArr = 0x21D4; |
| 620 |
| 621 /// for all ('∀') |
| 622 const int $forall = 0x2200; |
| 623 |
| 624 /// partial differential ('∂') |
| 625 const int $part = 0x2202; |
| 626 |
| 627 /// there exists ('∃') |
| 628 const int $exist = 0x2203; |
| 629 |
| 630 /// empty set (null set); see also U+8960, ⌀ ('∅') |
| 631 const int $empty = 0x2205; |
| 632 |
| 633 /// del or nabla (vector differential operator) ('∇') |
| 634 const int $nabla = 0x2207; |
| 635 |
| 636 /// element of ('∈') |
| 637 const int $isin = 0x2208; |
| 638 |
| 639 /// not an element of ('∉') |
| 640 const int $notin = 0x2209; |
| 641 |
| 642 /// contains as member ('∋') |
| 643 const int $ni = 0x220B; |
| 644 |
| 645 /// n-ary product (product sign) ('∏') |
| 646 const int $prod = 0x220F; |
| 647 |
| 648 /// n-ary summation ('∑') |
| 649 const int $sum = 0x2211; |
| 650 |
| 651 /// minus sign ('−') |
| 652 const int $minus = 0x2212; |
| 653 |
| 654 /// asterisk operator ('∗') |
| 655 const int $lowast = 0x2217; |
| 656 |
| 657 /// square root (radical sign) ('√') |
| 658 const int $radic = 0x221A; |
| 659 |
| 660 /// proportional to ('∝') |
| 661 const int $prop = 0x221D; |
| 662 |
| 663 /// infinity ('∞') |
| 664 const int $infin = 0x221E; |
| 665 |
| 666 /// angle ('∠') |
| 667 const int $ang = 0x2220; |
| 668 |
| 669 /// logical and (wedge) ('∧') |
| 670 const int $and = 0x2227; |
| 671 |
| 672 /// logical or (vee) ('∨') |
| 673 const int $or = 0x2228; |
| 674 |
| 675 /// intersection (cap) ('∩') |
| 676 const int $cap = 0x2229; |
| 677 |
| 678 /// union (cup) ('∪') |
| 679 const int $cup = 0x222A; |
| 680 |
| 681 /// integral ('∫') |
| 682 const int $int = 0x222B; |
| 683 |
| 684 /// therefore sign ('∴') |
| 685 const int $there4 = 0x2234; |
| 686 |
| 687 /// tilde operator (varies with, similar to) ('∼') |
| 688 const int $sim = 0x223C; |
| 689 |
| 690 /// congruent to ('≅') |
| 691 const int $cong = 0x2245; |
| 692 |
| 693 /// almost equal to (asymptotic to) ('≈') |
| 694 const int $asymp = 0x2248; |
| 695 |
| 696 /// not equal to ('≠') |
| 697 const int $ne = 0x2260; |
| 698 |
| 699 /// identical to; sometimes used for 'equivalent to' ('≡') |
| 700 const int $equiv = 0x2261; |
| 701 |
| 702 /// less-than or equal to ('≤') |
| 703 const int $le = 0x2264; |
| 704 |
| 705 /// greater-than or equal to ('≥') |
| 706 const int $ge = 0x2265; |
| 707 |
| 708 /// subset of ('⊂') |
| 709 const int $sub = 0x2282; |
| 710 |
| 711 /// superset of ('⊃') |
| 712 const int $sup = 0x2283; |
| 713 |
| 714 /// not a subset of ('⊄') |
| 715 const int $nsub = 0x2284; |
| 716 |
| 717 /// subset of or equal to ('⊆') |
| 718 const int $sube = 0x2286; |
| 719 |
| 720 /// superset of or equal to ('⊇') |
| 721 const int $supe = 0x2287; |
| 722 |
| 723 /// circled plus (direct sum) ('⊕') |
| 724 const int $oplus = 0x2295; |
| 725 |
| 726 /// circled times (vector product) ('⊗') |
| 727 const int $otimes = 0x2297; |
| 728 |
| 729 /// up tack (orthogonal to, perpendicular) ('⊥') |
| 730 const int $perp = 0x22A5; |
| 731 |
| 732 /// dot operator ('⋅') |
| 733 const int $sdot = 0x22C5; |
| 734 |
| 735 /// vertical ellipsis ('⋮') |
| 736 const int $vellip = 0x22EE; |
| 737 |
| 738 /// left ceiling (APL upstile) ('⌈') |
| 739 const int $lceil = 0x2308; |
| 740 |
| 741 /// right ceiling ('⌉') |
| 742 const int $rceil = 0x2309; |
| 743 |
| 744 /// left floor (APL downstile) ('⌊') |
| 745 const int $lfloor = 0x230A; |
| 746 |
| 747 /// right floor ('⌋') |
| 748 const int $rfloor = 0x230B; |
| 749 |
| 750 /// left-pointing angle bracket (bra) ('〈') |
| 751 const int $lang = 0x2329; |
| 752 |
| 753 /// right-pointing angle bracket (ket) ('〉') |
| 754 const int $rang = 0x232A; |
| 755 |
| 756 /// lozenge ('◊') |
| 757 const int $loz = 0x25CA; |
| 758 |
| 759 /// black spade suit ('♠') |
| 760 const int $spades = 0x2660; |
| 761 |
| 762 /// black club suit (shamrock) ('♣') |
| 763 const int $clubs = 0x2663; |
| 764 |
| 765 /// black heart suit (valentine) ('♥') |
| 766 const int $hearts = 0x2665; |
| 767 |
| 768 /// black diamond suit ('♦') |
| 769 const int $diams = 0x2666; |
OLD | NEW |