for all complex numbers a and b . From this formula, it is not hard to show that the Weyl quantization on a function of the form q k p l gives the average of all possible orderings of k factors of Q and l factors of P . For example, we have