Supporting tools for use with MetaFont
