The BasicSpec and Items environments have an optional
text argument whose width is taken as the indentation of the body of
each item. The default indentation for BasicSpec is the width
of the keyword \Pred, whereas that for Items is the
width of the space produced by the command \Margin, which may
be altered from its default setting of four spaces using:
\renewcommand{\Margin}{~...~}
The command \Margin may also be used to insert extra space in
formulae, e.g., at the beginning of a continuation line. \M
abbreviates \Margin. Space may also be inserted by explicit
use of ~ or \ ; explicit \hspace commands should
not be used when translation to HTML is to be done using
Hyperlatex.
The indentation for the items in a SpecDefn environment is
fixed as the width of the grouping brace given by \Group.
Items with a different indentation can be formatted using an
Items environment as the body of the SpecDefn
environment.
The command \I{...} abbreviates \item[...]. When the
argument is a single command or character, \I{...} may be
written just as \I.