<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\let\fvpfont=\tt

\def\f#1{\findex{#1}{\fvpfont #1}}
\def\v#1{\vindex{#1}{\fvpfont #1}}
\def\p#1{\pindex{#1}{\fvpfont #1}}

\def\fb#1{\fnindexbold{#1}{\fvpfont\bf #1}}
\def\vb#1{\vrindexbold{#1}{\fvpfont\bf #1}}
\def\pb#1{\pgindexbold{#1}{\fvpfont\bf #1}}

\newindex{vr}
\newindex{fn}
\newindex{pg}
</pre></body></html>