<\body> A fornece marcação para a diagramação de teoremas e similares. As mais importantes etiquetas são: <\description> >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 . >Semelhante a , mas usado para ambientes similares a comentários. >Semelhante a , mas para ambientes semelhates a exercícios. >Semelhante a , mas para provas. Este ambiente é usado principalmente para alterar o nome da prova, como em ``Fim da prova do teorema 1.2'' >Um ambiente para especificar os criadores de um teorema. >Para corolários não numerados. Este ambiente é baseado em . >Para provas de teoremas. Este ambiente é baseado em . As etiquetas seguintes podem ser usadas para modificação dos ambientes. <\description> >Um macro que controla a aparência dos nomes dos ambiente para teoremas comentários. A maioria dos estilos usa negrito ou maiúsculas pequenas. >Semelhante a , mas para exercícios. >O separador entre o nome do teorema ou similar e seu corpo. Em geral, um ponto seguido de um espaço. >Semelhante a , mas para exercícios. <\initial> <\collection> <\references> <\collection> |?>> |?>> |?>> |?>> |?>> |?>> |?>> |?>> |?>> |?>> |?>> |?>> |?>> |?>> |?>> |?>> |?>> |?>> |?>> |?>> <\auxiliary> <\collection> <\associate|idx> |color||env-theorem>>|> |color||theorem*>>|> |color||newtheorem>>|> |color||remark*>>|> |color||theorem*>>|> |color||exercise*>>|> |color||theorem*>>|> |color||proof*>>|> |color||theorem*>>|> |color||dueto>>|> |color||corollary*>>|> |color||theorem*>>|> |color||proof>>|> |color||proof*>>|> |color||theoremname>>|> |color||exercisename>>|> |color||theoremname>>|> |color||theoremsep>>|> |color||exercisesep>>|> |color||theoremsep>>|>