\font\fivfrk=eufm5 \font\fivesm=eusm5 \hyphenchar\fivfrk=-1 \font\sixfrk=eufm5
\@ptscale6 \font\sixesm=eusm5 \@ptscale6 \hyphenchar\sixfrk=-1
\font\sevfrk=eufm7 \font\sevesm=eusm7 \hyphenchar\sevfrk=-1 \font\egtfrk=eufm7
\@halfmag \font\egtesm=eusm7 \@halfmag \hyphenchar\egtfrk=-1 \font\ninfrk=eufm7
\@magscale1 \font\ninesm=eusm7 \@magscale1 \hyphenchar\ninfrk=-1
\font\tenfrk=eufm10 \font\tenesm=eusm10 \hyphenchar\tenfrk=-1
\font\elvfrk=eufm10 \@halfmag \font\elvesm=eusm10 \@halfmag
\hyphenchar\elvfrk=-1 \font\twlfrk=eufm10 \@magscale1 \font\twlesm=eusm10
\@magscale1 \hyphenchar\twlfrk=-1 \def\frk{\protect\pfrk}
\def\esm{\protect\pesm} \newfam\frkfam \newfam\esmfam \def\scr{\fam\esmfam}
\let\x@vpt=\vpt \let\x@vipt=\vipt \let\x@viipt=\viipt \let\x@viiipt=\viiipt
\let\x@ixpt=\ixpt \let\x@xpt=\xpt \let\x@xipt=\xipt \let\x@xiipt=\xiipt
\def\y@vpt{\def\pfrk{\fam\frkfam\fivfrk} \def\pesm{\fam\esmfam\fivsm}
\textfont\frkfam=\fivfrk \scriptfont\frkfam=\fivfrk
\scriptscriptfont\frkfam=\fivfrk \textfont\esmfam=\fivesm
\scriptfont\esmfam=\fivesm \scriptscriptfont\esmfam=\fivesm}
\def\y@vipt{\def\pfrk{\fam\frkfam\sixfrk} \def\pesm{\fam\esmfam\sixesm}
\textfont\frkfam=\sixfrk \scriptfont\frkfam=\sixfrk
\scriptscriptfont\frkfam=\sixfrk \textfont\esmfam=\sixesm
\scriptfont\esmfam=\sixesm \scriptscriptfont\esmfam=\sixesm}
\def\y@viipt{\def\pfrk{\fam\frkfam\sevfrk} \def\pesm{\fam\esmfam\sevsm}
\textfont\frkfam=\sevfrk \scriptfont\frkfam=\fivfrk
\scriptscriptfont\frkfam=\fivfrk \textfont\esmfam=\sevesm
\scriptfont\esmfam=\fivesm \scriptscriptfont\esmfam=\fivesm}
\def\y@viiipt{\def\pfrk{\fam\frkfam\egtfrk} \def\pesm{\fam\esmfam\egtsm}
\textfont\frkfam=\egtfrk \scriptfont\frkfam=\sixfrk
\scriptscriptfont\frkfam=\fivfrk \textfont\esmfam=\egtesm
\scriptfont\esmfam=\sixesm \scriptscriptfont\esmfam=\fivesm}
\def\y@ixpt{\def\pfrk{\fam\frkfam\ninfrk} \def\pesm{\fam\esmfam\ninsm}
\textfont\frkfam=\ninfrk \scriptfont\frkfam=\sixfrk
\scriptscriptfont\frkfam=\fivfrk \textfont\esmfam=\ninesm
\scriptfont\esmfam=\sixesm \scriptscriptfont\esmfam=\fivesm}
\def\y@xpt{\def\pfrk{\fam\frkfam\tenfrk} \def\pesm{\fam\esmfam\tensm}
\textfont\frkfam=\tenfrk \scriptfont\frkfam=\sevfrk
\scriptscriptfont\frkfam=\fivfrk \textfont\esmfam=\tenesm
\scriptfont\esmfam=\sevesm \scriptscriptfont\esmfam=\fivesm}
\def\y@xipt{\def\pfrk{\fam\frkfam\elvfrk} \def\pesm{\fam\esmfam\elvsm}
\textfont\frkfam=\elvfrk \scriptfont\frkfam=\egtfrk
\scriptscriptfont\frkfam=\sixfrk \textfont\esmfam=\elvesm
\scriptfont\esmfam=\egtesm \scriptscriptfont\esmfam=\sixesm}
\def\y@xiipt{\def\pfrk{\fam\frkfam\twlfrk} \def\pesm{\fam\esmfam\twlsm}
\textfont\frkfam=\twlfrk \scriptfont\frkfam=\egtfrk
\scriptscriptfont\frkfam=\sixfrk \textfont\esmfam=\twlesm
\scriptfont\esmfam=\egtesm \scriptscriptfont\esmfam=\sixesm}
\def\vpt{\x@vpt\y@vpt} \def\vipt{\x@vipt\y@vipt} \def\viipt{\x@viipt\y@viipt}
\def\viiipt{\x@viiipt\y@viiipt} \def\ixpt{\x@ixpt\y@ixpt}
\def\xpt{\x@xpt\y@xpt} \def\xipt{\x@xipt\y@xipt} \def\xiipt{\x@xiipt\y@xiipt}
\ifx\hexnumber@\undefined\def\hexnumber@#1{\ifnum#1<10 \number#1\else
\ifnum#1=10 A\else\ifnum#1=11 B\else\ifnum#1=12 C\else \ifnum#1=13
D\else\ifnum#1=14 E\else\ifnum#1=15 F\fi\fi\fi\fi\fi\fi\fi}\fi
\def\esm@{\hexnumber@\eulfam} \mathchardef\altminus="2\esm@00
\mathchardef\altast="2\esm@03 \mathchardef\unot="0\esm@18
\mathchardef\altneg="0\esm@3A \mathchardef\altRe="0\esm@3C
\mathchardef\altIm="0\esm@3D \mathchardef\altaleph="0\esm@40
\mathchardef\altwedge="2\esm@5E \mathchardef\altvee="2\esm@5F
\mathchardef\altleftbrace="4\esm@66 \mathchardef\altrightbrace="5\esm@67
\mathchardef\shortmid="3\esm@6A \mathchardef\altbackslash="0\esm@6E
\mathchardef\altsetminus="2\esm@6E \mathchardef\J="0\esm@7B
\mathchardef\I="0\esm@7C \mathchardef\U="0\esm@7D
\def\altS{\hbox{$\mathchar"0\esm@78$}} \chardef\altd=0 \chardef\altaltd=1
\chardef\altf=2 \chardef\altaltf=3 \chardef\altg=4 \chardef\altr=5
\chardef\altt=6 \chardef\altu=7