$$α → β ≡ ¬α ∨ β ≡ ¬(α ∧ ¬β)$$ $$∀ x ∈ \{ 2, 4, … \}, ∀ y ∈ ℕ : (x ⋅ y) mod 2 = 0$$ $$ℕ ⊂ ℤ ⊂ ℝ$$ Now compare them to the same expressions written with Latex commands: $$\alpha \rightarrow \beta ...