\font\fetanummer=feta-nummer8
\font\dynfont=feta-din10 scaled \magstep1
\font\bracefont=feta-braces16
- \font\fingerfont=feta-nummer4
+ \font\fingerfont=feta-nummer5
}
\def\fettwentydefs{
\font\fontentja=feta20
\font\fetanummer=feta-nummer10
\font\dynfont=feta-din10 scaled \magstep2
\font\bracefont=feta-braces20
- \font\fingerfont=feta-nummer5
+ \font\fingerfont=feta-nummer6
}
\def\fetdef#1#2{\def#1{%