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

Image

Unicode Data
Name	END OF PROOF
Block	Mathematical Operators
Category	Symbol, Math [Sm]
Combine	0
BIDI	Other Neutrals [ON]
Mirror	N
Index entries	END OF PROOF PROOF, END OF 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