arrow notation