E⁻¹= E⁻ᵉ↑↑∞ · HackerTrans