Symbol class ($S_{1,0}^m(X\times {\mathbb{R}}^n)$)

A smooth function $a(x,\xi )$ belongs to $S_{1,0}^m$ when, on every compact $K\subset X$,

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