I gave the definition of *symbol order* its own entry (an estimate on the decay of the principal symbol of a (psedo-)differential operator that enters the assumptions of the propagation of singularities theorem).

Maybe there is a better name for this? The literature refers to it mostly only in formal notation as “$q \in S^m_{\rho, \delta}(X)$”.

]]>