Using the theorem-like environments

The env-theorem d.t.d. contains the default theorem-like and other textual environments, which are available through Text→Environment. They are subdivided into three main categories:

Variants of theorems
The bodies of theorem-like environments are usually emphasized. By default, the following such environments are available via Text→Environment: theorem, proposition, lemma, corollary, axiom, definition, notation, conjecture.
Variants of remarks
The following ones are available via Text→Environment: remark, example, note, warning, convention.
Variants of exercises
Two such environments are provided by default and available via Text→Environment: exercise and problem.

The environments are all available in unnumbered versions theorem*, proposition*, etc. as well. You may use A-* in order to switch between the unnumbered and numbered version. The following tags are also provided:

<proof|body>

For proofs of theorems.

<dueto|who>

An environment which can be used to specify the inventors of a theorem. It should be used at the start inside the body of a theorem, like in

Theorem. (Pythagoras) a2 + b2 = c2.

© 1998–2002 Joris van der Hoeven
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".