  The Weyl-Wigner-Moyal formalism is developed for spin by means of a
correspondence between spherical harmonics and spherical harmonic tensor
operators. The analogue of the Moyal expansion is developed for the Weyl symbol
of the product of two operators in terms of the symbols for the individual
operators, and it is shown that in the classical limit, the Weyl symbol for a
commutator equals $i$ times the Poisson bracket of the corresponding Weyl
symbols. It is also found that, to the same order, there is no correction in
the symbol for the anticommutator.
