Unicode Character 'VERTICAL LINE WITH MIDDLE DOT' (U+237F) |
Unicode Data | |
---|---|
Name | VERTICAL LINE WITH MIDDLE DOT |
Block | Miscellaneous Technical |
Category | Symbol, Other [So] |
Combine | 0 |
BIDI | Other Neutrals [ON] |
Mirror | N |
Index entries | DOT, VERTICAL LINE WITH MIDDLE LINE WITH MIDDLE DOT, VERTICAL VERTICAL LINE WITH MIDDLE DOT MIDDLE DOT, VERTICAL LINE WITH end of medium, symbol for |
Comments | from ISO U+2047 symbol for End of Medium |
Version | Unicode 3.0.0 (September, 1999) |
Encodings | |
---|---|
HTML Entity (decimal) | ⍿ |
HTML Entity (hex) | ⍿ |
How to type in Microsoft Windows | Alt +237F |
UTF-8 (hex) | 0xE2 0x8D 0xBF (e28dbf) |
UTF-8 (binary) | 11100010:10001101:10111111 |
UTF-16 (hex) | 0x237F (237f) |
UTF-16 (decimal) | 9,087 |
UTF-32 (hex) | 0x0000237F (237F) |
UTF-32 (decimal) | 9,087 |
C/C++/Java source code | "\u237F" |
Python source code | u"\u237F" |
More... |
Java Data | |
---|---|
string.toUpperCase() | ⍿ |
string.toLowerCase() | ⍿ |
Character.UnicodeBlock | MISCELLANEOUS_TECHNICAL |
Character.charCount() | 1 |
Character.getDirectionality() | DIRECTIONALITY_OTHER_NEUTRALS [13] |
Character.getNumericValue() | -1 |
Character.getType() | 28 |
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 |