Customization of the theorem-like environments

The following customizable macros are used for the rendering of textual environments:

<render-theorem|name|body>

This macro is used for displaying a theorem-like environments. The first argument name specifies the name of the theorem, like “Theorem 1.2” and the second argument body contains the body of the theorem. This environment is used for environments defined by new-theorem.

<render-remark|name|body>

Similar to render-theorem, but for remark-like environments.

<render-exercise|name|body>

Similar to render-theorem, but for exercise-like environments.

<render-proof|name|body>

Similar to render-theorem, but for proofs. This environment is mainly used for customizing the name of a proof, like in “End of the proof of theorem 1.2”.

Notice that you may also use these macros if you want an environment which is rendered in a similar way as a theorem, but with another name (like “Corollary of Theorem 7”).

The following tags can be used for further customization of the rendering:

<theorem-name|name>

This macro controls the appearance of the names of theorem-like and remark-like environments. Most styles use bold face or small capitals.

<exercise-name|name>

Similar to theorem-name, but for exercises.

<theorem-sep>

The separator between the name of a theorem-like or remark-like environment and its main body. By default, this is a period followed by a space.

<exercise-sep>

Similar to theorem-sep, but for exercises.

Each standard environment x also comes with a customizable macro x-text which renders the localized name of the environment. For instance, <with|language|dutch|<theorem-text>> yields “Stelling”.

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