Semiclassical States Associated with Isotropic Submanifolds of Phase Space

We define classes of quantum states associated with isotropic submanifolds of cotangent bundles. The classes are stable under the action of semiclassical pseudo-differential operators and covariant under the action of semiclassical Fourier integral operators. We develop a symbol calculus for them; the symbols are symplectic spinors. We outline various applications.