∀

数学の述語論理で「すべての」「任意の」を意味する量化記号です。「∀x, P(x)」は「すべての x に対して P(x) が成り立つ」と読みます。

入力方法

Windows (Microsoft IME)

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

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

すべての と入力して変換するか、文字ビューアから入力します。

トリビア

∀ は “for all”（すべての）の頭文字 “A” を上下逆にしたもので、1897 年にイタリアの数学者ジュゼッペ・ペアノが導入しました。