#define MIN_SHRINK 1
#define MAX_SHRINK 9

extern int MagAtShrink[];
extern void TeXFontNewFile();
extern XFontStruct **TeXFontRef();
extern XFontStruct **TeXFontUnref();