Equivalence ≡

Equivalence is two-way implication, so α ≡ β means α implies β and β implies α.