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