[
<< Standardeinstellungen verändern
]
[
Anfang
][
Inhalt
][
Index
]
[
Notationsübersicht >>
]
[
< Umgebungs-Plugins verändern
]
[
Nach oben : Interpretationskontexte
]
[
Alle Kontexte des gleichen Typs verändern >
]
5.1.5 Die Standardeinstellungen von Kontexten ändern
Kontext- und Grob-Eigenschaften können mit den Befehlen
\set<