[Note The standard environment descriptions are currently rather empty, as I
haven't written the documentation generator yet. For documentation,
read the declarations plus anything between <doc> and
</doc> in the sources. End note.]
Go to the first, previous, next, last section, table of contents.