Ambientes para teoremas e afins

A d.t.d. env-theorem fornece marcação para a diagramação de teoremas e similares. As mais importantes etiquetas são:

render-theorem

Um macro para formatar ambientes similares a teoremas. O primeiro argumento especifica o nome do teorema, algo como “Teorema 1.2” e o segund argumento contém o corpo do teorema. Este ambiente é usado para teoremas definidos por new-theorem.

render-remark

Semelhante a render-theorem, mas usado para ambientes similares a comentários.

render-exercise

Semelhante a render-theorem, mas para ambientes semelhates a exercícios.

render-proof

Semelhante a render-theorem, mas para provas. Este ambiente é usado principalmente para alterar o nome da prova, como em “Fim da prova do teorema 1.2”

dueto

Um ambiente para especificar os criadores de um teorema.

corollary*

Para corolários não numerados. Este ambiente é baseado em render-theorem.

proof

Para provas de teoremas. Este ambiente é baseado em render-proof.

As etiquetas seguintes podem ser usadas para modificação dos ambientes.

theorem-name

Um macro que controla a aparência dos nomes dos ambiente para teoremas e comentários. A maioria dos estilos usa negrito ou maiúsculas pequenas.

exercise-name

Semelhante a theorem-name, mas para exercícios.

theorem-sep

O separador entre o nome do teorema ou similar e seu corpo. Em geral, um ponto seguido de um espaço.

exercise-sep

Semelhante a theorem-sep, mas para exercícios.