Nummerierte Text-Kontexte

TeXmacs verfügt über drei verschiedene nummerierte Standard-Kontexte für Text: Satz-ähnliche, Bemerkung-ähnliche und Aufgabe-ähnliche. Die folgenden Aspekte können leicht angepasst werden:

• Neue Konstrukte erzeugen.
• Die Darstellung ändern.
• Die Nummerierung ändern.

Neue Konstrukte erzeugen

Mit den Meta-Makros new-theorem, new-remark und new-exercise können neue nummerierte Kontexte erzeugt werden. Sie alle haben zwei Argumente, den Namen des neuen Konstrukts und die Bezeichnung, die in der Darstellung auf dem Bildschirm verwendet werden soll. Wenn Sie beispielsweise einen Kontext für Experimente erzeugen wollen, der mit Experiment 1 usw. fortlaufend beschriftet wird, dann definieren Sie experiments mit

Wenn Experiment in dem geeigneten TeXmacs-Wörterbuch enthalten ist, wird der Text „Experiment” automatisch übersetzt. Im Abschnitt Definition neuer Kontexte wird u.a. beschrieben, wie man neue nummerierte Kontexte schreiben kann, die nicht zu den Satz-ähnlichen, Bemerkung-ähnlichen und Aufgabe-ähnlichen gehören.

Die Darstellung ändern

Die Darstellung dieser Kontexte kann mit den Konstrukten render-theorem, render-remark und render-exercise beeinflusst werden. Diese Makros haben als Argumente den Namen des Kontexts (z.B. „theorem 1.2”) und seinen Rumpf. Eine Bemerkung wird gemäß Vorgabe genau wie ein Satz gesetzt allerdings in der Schriftform „senkrecht“. Daher beeinflussen Änderungen der Definition von render-theorem auch die Darstellung einer Bemerkung. Wenn man beipielsweise von einem Satz verlangt, dass er etwas eingerückt und geneigt dargestellt wird, dann kann man render-theorem so umdefinieren:

Das führt zu folgender Darstellung:

Satz 1.

Bemerkung 1. Die Darstellung einer Bemerkung basiert auf der Darstellung des Satz-Kontexts nur, dass die Schriftform „senkrecht“ verwendet wird.

Manchmal möchte man aber nur die Darstellung der Bezeichnung oder des Trennzeichens zwischen Bezeichnung und Text-Rumpf ändern. Wie man im vorstehenden Beispiel erkennen kann, werden diese Aspekte durch die Makros theorem-name und theorem-sep gesteuert. Beispielsweise wird mit

eine Proposition, wie folgt, dargestellt:

Proposition 1: Diese Proposition hat eine ungewöhnliche Art der Darstellung.

Die Nummerierung ändern

In den Abschnitten über Zähler und Zählergruppen wird erklärt, wie man Zähler zu einen bestimmten Zweck ändern kann. Beispielsweise können Sie für den Kontext „Folgerung“ den Zähler zurücksetzen, indem Sie inc-theorem neu definieren:

Beachten Sie den Trick mit quasi und unquote, um alle Aktionen zu berücksichtigen, die von den früheren Werten des Makros inc-theorem stammen können.

Der folgende Code von number-long-article.ts dient dazu, allen Standard-Kontexten die Nummer des aktuellen Abschnitts als Praefix voranzustellen.

Beachten Sie auch, dass mit den Paketen number-europe.ts, number-long-article.ts, number-us.ts, structured-list.ts (Zahl-europäisch, Zahl-lang-Artikel, Zahl-US Stil, structured-list und structured-Abschnitt) die Nummerierung im Menü Ansicht→Paket zufügen→Nummerierung angepasst werden kann.