\font \eightbf       = ambx8
\font \eighti        = ammi8
\font \eightit       = amti8
\font \eightrm       = amr8
\font \eightsl       = amsl8
\font \eightsy       = amsy8
\font \eighttt       = amtt8
\font \kleinhalbcurs = ambi10 scaled 833
\font \tinyhalbcurs  = ambi10 scaled 640
\font \sixbf         = ambx6
\font \sixi          = ammi6
\font \sixrm         = amr6
\font \sixsy         = amsy6
\font \tafonts       = ambx7 scaled \magstep2
\font \tafontss      = ambx5 scaled \magstep2
\font \tafontt       = ambx10 scaled \magstep2
\font \tams          = ambi10 scaled \magstep1
\font \tamss         = ambi10
\font \tamt          = ambi10 scaled \magstep2
\font \tass          = ambsy10
\font \tasss         = ambsy10 scaled 833
\font \tast          = ambsy10 scaled \magstep2
\font \tasys         = amex10 scaled \magstep1
\font \tasyt         = amex10 scaled \magstep2