The theory of Toeplitz operators has come to resemble more and more in recent years the classical theory of pseudodifferential operators. For instance, Toeplitz operators possess a symbolic calculus analogous to the usual symbolic calculus, and by symbolic means one can construct parametrices for Toeplitz operators and create new Toeplitz operators out of old ones by functional operations.
If P is a self-adjoint pseudodifferential operator...