\font\tenbf                  = amb10
\font\bxf                    = ambx10
\font\tbfontt                = ambx10 scaled\magstep1
\font\tafontt                = ambx10 scaled\magstep2
\font\tbfontss               = ambx5  scaled\magstep1
\font\tafontss               = ambx5  scaled\magstep2
\font\sixbf                  = ambx6
\font\tbfonts                = ambx7  scaled\magstep1
\font\tafonts                = ambx7  scaled\magstep2
\font\eightbf                = ambx8
\font\isf                    = amex10   scaled 833
\font\sixi                   = ammi6
\font\eighti                 = ammi8
\font\tams                   = ambi10
\font\kleinhalbcurs          = ambi10 scaled 833
\font\tbmt                   = ambi10 scaled\magstep1
\font\tamt                   = ambi10 scaled\magstep2
\font\smallescriptscriptfont = amr5
\font\smalletextfont         = amr5 at 10pt
\font\smallescriptfont       = amr5 at 7pt
\font\sixrm                  = amr6
\font\eightrm                = amr8
\font\eightsl                = amsl8
\font\tensans                = amss10
\font\fivesans               = amss10 at 5pt
\font\sixsans                = amss10 at 6pt
\font\sevensans              = amss10 at 7pt
\font\eightsans              = amss10 at 8pt
\font\tbst                   = amsy10 scaled\magstep1
\font\tast                   = amsy10 scaled\magstep2
\font\tbsss                  = amsy5  scaled\magstep1
\font\tasss                  = amsy5  scaled\magstep2
\font\sixsy                  = amsy6
\font\tbss                   = amsy7  scaled\magstep1
\font\tass                   = amsy7  scaled\magstep2
\font\eightsy                = amsy8
\font\eightit                = amti8
\font\eighttt                = amtt8