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