Useful HTML for My Own Future Reference

→ = →
¬ = ¬
∴ = ∴
∀ = ∀
∃ = ∃
↔ = ↔
≡ = ≡
∧ = ∧
∨ = ∨

Does anyone know how to actually work these? Do I need to put quotation marks or <>s around them or something?

-James