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