Environnements théorèmes

Le d.t.d. env-theorem définit les balises d'affichage des environnements théorèmes. Les balises principales sont les suivantes :

render-theorem

Macro d'affichage des environnements théorèmes. Le premier argument donne le nom du théorème, tel «Théorème 1.2» et le second argument est le corps du théorème. Cet environnement est utilisé par les environnements définis avec new-theorem.

render-remark

Identique à render-theorem pour les environnements remarques.

render-exercise

Identique à render-theorem pour les environnements exercices.

render-proof

Identique à render-theorem pour les démonstrations. Cet environnement est principalement utilisé pour personnaliser le nom d'une démonstration, comme dans «Fin de la démonstration du théorème 1.2».

dueto

Environnement qui peut être utilisé pour indiquer des auteurs d'un théorème.

corollary*

Pour les corollaires non numérotés. Cet environnement se base sur render-theorem.

proof

Pour la démonstration des théorèmes. Cet environnement se base sur render-proof.

Les balises suivantes peuvent être utilisées pour personnaliser les environnements.

theorem-name

Macro qui gère l'apparence des noms des environnements théorèmes et remarques. La plupart utilisent un style gras ou des petites majuscules.

exercise-name

Identique à theorem-name pour les exercices.

theorem-sep

Séparateur entre le nom d'un environnement théorème ou remarque et son corps. Par défaut, il s'agit d'un point suivi d'une espace.

exercise-sep

Identique à theorem-sep pour les exercices.