Redirecting to Conway chained arrow notation