<\body> Die enthält die nummerierten (Theorem-ähnlichen) Standard-Kontexte und andere Standard-Text-Kontexte, die über das Menü erreicht werden können. Sie können in drei Haupt-Kategorien unterteilt werden: <\description> )-Varianten>Die Rümpfe dieser Kontexte werden normalerweise in besonderer Weise hervorgehoben. stellt folgende Kontexte bereit: (), (), (), (), (), (), (), (), die über das Menü zugänglich sind. -Varianten>Im Menü lassen sich folgende erzeugen: (), (), (), (), (). -Varianten>Zwei solche Kontexte besitzt , die über das Menü erzeugt werden können: () und (). Alle diese Kontexte gibt es auch in einer unnummerierten Variante \ , , . Man kann den Kurzbefehl \ \ benutzen, um zwischen der nummerierten und der unnummerierten Variante zu wechseln. Auÿerdem gibt es noch: <\explain|> Für Beweise (von Sätzen). <\explain|> Ein Makro, das dazu dient die Quelle des Satzes zu kennzeichnen. Es sollte innerhalb eines Satz-Kontexts verwendet werden, z.B. <\theorem*> +b=c>. <\initial> <\collection>