The Weyl calculus is a means of constructing functions of a system of hermitian operators which do not necessarily commute with each other. This note gives a new proof of a formula, due to E. Nelson, ...