Nummerierte Kontexte nutzen

Die env-theorem D.T.D. enthält die nummerierten (Theorem-ähnlichen) Standard-Kontexte und andere Standard-Text-Kontexte, die über das Menü Text→Umgebung erreicht werden können. Sie können in drei Haupt-Kategorien unterteilt werden:

Theorem-(Satz)-Varianten
Die Rümpfe dieser Kontexte werden normalerweise in besonderer Weise hervorgehoben. TeXmacs stellt folgende Kontexte bereit: theorem (Satz), proposition (Proposition), lemma (Lemma), corollary (Folgerung), axiom (Axiom), definition (Definition), notation (Notierung), conjecture (conjecture), die über das Menü Text→Umgebung zugänglich sind.
Bemerkung-Varianten
Im MenüText→Umgebung lassen sich folgende erzeugen: remark (Bemerkung), example (Beispiel), note (Anmerkung), warning (Warnung), convention (Konvention).
Aufgabe-Varianten
Zwei solche Kontexte besitzt TeXmacs, die über das Menü Text→Umgebung erzeugt werden können: exercise (Aufgabe) und problem (Problem).

Alle diese Kontexte gibt es auch in einer unnummerierten Variante theorem*, proposition*, usw.. Man kann den Kurzbefehl A-* benutzen, um zwischen der nummerierten und der unnummerierten Variante zu wechseln. Außerdem gibt es noch:

<proof|body>

Für Beweise (von Sätzen).

<dueto|who>

Ein Makro, das dazu dient die Quelle des Satzes zu kennzeichnen. Es sollte innerhalb eines Satz-Kontexts verwendet werden, z.B.

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