s/⇒/=>