Unicode Character 'END OF PROOF' (U+220E)

previous character next character

Unicode Data
Name END OF PROOF
Block Mathematical Operators
Category Symbol, Math [Sm]
Combine 0
BIDI Other Neutrals [ON]
Mirror N
Index entries PROOF, END OF
END OF PROOF
q.e.d.
Comments q.e.d.
See Also triangular bullet U+2023
black vertical rectangle U+25AE
Version Unicode 1.1.0 (June, 1993)
Encodings
HTML Entity (decimal) ∎
HTML Entity (hex) ∎
How to type in Microsoft Windows Alt +220E
UTF-8 (hex) 0xE2 0x88 0x8E (e2888e)
UTF-8 (binary) 11100010:10001000:10001110
UTF-16 (hex) 0x220E (220e)
UTF-16 (decimal) 8,718
UTF-32 (hex) 0x0000220E (220e)
UTF-32 (decimal) 8,718
C/C++/Java source code "\u220E"
Python source code u"\u220E"
More...
Java Data
string.toUpperCase()
string.toLowerCase()
Character.UnicodeBlock MATHEMATICAL_OPERATORS
Character.charCount() 1
Character.getDirectionality() DIRECTIONALITY_OTHER_NEUTRALS [13]
Character.getNumericValue() -1
Character.getType() 25
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