  After defining in detail the Lambert $W$-function branches, we give a large
number of exact identities involving (infinite) symmetric functions of these
branches, as well as geometrically convergent series for all the branches. In
doing so, we introduce a family of polynomials which may be of independent
interest.
