Up-arrow notation