>>955
日本語ではその順だが、実際に書く時は英語の順番に則って書く。

あと、たまに気にする人がいるから、∃xの後には「s.t.」を書いたほうがいい。（such that「〜のような」の略）

∀はfor all(またはany)　の略で、意味は「すべての」でも通るだろう。

その例は for all k there exists x such that x<k　を論理式で書いたもの。

なんか蛇足がいっぱいになってしまった件