�|Description:�%
The \leader markup is most often used in the \tableofcontentsformat in
conjunction with a page number. It produces dot leadering. You can also
use \leader in an \halign.
�|Example:�%
This example using leaders also illustrates the use of \indent in \halign.
The average annual costs of owning buildings in terms of
{\it taxes, insurance, maintenance,} and
{\it depreciation} are:
\halign{\indent\indent\hbox to 13pc {#\leader}&
\rt{#}\ \%\cr
