TeXmacs-Dokumente |
TeXmacs-Dokumente sind natürlich TeXmacs-Bäume, diese haben allerdings eine spezielle Form, die im folgenden beschrieben wird. Unter einem TeXmacs-Dokument wird hier eine Datei bezeichnet, die unter TeXmacs erstellt, sich im Speicher (Puffer) befindet oder auf einem Speichermedium gespeichert wurde. Textstücke, also Teile von Dokumenten, sind zwar auch TeXmacs-Bäume, aber normalerweise keine Dokumente.
Die Wurzel eines Dokuments muss der Standard-Operator
Dieser Operator ist notwendig und spezifiziert die Version von TeXmacs, die zum abspeichern des Dokuments benutzt wurde.
Dieser notwendige Operator spezifiziert den Rumpf des Dokuments, also im Endeffekt den Inhalt.
Zu diesen beiden notwendigen Operatoren können weitere Operatoren/Kinder hinzutreten, sofern diese aus den folgenden ausgewählt werden:
Ein Stil und zusätzliche Stilpakete.
Damit kann ein Verweis auf ein Projekt hinzugefügt werden, zu dem das Dokument gehört.
Hiermit kann ein Kontext festgelegt werden, mit dem das Dokument
gestartet wird: z.B. Seitengröße, Randmaße, usw..
Die Tabelle hat die Form <
Wahlweise eine Liste aller gültigen Verweise auf eine Marke „Label” in dem Dokument. Auch wenn diese Information von TeXmacs automatisch erzeugt werden kann, ist es sinnvoll eine solche Tabelle abzuspeichern, denn es braucht mehrere Durchgänge, um eine solche Tabelle automatisch zu erzeugen. Um anwenderfreundliches Verhalten des Editors zu erreichen, werden Verweise zusammen mit dem Dokument gespeichert.
Die Tabelle hat eine ähnliche
Form wie in der vorgehenden Operation. Hier wird ein
„Tuple“ mit jedem Verweis verbunden. Dieses Tuple
hat entweder die Form <
Dies ist eine wahlweise Tabelle, die zusätzliche Hilfsdaten abspeichert. Wie oben können diese Daten automatisch aus dem Dokument selbst berechnet werden, diese Berechnungen können aber aufwändig sein und unter Umständen auch Werkzeuge benötigen, die möglicherweise auf Ihrem System nicht vorhanden sind. Die Tabelle, wird ähnlich wie oben definiert, assoziiert die Hilfsdaten mit einem Schlüssel. Standard-Schlüssel sind u.a. bib, toc, idx, gly usw..
Wie Sie sehen, kann unterhalb der Dokument-Wurzel mit
Standard-Operator