clarified package name (actually both pxfonts and txfonts exist and have this font);