Étude d'un exemple

Avant de créer vos propres fichiers de style, il est utile d'étudier certains fichiers de style standards. Par exemple, vous pouvez charger le fichier book.ts avec Fichier→Charger (pas besoin de chemin ici, puisque le répertoire de style est inclus dans le chemin par défaut des fichiers).

Après avoir chargé book.ts, vous verrez de nombreuses déclarations de fonction et d'environnement (ces déclarations sont visibles, car les fichiers de style sont écrits en «mode préambule» - voir Document→Mode de préambule). D'autres déclarations sont contenues dans les fichiers basic.ts, list.ts, theorem.ts et program.ts, sur lesquels book.ts est basé. Ces fichiers contiennent respectivement les environnements de base, de listes, de théorèmes et de programmation.