∃

数学の述語論理で「ある〜が存在する」を意味する量化記号です。「∃x, P(x)」は「P(x) を満たす x が少なくとも 1 つ存在する」と読みます。

入力方法

Windows (Microsoft IME)

そんざいきごう と入力して変換します。変換候補に出ない場合は IME パッドの文字一覧から入力します。

macOS (日本語入力プログラム)

そんざいきごう と入力して変換するか、文字ビューアから入力します。

トリビア

∃ は “there exists”（存在する）の頭文字 “E” を左右反転させたもので、∀ と同様にジュゼッペ・ペアノが 1897 年に導入しました。英語では “there exists” と読みます。