 |
Entornos tipo teorema |  |
El d.t.d. env-theorem provee etiquetas para la capa de los entornos tipo teorema. Las etiquetas de mayor importancia son
-
render-theorem -
Un macro para mostrar entornos tipo teorema. El primer argumento
especifica el nombre del teorema, como “Teorema 1.2” y
el segundo argumento contiene el cuerpo del teorema. Este entorno es
usado para entornos definidos por
new-theorem . -
render-remark -
Similar a
render-theorem , pero para entornos tipo observación. -
render-exercise -
Similar a
render-theorem , pero para entornos tipo ejercicio. -
render-proof -
Similar a
render-theorem , pero para pruebas. Este entorno es principalmente usado para personalizar el nombre de una prueba, como en “Fin de la prueba del teorema 1.2”. -
dueto - Un entorno que puede ser usado para especificar los inventores de un teorema.
-
corollary* -
Para corolarios no numerados. Este entorno es basado en
render-theorem . -
proof -
Para pruebas de teoremas. Este entorno está basado en
render-proof .
Las siguientes etiquetas pueden ser usadas para personalización posterior de los entornos.
-
theorem-name - Un macro que controla la apariencia de los nombres de los ambientes tipo teorema y tipo observación. La mayoría de los estilos usa fuente resaltada o pequeñas mayúsculas.
-
exercise-name -
Similar a
theorem-name , pero para ejercicios. -
theorem-sep - El separador entre el nombre de un entorno tipo teorema o tipo observación y su cuerpo principal. Por defecto, este es un punto seguido por un espacio.
-
exercise-sep -
Similar a
theorem-sep , pero para ejercicios.
© 1998–2002 Joris van der Hoeven, Offray Vladimir Luna
Cárdenas
Se garantiza el permiso para copiar, distribuir y/o modificar este
documento bajo los terminos de la GNU Free Documentation License,
Versión 1.1 o cualquier versión posterior publicada por
la Free Software Foundation; sin Secciones Invariantes, sin Textos de
Portada, y sin Textos de Contraportada. Una copia de la licencia
está incluida en la sección titulada "GNU Free
Documentation License".
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.1 or
any later version published by the Free Software Foundation; with no
Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
Texts. A copy of the license is included in the section entitled
"GNU Free Documentation License".