Unicode Character 'MATHEMATICAL DOUBLE-STRUCK DIGIT SEVEN' (U+1D7DF) |
  |
MATHEMATICAL DOUBLE-STRUCK DIGIT SEVEN
MATHEMATICAL DOUBLE-STRUCK DIGIT SEVEN
| Unicode Data | |
|---|---|
| Name | MATHEMATICAL DOUBLE-STRUCK DIGIT SEVEN |
| Block | Mathematical Alphanumeric Symbols |
| Category | Number, Decimal Digit [Nd] |
| Script | Common (Zyyy) |
| Combine | 0 |
| BIDI | European Number [EN] |
| Decomposition | DIGIT SEVEN (U+0037) |
| Approximations | <font> 0037 digit seven |
| Version | Unicode 3.1.0 (March, 2001) |
| Encodings | |
|---|---|
| HTML Entity (decimal) | 𝟟 |
| HTML Entity (hex) | 𝟟 |
| How to type in Microsoft Windows | Alt +1D7DF |
| UTF-8 (hex) | 0xF0 0x9D 0x9F 0x9F (f09d9f9f) |
| UTF-8 (binary) | 11110000:10011101:10011111:10011111 |
| UTF-16 (hex) | 0xD835 0xDFDF (d835dfdf) |
| UTF-16 (decimal) | 55,349 57,311 |
| UTF-32 (hex) | 0x0001D7DF (1d7df) |
| UTF-32 (decimal) | 120,799 |
| C/C++/Java source code | "\uD835\uDFDF" |
| Python source code | u"\U0001D7DF" |
| More... | |
| Java Data | |
|---|---|
| string.toUpperCase() | 𝟟 |
| string.toLowerCase() | 𝟟 |
| Character.UnicodeBlock | MATHEMATICAL_ALPHANUMERIC_SYMBOLS |
| Character.charCount() | 2 |
| Character.getDirectionality() | DIRECTIONALITY_EUROPEAN_NUMBER [3] |
| Character.getNumericValue() | 7 |
| Character.getType() | 9 |
| Character.isDefined() | Yes |
| Character.isDigit() | Yes |
| Character.isIdentifierIgnorable() | No |
| Character.isISOControl() | No |
| Character.isJavaIdentifierPart() | Yes |
| Character.isJavaIdentifierStart() | No |
| Character.isLetter() | No |
| Character.isLetterOrDigit() | Yes |
| Character.isLowerCase() | No |
| Character.isMirrored() | No |
| Character.isSpaceChar() | No |
| Character.isSupplementaryCodePoint() | Yes |
| Character.isTitleCase() | No |
| Character.isUnicodeIdentifierPart() | Yes |
| Character.isUnicodeIdentifierStart() | No |
| Character.isUpperCase() | No |
| Character.isValidCodePoint() | Yes |
| Character.isWhitespace() | No |
