A pseudodifferential operator is an operator represented locally by a Fourier integral
where the symbol satisfies prescribed estimates in
and
. A differential operator
is the special case in which the symbol is a polynomial in
. Allowing more general symbols provides parametrices for
elliptic differential operators and supports the study of propagation of singularities.