 Symbol calculus

Frequency differentiation lowers symbol order, position differentiation preserves it, products add orders, and finite sums have order at most the maximum order.