Up arrow notation