Symbolic calculus for a class of pseudodifferential operators with applications to compactness

We prove a symbolic calculus for a class of pseudodifferential operators, and discuss its applications to $L^2$-compactness via a compact version of the $T(1)$ theorem.