General information

ID 8707
Char
Unicode name THERE EXISTS
Unicode group Mathematical Operators
Unicode Code Point U+2203
Mirrored
HTML Entity (name) ∃
HTML Entity (decimal) ∃
HTML Entity (hex) ∃
UTF-8 (hex) 0x2203
UTF-8 (octal) 21003
UTF-8 (binary) 10001000000011
UTF-16 (hex) 0x2203
UTF-16 (decimal) 8707
UTF-32 (hex) 0x00002203
UTF-32 (decimal) 8707

How to type ∃

Microsoft Office write 2203 then press Alt + X
Microsoft Office (alternative) write U+2203 then press Alt + X
Apple Mac Hold Alt, type 2 2 0 3 then release
Apple Mac (alternative) Hold Option, type 2 2 0 3 then release
C / C++ / Java "\u2203"
Python u"\u2203"