3 % The following defintions are for our indexing scheme. Stolen from
5 \def\dotfill{\leaders\hbox to.6em{\hss .\hss}\hskip\z@ plus 1fill}%
6 \def\dotfil{\leaders\hbox to.6em{\hss .\hss}\hfil}%
7 \def\efill{\hfill\nopagebreak}%
8 \def\pfill{\unskip~\dotfill\penalty500\strut\nobreak
9 \dotfil~\ignorespaces}%