replace ⇒ with =>