Um diese Seite zu öffnen: Klicken Sie auf der Registerkarte General Settings der Settings auf [General Settings] > Editor.

.DTX file (.dtx file) Ein Dateityp den Doc-O-Matic dazu verwendet Kommentare und allgemeine Themen zu speichern. DTX-Dateien werden auch Themendateien genannt und sind eine Art von Dokumentationsdateien. 

documentation file Dateien, die Doc-O-Matic dazu verwendet Kommentare und Thementext zu speichern. 

topic ID Eine eindeutige Zeichenfolge, die ein Thema in Doc-O-Matic identifiziert. Für Symbolthemen wird der vollständige Name des Symbols als Themen-ID verwendet.