The wasy fonts (Waldi's symbol fonts) provide a useful range of
symbols in MetaFont format: they have been extended (and converted to
Adobe Type 1) under the name wasy2.