\expcs\def {xref-s-stylecodes}{\S $ \textfont 0=\font 2.2 $\ on page\penalty \@M \ $ \textfont 0=\font 4 $}
\expcs\def {xref-s-font-names}{\S $ \textfont 0=\font 2.3 $\ on page\penalty \@M \ $ \textfont 0=\font 4 $}
\expcs\def {xref-tab-encoding-codes}{\S $ \textfont 0=\font 2.3 $\ on page\penalty \@M \ $ \textfont 0=\font 5 $}
\expcs\def {xref-s-kb-names}{\S $ \textfont 0=\font 2.4 $\ on page\penalty \@M \ $ \textfont 0=\font 6 $}
\notedatum{1}{6}
\notedatum{2}{8}
\notedatum{3}{9}
\expcs\def {xref-s-LaTeX-fnames}{\S $ \textfont 0=\font 4.3 $\ on page\penalty \@M \ $ \textfont 0=\font 9 $}
\expcs\def {xref-s-maamac}{\S $ \textfont 0=\font 5 $\ on page\penalty \@M \ $ \textfont 0=\font 9 $}
\expcs\def {xref-s-ranging}{\S \kern .16667em $ \textfont 0=\font 5.4 $\ on page\penalty \@M \ $ \textfont 0=\font 11 $}
\notedatum{4}{12}
\expcs\def {xref-tab-charcodes}{\S $ \textfont 0=\font 6.1 $\ on page\penalty \@M \ $ \textfont 0=\font 12 $}
\expcs\def {xref-tab-charcodes-a}{\S $ \textfont 0=\font 6.2 $\ on page\penalty \@M \ $ \textfont 0=\font 12 $}
\expcs\def {xref-tab-charcodes}{Table\penalty \@M \ $ \textfont 0=\font 1 $\ on page\penalty \@M \ $ \textfont 0=\font 13 $}
\expcs\def {xref-tab-charcodes-b}{\S $ \textfont 0=\font 6.3 $\ on page\penalty \@M \ $ \textfont 0=\font 14 $}
\expcs\def {xref-tab-charcodes-c}{\S $ \textfont 0=\font 6.4 $\ on page\penalty \@M \ $ \textfont 0=\font 15 $}
\expcs\def {xref-tab-charcodes-g}{\S $ \textfont 0=\font 6.5 $\ on page\penalty \@M \ $ \textfont 0=\font 15 $}
\notedatum{5}{18}
\notedatum{6}{19}
\expcs\def {xref-s-fontinst}{\S $ \textfont 0=\font 10 $\ on page\penalty \@M \ $ \textfont 0=\font 23 $}
\expcs\def {xref-bib}{\S {$ \textfont 0=\font 12 $}\ on page\penalty \@M \ $ \textfont 0=\font 25 $}
\expcs\def{xref-PS}{\n {1}}
\expcs\def{xref-Berry}{\n {2}}
\expcs\def{xref-Berry2}{\n {3}}
\expcs\def{xref-Bien}{\n {4}}
\expcs\def{xref-KD}{\n {5}}
\expcs\def{xref-Cork}{\n {6}}
\expcs\def{xref-GPL}{\n {7}}
\expcs\def{xref-Hara}{\n {8}}
\expcs\def{xref-Hart's}{\n {9}}
\expcs\def{xref-Hart's13}{\n {10}}
\expcs\def{xref-Hart's30}{\n {11}}
\expcs\def{xref-Hart's62}{\n {12}}
\expcs\def{xref-Hart's102}{\n {13}}
\expcs\def{xref-Hart's120}{\n {14}}
\expcs\def{xref-Hart's135}{\n {15}}
\expcs\def{xref-fontinst}{\n {16}}
\expcs\def{xref-MFbook}{\n {17}}
\expcs\def{xref-MFApp.F}{\n {18}}
\expcs\def{xref-TeXbook}{\n {19}}
\expcs\def{xref-TeXchar}{\n {20}}
\expcs\def{xref-TeX9}{\n {21}}
\expcs\def{xref-TeXB4}{\n {22}}
\expcs\def{xref-TeXD1}{\n {23}}
\expcs\def{xref-TeXE}{\n {24}}
\expcs\def{xref-TeXF1}{\n {25}}
\expcs\def{xref-LaTeX}{\n {26}}
\expcs\def{xref-lfonts}{\n {27}}
\expcs\def{xref-NFSS}{\n {28}}
\expcs\def{xref-ODWE}{\n {29}}
\expcs\def{xref-ODWEacc}{\n {30}}
\expcs\def{xref-ODWEcap}{\n {31}}
\expcs\def{xref-Pei}{\n {32}}
\expcs\def{xref-nfss-malvern}{\n {33}}
