The 44 environment can be used to set multi-line formulas without
an enclosing box: it is useful for given-set declarations, theorems, and the
miscellaneous bits of mathematics that don't come in a box:
#example124#
The formula 45 may be abbreviated to
46; the 47 environment is a generalization of the
48 environment of LATEX, so this redefinition of
commands is fairly benign. Notice that the maths is set flush left on the
same indentation as schemas and their friends.
Here too you can use 49 for a little extra space
between lines.
For algebraic-style proofs, there is the 50 environment.
This is like the 51 environment, but the separation between
lines is increased a little, and page breaks may occur between lines.
When the left-hand side is long this style wastes less space
than the LATEX 52 style.
The intended use is for arguments like this:
#argue132#
Here is the input:
verbatim24#
The example below shows an inference rule (the optional argument
to 53 gives a side-condition of the rule):
#example140#
The 54 environment is used for making displays like this:
#syntax148#
from input like this:
verbatim25#
This kind of thing is useful when you're describing a language,
and it can also be used for data-type definitions as shown below.
The optional final column was omitted below by leaving out the third 55.
<#385#>
#example155#
<#385#>
This can be compared with the layout adopted by the UQ Z editor (version 1).
<#386#>
#example164#
<#386#>
The <#172#>sidebyside<#172#> environment allows a display as shown in the
first two columns below to be produced from the text of the third column.
Note the use of the 56 command.
#example173#
In fact, this environment was used throughout this note to
display the examples beside the required input text.
Incidentally, the above example shows that 57
environments can be nested; so what the author of this note typed
to get the above display was:
verbatim26#
This resulted in the first two columns being equally spaced and
together taking up as much space as the third column.
You can have more than 2 columns without nesting by specifying an optional
parameter to 58. For example, the display below has three
equally spaced columns obtained using 59.
#sidebyside200#