Iteration on notation and unary functions