∀

例えば、

∀x(9≦年齢(x)∧年齢(x)≦15 → 萌え(x))

のように使用し、「for all x、if 9≦年齢(x) AND 年齢(x)≦ 15、then 萌え(x)」と読む。