The Rocky Mountain Journal of Mathematics, Vol. 39, No. 5 (2009), pp. 1467-1496 (30 pages) In this expository paper, we describe the Weyl calculus for bounded, self-adjoint operators acting on a ...