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. This method of proving index theorems was generalised by Alain Connes within the framework of cyclic cohomology.