  The essential support of the symbol of a semiclassical pseudodifferentail
operator is characterized by semiclassical wavefront sets of distributions. The
proof employs a coherent state whose center in phase space is dependent on
Planck's constant.
