Unicode Character 'THERE EXISTS' (U+2203)

Image

Unicode Data
Name	THERE EXISTS
Block	Mathematical Operators
Category	Symbol, Math [Sm]
Combine	0
BIDI	Other Neutrals [ON]
Mirror	Y
Index entries	quantifier, existential THERE EXISTS existential quantifier EXISTS, THERE
Comments	existential quantifier
Version	Unicode 1.1.0 (June, 1993)

Encodings
HTML Entity (decimal)	∃
HTML Entity (hex)	∃
HTML Entity (named)	∃
How to type in Microsoft Windows	Alt +2203
UTF-8 (hex)	0xE2 0x88 0x83 (e28883)
UTF-8 (binary)	11100010:10001000:10000011
UTF-16 (hex)	0x2203 (2203)
UTF-16 (decimal)	8,707
UTF-32 (hex)	0x00002203 (2203)
UTF-32 (decimal)	8,707
C/C++/Java source code	"\u2203"
Python source code	u"\u2203"
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()	Yes
Character.isSpaceChar()	No
Character.isSupplementaryCodePoint()	No
Character.isTitleCase()	No
Character.isUnicodeIdentifierPart()	No
Character.isUnicodeIdentifierStart()	No
Character.isUpperCase()	No
Character.isValidCodePoint()	Yes
Character.isWhitespace()	No