Adding arrow notation