Mirar un ejemplo

Antes de escribir su propio archivo de estilo, puede ser útil echar un vistazo a algunos de los archivos de estilo estándar. Por ejemplo, cargue book.ts usando Fichero→Cargar (no es necesario especificar una ruta de búsqueda, ya que el directorio de estilos está incluido en la ruta de archivos por defecto).

Después de cargar book.ts (por ejemplo), verá muchas declaraciones de funciones y entornos (estas declaraciones son visibles, puesto que los archivos de estilo están en “modo preámbulo” (ver Opciones→Modo). Algunas declaraciones más están contenidas en los archivos basic.ts, list.ts, theorem.ts y program.ts, sobre los cuales book.ts está basado. Estos ficheros contienen, respectivamente, entornos básicos, tipo lista, tipo teorema y de programación.