\hbox to\hsize {\hss \twelvebf Table of Contents\hss }\vskip \bigskipamount \vskip \bigskipamount 
\vskip \bigskipamount \hbox to\hsize {\tenbf 1\hskip 1em\relax Introduction \leaders \hbox to 1em{\hss .\hss }\hfil 1}
\vskip \bigskipamount \hbox to\hsize {\tenbf 2\hskip 1em\relax Running the System \leaders \hbox to 1em{\hss .\hss }\hfil 2}
\vskip \bigskipamount \hbox to\hsize {\tenbf 3\hskip 1em\relax Basic Editing Paradigm \leaders \hbox to 1em{\hss .\hss }\hfil 3}
\vskip \bigskipamount \hbox to\hsize {\tenbf 4\hskip 1em\relax The Built-In Commands \leaders \hbox to 1em{\hss .\hss }\hfil 4}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 4.1\hskip 1em\relax Proof Editor Commands \leaders \hbox to 1em{\hss .\hss }\hfil 4}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 4.2\hskip 1em\relax {T\kern -.1667em\lower .5ex\hbox {E}\kern -.125emX} Formatter Commands \leaders \hbox to 1em{\hss .\hss }\hfil 5}
