to ∞ & ↔