Weyl calculus