Unicode Character 'DOUBLE PRIME' (U+2033) |
Unicode Data | |
---|---|
Name | DOUBLE PRIME |
Block | General Punctuation |
Category | Punctuation, Other [Po] |
Combine | 0 |
BIDI | European Number Terminator [ET] |
Decomposition | <compat> PRIME (U+2032) PRIME (U+2032) |
Mirror | N |
Index entries | inches seconds DOUBLE PRIME PRIME, DOUBLE |
Comments | seconds, inches |
See Also | quotation mark U+0022 modifier letter double prime U+02BA right double quotation mark U+201D ditto mark U+3003 double prime quotation mark U+301E |
Approximations | 2032 2032 |
Version | Unicode 1.1.0 (June, 1993) |
Encodings | |
---|---|
HTML Entity (decimal) | ″ |
HTML Entity (hex) | ″ |
HTML Entity (named) | ″ |
How to type in Microsoft Windows | Alt +2033 |
UTF-8 (hex) | 0xE2 0x80 0xB3 (e280b3) |
UTF-8 (binary) | 11100010:10000000:10110011 |
UTF-16 (hex) | 0x2033 (2033) |
UTF-16 (decimal) | 8,243 |
UTF-32 (hex) | 0x00002033 (2033) |
UTF-32 (decimal) | 8,243 |
C/C++/Java source code | "\u2033" |
Python source code | u"\u2033" |
More... |
Java Data | |
---|---|
string.toUpperCase() | ″ |
string.toLowerCase() | ″ |
Character.UnicodeBlock | GENERAL_PUNCTUATION |
Character.charCount() | 1 |
Character.getDirectionality() | DIRECTIONALITY_EUROPEAN_NUMBER_TERMINATOR [5] |
Character.getNumericValue() | -1 |
Character.getType() | 24 |
Character.isDefined() | Yes |
Character.isDigit() | No |
Character.isIdentifierIgnorable() | No |
Character.isISOControl() | No |
Character.isJavaIdentifierPart() | No |
Character.isJavaIdentifierStart() | No |
Character.isLetter() | No |
Character.isLetterOrDigit() | No |
Character.isLowerCase() | No |
Character.isMirrored() | No |
Character.isSpaceChar() | No |
Character.isSupplementaryCodePoint() | No |
Character.isTitleCase() | No |
Character.isUnicodeIdentifierPart() | No |
Character.isUnicodeIdentifierStart() | No |
Character.isUpperCase() | No |
Character.isValidCodePoint() | Yes |
Character.isWhitespace() | No |