\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}