Defining new environments (FSF GNU project)

Defining new environments

The env-manage contains high-level markup which can be used by the user to define new environments for theorems, remarks, exercises and figures:

newtheorem: Defines a theorem-like environment. You should specify a name for the environment (like “experiment”) and the corresponding text (like “Experiment”).
newremark: Similar as newtheorem , but for remarks.
newexercise: Similar as newtheorem , but for exercises.
newfigure: Similar as newtheorem , but for figures (in big and small pairs).

The d.t.d. also contains low-level markup for the actual definitions of the environments. In fact, the definition of new theorems is done in two stages. At the first stage, the newtheorem tag is used in order to specify which theorem-like environments should be defined. At the second stage (just before the user's document is processed) the theorem-like environments are actually defined. This mechanism makes it possible to customize the environments in packages which are processed between the two stages. For instance, the numbering of theorems is customized in this way.

Warning 1. At the moment, you should only use the newtheorem and similar tags inside a personal style file or package. If you use newtheorem directly inside a document, then the numbering can be incorrect, due to the two-stage scheme explained above. This inconvenience will disappear as soon as it will be possible to specify clean preambles for TeXmacs documents.

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".