昔２ちゃんかどっかでよく見た記号について
例：真の命題
\(\forall x \in \mathbb{R}( x^2 \geq 0 \land x \lt 0) \iff \forall x \in \mathbb{R}(x^2 \geq 0) \land \forall x \in \mathbb{R}(x \lt 0)\)
\(\exists x \in \mathbb{R}( x \geq 0 \lor x \leq 0) \iff \exists x \in \mathbb{R}(x \geq 0) \lor \exists x \in \mathbb{R}(x \leq 0)\)