Inside CASL specification environments, the LaTeX commands \[
and \] lose their usual interpretation (as abbreviations for
\begin{displaymath} and \end{displaymath}). Instead,
\[...\\...\] is used to mark up multi-line formulae and hanging
multi-line boxes. \[...\\...\] may be used both in math and
text mode (and does not change the mode). It produces a top-aligned
box, so there should be no text directly following the closing
\].
After an \item command, use of \[...\\...\] ensures that
the lines in it will all have the same indentation as the first line,
regardless of the current indentation of bodies of items.
By default, pages may be broken automatically in the middle of a CASL
specification: between items, or even within an item (although not
within \[...\\...\]). To inhibit automatic page breaks in
specifications, use the command \samepagetrue before the
first one. The command \samepagefalse can be subsequently used
to restore automatic page breaking in specifications. Page breaks can
always be forced by means of standard LaTeX \pagebreak
commands, and \samepage may be used to inhibit pagebreaking
within individual specifications.