Examinando um exemplo

Antes de escrever seu próprio arquivo de estilo, pode ser útil dar uma olhada em alguns dos arquivos padrão. Por exemplo, você pode abrir book.ts usando Arquivo→Carregar (não é necessário escolher um diretório, já que o diretório de estilos já se encontra no caminho de busca padrão).

Depois de abrir o arquivo book.ts, você verá muitas declarações de funções e ambientes (as declarações são visíveis já que os arquivos de estilo são escritos no “modo de preâmbulo (veja Opções→Modo)). Outras declarações estão nos arquivos basic.ts, list.ts, theorem.ts e program.ts nos quais baseia-se o arquivo book.ts. Estes arquivos contém, respectivamente, os ambientes básicos, para listas teoremas e programação.