Curso Interactivo de LaTeX -- Documento

Transcript

1. Curso Interactivo de L A TEX Documento Cali Jaime E. Arias Almeida Rama Estudiantil IEEE Pontificia Universidad Javeriana Cali
2. Tabla de Contenidos 1 Estructura y Organizaci´ on Comando documentclass Paquetes Partes de un documento Estilo de la p´ agina Listados 2 Texto Estilo de la Fuente Tama˜ no de la Fuente Alineaci´ on del Texto Espaciado 3 Listas 4 Teoremas 5 Texto sin Formato 6 Pie de P´ agina 2 / 41
3. Tabla de Contenidos 1 Estructura y Organizaci´ on Comando documentclass Paquetes Partes de un documento Estilo de la p´ agina Listados 2 Texto Estilo de la Fuente Tama˜ no de la Fuente Alineaci´ on del Texto Espaciado 3 Listas 4 Teoremas 5 Texto sin Formato 6 Pie de P´ agina 3 / 41
4. Comando documentclass • Determina el formato global del documento. Sintaxis \documentclass[options]{class} Clases de documento • article • book • letter • report 4 / 41
5. Comando documentclass Opciones • Tama˜ no de letra ◦ 10pt ◦ 11pt ◦ 12pt • Tama˜ no de papel ◦ letterpaper ◦ legalpaper ◦ executivepaper ◦ a4paper ◦ a5paper ◦ b5paper • Orientaci´ on del papel ◦ portrait ◦ landscape • N´ umero de columnas ◦ onecolumn ◦ twocolumn • N´ umero de lados ◦ oneside ◦ twoside • Inicio de cap´ ıtulo ◦ openright ◦ openany • P´ agina de t´ ıtulo ◦ notitlepage ◦ titlepage 5 / 41
6. Comando documentclass Opciones • Tama˜ no de letra ◦ 10pt ◦ 11pt ◦ 12pt • Tama˜ no de papel ◦ letterpaper ◦ legalpaper ◦ executivepaper ◦ a4paper ◦ a5paper ◦ b5paper • Orientaci´ on del papel ◦ portrait ◦ landscape • N´ umero de columnas ◦ onecolumn ◦ twocolumn • N´ umero de lados ◦ oneside ◦ twoside • Inicio de cap´ ıtulo ◦ openright ◦ openany • P´ agina de t´ ıtulo ◦ notitlepage ◦ titlepage 5 / 41
7. Comando documentclass Opciones • Tama˜ no de letra ◦ 10pt ◦ 11pt ◦ 12pt • Tama˜ no de papel ◦ letterpaper ◦ legalpaper ◦ executivepaper ◦ a4paper ◦ a5paper ◦ b5paper • Orientaci´ on del papel ◦ portrait ◦ landscape • N´ umero de columnas ◦ onecolumn ◦ twocolumn • N´ umero de lados ◦ oneside ◦ twoside • Inicio de cap´ ıtulo ◦ openright ◦ openany • P´ agina de t´ ıtulo ◦ notitlepage ◦ titlepage 5 / 41
8. Comando documentclass Opciones • Tama˜ no de letra ◦ 10pt ◦ 11pt ◦ 12pt • Tama˜ no de papel ◦ letterpaper ◦ legalpaper ◦ executivepaper ◦ a4paper ◦ a5paper ◦ b5paper • Orientaci´ on del papel ◦ portrait ◦ landscape • N´ umero de columnas ◦ onecolumn ◦ twocolumn • N´ umero de lados ◦ oneside ◦ twoside • Inicio de cap´ ıtulo ◦ openright ◦ openany • P´ agina de t´ ıtulo ◦ notitlepage ◦ titlepage 5 / 41
9. Comando documentclass Opciones • Tama˜ no de letra ◦ 10pt ◦ 11pt ◦ 12pt • Tama˜ no de papel ◦ letterpaper ◦ legalpaper ◦ executivepaper ◦ a4paper ◦ a5paper ◦ b5paper • Orientaci´ on del papel ◦ portrait ◦ landscape • N´ umero de columnas ◦ onecolumn ◦ twocolumn • N´ umero de lados ◦ oneside ◦ twoside • Inicio de cap´ ıtulo ◦ openright ◦ openany • P´ agina de t´ ıtulo ◦ notitlepage ◦ titlepage 5 / 41
10. Comando documentclass Opciones • Tama˜ no de letra ◦ 10pt ◦ 11pt ◦ 12pt • Tama˜ no de papel ◦ letterpaper ◦ legalpaper ◦ executivepaper ◦ a4paper ◦ a5paper ◦ b5paper • Orientaci´ on del papel ◦ portrait ◦ landscape • N´ umero de columnas ◦ onecolumn ◦ twocolumn • N´ umero de lados ◦ oneside ◦ twoside • Inicio de cap´ ıtulo ◦ openright ◦ openany • P´ agina de t´ ıtulo ◦ notitlepage ◦ titlepage 5 / 41
11. Comando documentclass Opciones • Tama˜ no de letra ◦ 10pt ◦ 11pt ◦ 12pt • Tama˜ no de papel ◦ letterpaper ◦ legalpaper ◦ executivepaper ◦ a4paper ◦ a5paper ◦ b5paper • Orientaci´ on del papel ◦ portrait ◦ landscape • N´ umero de columnas ◦ onecolumn ◦ twocolumn • N´ umero de lados ◦ oneside ◦ twoside • Inicio de cap´ ıtulo ◦ openright ◦ openany • P´ agina de t´ ıtulo ◦ notitlepage ◦ titlepage 5 / 41
12. Paquetes • Son un conjunto de comandos L A TEX guardados en un archivo con extensi´ on .sty. • Definen estructuras y comandos nuevos. • Pueden ser creados por los propios usuarios. Sintaxis \usepackage[options]{package} Algunos paquetes ... • \usepackage[utf8x]{inputenc} • \usepackage[spanish]{babel} • \usepackage[parfill]{parskip} 6 / 41
13. Paquetes • Son un conjunto de comandos L A TEX guardados en un archivo con extensi´ on .sty. • Definen estructuras y comandos nuevos. • Pueden ser creados por los propios usuarios. Sintaxis \usepackage[options]{package} Algunos paquetes ... • \usepackage[utf8x]{inputenc} • \usepackage[spanish]{babel} • \usepackage[parfill]{parskip} 6 / 41
14. T´ ıtulo Manera 1: Entorno \begin{titlepage} Formato de la p´ agina de t´ ıtulo \end{titlepage} Manera 2: Comandos • \title{T´ ıtulo} • \author{Nombres de los autores} • \date{Fecha} • \maketitle 7 / 41
15. T´ ıtulo Manera 1: Entorno \begin{titlepage} Formato de la p´ agina de t´ ıtulo \end{titlepage} Manera 2: Comandos • \title{T´ ıtulo} • \author{Nombres de los autores} • \date{Fecha} • \maketitle 7 / 41
16. Ejemplo de T´ ıtulo C´ odigo \title{How to write DVI Drivers} \author{Helmut Kopka\thanks{Tel. [+49] 5556--401--451}\\ Max--Planck--Institut\\ f\"ur Aeronomie \and Phillip G. Hardy \thanks{Tel. [+1] 319--824--7134}\\ University\\of Iowa} 8 / 41
17. Resumen • En la clase report el resumen aparece en una p´ agina separada sin numeraci´ on. • En la clase article el resumen aparece en la misma p´ agina del t´ ıtulo. • En la clase book el resumen no es posible. Sintaxis \begin{abstract} Texto del resumen \end{abstract} 9 / 41
18. Resumen • En la clase report el resumen aparece en una p´ agina separada sin numeraci´ on. • En la clase article el resumen aparece en la misma p´ agina del t´ ıtulo. • En la clase book el resumen no es posible. Sintaxis \begin{abstract} Texto del resumen \end{abstract} 9 / 41
19. Resumen • En la clase report el resumen aparece en una p´ agina separada sin numeraci´ on. • En la clase article el resumen aparece en la misma p´ agina del t´ ıtulo. • En la clase book el resumen no es posible. Sintaxis \begin{abstract} Texto del resumen \end{abstract} 9 / 41
20. Resumen • En la clase report el resumen aparece en una p´ agina separada sin numeraci´ on. • En la clase article el resumen aparece en la misma p´ agina del t´ ıtulo. • En la clase book el resumen no es posible. Sintaxis \begin{abstract} Texto del resumen \end{abstract} 9 / 41
21. Secciones Sintaxis • sec_command[short title]{title} • sec_command*{title} Comandos • \part • \chapter • \section • \subsection • \subsubsection • \paragraph • \subparagraph 10 / 41
22. Secciones Sintaxis • sec_command[short title]{title} • sec_command*{title} Comandos • \part • \chapter • \section • \subsection • \subsubsection • \paragraph • \subparagraph 10 / 41
23. Ap´ endice y Otras Estructuras... Ap´ endice \appendix Estructura de un libro • \frontmatter prefacio, tabla de contenidos • \mainmatter cuerpo del libro • \backmatter bibliograf´ ıa, ´ ındice 11 / 41
24. Ap´ endice y Otras Estructuras... Ap´ endice \appendix Estructura de un libro • \frontmatter prefacio, tabla de contenidos • \mainmatter cuerpo del libro • \backmatter bibliograf´ ıa, ´ ındice 11 / 41
25. Ap´ endice y Otras Estructuras... Ap´ endice \appendix Estructura de un libro • \frontmatter prefacio, tabla de contenidos • \mainmatter cuerpo del libro • \backmatter bibliograf´ ıa, ´ ındice 11 / 41
26. Ap´ endice y Otras Estructuras... Ap´ endice \appendix Estructura de un libro • \frontmatter prefacio, tabla de contenidos • \mainmatter cuerpo del libro • \backmatter bibliograf´ ıa, ´ ındice 11 / 41
27. Ejemplo 1 \ documentclass [ letterpaper ]{ article} 3 % Paquetes \ usepackage[utf8x]{ inputenc} 5 \ usepackage[spanish ]{ babel} 7 % T\’itulo \title{Modelo CCP} 9 \author{Jaime Arias} \date {\ today} 11 % Inicio del documento 13 \begin{document} \maketitle 15 % Resumen 17 \begin{abstract} ... Este documento nombra las diferentes aplicaciones del modelo CCP ... 19 \end{abstract} 21 % Secci \’on \section{Introducci\’on} 23 El modelo CCP es un formalismo para razonar sobre sistemas concurrentes ... 25 % Subsecci \’on \ subsection{ Estructura del documento} 27 El documento se encuentra organizado de la siguiente manera ... 29 % Apendice \appendix 31 \section{Sem\’antica Operacional } En este anexo se detalla la sem\’antica operacional del modelo CCP ... 33 \end{document} 12 / 41
28. Formato B´ asico Sintaxis • \pagestyle{estilo} • \thispagestyle{estilo} Estilos • plain • empty • headings • myheadings ◦ \markright{right_head} ◦ \markboth{left_head}{right_head} 13 / 41
29. Formato B´ asico Sintaxis • \pagestyle{estilo} • \thispagestyle{estilo} Estilos • plain • empty • headings • myheadings ◦ \markright{right_head} ◦ \markboth{left_head}{right_head} 13 / 41
30. Formato B´ asico Style Left Page Right Page Book, report One-side – Chapter Two-side Chapter Section article One-side – Section Two-side Section Subsection Cuadro : Esquema 14 / 41
31. Personalizaci´ on de head y footlines • El paquete fancyhdr1 permite personalizar con m´ as flexibilidad. Declaraciones • Head ◦ \lhead{left head} ◦ \chead{center head} ◦ \rhead{right head} • Footline ◦ \lfoot{left foot} ◦ \cfoot{center foot} ◦ \rfoot{right foot} 1Paquete creado por Piet van Oostrum 15 / 41
32. Personalizaci´ on de head y footlines • El paquete fancyhdr1 permite personalizar con m´ as flexibilidad. Declaraciones • Head ◦ \lhead{left head} ◦ \chead{center head} ◦ \rhead{right head} • Footline ◦ \lfoot{left foot} ◦ \cfoot{center foot} ◦ \rfoot{right foot} 1Paquete creado por Piet van Oostrum 15 / 41
33. Personalizaci´ on de head y footlines • El paquete fancyhdr1 permite personalizar con m´ as flexibilidad. Declaraciones • Head ◦ \lhead{left head} ◦ \chead{center head} ◦ \rhead{right head} • Footline ◦ \lfoot{left foot} ◦ \cfoot{center foot} ◦ \rfoot{right foot} 1Paquete creado por Piet van Oostrum 15 / 41
34. Ejemplo 1 \ documentclass {article} 3 \ usepackage[utf8x]{ inputenc} \ usepackage[spanish ]{ babel} 5 \ usepackage{lastpage} 7 \ usepackage{fancyhdr} \pagestyle{fancy} 9 \fancyhf {} \lhead{Modelo CCP} 11 \rhead{Secci\’on \ thesection} \lfoot {\ today} 13 \rfoot{P\’agina \thepage\ de \pageref{LastPage }} 15 \begin{document} 17 % Secci \’on \section{Introducci\’on} 19 El modelo CCP es un formalismo para razonar sobre sistemas concurrentes ... 21 \end{document} 16 / 41
35. Numeraci´ on de p´ agina Declaraci´ on • \pagenumbering{estilo de numeraci´ on} • \setcounter{page}{page_num} Estilos de numeraci´ on • arabic • roman • Roman • alph • Alph 17 / 41
36. Numeraci´ on de p´ agina Declaraci´ on • \pagenumbering{estilo de numeraci´ on} • \setcounter{page}{page_num} Estilos de numeraci´ on • arabic • roman • Roman • alph • Alph 17 / 41
37. Formato de p´ agina • Una p´ agina consiste de head, body y foot • El formato de p´ agina se puede simplificar utilizando el paquete geometry Sintaxis • \usepackage[opciones]{geometry} Opciones • width • height • left • right • top • bottom Ejemplo \usepackage[left=2cm,top=1cm,right=2cm,bottom=1cm]{geometry} 18 / 41
38. Formato de p´ agina • Una p´ agina consiste de head, body y foot • El formato de p´ agina se puede simplificar utilizando el paquete geometry Sintaxis • \usepackage[opciones]{geometry} Opciones • width • height • left • right • top • bottom Ejemplo \usepackage[left=2cm,top=1cm,right=2cm,bottom=1cm]{geometry} 18 / 41
39. Formato de p´ agina • Una p´ agina consiste de head, body y foot • El formato de p´ agina se puede simplificar utilizando el paquete geometry Sintaxis • \usepackage[opciones]{geometry} Opciones • width • height • left • right • top • bottom Ejemplo \usepackage[left=2cm,top=1cm,right=2cm,bottom=1cm]{geometry} 18 / 41
40. Formato de p´ agina • Una p´ agina consiste de head, body y foot • El formato de p´ agina se puede simplificar utilizando el paquete geometry Sintaxis • \usepackage[opciones]{geometry} Opciones • width • height • left • right • top • bottom Ejemplo \usepackage[left=2cm,top=1cm,right=2cm,bottom=1cm]{geometry} 18 / 41
41. Formato de p´ agina Figura : Layout2 2Extra´ ıdo del manual del paquete geometry 19 / 41
42. Listados Tabla de Contenido \tableofcontents Lista de Figuras \listoffigures Lista de Tablas \listoftables 20 / 41
43. Listados Tabla de Contenido \tableofcontents Lista de Figuras \listoffigures Lista de Tablas \listoftables 20 / 41
44. Listados Tabla de Contenido \tableofcontents Lista de Figuras \listoffigures Lista de Tablas \listoftables 20 / 41
45. Tabla de Contenidos 1 Estructura y Organizaci´ on Comando documentclass Paquetes Partes de un documento Estilo de la p´ agina Listados 2 Texto Estilo de la Fuente Tama˜ no de la Fuente Alineaci´ on del Texto Espaciado 3 Listas 4 Teoremas 5 Texto sin Formato 6 Pie de P´ agina 21 / 41
46. Estilo de la Fuente • Cada comando de estilo tiene una declaraci´ on correspondiente. • Para enfatizar el texto se hace uso del comando \emph o de la declaraci´ on \em Ejemplo • This is the easiest way to \emph{emphasize} short ... This is the easiest way to emphasize short ... • ... enclosed in an environment, {\em named or nameless} ... enclosed in an environment, named or nameless 22 / 41
47. Estilo de la Fuente • Cada comando de estilo tiene una declaraci´ on correspondiente. • Para enfatizar el texto se hace uso del comando \emph o de la declaraci´ on \em Ejemplo • This is the easiest way to \emph{emphasize} short ... This is the easiest way to emphasize short ... • ... enclosed in an environment, {\em named or nameless} ... enclosed in an environment, named or nameless 22 / 41
48. Estilo de la Fuente • Cada comando de estilo tiene una declaraci´ on correspondiente. • Para enfatizar el texto se hace uso del comando \emph o de la declaraci´ on \em Ejemplo • This is the easiest way to \emph{emphasize} short ... This is the easiest way to emphasize short ... • ... enclosed in an environment, {\em named or nameless} ... enclosed in an environment, named or nameless 22 / 41
49. Estilo de la Fuente L A TEXcommand Equivalent to Output style \textup{...} {\upshape ...} Upright shape ... \textit{...} {\itshape ...} Italic shape ... \textsl{...} {\slshape ...} Slanted shape ... \textsc{...} {\scshape ...} Small caps shape ... \textmd{...} {\mdseries ...} Medium series \textbf{...} {\bfseries ...} Boldface series \textrm{...} {\rmfamily ...} Roman family ... \textsf{...} {\sffamily ...} Sans serif family ... \texttt{...} {\ttfamily ...} Typewriter family Cuadro : Estilos de Fuente 23 / 41
50. Tama˜ no de la Fuente Command Output \tiny sample text \scriptsize sample text \footnotesize sample text \small sample text \normalsize sample text \large sample text \Large sample text \LARGE sample text \huge sample text \Huge sample text Cuadro : Tama˜ nos de Fuente 24 / 41
51. Alineaci´ on del Texto Texto Centrado • En un entorno se puede utilizar el comando \centering • Una l´ ınea puede ser centrada utilizando el comando \centerline{text} • Adem´ as se puede utilizar el siguiente entorno \begin{center} line 1 \\ line 2 \\ ... \\ line n \end{center} 25 / 41
52. Alineaci´ on del Texto Justificaci´ on • Justificaci´ on hacia la izquierda ◦ Entorno \begin{flushleft} line 1 \\ line 2 \\ ...line n \end{flushleft} ◦ Declaraci´ on {\raggedright text} • Justificaci´ on hacia la derecha ◦ Entorno \begin{flushright} line 1 \\ line 2 \\ ...line n \end{flushright} ◦ Declaraci´ on {\raggedleft text} 26 / 41
53. Alineaci´ on del Texto Justificaci´ on • Justificaci´ on hacia la izquierda ◦ Entorno \begin{flushleft} line 1 \\ line 2 \\ ...line n \end{flushleft} ◦ Declaraci´ on {\raggedright text} • Justificaci´ on hacia la derecha ◦ Entorno \begin{flushright} line 1 \\ line 2 \\ ...line n \end{flushright} ◦ Declaraci´ on {\raggedleft text} 26 / 41
54. Alineaci´ on del Texto Indentaciones • Hacer citas \begin{quote} text \end{quote} \begin{quotation} text \end{quotation} • Versos \begin{verse} text \end{verse} 27 / 41
55. Alineaci´ on del Texto Indentaciones • Hacer citas \begin{quote} text \end{quote} \begin{quotation} text \end{quotation} • Versos \begin{verse} text \end{verse} 27 / 41
56. Espaciado Espaciado horizontal • \hspace{space} • \hfill • \quad • \qquad • \dotfill • \hrulefill Espaciado vertical • \vspace{space} • \vfill • \bigskip • \medskip • \smallskip Salto de linea • \\[space] • \newline • \linebreak[num] • \nolinebreak[num] 28 / 41
57. Espaciado Espaciado horizontal • \hspace{space} • \hfill • \quad • \qquad • \dotfill • \hrulefill Espaciado vertical • \vspace{space} • \vfill • \bigskip • \medskip • \smallskip Salto de linea • \\[space] • \newline • \linebreak[num] • \nolinebreak[num] 28 / 41
58. Espaciado Espaciado horizontal • \hspace{space} • \hfill • \quad • \qquad • \dotfill • \hrulefill Espaciado vertical • \vspace{space} • \vfill • \bigskip • \medskip • \smallskip Salto de linea • \\[space] • \newline • \linebreak[num] • \nolinebreak[num] 28 / 41
59. Ejemplo \ documentclass {report} 2 \begin{document} 4 \ thispagestyle {empty} 6 \begin{titlepage} 8 \begin{center} 10 {\ Large \textsc{Model Checking Algorithm for \texttt{tcc} Calculus }}\\ \vfill 12 \textsc{Jaime Eduardo Arias Almeida }\\ \vfill 14 \emph{Proyecto de grado para optar el t\’itulo de \\ 16 Ingeniero de Sistemas y Computaci\’on e Ingeniero Electr\’onico} \vfill 18 Director \\ Dr. \textsc{Carlos Olarte }\\ 20 Ingeniero de Sistemas y Computaci\’on \vfill 22 \textsc{Pontificia Universidad Javeriana \\ 24 Facultad de Ingenier\’ia\\ Ingenier\’ia de Sistemas y Computaci\’on\\ 26 Ingenier\’ia Electr\’onica \\ Santiago de Cali \\ 28 2012} 30 \end{center} 32 \end{titlepage} \end{document} 29 / 41
60. Tabla de Contenidos 1 Estructura y Organizaci´ on Comando documentclass Paquetes Partes de un documento Estilo de la p´ agina Listados 2 Texto Estilo de la Fuente Tama˜ no de la Fuente Alineaci´ on del Texto Espaciado 3 Listas 4 Teoremas 5 Texto sin Formato 6 Pie de P´ agina 30 / 41
61. Listas Numeradas Sintaxis \begin{enumerate} \item text 1 \item text 2 ... \item text n \end{enumerate} Ejemplo 1. Elemento 1 2. Elemento 2 3. Elemento 3 31 / 41
62. Listas No Numeradas Sintaxis \begin{itemize} \item text 1 \item text 2 ... \item text n \end{itemize} Ejemplo • Elemento 1 • Elemento 2 • Elemento 3 32 / 41
63. Descripci´ on Sintaxis \begin{description} \item[option] text 1 \item[option] text 2 ... \item[option] text n \end{description} Ejemplo L A TEX is a document markup language and document preparation system for the TeX typesetting program. 33 / 41
64. Tabla de Contenidos 1 Estructura y Organizaci´ on Comando documentclass Paquetes Partes de un documento Estilo de la p´ agina Listados 2 Texto Estilo de la Fuente Tama˜ no de la Fuente Alineaci´ on del Texto Espaciado 3 Listas 4 Teoremas 5 Texto sin Formato 6 Pie de P´ agina 34 / 41
65. Teoremas Sintaxis • Declaraci´ on: \newtheorem{struct_type}{struct_title} • Entorno: \begin{struct_type}[extra_title] text \end{struct_type} Ejemplo \newtheorem{defi}{{\sc Definici´ on}} \begin{defi} Si $y=f(x)$ es derivable ... \end{defi} 35 / 41
66. Tabla de Contenidos 1 Estructura y Organizaci´ on Comando documentclass Paquetes Partes de un documento Estilo de la p´ agina Listados 2 Texto Estilo de la Fuente Tama˜ no de la Fuente Alineaci´ on del Texto Espaciado 3 Listas 4 Teoremas 5 Texto sin Formato 6 Pie de P´ agina 36 / 41
67. Texto sin Formato Sintaxis • Declaraci´ on: \verb+ text + • Entorno: \begin{verbatim} text \end{verbatim} 37 / 41
68. Tabla de Contenidos 1 Estructura y Organizaci´ on Comando documentclass Paquetes Partes de un documento Estilo de la p´ agina Listados 2 Texto Estilo de la Fuente Tama˜ no de la Fuente Alineaci´ on del Texto Espaciado 3 Listas 4 Teoremas 5 Texto sin Formato 6 Pie de P´ agina 38 / 41
69. Pie de P´ agina • Los marcadores de pie de p´ agina son peque˜ nos, con enumeraci´ on secuencial y elevada. Pie de P´ agina • Sintaxis \footnote[num]{footnote_text} 39 / 41
70. Ejemplo 1 \ documentclass {article} 3 \ usepackage{amsthm} \ theoremstyle { definition} 5 \ newtheorem{defi }{ Definition }[ section] 7 \begin{document} 9 \section{ Definitions } 11 \begin{defi }[ Equivalent States\footnote{Moreno Falaschi and Alicia Villanueva. Automatic Verification of Timed Concurrent Constraint Programs. Theory and Practice of Logic Programming }] 13 Given two \texttt{tcc} states $s$ and $s’$, we say that two states are equivalent if 15 \begin{enumerate} \item The set of labels $l \subseteq L$ of $s$ and the set of labels $l’ \subseteq L $ coincide. 17 \item There exists a renaming $\ gamma$ of variables of the constraints in $s$ which makes them syntactically identical to the set of constraints of $s ’$. \end{enumerate} 19 \end{defi} 21 \end{document} 40 / 41
71. Referencias Mora, W. & Borb´ on, A. Edici´ on de Textos Cient´ ıficos con LATEX: Composici´ on, Gr´ aficos y Presentaciones Beamer. Revista digital, Matem´ atica, Educacion e Internet, 2009, 180 Kopka, H. & Daly, P. W. Guide to LATEX. Pearson Education, 2004, 597 Lamport, L. LATEX: a Document Preparation System. Addison-Wesley, 1994, 282 Oetiker, T.; Partl, H.; Hyna, I. & Schlegl, E. The Not So Short A Introduction to LATEX 2 , 2009 41 / 41