昔２ちゃんかどっかでよく見た記号について
例：真の命題
$$\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)$$