\forallと\exists
$ \forall x \in ℝ: 「全ての実数xに対して」「任意の実数xを選ぶと常に」
「選ぶ」と考えた方がわかりやすい時があるのは数学ガールのイプシロンデルタ論法で思ったblu3mo.icon AllのAをひっくり返して$ \forall
なるほど(なるほどか?)blu3mo.icon
$ \exists y \in ℝ, P(y) :「条件Pを満たす実数yが存在する」
existsのEをひっくり返して$ \exists
どうみてもヨblu3mo.icontakker.icon
$ \exists y \in ℝ s.t. P(y) と書くこともある
such thatというやつ