These are examples of zeroth order operators constructed within the Weyl calculus. The traces in the McKean-Singer formula can be computed directly using the Weyl calculus, leading to another proof of the index theorem.See:
