The Eigenvalue Problem in Phase-Space

Suppose we have a correspondence between the symbol a(x, p) and the Weyl operator A(X,D), $$ a(x,p) \leftrightarrow A(X, D) $$ (11.1) .