  The trace (or zeroth Hochschild homology) of Khovanov's Heisenberg category
is identified with a quotient of the algebra W_{1+\infty}. This induces an
action of W_{1+\infty} on symmetric functions.
