Symbol class
= Symbol class
{title2=$S^m_{1,0}(X\times\mathbb R^n)$}
{wiki}
A smooth function $a(x,\xi)$ belongs to $S^m_{1,0}$ when, on every compact $K\subset X$,
$$
|D_x^\alpha D_\xi^\beta a(x,\xi)|\leq C_{K,\alpha,\beta}\langle\xi\rangle^{m-|\beta|}.
$$