Up Next
Go up to A.1 CASL Environments
Go forward to A.1.2 Basic Items

A.1.1 Groups of Lines

Use only in paragraph mode:5

\begin{Items} \item[...] ... \\ ... \item[...] ... \end{Items}
...
...
...
...
...
\renewcommand{\Margin}{~~}
\begin{Items} \item[...] ... \\ ... \item[...] ... \end{Items}
...
...
...
...
...
\begin{Items}[\Axioms] \item[...] ... \\ ... \item[\Axioms] ... \end{Items}
...
...
...
axioms
...

Use in any mode:6

\[ ... \\ ... \]
...
...
\[ ... & ... & ... \\ ... & ... & ... \]
... ... ...
... ... ...
\[ ...~&~...~&~... \\ ...~&~...~&~... \]
...  ...  ...
...  ...  ...
\(\[ ...&{}\mapsto{}&...~, \\ ...&{}\mapsto{}&... \]\)
... |-> ... ,
... |-> ...

CoFI Note: C-2 -- Version: 0.3 (for CASL v1.0) -- 30 November 1998.
Comments to mosses@csl.sri.com

Up Next