Supporting tools for use with Metafont
