∃ there exists

Copy

Character info

Character∃
UnicodeU+2203
Korean name존재한다
Official namethere exists
CategoryMath symbol
HTML code∃
JavaScript"\u{2203}"

Names and categories come from official Unicode 18.0.0 data. Korean names are ours. Unicode UnicodeData.txt 18.0.0 (Unicode License v3)

Type it yourself

More on typing by system in the keyboard guide.