%Filename: 8rmppx.fd %Created by: tex Fam_24690 %Created using fontinst v1.6 %THIS FILE SHOULD BE PUT IN A TEX INPUTS DIRECTORY \ProvidesFile{8rmppx.fd} [1997/02/11 Fontinst v1.6 font definitions for 8r/mppx.] \DeclareFontFamily{8r}{mppx}{} \endinput