Theorem-like environments

The env-theorem d.t.d. provides tags for the layout of theorem-like environments. The most important tags are

theorem*

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

remark*

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

exercise*

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

proof*

Similar to 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”.

dueto

An environment which can be used to specify the inventors of a theorem.

corollary*

For unnumbered corollaries. This environment is based on theorem* .

proof

For proofs of theorems. This environment is based on proof* .

The following tags can be used for further customization of the environments.

theoremname

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

exercisename

Similar to theoremname , but for exercises.

theoremsep

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.

exercisesep

Similar to theoremsep , but for exercises.