#! /bin/csh

# File makeshowfonts.cmds of Wed Sep 26 03:14:47 1984
# Last edited by stolfi on Wed Dec 18 03:47:38 1985

# command file to generate TeX sources that print
#   a sample of every font in  /usr/local/fonts/pixel.
#
# To use this file, say
#
#    lewis 10>cd ~stolfi/tex
#    lewis 11>source makeshowfonts.cmds
#
# This will write into ~stolfi/tex/show a set of files with names of the
#   form XXXXX.tex, where XXXXX is a font name. Then you can say
#    
#    lewis 12>virtex \&fontestfmt show/XXXXX
#    lewis 13>printdvi XXXXX.dvi
#    lewis 14>rm XXXXX.dvi XXXXX.log
#

echo 'cat >show/${1}.tex' >~/bin/feefoofum
chmod +x ~/bin/feefoofum
rehash

feefoofum amb10 <<\'fin\'

\showfont amb10 scaled 1200 {A TeX font.}

\testfont amb10 scaled 667 {\longtext}
\testfont amb10 scaled 730 {\shorttext}
\testfont amb10 scaled 800 {\shorttext}
\testfont amb10 scaled 877 {\shorttext}
\testfont amb10 scaled 960 {\shorttext}
\testfont amb10 scaled 1000 {\shorttext}
\testfont amb10 scaled 1095 {\shorttext}
\testfont amb10 scaled 1200 {\shorttext}
\testfont amb10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum ambi10 <<\'fin\'

\showfont ambi10 scaled 1200 {A TeX font.}

\testfont ambi10 scaled 667 {\longtext}
\testfont ambi10 scaled 730 {\shorttext}
\testfont ambi10 scaled 800 {\shorttext}
\testfont ambi10 scaled 877 {\shorttext}
\testfont ambi10 scaled 960 {\shorttext}
\testfont ambi10 scaled 1000 {\shorttext}
\testfont ambi10 scaled 1095 {\shorttext}
\testfont ambi10 scaled 1200 {\shorttext}
\testfont ambi10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum ambsy10 <<\'fin\'

\showfont ambsy10 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont ambsy10 scaled 667 {\longtext}
\testfont ambsy10 scaled 730 {\shorttext}
\testfont ambsy10 scaled 800 {\shorttext}
\testfont ambsy10 scaled 877 {\shorttext}
\testfont ambsy10 scaled 960 {\shorttext}
\testfont ambsy10 scaled 1000 {\shorttext}
\testfont ambsy10 scaled 1095 {\shorttext}
\testfont ambsy10 scaled 1200 {\shorttext}
\testfont ambsy10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum ambx10 <<\'fin\'

\showfont ambx10 scaled 1200 {A TeX font.}

\testfont ambx10 scaled 667 {\longtext}
\testfont ambx10 scaled 730 {\shorttext}
\testfont ambx10 scaled 800 {\shorttext}
\testfont ambx10 scaled 877 {\shorttext}
\testfont ambx10 scaled 960 {\shorttext}
\testfont ambx10 scaled 1000 {\shorttext}
\testfont ambx10 scaled 1095 {\shorttext}
\testfont ambx10 scaled 1152 {\shorttext}
\testfont ambx10 scaled 1200 {\shorttext}
\testfont ambx10 scaled 1383 {\shorttext}
\testfont ambx10 scaled 1440 {\shorttext}
\testfont ambx10 scaled 1659 {\shorttext}
\testfont ambx10 scaled 1728 {\shorttext}
\testfont ambx10 scaled 1991 {\shorttext}
\testfont ambx10 scaled 2074 {\shorttext}
\testfont ambx10 scaled 2488 {\shorttext}
\testfont ambx10 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum ambx5 <<\'fin\'

\showfont ambx5 scaled 1200 {A TeX font.}

\testfont ambx5 scaled 667 {\longtext}
\testfont ambx5 scaled 730 {\shorttext}
\testfont ambx5 scaled 800 {\shorttext}
\testfont ambx5 scaled 877 {\shorttext}
\testfont ambx5 scaled 960 {\shorttext}
\testfont ambx5 scaled 1000 {\shorttext}
\testfont ambx5 scaled 1095 {\shorttext}
\testfont ambx5 scaled 1152 {\shorttext}
\testfont ambx5 scaled 1200 {\shorttext}
\testfont ambx5 scaled 1383 {\shorttext}
\testfont ambx5 scaled 1440 {\shorttext}
\testfont ambx5 scaled 1659 {\shorttext}
\testfont ambx5 scaled 1728 {\shorttext}
\testfont ambx5 scaled 1991 {\shorttext}
\testfont ambx5 scaled 2074 {\shorttext}
\testfont ambx5 scaled 2488 {\shorttext}
\testfont ambx5 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum ambx6 <<\'fin\'

\showfont ambx6 scaled 1200 {A TeX font.}

\testfont ambx6 scaled 667 {\longtext}
\testfont ambx6 scaled 730 {\shorttext}
\testfont ambx6 scaled 800 {\shorttext}
\testfont ambx6 scaled 877 {\shorttext}
\testfont ambx6 scaled 960 {\shorttext}
\testfont ambx6 scaled 1000 {\shorttext}
\testfont ambx6 scaled 1095 {\shorttext}
\testfont ambx6 scaled 1200 {\shorttext}
\testfont ambx6 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum ambx7 <<\'fin\'

\showfont ambx7 scaled 1200 {A TeX font.}

\testfont ambx7 scaled 667 {\longtext}
\testfont ambx7 scaled 730 {\shorttext}
\testfont ambx7 scaled 800 {\shorttext}
\testfont ambx7 scaled 877 {\shorttext}
\testfont ambx7 scaled 960 {\shorttext}
\testfont ambx7 scaled 1000 {\shorttext}
\testfont ambx7 scaled 1095 {\shorttext}
\testfont ambx7 scaled 1152 {\shorttext}
\testfont ambx7 scaled 1200 {\shorttext}
\testfont ambx7 scaled 1383 {\shorttext}
\testfont ambx7 scaled 1440 {\shorttext}
\testfont ambx7 scaled 1659 {\shorttext}
\testfont ambx7 scaled 1728 {\shorttext}
\testfont ambx7 scaled 1991 {\shorttext}
\testfont ambx7 scaled 2074 {\shorttext}
\testfont ambx7 scaled 2488 {\shorttext}
\testfont ambx7 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum ambx8 <<\'fin\'

\showfont ambx8 scaled 1200 {A TeX font.}

\testfont ambx8 scaled 667 {\longtext}
\testfont ambx8 scaled 730 {\shorttext}
\testfont ambx8 scaled 800 {\shorttext}
\testfont ambx8 scaled 877 {\shorttext}
\testfont ambx8 scaled 960 {\shorttext}
\testfont ambx8 scaled 1000 {\shorttext}
\testfont ambx8 scaled 1095 {\shorttext}
\testfont ambx8 scaled 1200 {\shorttext}
\testfont ambx8 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum ambx9 <<\'fin\'

\showfont ambx9 scaled 1200 {A TeX font.}

\testfont ambx9 scaled 667 {\longtext}
\testfont ambx9 scaled 730 {\shorttext}
\testfont ambx9 scaled 800 {\shorttext}
\testfont ambx9 scaled 877 {\shorttext}
\testfont ambx9 scaled 960 {\shorttext}
\testfont ambx9 scaled 1000 {\shorttext}
\testfont ambx9 scaled 1095 {\shorttext}
\testfont ambx9 scaled 1200 {\shorttext}
\testfont ambx9 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum ambxsl10 <<\'fin\'

\showfont ambxsl10 scaled 1200 {A TeX font.}

\testfont ambxsl10 scaled 667 {\longtext}
\testfont ambxsl10 scaled 730 {\shorttext}
\testfont ambxsl10 scaled 800 {\shorttext}
\testfont ambxsl10 scaled 877 {\shorttext}
\testfont ambxsl10 scaled 960 {\shorttext}
\testfont ambxsl10 scaled 1000 {\shorttext}
\testfont ambxsl10 scaled 1095 {\shorttext}
\testfont ambxsl10 scaled 1200 {\shorttext}
\testfont ambxsl10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amcsc10 <<\'fin\'

\showfont amcsc10 scaled 1200 {A TeX font.}

\testfont amcsc10 scaled 667 {\longtext}
\testfont amcsc10 scaled 730 {\shorttext}
\testfont amcsc10 scaled 800 {\shorttext}
\testfont amcsc10 scaled 877 {\shorttext}
\testfont amcsc10 scaled 960 {\shorttext}
\testfont amcsc10 scaled 1000 {\shorttext}
\testfont amcsc10 scaled 1095 {\shorttext}
\testfont amcsc10 scaled 1200 {\shorttext}
\testfont amcsc10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amdunh10 <<\'fin\'

\showfont amdunh10 scaled 1200 {A TeX font.}

\testfont amdunh10 scaled 667 {\longtext}
\testfont amdunh10 scaled 730 {\shorttext}
\testfont amdunh10 scaled 800 {\shorttext}
\testfont amdunh10 scaled 877 {\shorttext}
\testfont amdunh10 scaled 960 {\shorttext}
\testfont amdunh10 scaled 1000 {\shorttext}
\testfont amdunh10 scaled 1095 {\shorttext}
\testfont amdunh10 scaled 1200 {\shorttext}
\testfont amdunh10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amex10 <<\'fin\'

\showfont amex10 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont amex10 scaled 667 {\longtext}
\testfont amex10 scaled 730 {\shorttext}
\testfont amex10 scaled 800 {\shorttext}
\testfont amex10 scaled 877 {\shorttext}
\testfont amex10 scaled 960 {\shorttext}
\testfont amex10 scaled 1000 {\shorttext}
\testfont amex10 scaled 1095 {\shorttext}
\testfont amex10 scaled 1152 {\shorttext}
\testfont amex10 scaled 1200 {\shorttext}
\testfont amex10 scaled 1383 {\shorttext}
\testfont amex10 scaled 1440 {\shorttext}
\testfont amex10 scaled 1659 {\shorttext}
\testfont amex10 scaled 1728 {\shorttext}
\testfont amex10 scaled 1991 {\shorttext}
\testfont amex10 scaled 2074 {\shorttext}
\testfont amex10 scaled 2488 {\shorttext}
\testfont amex10 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum aminch <<\'fin\'

\showfont aminch scaled 667 {A special TeX font.}

\testfont aminch scaled 667 {\longtext}
\testfont aminch scaled 730 {\shorttext}
\testfont aminch scaled 800 {\shorttext}
\testfont aminch scaled 877 {\shorttext}
\testfont aminch scaled 960 {\shorttext}
\testfont aminch scaled 1000 {\shorttext}
\testfont aminch scaled 1095 {\shorttext}
\testfont aminch scaled 1200 {\shorttext}
\testfont aminch scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amitt10 <<\'fin\'

\showfont amitt10 scaled 1200 {A TeX font.}

\testfont amitt10 scaled 667 {\longtext}
\testfont amitt10 scaled 730 {\shorttext}
\testfont amitt10 scaled 800 {\shorttext}
\testfont amitt10 scaled 877 {\shorttext}
\testfont amitt10 scaled 960 {\shorttext}
\testfont amitt10 scaled 1000 {\shorttext}
\testfont amitt10 scaled 1095 {\shorttext}
\testfont amitt10 scaled 1200 {\shorttext}
\testfont amitt10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum ammi10 <<\'fin\'

\showfont ammi10 scaled 1200 {A TeX font.}

\testfont ammi10 scaled 667 {\longtext}
\testfont ammi10 scaled 730 {\shorttext}
\testfont ammi10 scaled 800 {\shorttext}
\testfont ammi10 scaled 877 {\shorttext}
\testfont ammi10 scaled 960 {\shorttext}
\testfont ammi10 scaled 1000 {\shorttext}
\testfont ammi10 scaled 1095 {\shorttext}
\testfont ammi10 scaled 1152 {\shorttext}
\testfont ammi10 scaled 1200 {\shorttext}
\testfont ammi10 scaled 1383 {\shorttext}
\testfont ammi10 scaled 1440 {\shorttext}
\testfont ammi10 scaled 1659 {\shorttext}
\testfont ammi10 scaled 1728 {\shorttext}
\testfont ammi10 scaled 1991 {\shorttext}
\testfont ammi10 scaled 2074 {\shorttext}
\testfont ammi10 scaled 2488 {\shorttext}
\testfont ammi10 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum ammi5 <<\'fin\'

\showfont ammi5 scaled 1200 {A TeX font.}

\testfont ammi5 scaled 667 {\longtext}
\testfont ammi5 scaled 730 {\shorttext}
\testfont ammi5 scaled 800 {\shorttext}
\testfont ammi5 scaled 877 {\shorttext}
\testfont ammi5 scaled 960 {\shorttext}
\testfont ammi5 scaled 1000 {\shorttext}
\testfont ammi5 scaled 1095 {\shorttext}
\testfont ammi5 scaled 1152 {\shorttext}
\testfont ammi5 scaled 1200 {\shorttext}
\testfont ammi5 scaled 1383 {\shorttext}
\testfont ammi5 scaled 1440 {\shorttext}
\testfont ammi5 scaled 1659 {\shorttext}
\testfont ammi5 scaled 1728 {\shorttext}
\testfont ammi5 scaled 1991 {\shorttext}
\testfont ammi5 scaled 2074 {\shorttext}
\testfont ammi5 scaled 2488 {\shorttext}
\testfont ammi5 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum ammi6 <<\'fin\'

\showfont ammi6 scaled 1200 {A TeX font.}

\testfont ammi6 scaled 667 {\longtext}
\testfont ammi6 scaled 730 {\shorttext}
\testfont ammi6 scaled 800 {\shorttext}
\testfont ammi6 scaled 877 {\shorttext}
\testfont ammi6 scaled 960 {\shorttext}
\testfont ammi6 scaled 1000 {\shorttext}
\testfont ammi6 scaled 1095 {\shorttext}
\testfont ammi6 scaled 1200 {\shorttext}
\testfont ammi6 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum ammi7 <<\'fin\'

\showfont ammi7 scaled 1200 {A TeX font.}

\testfont ammi7 scaled 667 {\longtext}
\testfont ammi7 scaled 730 {\shorttext}
\testfont ammi7 scaled 800 {\shorttext}
\testfont ammi7 scaled 877 {\shorttext}
\testfont ammi7 scaled 960 {\shorttext}
\testfont ammi7 scaled 1000 {\shorttext}
\testfont ammi7 scaled 1095 {\shorttext}
\testfont ammi7 scaled 1152 {\shorttext}
\testfont ammi7 scaled 1200 {\shorttext}
\testfont ammi7 scaled 1383 {\shorttext}
\testfont ammi7 scaled 1440 {\shorttext}
\testfont ammi7 scaled 1659 {\shorttext}
\testfont ammi7 scaled 1728 {\shorttext}
\testfont ammi7 scaled 1991 {\shorttext}
\testfont ammi7 scaled 2074 {\shorttext}
\testfont ammi7 scaled 2488 {\shorttext}
\testfont ammi7 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum ammi8 <<\'fin\'

\showfont ammi8 scaled 1200 {A TeX font.}

\testfont ammi8 scaled 667 {\longtext}
\testfont ammi8 scaled 730 {\shorttext}
\testfont ammi8 scaled 800 {\shorttext}
\testfont ammi8 scaled 877 {\shorttext}
\testfont ammi8 scaled 960 {\shorttext}
\testfont ammi8 scaled 1000 {\shorttext}
\testfont ammi8 scaled 1095 {\shorttext}
\testfont ammi8 scaled 1200 {\shorttext}
\testfont ammi8 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum ammi9 <<\'fin\'

\showfont ammi9 scaled 1200 {A TeX font.}

\testfont ammi9 scaled 667 {\longtext}
\testfont ammi9 scaled 730 {\shorttext}
\testfont ammi9 scaled 800 {\shorttext}
\testfont ammi9 scaled 877 {\shorttext}
\testfont ammi9 scaled 960 {\shorttext}
\testfont ammi9 scaled 1000 {\shorttext}
\testfont ammi9 scaled 1095 {\shorttext}
\testfont ammi9 scaled 1200 {\shorttext}
\testfont ammi9 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amr10 <<\'fin\'

\showfont amr10 scaled 1200 {A TeX font.}

\testfont amr10 scaled 667 {\longtext}
\testfont amr10 scaled 730 {\shorttext}
\testfont amr10 scaled 800 {\shorttext}
\testfont amr10 scaled 877 {\shorttext}
\testfont amr10 scaled 960 {\shorttext}
\testfont amr10 scaled 1000 {\shorttext}
\testfont amr10 scaled 1095 {\shorttext}
\testfont amr10 scaled 1152 {\shorttext}
\testfont amr10 scaled 1200 {\shorttext}
\testfont amr10 scaled 1383 {\shorttext}
\testfont amr10 scaled 1440 {\shorttext}
\testfont amr10 scaled 1659 {\shorttext}
\testfont amr10 scaled 1728 {\shorttext}
\testfont amr10 scaled 1991 {\shorttext}
\testfont amr10 scaled 2074 {\shorttext}
\testfont amr10 scaled 2488 {\shorttext}
\testfont amr10 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum amr5 <<\'fin\'

\showfont amr5 scaled 1200 {A TeX font.}

\testfont amr5 scaled 667 {\longtext}
\testfont amr5 scaled 730 {\shorttext}
\testfont amr5 scaled 800 {\shorttext}
\testfont amr5 scaled 877 {\shorttext}
\testfont amr5 scaled 960 {\shorttext}
\testfont amr5 scaled 1000 {\shorttext}
\testfont amr5 scaled 1095 {\shorttext}
\testfont amr5 scaled 1152 {\shorttext}
\testfont amr5 scaled 1200 {\shorttext}
\testfont amr5 scaled 1383 {\shorttext}
\testfont amr5 scaled 1440 {\shorttext}
\testfont amr5 scaled 1659 {\shorttext}
\testfont amr5 scaled 1728 {\shorttext}
\testfont amr5 scaled 1991 {\shorttext}
\testfont amr5 scaled 2074 {\shorttext}
\testfont amr5 scaled 2488 {\shorttext}
\testfont amr5 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum amr6 <<\'fin\'

\showfont amr6 scaled 1200 {A TeX font.}

\testfont amr6 scaled 667 {\longtext}
\testfont amr6 scaled 730 {\shorttext}
\testfont amr6 scaled 800 {\shorttext}
\testfont amr6 scaled 877 {\shorttext}
\testfont amr6 scaled 960 {\shorttext}
\testfont amr6 scaled 1000 {\shorttext}
\testfont amr6 scaled 1095 {\shorttext}
\testfont amr6 scaled 1200 {\shorttext}
\testfont amr6 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amr7 <<\'fin\'

\showfont amr7 scaled 1200 {A TeX font.}

\testfont amr7 scaled 667 {\longtext}
\testfont amr7 scaled 730 {\shorttext}
\testfont amr7 scaled 800 {\shorttext}
\testfont amr7 scaled 877 {\shorttext}
\testfont amr7 scaled 960 {\shorttext}
\testfont amr7 scaled 1000 {\shorttext}
\testfont amr7 scaled 1095 {\shorttext}
\testfont amr7 scaled 1152 {\shorttext}
\testfont amr7 scaled 1200 {\shorttext}
\testfont amr7 scaled 1383 {\shorttext}
\testfont amr7 scaled 1440 {\shorttext}
\testfont amr7 scaled 1659 {\shorttext}
\testfont amr7 scaled 1728 {\shorttext}
\testfont amr7 scaled 1991 {\shorttext}
\testfont amr7 scaled 2074 {\shorttext}
\testfont amr7 scaled 2488 {\shorttext}
\testfont amr7 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum amr8 <<\'fin\'

\showfont amr8 scaled 1200 {A TeX font.}

\testfont amr8 scaled 667 {\longtext}
\testfont amr8 scaled 730 {\shorttext}
\testfont amr8 scaled 800 {\shorttext}
\testfont amr8 scaled 877 {\shorttext}
\testfont amr8 scaled 960 {\shorttext}
\testfont amr8 scaled 1000 {\shorttext}
\testfont amr8 scaled 1095 {\shorttext}
\testfont amr8 scaled 1200 {\shorttext}
\testfont amr8 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amr9 <<\'fin\'

\showfont amr9 scaled 1200 {A TeX font.}

\testfont amr9 scaled 667 {\longtext}
\testfont amr9 scaled 730 {\shorttext}
\testfont amr9 scaled 800 {\shorttext}
\testfont amr9 scaled 877 {\shorttext}
\testfont amr9 scaled 960 {\shorttext}
\testfont amr9 scaled 1000 {\shorttext}
\testfont amr9 scaled 1095 {\shorttext}
\testfont amr9 scaled 1200 {\shorttext}
\testfont amr9 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amsl10 <<\'fin\'

\showfont amsl10 scaled 1200 {A TeX font.}

\testfont amsl10 scaled 667 {\longtext}
\testfont amsl10 scaled 730 {\shorttext}
\testfont amsl10 scaled 800 {\shorttext}
\testfont amsl10 scaled 877 {\shorttext}
\testfont amsl10 scaled 960 {\shorttext}
\testfont amsl10 scaled 1000 {\shorttext}
\testfont amsl10 scaled 1095 {\shorttext}
\testfont amsl10 scaled 1152 {\shorttext}
\testfont amsl10 scaled 1200 {\shorttext}
\testfont amsl10 scaled 1383 {\shorttext}
\testfont amsl10 scaled 1440 {\shorttext}
\testfont amsl10 scaled 1659 {\shorttext}
\testfont amsl10 scaled 1728 {\shorttext}
\testfont amsl10 scaled 1991 {\shorttext}
\testfont amsl10 scaled 2074 {\shorttext}
\testfont amsl10 scaled 2488 {\shorttext}
\testfont amsl10 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum amsl8 <<\'fin\'

\showfont amsl8 scaled 1200 {A TeX font.}

\testfont amsl8 scaled 667 {\longtext}
\testfont amsl8 scaled 730 {\shorttext}
\testfont amsl8 scaled 800 {\shorttext}
\testfont amsl8 scaled 877 {\shorttext}
\testfont amsl8 scaled 960 {\shorttext}
\testfont amsl8 scaled 1000 {\shorttext}
\testfont amsl8 scaled 1095 {\shorttext}
\testfont amsl8 scaled 1200 {\shorttext}
\testfont amsl8 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amsl9 <<\'fin\'

\showfont amsl9 scaled 1200 {A TeX font.}

\testfont amsl9 scaled 667 {\longtext}
\testfont amsl9 scaled 730 {\shorttext}
\testfont amsl9 scaled 800 {\shorttext}
\testfont amsl9 scaled 877 {\shorttext}
\testfont amsl9 scaled 960 {\shorttext}
\testfont amsl9 scaled 1000 {\shorttext}
\testfont amsl9 scaled 1095 {\shorttext}
\testfont amsl9 scaled 1200 {\shorttext}
\testfont amsl9 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amsltt10 <<\'fin\'

\showfont amsltt10 scaled 1200 {A TeX font.}

\testfont amsltt10 scaled 667 {\longtext}
\testfont amsltt10 scaled 730 {\shorttext}
\testfont amsltt10 scaled 800 {\shorttext}
\testfont amsltt10 scaled 877 {\shorttext}
\testfont amsltt10 scaled 960 {\shorttext}
\testfont amsltt10 scaled 1000 {\shorttext}
\testfont amsltt10 scaled 1095 {\shorttext}
\testfont amsltt10 scaled 1200 {\shorttext}
\testfont amsltt10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amss10 <<\'fin\'

\showfont amss10 scaled 1200 {A TeX font.}

\testfont amss10 scaled 667 {\longtext}
\testfont amss10 scaled 730 {\shorttext}
\testfont amss10 scaled 800 {\shorttext}
\testfont amss10 scaled 877 {\shorttext}
\testfont amss10 scaled 960 {\shorttext}
\testfont amss10 scaled 1000 {\shorttext}
\testfont amss10 scaled 1095 {\shorttext}
\testfont amss10 scaled 1200 {\shorttext}
\testfont amss10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amssbx10 <<\'fin\'

\showfont amssbx10 scaled 1200 {A TeX font.}

\testfont amssbx10 scaled 667 {\longtext}
\testfont amssbx10 scaled 730 {\shorttext}
\testfont amssbx10 scaled 800 {\shorttext}
\testfont amssbx10 scaled 877 {\shorttext}
\testfont amssbx10 scaled 960 {\shorttext}
\testfont amssbx10 scaled 1000 {\shorttext}
\testfont amssbx10 scaled 1095 {\shorttext}
\testfont amssbx10 scaled 1200 {\shorttext}
\testfont amssbx10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amssi10 <<\'fin\'

\showfont amssi10 scaled 1200 {A TeX font.}

\testfont amssi10 scaled 667 {\longtext}
\testfont amssi10 scaled 730 {\shorttext}
\testfont amssi10 scaled 800 {\shorttext}
\testfont amssi10 scaled 877 {\shorttext}
\testfont amssi10 scaled 960 {\shorttext}
\testfont amssi10 scaled 1000 {\shorttext}
\testfont amssi10 scaled 1095 {\shorttext}
\testfont amssi10 scaled 1200 {\shorttext}
\testfont amssi10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amssmc10 <<\'fin\'

\showfont amssmc10 scaled 1200 {A TeX font.}

\testfont amssmc10 scaled 667 {\longtext}
\testfont amssmc10 scaled 730 {\shorttext}
\testfont amssmc10 scaled 800 {\shorttext}
\testfont amssmc10 scaled 877 {\shorttext}
\testfont amssmc10 scaled 960 {\shorttext}
\testfont amssmc10 scaled 1000 {\shorttext}
\testfont amssmc10 scaled 1095 {\shorttext}
\testfont amssmc10 scaled 1200 {\shorttext}
\testfont amssmc10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amssmc40 <<\'fin\'

\showfont amssmc40 scaled 667 {A TeX font.}

\testfont amssmc40 scaled 667 {\longtext}
\testfont amssmc40 scaled 730 {\shorttext}
\testfont amssmc40 scaled 800 {\shorttext}
\testfont amssmc40 scaled 877 {\shorttext}
\testfont amssmc40 scaled 960 {\shorttext}
\testfont amssmc40 scaled 1000 {\shorttext}
\testfont amssmc40 scaled 1095 {\shorttext}
\testfont amssmc40 scaled 1200 {\shorttext}
\testfont amssmc40 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amssq8 <<\'fin\'

\showfont amssq8 scaled 1200 {A TeX font.}

\testfont amssq8 scaled 667 {\longtext}
\testfont amssq8 scaled 730 {\shorttext}
\testfont amssq8 scaled 800 {\shorttext}
\testfont amssq8 scaled 877 {\shorttext}
\testfont amssq8 scaled 960 {\shorttext}
\testfont amssq8 scaled 1000 {\shorttext}
\testfont amssq8 scaled 1095 {\shorttext}
\testfont amssq8 scaled 1200 {\shorttext}
\testfont amssq8 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amssqi8 <<\'fin\'

\showfont amssqi8 scaled 1200 {A TeX font.}

\testfont amssqi8 scaled 667 {\longtext}
\testfont amssqi8 scaled 730 {\shorttext}
\testfont amssqi8 scaled 800 {\shorttext}
\testfont amssqi8 scaled 877 {\shorttext}
\testfont amssqi8 scaled 960 {\shorttext}
\testfont amssqi8 scaled 1000 {\shorttext}
\testfont amssqi8 scaled 1095 {\shorttext}
\testfont amssqi8 scaled 1200 {\shorttext}
\testfont amssqi8 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amsy10 <<\'fin\'

\showfont amsy10 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont amsy10 scaled 667 {\longtext}
\testfont amsy10 scaled 730 {\shorttext}
\testfont amsy10 scaled 800 {\shorttext}
\testfont amsy10 scaled 877 {\shorttext}
\testfont amsy10 scaled 960 {\shorttext}
\testfont amsy10 scaled 1000 {\shorttext}
\testfont amsy10 scaled 1095 {\shorttext}
\testfont amsy10 scaled 1152 {\shorttext}
\testfont amsy10 scaled 1200 {\shorttext}
\testfont amsy10 scaled 1383 {\shorttext}
\testfont amsy10 scaled 1440 {\shorttext}
\testfont amsy10 scaled 1659 {\shorttext}
\testfont amsy10 scaled 1728 {\shorttext}
\testfont amsy10 scaled 1991 {\shorttext}
\testfont amsy10 scaled 2074 {\shorttext}
\testfont amsy10 scaled 2488 {\shorttext}
\testfont amsy10 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum amsy5 <<\'fin\'

\showfont amsy5 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont amsy5 scaled 667 {\longtext}
\testfont amsy5 scaled 730 {\shorttext}
\testfont amsy5 scaled 800 {\shorttext}
\testfont amsy5 scaled 877 {\shorttext}
\testfont amsy5 scaled 960 {\shorttext}
\testfont amsy5 scaled 1000 {\shorttext}
\testfont amsy5 scaled 1095 {\shorttext}
\testfont amsy5 scaled 1152 {\shorttext}
\testfont amsy5 scaled 1200 {\shorttext}
\testfont amsy5 scaled 1383 {\shorttext}
\testfont amsy5 scaled 1440 {\shorttext}
\testfont amsy5 scaled 1659 {\shorttext}
\testfont amsy5 scaled 1728 {\shorttext}
\testfont amsy5 scaled 1991 {\shorttext}
\testfont amsy5 scaled 2074 {\shorttext}
\testfont amsy5 scaled 2488 {\shorttext}
\testfont amsy5 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum amsy6 <<\'fin\'

\showfont amsy6 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont amsy6 scaled 667 {\longtext}
\testfont amsy6 scaled 730 {\shorttext}
\testfont amsy6 scaled 800 {\shorttext}
\testfont amsy6 scaled 877 {\shorttext}
\testfont amsy6 scaled 960 {\shorttext}
\testfont amsy6 scaled 1000 {\shorttext}
\testfont amsy6 scaled 1095 {\shorttext}
\testfont amsy6 scaled 1200 {\shorttext}
\testfont amsy6 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amsy7 <<\'fin\'

\showfont amsy7 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont amsy7 scaled 667 {\longtext}
\testfont amsy7 scaled 730 {\shorttext}
\testfont amsy7 scaled 800 {\shorttext}
\testfont amsy7 scaled 877 {\shorttext}
\testfont amsy7 scaled 960 {\shorttext}
\testfont amsy7 scaled 1000 {\shorttext}
\testfont amsy7 scaled 1095 {\shorttext}
\testfont amsy7 scaled 1152 {\shorttext}
\testfont amsy7 scaled 1200 {\shorttext}
\testfont amsy7 scaled 1383 {\shorttext}
\testfont amsy7 scaled 1440 {\shorttext}
\testfont amsy7 scaled 1659 {\shorttext}
\testfont amsy7 scaled 1728 {\shorttext}
\testfont amsy7 scaled 1991 {\shorttext}
\testfont amsy7 scaled 2074 {\shorttext}
\testfont amsy7 scaled 2488 {\shorttext}
\testfont amsy7 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum amsy8 <<\'fin\'

\showfont amsy8 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont amsy8 scaled 667 {\longtext}
\testfont amsy8 scaled 730 {\shorttext}
\testfont amsy8 scaled 800 {\shorttext}
\testfont amsy8 scaled 877 {\shorttext}
\testfont amsy8 scaled 960 {\shorttext}
\testfont amsy8 scaled 1000 {\shorttext}
\testfont amsy8 scaled 1095 {\shorttext}
\testfont amsy8 scaled 1200 {\shorttext}
\testfont amsy8 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amsy9 <<\'fin\'

\showfont amsy9 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont amsy9 scaled 667 {\longtext}
\testfont amsy9 scaled 730 {\shorttext}
\testfont amsy9 scaled 800 {\shorttext}
\testfont amsy9 scaled 877 {\shorttext}
\testfont amsy9 scaled 960 {\shorttext}
\testfont amsy9 scaled 1000 {\shorttext}
\testfont amsy9 scaled 1095 {\shorttext}
\testfont amsy9 scaled 1200 {\shorttext}
\testfont amsy9 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amtex10 <<\'fin\'

\showfont amtex10 scaled 1200 {A TeX font.}

\testfont amtex10 scaled 667 {\longtext}
\testfont amtex10 scaled 730 {\shorttext}
\testfont amtex10 scaled 800 {\shorttext}
\testfont amtex10 scaled 877 {\shorttext}
\testfont amtex10 scaled 960 {\shorttext}
\testfont amtex10 scaled 1000 {\shorttext}
\testfont amtex10 scaled 1095 {\shorttext}
\testfont amtex10 scaled 1200 {\shorttext}
\testfont amtex10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amti10 <<\'fin\'

\showfont amti10 scaled 1200 {A TeX font.}

\testfont amti10 scaled 667 {\longtext}
\testfont amti10 scaled 730 {\shorttext}
\testfont amti10 scaled 800 {\shorttext}
\testfont amti10 scaled 877 {\shorttext}
\testfont amti10 scaled 960 {\shorttext}
\testfont amti10 scaled 1000 {\shorttext}
\testfont amti10 scaled 1095 {\shorttext}
\testfont amti10 scaled 1152 {\shorttext}
\testfont amti10 scaled 1200 {\shorttext}
\testfont amti10 scaled 1383 {\shorttext}
\testfont amti10 scaled 1440 {\shorttext}
\testfont amti10 scaled 1659 {\shorttext}
\testfont amti10 scaled 1728 {\shorttext}
\testfont amti10 scaled 1991 {\shorttext}
\testfont amti10 scaled 2074 {\shorttext}
\testfont amti10 scaled 2488 {\shorttext}
\testfont amti10 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum amti7 <<\'fin\'

\showfont amti7 scaled 1200 {A TeX font.}

\testfont amti7 scaled 667 {\longtext}
\testfont amti7 scaled 730 {\shorttext}
\testfont amti7 scaled 800 {\shorttext}
\testfont amti7 scaled 877 {\shorttext}
\testfont amti7 scaled 960 {\shorttext}
\testfont amti7 scaled 1000 {\shorttext}
\testfont amti7 scaled 1095 {\shorttext}
\testfont amti7 scaled 1200 {\shorttext}
\testfont amti7 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amti8 <<\'fin\'

\showfont amti8 scaled 1200 {A TeX font.}

\testfont amti8 scaled 667 {\longtext}
\testfont amti8 scaled 730 {\shorttext}
\testfont amti8 scaled 800 {\shorttext}
\testfont amti8 scaled 877 {\shorttext}
\testfont amti8 scaled 960 {\shorttext}
\testfont amti8 scaled 1000 {\shorttext}
\testfont amti8 scaled 1095 {\shorttext}
\testfont amti8 scaled 1200 {\shorttext}
\testfont amti8 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amti9 <<\'fin\'

\showfont amti9 scaled 1200 {A TeX font.}

\testfont amti9 scaled 667 {\longtext}
\testfont amti9 scaled 730 {\shorttext}
\testfont amti9 scaled 800 {\shorttext}
\testfont amti9 scaled 877 {\shorttext}
\testfont amti9 scaled 960 {\shorttext}
\testfont amti9 scaled 1000 {\shorttext}
\testfont amti9 scaled 1095 {\shorttext}
\testfont amti9 scaled 1200 {\shorttext}
\testfont amti9 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amtt10 <<\'fin\'

\showfont amtt10 scaled 1200 {A TeX font.}

\testfont amtt10 scaled 667 {\longtext}
\testfont amtt10 scaled 730 {\shorttext}
\testfont amtt10 scaled 800 {\shorttext}
\testfont amtt10 scaled 877 {\shorttext}
\testfont amtt10 scaled 960 {\shorttext}
\testfont amtt10 scaled 1000 {\shorttext}
\testfont amtt10 scaled 1095 {\shorttext}
\testfont amtt10 scaled 1152 {\shorttext}
\testfont amtt10 scaled 1200 {\shorttext}
\testfont amtt10 scaled 1383 {\shorttext}
\testfont amtt10 scaled 1440 {\shorttext}
\testfont amtt10 scaled 1659 {\shorttext}
\testfont amtt10 scaled 1728 {\shorttext}
\testfont amtt10 scaled 1991 {\shorttext}
\testfont amtt10 scaled 2074 {\shorttext}
\testfont amtt10 scaled 2488 {\shorttext}
\testfont amtt10 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum amtt8 <<\'fin\'

\showfont amtt8 scaled 1200 {A TeX font.}

\testfont amtt8 scaled 667 {\longtext}
\testfont amtt8 scaled 730 {\shorttext}
\testfont amtt8 scaled 800 {\shorttext}
\testfont amtt8 scaled 877 {\shorttext}
\testfont amtt8 scaled 960 {\shorttext}
\testfont amtt8 scaled 1000 {\shorttext}
\testfont amtt8 scaled 1095 {\shorttext}
\testfont amtt8 scaled 1200 {\shorttext}
\testfont amtt8 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amtt9 <<\'fin\'

\showfont amtt9 scaled 1200 {A TeX font.}

\testfont amtt9 scaled 667 {\longtext}
\testfont amtt9 scaled 730 {\shorttext}
\testfont amtt9 scaled 800 {\shorttext}
\testfont amtt9 scaled 877 {\shorttext}
\testfont amtt9 scaled 960 {\shorttext}
\testfont amtt9 scaled 1000 {\shorttext}
\testfont amtt9 scaled 1095 {\shorttext}
\testfont amtt9 scaled 1200 {\shorttext}
\testfont amtt9 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum amu10 <<\'fin\'

\showfont amu10 scaled 1200 {A TeX font.}

\testfont amu10 scaled 667 {\longtext}
\testfont amu10 scaled 730 {\shorttext}
\testfont amu10 scaled 800 {\shorttext}
\testfont amu10 scaled 877 {\shorttext}
\testfont amu10 scaled 960 {\shorttext}
\testfont amu10 scaled 1000 {\shorttext}
\testfont amu10 scaled 1095 {\shorttext}
\testfont amu10 scaled 1200 {\shorttext}
\testfont amu10 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum circle10 <<\'fin\'

\showfont circle10 scaled 667 {A TeX font.}

\testfont circle10 scaled 667 {\longtext}
\testfont circle10 scaled 800 {\shorttext}
\testfont circle10 scaled 1000 {\shorttext}
\bye
\'fin\'

feefoofum circlew10 <<\'fin\'

\showfont circlew10 scaled 667 {A TeX font.}

\testfont circlew10 scaled 667 {\longtext}
\testfont circlew10 scaled 800 {\shorttext}
\testfont circlew10 scaled 1000 {\shorttext}
\bye
\'fin\'

feefoofum lasy10 <<\'fin\'

\showfont lasy10 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont lasy10 scaled 667 {\longtext}
\testfont lasy10 scaled 730 {\shorttext}
\testfont lasy10 scaled 800 {\shorttext}
\testfont lasy10 scaled 877 {\shorttext}
\testfont lasy10 scaled 960 {\shorttext}
\testfont lasy10 scaled 1000 {\shorttext}
\testfont lasy10 scaled 1095 {\shorttext}
\testfont lasy10 scaled 1152 {\shorttext}
\testfont lasy10 scaled 1200 {\shorttext}
\testfont lasy10 scaled 1315 {\shorttext}
\testfont lasy10 scaled 1383 {\shorttext}
\testfont lasy10 scaled 1440 {\shorttext}
\testfont lasy10 scaled 1659 {\shorttext}
\testfont lasy10 scaled 1728 {\shorttext}
\testfont lasy10 scaled 1991 {\shorttext}
\testfont lasy10 scaled 2074 {\shorttext}
\testfont lasy10 scaled 2488 {\shorttext}
\testfont lasy10 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum lasy5 <<\'fin\'

\showfont lasy5 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont lasy5 scaled 667 {\longtext}
\testfont lasy5 scaled 730 {\shorttext}
\testfont lasy5 scaled 800 {\shorttext}
\testfont lasy5 scaled 877 {\shorttext}
\testfont lasy5 scaled 960 {\shorttext}
\testfont lasy5 scaled 1000 {\shorttext}
\testfont lasy5 scaled 1095 {\shorttext}
\testfont lasy5 scaled 1152 {\shorttext}
\testfont lasy5 scaled 1200 {\shorttext}
\testfont lasy5 scaled 1315 {\shorttext}
\testfont lasy5 scaled 1383 {\shorttext}
\testfont lasy5 scaled 1440 {\shorttext}
\testfont lasy5 scaled 1659 {\shorttext}
\testfont lasy5 scaled 1728 {\shorttext}
\testfont lasy5 scaled 1991 {\shorttext}
\testfont lasy5 scaled 2074 {\shorttext}
\testfont lasy5 scaled 2488 {\shorttext}
\testfont lasy5 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum lasy6 <<\'fin\'

\showfont lasy6 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont lasy6 scaled 667 {\longtext}
\testfont lasy6 scaled 730 {\shorttext}
\testfont lasy6 scaled 800 {\shorttext}
\testfont lasy6 scaled 877 {\shorttext}
\testfont lasy6 scaled 960 {\shorttext}
\testfont lasy6 scaled 1000 {\shorttext}
\testfont lasy6 scaled 1095 {\shorttext}
\testfont lasy6 scaled 1200 {\shorttext}
\testfont lasy6 scaled 1315 {\shorttext}
\testfont lasy6 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum lasy7 <<\'fin\'

\showfont lasy7 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont lasy7 scaled 667 {\longtext}
\testfont lasy7 scaled 730 {\shorttext}
\testfont lasy7 scaled 800 {\shorttext}
\testfont lasy7 scaled 877 {\shorttext}
\testfont lasy7 scaled 960 {\shorttext}
\testfont lasy7 scaled 1000 {\shorttext}
\testfont lasy7 scaled 1095 {\shorttext}
\testfont lasy7 scaled 1152 {\shorttext}
\testfont lasy7 scaled 1200 {\shorttext}
\testfont lasy7 scaled 1315 {\shorttext}
\testfont lasy7 scaled 1383 {\shorttext}
\testfont lasy7 scaled 1440 {\shorttext}
\testfont lasy7 scaled 1659 {\shorttext}
\testfont lasy7 scaled 1728 {\shorttext}
\testfont lasy7 scaled 1991 {\shorttext}
\testfont lasy7 scaled 2074 {\shorttext}
\testfont lasy7 scaled 2488 {\shorttext}
\testfont lasy7 scaled 2986 {\shorttext}
\bye
\'fin\'

feefoofum lasy8 <<\'fin\'

\showfont lasy8 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont lasy8 scaled 667 {\longtext}
\testfont lasy8 scaled 730 {\shorttext}
\testfont lasy8 scaled 800 {\shorttext}
\testfont lasy8 scaled 877 {\shorttext}
\testfont lasy8 scaled 960 {\shorttext}
\testfont lasy8 scaled 1000 {\shorttext}
\testfont lasy8 scaled 1095 {\shorttext}
\testfont lasy8 scaled 1200 {\shorttext}
\testfont lasy8 scaled 1315 {\shorttext}
\testfont lasy8 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum lasy9 <<\'fin\'

\showfont lasy9 scaled 1200 {A TeX font.}
\def\shorttext{\mathtext}

\testfont lasy9 scaled 667 {\longtext}
\testfont lasy9 scaled 730 {\shorttext}
\testfont lasy9 scaled 800 {\shorttext}
\testfont lasy9 scaled 877 {\shorttext}
\testfont lasy9 scaled 960 {\shorttext}
\testfont lasy9 scaled 1000 {\shorttext}
\testfont lasy9 scaled 1095 {\shorttext}
\testfont lasy9 scaled 1200 {\shorttext}
\testfont lasy9 scaled 1315 {\shorttext}
\testfont lasy9 scaled 1440 {\shorttext}
\bye
\'fin\'

feefoofum line10 <<\'fin\'

\showfont line10 scaled 667 {A TeX font.}

\testfont line10 scaled 667 {\longtext}
\testfont line10 scaled 800 {\shorttext}
\testfont line10 scaled 1000 {\shorttext}
\bye
\'fin\'

feefoofum linew10 <<\'fin\'

\showfont linew10 scaled 667 {A TeX font.}

\testfont linew10 scaled 667 {\longtext}
\testfont linew10 scaled 800 {\shorttext}
\testfont linew10 scaled 1000 {\shorttext}
\bye
\'fin\'