Gabriel Valiente Feruglio-Composicion de textos cientificos con LaTeX (1999).pdf

November 21, 2017 | Author: edgar | Category: Quotation Mark, Typography, Text, Te X, Writing

Short Description

Download Gabriel Valiente Feruglio-Composicion de textos cientificos con LaTeX (1999).pdf...

Description

Composición de textos científicos con LaTeX Gabriel Valiente Feruglio

Primera edición: septiembre de 1997 Con la colaboración del Servei de Publicacions de la UPC.

Diseño de la cubierta: Antoni Gutiérrez ©

Gabriel Valiente, 1997

©

Edicions UPC, 1997 Edicions de la Universitat Politècnica de Catalunya, SL Jordi Girona Salgado 31, 08034 Barcelona Tel. 401 68 83 Fax. 401 58 85

Producción:

CPET (Centre de Publicacions del Campus Nord) La Cup. C. Gran Capità s/n, 08034 Barcelona

Depósito legal: B-24.440-97 ISBN: 84-8301-204-9 Quedan rigurosamente prohibidas, sin la autorización escrita de los titulares del copyright, bajo las sanciones establecidas en las leyes, la reproducción total o parcial de esta obra por cualquier medio o procedimiento, comprendidos la reprografía y el tratamiento informático y la distribución de ejemplares de ella mediante alquiler o préstamo públicos, así como la exportación e importación de ejemplares para su distribución y venta fuera del ámbito de la Unión Europea.

0 Prefacio

i

Prefacio El LATEX tiene ya más de diez a˜ nos de existencia en las instituciones académicas y cient´ıficas de todo el mundo y tanto su n´ ucleo b´ asico como sus extensiones para resolver problemas espec´ıficos de composición de textos cient´ıficos se encuentran ampliamente documentados en los libros LATEX: A Document Preparation System y The LATEX Companion. Lejos de hacer una traducci´ on, sin embargo, la fuerza motivadora de este libro ha sido el escribir una obra verdaderamente original. Original en cuanto a los contenidos, incorporando los u ´ ltimos desarrollos en torno al nuevo sistema LATEX 2ε y sus extensiones para componer textos cient´ıficos escritos en lengua castellana, as´ı como informaciones muy dispersas en ponencias en congresos, art´ıculos de revistas especializadas y documentos electrónicos. Original también en cuanto a la presentación de los contenidos, procurando escribir una obra formadora y a la vez informadora. Formadora de los estudiantes, los profesores y los investigadores que se acercan por primera vez al sistema LATEX y al tratamiento de textos cient´ıficos en general. Pero también una obra informadora sobre el estado actual del sistema LATEX 2ε , en el contexto de la tipograf´ıa cient´ıfica y, sobre todo, con vista a las necesidades de los usuarios hispanohablantes. Es bien sabido que el propósito de la escritura cient´ıfica es transmitir conocimientos. Ahora bien, el hecho de tener al alcance una herramienta de composici´ on de textos cient´ıficos tan as sofisticada como el LATEX puede hacer perder de vista el contenido del texto y dedicar m´ esfuerzos a la presentación. Sobre todo dada la tendencia actual de la estética a dejar el contenido en un segundo plano. Con todo, este libro también pretende dar los elementos b´ asicos de tipograf´ıa cient´ıfica que permitir´ an encontrar un balance adecuado entre la forma on del y el contenido de los trabajos escritos con LATEX, y al mismo tiempo transmitir la afici´ autor por la estética. Mi especial agradecimiento va dirigido a todas aquellas personas que han colaborado a an, en especial a Gon¸cal acercar el sistema LATEX a los usuarios de a´mbito hispano y catal´ Badenes, Francesc Carmona, Francesc Comellas Padró, Josep M. Font, Robert Fuster Capilla, Xavier Gr` acia Sabaté, Jordi Levy, Caterina Parals Colom, Francesc Rossell´ o Llompart, José Luis Ruiz, Jordi Saludes, Francina Turon y Sebasti` a Xambó Descamps. También a Josep M. Mestres, Joan Sol` a y Josep M. Pujol, los tres fuentes inagotables de sabidur´ıa y experiencia en cuestiones de ortograf´ıa y tipograf´ıa catalanas. Asimismo, a Dèbora Carta˜ na`, per la esmerada corrección de estilo de este libro, y a todas aquellas personas que revisaron los trabajos en que se basa esta obra durante los tres a˜ nos en

© Los autores, 1999; © Edicions UPC, 1999.

ii

Composici´ on de textos cient´ıficos con LATEX

que tuve el privilegio de trabajar en la Universitat de les Illes Balears: desde comunicaciones en congresos europeos e internacionales y art´ıculos publicados en la revista TUGboat hasta art´ıculos de divulgaci´ on publicados en el suplemento Ciència i Futur del Diario de Mallorca. En especial a Joan Alegret, Rosa Colomer, Joan Antoni Mesquida, Joan Moratinos, Magdalena Ramon, Cèlia Riba y Llu´ıs de Yzaguirre. También a todas aquellas personas que han revisado los borradores de la edici´ on original de este libro. Francesc Rossell´ o Llompart y Xavier Gr` acia Sabaté son quienes más han contribuido. Finalmente, a todos los colegas del TEX Users Group que me han brindado su apoyo durante aficas y tipogr´ aficas propias de los u ´ltimos a˜ nos para acercar el LATEX a las convenciones ortogr´ la lengua catalana y de la lengua castellana. Muy especialmente a Claudio Beccari, Barbara Beeton, Johannes Braams, Michael Ferguson, Michel Goossens, Yannis Haralambous, Donald Knuth, Pierre MacKay, John Plaice, José Ra. Portillo, Sebastian Rahtz, Chris Rowley, Julio S´ anchez y Christina Tiele. Gabriel Valiente Feruglio [email protected] Barcelona Abril de 1997

© Los autores, 1999; © Edicions UPC, 1999.

Índice general

iii

Índice general Prefacio

i

0 C´ omo evitar leer este libro

1

1 Composici´ on de textos cient´ıficos 19 1.1 Forma y contenido de un trabajo cient´ıfico . . . . . . . . . . . . . . . . . . . . . . 19 1.2 Qué es un trabajo cient´ıfico? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 1.3 Organizaci´ on de un trabajo cient´ıfico . . . . . . . . . . . . . . . . . . . . . . . . . 21 2 Preparaci´ on electr´ onica de originales 25 2.1 Programas de composición visual . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.2 Procesadores de textos cient´ıficos . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.3 Rudimentos de tipograf´ıa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 3 Introducci´ on al LATEX 3.1 El proceso de escritura, compilaci´ on, visualizaci´ on e impresi´ on . 3.2 Macros, declaraciones, entornos y definiciones . . . . . . . . . . 3.3 La estructura de un documento . . . . . . . . . . . . . . . . . . 3.4 Clases de documentos . . . . . . . . . . . . . . . . . . . . . . . 3.5 Paquetes de definiciones . . . . . . . . . . . . . . . . . . . . . . 4 Texto con LATEX 4.1 Reglas básicas . . . . . . . . . . . . . . . 4.2 Divisi´ on de p´ aginas y divisi´ on de l´ıneas 4.3 Acentos y caracteres especiales . . . . . 4.4 El sistema Babel . . . . . . . . . . . . . 4.5 P´ olizas y fuentes de caracteres de texto 4.6 Espaciado de textos . . . . . . . . . . . 4.7 Entornos de texto . . . . . . . . . . . . . 4.8 Referencias cruzadas . . . . . . . . . . . 4.9 Notas marginales y a pie de página . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

© Los autores, 1999; © Edicions UPC, 1999.

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . .

. . . . . . . . .

. . . . .

. . . . . . . . .

. . . . .

. . . . . . . . .

. . . . .

. . . . . . . . .

. . . . .

. . . . . . . . .

. . . . .

. . . . . . . . .

. . . . .

. . . . . . . . .

. . . . .

. . . . . . . . .

. . . . .

. . . . . . . . .

. . . . .

33 33 35 36 39 42

. . . . . . . . .

47 47 48 50 53 56 59 62 79 80

Índice general

iv

5 Matem´ aticas con LATEX 5.1 Reglas básicas . . . . . . . . . . . . . 5.2 F´ ormulas matemáticas . . . . . . . . 5.3 Espaciado de f´ ormulas matemáticas 5.4 S´ımbolos matemáticos . . . . . . . . 5.5 Entornos matem´ aticos . . . . . . . . 5.6 Diagramas conmutativos . . . . . . . 6 Figuras, tablas y gr´ aficos con 6.1 Composición de figuras . . . 6.2 Composición de tablas . . . 6.3 Composición de gr´ aficos . . 6.4 Inclusi´ on de ficheros gr´ aficos

LATEX . . . . . . . . . . . . . . . . . . . .

. . . . . .

. . . .

. . . . . .

. . . .

. . . . . .

. . . .

. . . . . .

. . . .

. . . . . .

. . . .

. . . . . .

. . . .

. . . . . .

. . . .

. . . . . .

. . . .

. . . . . .

. . . .

. . . . . .

. . . .

. . . . . .

. . . .

. . . . . .

. . . .

. . . . . .

. . . .

7 Bibliograf´ıas y referencias bibliogr´ aficas 7.1 Sistemas de citación bibliogr´ afica . . . . . . . . . . . . . . . 7.2 Estilos bibliogr´ aficos . . . . . . . . . . . . . . . . . . . . . . 7.3 Composición de bibliograf´ıas y referencias bibliogr´ aficas con 7.4 Gesti´ on de bases de datos bibliogr´ aficos con BibTEX . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

83 83 85 97 98 104 119

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

125 . 126 . 128 . 134 . 145

. . . . . . . . LATEX . . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

151 154 156 158 162

8 Generaci´ on de ´ındices alfab´ eticos 175 8.1 Generación de ´ındices alfabéticos con LATEX . . . . . . . . . . . . . . . . . . . . . 176 8.2 Preparaci´ on de ´ındices alfabéticos con MakeIndex . . . . . . . . . . . . . . . . . . 178 9 Publicaci´ on electr´ onica de trabajos cient´ıficos 183 A 9.1 Publicaci´ on electr´ onica de los documentos L TEX . . . . . . . . . . . . . . . . . . 185 9.2 Editoriales y revistas cient´ıficas en la red Internet . . . . . . . . . . . . . . . . . . 189 A Las clases est´ andares de documentos LATEX

201

B Las fuentes est´ andares del LATEX

219

C Instalaci´ on del sistema LATEX

225

D Una clase de documentos LATEX para Edicions UPC

235

E F

CervanTEX : El grupo de usuarios hispanohablantes de TEX Tirant lo TEX : El grup d’usuaris catalanoparlants de TEX

241 243

Bibliograf´ıa

245

´ Indice alfab´ etico

247

© Los autores, 1999; © Edicions UPC, 1999.

BIBLIOGRAÍA

245

Bibliograf´ıa Goossens, M., Mittelbach, F., y Samarin, A. (1994). The LATEX Companion. Addison-Wesley, Reading, Massachusetts. Knuth, D. E. (1992). The TEXbook. Addison-Wesley, Reading, Massachusetts. Knuth, D. E., Larrabee, T., y Roberts, P. M. (1989). Mathematical Writing. American Mathematical Society. Lamport, L. (1994). LATEX: A Document Preparation System. Addison-Wesley, Reading, Massachusetts, 2a edición. Mestres, J. M., Costa, J., Oliva, M., y Fité, R. (1995). Manual d’estil: la redacci´ o i l’edici´ o de textos. Eumo Editorial, Barcelona. Pujol, J. M. y Sol` a, J. (1995). Ortotipografia. Manual de l’autor, l’autoeditor i el dissenyador gr` afic. Columna, Barcelona. Riera, C. (1993). Manual de catal` a cient´ıfic. Editorial Claret, Barcelona, 2a edici´ on. Soler, J. (1994). Introducci´ o al TEX. Edicions UPC, Barcelona, 2a edici´ on. Swanson, E. (1979). Mathematics into Type. American Mathematical Society. UCP (1993). The Chicago Manual of Style. The University of Chicago Press, Chicago, 14a edici´ on. Valiente, G. (1994). Typesetting Commutative Diagrams. TUGboat, 15(4):466–484. Valiente, G. (1995). Modern Catalan Typographical Conventions. TUGboat, 16(3):329–338. Valiente, G. (1996). Composici´ o de textos cient´ıfics amb LATEX. Edicions UPC, Barcelona. Valiente, G. y Fuster, R. (1993). Typesetting Catalan Texts with TEX. TUGboat, 14(3):252–259. van Leunen, M.-C. (1992). A Handbook for Scholars. Oxford University Press, Nova York, Oxford. William, Jr., S. y White, E. B. (1979). The Elements of Style. Macmillan, Nova York, 3a edici´ on.

© Los autores, 1999; © Edicions UPC, 1999.

Índice de materias

247

Índice de materias \b, 59, 97 \#, 52 \$, 52 \%, 52 \&, 52 \~, 51 \_, 52 \^, 51 \\, 49, 72 \., 51 \:, 97 \;, 97 \,, 97 \!, 97 \‘, 51 \’, 51 $, 84 $, 84 \[, 85 \], 85 \-, 49, 75 \+, 75 \=, 51, 75 \|, 96, 99, 101 \, 75 \", 51 \a, 76 \aa, 51 \AA, 51 \acute, 99 \addcontenotsline, 202 \address, 207 \addtime, 213

\addtocontents, 38 \ae, 51 \AE, 51 \aleph, 99 \alpha, 99 \amalg, 100 \angle, 99, 102 \appendix, 37 \approx, 100 \approxeq, 103 \arccos, 89 \arcsin, 89 \arctan, 89 \arg, 89 \arrow, 120 \arrowvert, 101 \Arrowvert, 101 \ast, 100 \asymp, 100 \author, 203 \b, 51 \backepsilon, 103 \backmatter, 202 \backprime, 102 \backsim, 103 \backsimeq, 103 \backslash, 99, 101 \bar, 99 \barwedge, 102 \baselinestretch, 60 \Bbbk, 102 \because, 103 \beta, 99 \beth, 102

© Los autores, 1999; © Edicions UPC, 1999.

Índice de materias

248

\between, 103 \bfseries, 57 \bibitem, 159 \bibliography, 174 \bibliographystyle, 171 \big, 96 \Big, 96 \bigcap, 100 \bigcirc, 100 \bigcup, 100 \bigg, 96 \Bigg, 96 \bigodot, 100 \bigoplus, 100 \bigotimes, 100 \bigskip, 61 \bigsqcup, 100 \bigstar, 102 \bigtriangledown, 100 \bigtriangleup, 100 \biguplus, 100 \bigvee, 100 \bigwedge, 100 \binom, 113 \blacklozenge, 102 \blacksquare, 102 \blacktriangle, 102 \blacktriangledown, 102 \blacktriangleleft, 103 \blacktriangleright, 103 \bot, 99 \bowtie, 100 \Box, 99 \boxdot, 102 \boxminus, 102 \boxplus, 102 \boxtimes, 102 \bracevert, 101 \breve, 99 \bullet, 100 \bumpeq, 103 \Bumpeq, 103

\c, 51 \cap, 100 \Cap, 102 \caption, 126 \cc, 209 \cdot, 100 \cdots, 93 \centerdot, 102 \centering, 70 \chapter, 38 \check, 99 \chi, 99 \circ, 100 \circeq, 103 \circle, 142 \circlearrowleft, 101 \circlearrowright, 101 \circledast, 102 \circledcirc, 102 \circleddash, 102 \circledS, 102 \cite, 158 \cleardoublepage, 49 \clearpage, 49 \cline, 72 \closing, 209 \clubsuit, 99 \color, 215 \complement, 102 \cong, 100 \coprod, 100 \copyright, 52 \cos, 89 \cosh, 89 \cot, 89 \coth, 89 \csc, 89 \cup, 100 \Cup, 102 \curlyeqprec, 103 \curlyeqsucc, 103 \curlyvee, 102

© Los autores, 1999; © Edicions UPC, 1999.

Índice de materias

\curlywedge, 102 \curvearrowleft, 101 \curvearrowright, 101 \d, 51 \dag, 52, 101 \dagger, 100 \daleth, 102 \dashbox, 138 \dashv, 100 \date, 203 \ddag, 52, 101 \ddagger, 100 \ddot, 99 \ddots, 93 \definecolor, 215 \deg, 89 \delta, 99 \Delta, 99 \det, 89 \diagdown, 102 \diagup, 102 \diamond, 100 \Diamond, 99 \diamondsuit, 99 \digamma, 102 \dim, 89 \div, 100 \divideontimes, 102 \documentclass, 37 \documentstyle, 225 \dot, 99 \doteq, 100 \Doteq, 103 \doteqdot, 103 \dotplus, 102 \doublebarwedge, 102 \doublecap, 102 \doublecup, 102 \downarrow, 100, 101 \Downarrow, 100, 101 \downdownarrows, 101 \downharpoonleft, 101

249

\downharpoonright, 101 \ell, 99 \emph, 35 \emptyset, 99 \encl, 209 \epsfig, 147 \epsilon, 99 \eqcirc, 103 \eqslantgtr, 103 \eqslantless, 103 \equiv, 100 \eta, 99 \eth, 102 \exists, 99 \exp, 89 \fallingdotseq, 103 \fill, 62 \Finv, 102 \flat, 99 \fontencoding, 221 \fontfamily, 222 \fontseries, 222 \fontshape, 222 \fontsize, 223 \footnote, 80 \footnotemark, 81 \footnotesize, 59 \footnotetext, 81 \forall, 99 \foreignlanguage, 54 \frac, 92 \framebox, 138 \frontmatter, 202 \frown, 100 \fussy, 49 \Game, 102 \gamma, 99 \Gamma, 99 \gcd, 89 \geq, 100 \geqq, 103 \geqslant, 103

© Los autores, 1999; © Edicions UPC, 1999.

Índice de materias

250

\gg, 100 \ggg, 103 \gggtr, 103 \gimel, 102 \gnapprox, 104 \gneq, 104 \gneqq, 104 \gnsim, 104 \graphpaper, 144 \grave, 99 \gtrapprox, 103 \gtrdot, 103 \gtreqless, 103 \gtreqqless, 103 \gtrless, 103 \gtrsim, 103 \gvertneqq, 104 \H, 51 \hat, 99 \hbar, 99, 102 \heartsuit, 99 \hfill, 62 \hline, 72 \hom, 89 \hookleftarrow, 100 \hookrightarrow, 100 \href, 187 \hslash, 102 \hspace, 61 \huge, 59 \Huge, 59 \hyperlink, 186 \hypertarget, 186 \hyphenation, 49 \i, 51 \iflanguage, 54 \Im, 99 \imath, 99 \in, 100 \include, 206 \includegraphics, 146 \includeonly, 206

\indent, 61 \index, 177 \indexspace, 177 \inf, 89 \infty, 99 \input, 206 \int, 100 \intercal, 102 \iota, 99 \item, 66 \itshape, 57 \j, 51 \jmath, 99 \Join, 100 \kappa, 99 \ker, 89 \kill, 76 \l, 51 \L, 51 \label, 79 \labelitemi, 68 \labelitemii, 68 \labelitemiii, 68 \labelitemiv, 68 \lambda, 99 \Lambda, 99 \langle, 96, 101 \large, 59 \LARGE, 59 \Large, 59 \lceil, 101 \ldots, 50 \leadsto, 100 \left, 96 \leftarrow, 100 \Leftarrow, 100 \leftarrowtail, 101 \lefteqn, 116 \leftharpoondown, 100 \leftharpoonup, 100 \leftleftarrows, 101 \leftrightarrow, 100

© Los autores, 1999; © Edicions UPC, 1999.

Índice de materias

\Leftrightarrow, 100 \leftrightarrows, 101 \leftrightharpoons, 101 \leftrightsquigarrow, 101 \leftthreetimes, 102 \leq, 100 \leqq, 103 \leqslant, 103 \lessapprox, 103 \lessdot, 103 \lesseqgtr, 103 \lesseqqgtr, 103 \lessgtr, 103 \lesssim, 103 \lfloor, 101 \lg, 89 \lgroup, 101 \lhd, 100 \lim, 89 \liminf, 89 \limsup, 89 \line, 139 \linebreak, 49 \linethickness, 136 \listoffigures, 127 \listoftables, 134 \ll, 100 \llcorner, 101 \Lleftarrow, 101 \lll, 103 \llless, 103 \lmoustache, 101 \ln, 89 \lnapprox, 104 \lneq, 104 \lneqq, 104 \lnsim, 104 \log, 89 \longleftarrow, 100 \Longleftarrow, 100 \longleftrightarrow, 100 \Longleftrightarrow, 100

251

\longmapsto, 100 \longrightarrow, 100 \Longrightarrow, 100 \looparrowleft, 101 \looparrowright, 101 \lozenge, 102 \lrcorner, 101 \Lsh, 101 \ltimes, 102 \lvertneqq, 104 \mainmatter, 202 \makebox, 138 \makeindex, 177 \makelabels, 210 \maketitle, 203 \mapsto, 100 \marginpar, 80, 235 \mathbb, 88 \mathbf, 84 \mathcal, 88 \mathit, 84 \mathrm, 84 \mathsf, 84 \mathtt, 84 \max, 89 \mdseries, 57 \measuredangle, 102 \medskip, 61 \mho, 99, 102 \mid, 100 \min, 89 \models, 100 \mp, 100 \mu, 99 \multicolumn, 74 \multimap, 101 \multiput, 137 \nabla, 99 \natural, 99 \ncong, 104 \nearrow, 100 \neg, 99

© Los autores, 1999; © Edicions UPC, 1999.

Índice de materias

252

\neq, 100 \newcommand, 35 \newcounter, 69 \newenvironment, 63 \newline, 49 \newpage, 49 \newtheorem, 104 \nexists, 102 \ngeq, 104 \ngeqq, 104 \ngeqslant, 104 \ngtr, 104 \ni, 100 \nleftarrow, 102 \nLeftarrow, 102 \nleftrightarrow, 102 \nLeftrightarrow, 102 \nleq, 104 \nleqq, 104 \nleqslant, 104 \nless, 104 \nmid, 104 \nocite, 174 \node, 120 \noindent, 61 \nolinebreak, 49 \nopagebreak, 49 \normalfont, 223 \normalsize, 59 \notin, 100 \nparallel, 104 \nprec, 104 \npreceq, 104 \nrightarrow, 102 \nRightarrow, 102 \nshortmid, 104 \nshortparallel, 104 \nsim, 104 \nsubseteq, 104 \nsucc, 104 \nsucceq, 104 \nsupseteq, 104

\nsupseteqq, 104 \ntriangleleft, 104 \ntrianglelefteq, 104 \ntriangleright, 104 \ntrianglerighteq, 104 \nu, 99 \nvdash, 104 \nVDash, 104 \nvDash, 104 \nwarrow, 100 \o, 51 \O, 51 \odot, 100 \oe, 51 \OE, 51 \oint, 100 \omega, 99 \Omega, 99 \ominus, 100 \onecolumn, 205 \onlynotes, 214 \onlyslides, 213 \opening, 208 \oplus, 100 \oslash, 100 \otimes, 100 \oval, 139 \overbrace, 95 \overline, 95 \Pr, 89 \P, 52, 101 \pagebreak, 49 \pagenumbering, 41 \pageref, 79 \pagestyle, 41 \par, 48 \paragraph, 37 \parallel, 100 \parbox, 78 \parindent, 60 \parskip, 60 \part, 38

© Los autores, 1999; © Edicions UPC, 1999.

Índice de materias

\partial, 99 \perp, 100 \phi, 99 \Phi, 99 \pi, 99 \Pi, 99 \pitchfork, 103 \pm, 100 \pounds, 52, 101 \prec, 100 \precapprox, 103 \preccurlyeq, 103 \preceq, 100 \precnapprox, 104 \precnsim, 104 \precsim, 103 \prime, 99 \printindex, 178 \prod, 100 \propto, 100 \ps, 210 \psi, 99 \Psi, 99 \put, 137 \qbezier, 141 \qquad, 97 \quad, 97 \raggedleft, 70 \raggedright, 70 \rangle, 96, 101 \rceil, 101 \Re, 99 \ref, 79 \renewcommand, 36 \renewenvironment, 64 \restriction, 101 \rfloor, 101 \rgroup, 101 \rhd, 100 \rho, 99 \right, 96 \rightarrow, 100

253

\Rightarrow, 100 \rightarrowtail, 101 \rightharpoondown, 100 \rightharpoonup, 100 \rightleftarrows, 101 \rightleftharpoons, 100, 101 \rightrightarrows, 101 \rightsquigarrow, 101 \rightthreetimes, 102 \risingdotseq, 103 \rmfamily, 57 \rmoustache, 101 \Rrightarrow, 101 \Rsh, 101 \rtimes, 102 \rule, 204 \S, 52, 101 \scriptsize, 59 \scshape, 57 \searrow, 100 \sec, 89 \section, 37 \see, 182 \selectfont, 221 \selectlanguage, 54 \setcounter, 38 \setlength, 60 \setminus, 100 \settime, 213 \sffamily, 57 \sharp, 99 \shortmid, 103 \shortparallel, 103 \shortstack, 135 \sigma, 99 \Sigma, 99 \signature, 207 \sim, 100 \simeq, 100 \sin, 89 \sinh, 89 \sloppy, 49

© Los autores, 1999; © Edicions UPC, 1999.

Índice de materias

254

\slshape, 57 \small, 59 \smallfrown, 103 \smallsetminus, 102 \smallskip, 61 \smallsmile, 103 \smile, 100 \spadesuit, 99 \sphericalangle, 102 \sqcap, 100 \sqcup, 100 \sqrt, 90 \sqsubset, 100, 103 \sqsubseteq, 100 \sqsupset, 100, 103 \sqsupseteq, 100 \square, 102 \ss, 51 \star, 100 \stretch, 62 \subitem, 177 \subparagraph, 37 \subsection, 37 \subset, 100 \Subset, 103 \subseteq, 100 \subseteqq, 103 \subsetneq, 104 \subsetneqq, 104 \subsubitem, 177 \subsubsection, 37 \succ, 100 \succapprox, 103 \succcurlyeq, 103 \succeq, 100 \succnapprox, 104 \succnsim, 104 \succsim, 103 \sum, 100 \sup, 89 \supset, 100 \Supset, 103

\supseteq, 100 \supseteqq, 103 \supsetneq, 104 \supsetneqq, 104 \surd, 99 \swapnumbers, 111 \swarrow, 100 \t, 51 \tableofcontents, 38 \tan, 89 \tanh, 89 \tau, 99 \textbf, 57 \textcolor, 214 \textit, 57 \textmd, 57 \textnormal, 223 \textrm, 57 \textsc, 57 \textsf, 57 \textsl, 57 \texttt, 57 \textup, 57 \thanks, 203 \theorembodyfont, 109 \theoremheaderfont, 109 \theoremstyle, 107 \therefore, 103 \theta, 99 \Theta, 99 \thickapprox, 103 \thicklines, 136 \thicksim, 103 \thinlines, 136 \thispagestyle, 42 \tilde, 99 \times, 100 \tiny, 59 \title, 202 \today, 203 \top, 99 \triangle, 99

© Los autores, 1999; © Edicions UPC, 1999.

Índice de materias

\triangledown, 102 \triangleleft, 100 \trianglelefteq, 103 \triangleq, 103 \triangleright, 100 \trianglerighteq, 103 \ttfamily, 57 \twocolumn, 205 \twoheadleftarrow, 101 \twoheadrightarrow, 101 \u, 51 \ulcorner, 101 \underbrace, 95 \underline, 95 \unlhd, 100 \unrhd, 100 \uparrow, 100, 101 \Uparrow, 100, 101 \updownarrow, 100, 101 \Updownarrow, 100, 101 \upharpoonleft, 101 \upharpoonright, 101 \uplus, 100 \upshape, 57 \upsilon, 99 \Upsilon, 99 \upuparrows, 101 \urcorner, 101 \usecounter, 69 \usepackage, 42 \v, 51 \varepsilon, 99 \varkappa, 102 \varnothing, 102 \varphi, 99 \varpi, 99 \varpropto, 103 \varrho, 99 \varsigma, 99 \varsubsetneq, 104 \varsubsetneqq, 104 \varsupsetneq, 104

255

\varsupsetneqq, 104 \vartheta, 99 \vartriangle, 102 \vartriangleleft, 103 \vartriangleright, 103 \vdash, 100 \Vdash, 103 \vDash, 103 \vdots, 93 \vec, 99 \vector, 140 \vee, 100 \veebar, 102 \verb, 77 \vfill, 62 \vline, 72 \vspace, 61 \Vvdash, 103 \wedge, 100 \wp, 99 \wr, 100 \xi, 99 \Xi, 99 \zeta, 99 $, 84 %, 48 &, 72 ~, 59 _, 94 ^, 94 !, 179 (, 96, 101 ), 96, 101 [, 96, 101 ], 96, 101 /, 101 @, 163, 181 |, 96, 101, 181 $$, 85 ?‘, 51 !‘, 51 |(, 180

© Los autores, 1999; © Edicions UPC, 1999.

Índice de materias

256

|), "-, "|, " N ^ n ~

/ ? O _ o

Esto quiere decir que prácticamente qualquier programa editor o procesador de textos sirve para escribir un documento LATEX. Estos ficheros son los originales electrónicos que sirven de entrada a un proceso de composici´ on, y normalmente tienen la extensi´ on .tex. Como resultado del proceso de composición o compilaci´ on mediante el sistema LATEX, se obtiene un fichero con el mismo nombre que el fichero fuente pero con extensi´ on .dvi, el cual se puede visualizar o imprimir con la ayuda de traductores gr´ aficos apropiados. Adem´ as, durante

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

34

este proceso de composición se producen dos ficheros adicionales, ambos con el mismo nombre que el fichero fuente pero con extensiones .aux y .log. El fichero con extensión .aux contiene informaci´ on sobre las etiquetas que usa el LATEX para producir referencias cruzadas, mientras que el fichero con extensión .log contiene todos los mensajes que salen en la pantalla durante el proceso de composición, adem´ as de otras informaciones que pueden ser de utilidad para corregir errores eventuales evidenciados durante la composici´ on del documento. Aparte de estos dos ficheros adicionales, la generación de ´ındices, listas de tablas y de figuras, como también de referencias bibliogr´ aficas, origina la producci´ on de otros ficheros auxiliares. Este proceso de escritura y composici´ on se completa con la visualización y la impresi´ on eventual del documento, proceso que se puede resumir en el diagrama siguiente: manuscrito ❄ editor de texto ❄ fichero.tex ❄ ✲ LATEX ✲ fichero.aux ❍ ❍❍ ❄ ❥ ❍ fichero.dvi fichero.log

.tfm

.pk

salida por pantalla

❄ ✲ traductor gr´ afico ✟ ❍ ❍❍ ✟✟ ✙ ✟ ❥ ❍

salida impresa

También participan del proceso de escritura, compilación, visualizaci´ on e impresi´ on una serie de ficheros con extensión .tfm y .pk. Los ficheros con extensión .tfm (TEX font metric) o maletas de p´ olizas, en los ordenadores Macintosh, contienen informaci´ on sobre el tama˜ no de los caracteres de las diferentes pólizas, información que permite al LATEX hacer una composición precisa del documento. Los ficheros con extensión .pk (packed raster ) o p´ olizas, en los ordenadores Macintosh, contienen mapas de bits de los caracteres de las diferentes pólizas. Estos mapas de bits son los que hacen posible la traducci´ on gr´ afica y la visualizaci´ on y la impresi´ on del documento. Cabe decir, sin embargo, que el uso de p´ olizas PostScript, las cuales contienen descripciones matemáticas de los contornos de los caracteres, en lugar de pólizas .pk, es cada d´ıa más frecuente.

© Los autores, 1999; © Edicions UPC, 1999.

3 Introducci´ on al LATEX

3.2

35

Macros, declaraciones, entornos y definiciones

Dado que el LATEX es un sistema de marcado, todo documento LATEX contiene una serie de marcas (macros, en inglés) dentro del texto mismo del documento. Estas macros permiten especificar gran variedad de aspectos que definen la forma de presentaci´ on del documento, desde consideraciones ortogr´ aficas y tipogr´ aficas sencillas hasta la estructura de todo el documento. Pr´ acticamente todas las macros del sistema LATEX se escriben con caracteres ASCII y comienzan con una barra invertida (\). Hay cerca de un millar de macros estándares, pero el autor de un documento LATEX también puede definir nuevas macros. Por ejemplo, la macro estándar \textbf{texto} compone su argumento texto en negrita. Uno de los usos de la negrita podr´ıa ser para resaltar una palabra. Entonces el autor puede definir una nueva macro, \resalte, que produce el mismo efecto que la macro \textbf. La definici´ on de la nueva macro \resalte se hace mediante una macro estándar del LATEX, \newcommand: \newcommand{\resalte}[1]{\textbf{#1}} donde [1] indica que la macro \resalte tiene un argumento y \textbf{#1} indica que el argumento n´ umero 1 o primero (y, en este caso, el u ńico) #1 se ha de componer con negrita. Una vez hecha esta definición, se puede escribir \resalte{palabra} dentro del texto del documento para obtener palabra como resultado. La ventaja de introducir nuevas macros dentro de un documento LATEX es que éstas permiten definir nombres m´ as comprensibles para el autor, pero también modificar de una manera f´ acil y A r´ apida el efecto de una misma macro en todo el documento L TEX. Por ejemplo, cuando el autor descubre que el resalte de una palabra se ha de hacer con letras de forma vertical si el contexto es de letras de forma cursiva, pero con letras cursivas si el contexto es de letras verticales, es decir, precisamente lo que hace la macro estándar \emph, sólo ha de cambiar la definici´ on de la macro \resalte por la nueva definici´ on \newcommand{\resalte}[1]{\emph{#1}} para que este cambio se extienda a todo el documento, es decir, a todas y cada una de las partes del documento LATEX en que se hab´ıa resaltado una palabra mediante la macro \resalte. Es, por ello, una pr´ actica muy aconsejable definir en el pre´ ambulo del documento macros para los efectos tipogr´ aficos principales que se han de aplicar al texto del documento, incluso cuando éstas no son nada más que sin´ onimos de macros estándares del LATEX. La forma general de la macro \newcommand es \newcommand{\macro}[n]{definici´ on} donde n es el n´ umero de argumentos o par´ ametros de la macro (9 como máximo) y definici´ on puede usar los n par´ ametros #1, #2, . . . , #n. La activaci´ on de una macro \newcommand da un error del LATEX si la macro que se define ya hab´ıa sido definida, o si se trata de una de las macros predefinidas del LATEX. En estos casos, es posible modificar la definici´ on de la macro existente mediante la macro

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

36

\renewcommand En general, sin embargo, no es aconsejable cambiar la definici´ on de una macro predefinida del LATEX, salvo que se conozca su funcionalidad con todo detalle y que se sepa exactamente qué uso se ha hecho en el documento LATEX y también qué uso se quiere hacer. Resulta conveniente, entonces, cambiar el nombre de la macro por otro nombre que a´ un no haya sido definido. Las macros del LATEX pueden afectar tanto la totalidad del texto del documento como un p´ arrafo, una palabra o, incluso, s´ olo un car´ acter. As´ı, se necesita entonces un mecanismo para indicar el a´mbito de actuaci´ on de cada macro introducida en el documento. El mecanismo b´ asico para indicar el a´mbito de una macro es la agrupaci´ on entre llaves: {texto}. Por ejemplo, la macro \emph sirve para dar énfasis a una parte relativamente peque˜ na del documento, tal como unas pocas palabras, componiéndolas con letras cursivas si su contexto son letras redondas y componiéndolas con letras redondas dentro de un contexto de letras cursivas. As´ı, \emph palabra da énfasis sólo al primer car´ acter de palabra, mientras que \emph{palabra} produce palabra. Otro mecanismo para indicar el a´mbito de una macro es el uso de macros de inicio y de arrafo \end{center} fin, los llamados entornos del LATEX. Por ejemplo, \begin{center} p´ es un entorno que permite alinear horizontalmente el texto del p´ arrafo incluido en el entorno, centr´ andolo dentro de la anchura de la caja del documento. Finalmente, hay ciertas macros del LATEX, llamadas declaraciones, que tienen un efecto global en el documento, como por ejemplo \em, a pesar que su efecto es local si se incluyen dentro de un grupo de llaves o dentro de un entorno. Toda declaraci´ on tiene asociado un entorno correspondiente, el cual lleva el mismo nombre que la declaraci´ on pero sin la barra invertida. As´ı, la declaraci´ on {\em texto} es equivalente al entorno \begin{em} texto \end{em} El hecho de escribir entornos en lugar de declaraciones puede dar como resultado un original electrónico más fácil de leer, revisar y corregir, sobre todo cuando el texto de la declaraci´ on es bastante largo, ya que suele ser más f´ acil encontrar los delimitadores de un entorno que las llaves que delimitan el a´mbito de una declaraci´ on.

3.3

La estructura de un documento

Todo documento LATEX consiste en dos partes bien diferenciadas: el pre´ ambulo y el cuerpo. El preámbulo es una colección de macros que encabezan el documento, determinan su aspecto general e influyen en su estilo. En particular, una de estas macros determina la clase de documento de que se trata, como por ejemplo un art´ıculo, un libro, un reporte de investigaci´ on, etc. El cuerpo es el contenido del documento. Es decir, el texto del documento conjuntamente con todas aquellas macros adicionales que resultan necesarias para su composici´ on.

© Los autores, 1999; © Edicions UPC, 1999.

3 Introducci´ on al LATEX

37

El preámbulo de un documento comienza con la macro \documentclass[opciones]{clase} mientras que el cuerpo comienza con la macro \begin{document} y acaba con la macro \end{document} Todo lo comprendido entre la macro \documentclass y la macro \begin{document} constituye el pre´ ambulo. Es decir, la estructura de un documento LATEX es la indicada en el diagrama siguiente: \documentclass[opciones]{clase} .. . \begin{document} .. . \end{document}

pre´ ambulo     

cuerpo

LAT

El EX simplemente ignora todo lo que haya después de la macro \end{document}. Para facilitar la lectura del documento compuesto resulta conveniente dividir el cuerpo del documento en cap´ıtulos, apartados y subapartados, de acuerdo con la estructura l´ ogica de su contenido. La divisi´ on del contenido del documento en unidades estructurales se hace mediante on de la clase de documento de que se trata. macros del LATEX, las cuales var´ıan en funci´ Las clases estándares de documentos LATEX son: article, report, book, letter y slides (véase el apartado 3.4). En el caso de los documentos de clase article, las macros de división en cap´ıtulos y apartados son: Abre un apartado que lleva por t´ıtulo texto. \section{texto} Abre un subapartado que lleva por t´ıtulo texto. \subsection{texto} \subsubsection{texto}

Abre un subsubapartado que lleva por t´ıtulo texto. Compone un p´ arrafo que lleva por t´ıtulo texto.

\paragraph{texto} \subparagraph{texto} \appendix

Compone un subp´ arrafo que lleva por t´ıtulo texto. Establece la numeración de apartados con letras en lugar de n´ umeros, para escribir un apéndice.

El LATEX selecciona automáticamente el estilo y el cuerpo de la fuente para componer el t´ıtulo de los apartados y subapartados, adem´ as de introducir el espaciado necesario entre el t´ıtulo y el resto del texto, como también el espaciado entre los apartados y los subapartados sucesivos. En el caso de los documentos de clase report y book, hay dos macros adicionales:

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

38

Abre una parte que lleva por t´ıtulo texto. \part{texto} Abre un cap´ıtulo que lleva por t´ıtulo texto. \chapter{texto} Los documentos de clase letter y slides no admiten ninguna de estas macros de divisi´ on en cap´ıtulos y apartados. aticamente los cap´ıtulos y apartados en que se divide el cuerpo de El LATEX enumera autom´ un documento. El esquema est´ andar de enumeración se ilustra mediante el ejemplo siguiente: \part{T´ ıtulo} \chapter{T´ ıtulo} \section{T´ ıtulo} \subsection{T´ ıtulo} \subsubsection{T´ ıtulo}

Parte I T´ıtulo Cap´ıtulo 1 T´ıtulo 1.1 T´ıtulo 1.1.1 T´ıtulo 1.1.1.1 T´ıtulo

La macro \part no afecta, sin embargo, la numeraci´ on de los cap´ıtulos y apartados. Esto permite incluir directamente art´ıculos como cap´ıtulos de un libro. Los n´ umeros de cap´ıtulo y apartado pueden aparecer en la cabecera de la p´ agina, seg´ un la clase de documento y seg´ un el estilo de la p´ agina, y también pueden aparecer en el ´ındice o en la tabla de contenidos del documento. La macro \tableofcontents especifica la composición del ´ındice de un documento de clase article, report o book. El LATEX lo compone partiendo de los t´ıtulos de cap´ıtulo y apartado y de los n´ umeros de página correspondientes, los cuales son un subproducto de la u ´ltima composición del documento, y el LATEX los obtiene del fichero auxiliar con la extensi´ on .toc (table of contents). Esto quiere decir que es necesario procesar el documento LATEX al menos dos veces para obtener un ´ındice correcto. La profundidad o n´ umero de niveles de t´ıtulos de cap´ıtulo y apartado que salen en el ´ındice viene dada por un par´ ametro del LATEX, tocdepth, el valor del cual se puede cambiar mediante la macro \setcounter. El n´ umero de niveles es, por defecto, igual a 3 para todas las clases A estándares de documentos L TEX. As´ı, en el ´ındice de un documento de clase book o report saldr´ an los t´ıtulos de cap´ıtulo, apartado y subapartado, mientras que los t´ıtulos de apartado, subapartado y subsubapartado saldr´ an en el ´ındice de un documento de clase article. La macro \setcounter{tocdepth}{2} en el pre´ ambulo del documento especifica la composici´ on de un ´ındice de dos niveles. Se pueden especificar cap´ıtulos y apartados sin enumeraci´ on autom´ atica mediante las macros siguientes, las cuales llevan el t´ıtulo correspondiente como argumento: \part*, \chapter*, \section*, \subsection*, \subsubsection*, \paragraph* y \subparagraph*. También es posible agregar al ´ındice la entrada correspondiente a un cap´ıtulo o apartado no enumerado, mediante la macro \addtocontents: \chapter*{Agradecimientos} \addtocontents{toc}{Agradecimientos}

© Los autores, 1999; © Edicions UPC, 1999.

3 Introducci´ on al LATEX

3.4

39

Clases de documentos

La macro \documentclass{clase} en el pre´ ambulo del documento indica la clase de documento de que se trata, donde las clases estándares de documentos LATEX son las siguientes: article para art´ıculos de revista y comunicaciones en congresos report para reportes de investigaci´ on book para libros letter para cartas slides para transparencias de retroproyecci´ on Las opciones de una macro \documentclass[opciones]{clase} modifican ciertas caracter´ısticas de la clase de documentos. Estas opciones han de ir separadas por comas. Las más comunes para las clases estándares son las siguientes: 10pt, 11pt, 12pt Fijan el cuerpo de la p´ oliza base para todo el documento. El cuerpo por defecto es 10pt para las clases article, report, book y letter. letterpaper, legalpaper, executivepaper, a4paper, a5paper, b5paper Definen la anchura de la caja. El tama˜ no por defecto es letterpaper, tama˜ no carta, el m´ as usual en los EEUU, a pesar que el tama˜ no estándar en Europa es a4paper, es decir, DIN A4. landscape Invierte los tama˜ nos de la altura y la anchura de la caja, para componer el documento en formato apaisado. final, draft Especifican si se quiere obtener o no una indicación impresa de algunos de los problemas aparecidos durante la composici´ on del documento LATEX, como por ejemplo cortes defectuosos de l´ıneas en palabras. La opci´ on por defecto es final para todas las clases estándares, es decir, ninguna indicaci´ on impresa. De otro modo, la opci´ on draft compone una mancha negra al final de todas las l´ıneas en que la divisi´ on en palabras y s´ılabas ha sido defectuosa. Estas indicaciones son muy u ´tiles para encontrar r´ apidamente problemas eventuales de composición en el documento LATEX. oneside, twoside Especifican la disposici´ on del texto impreso dentro de la anchura de la caja, como también la cabecera y el pie de las páginas, para que la salida se pueda imprimir por las dos caras o bien s´ olo por una cara del papel. Las clases article, report y letter son, por defecto, oneside, mientras que la clase book es twoside y la clase slides no admite el uso de la opci´ on twoside.

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

40

openright, openany Especifican si los cap´ıtulos han de comenzar en p´ aginas impares o en la pr´ oxima p´ agina, tanto sea ésta impar o par. Dado que los art´ıculos no se estructuran en cap´ıtulos sino en apartados, esta opci´ on no afecta a la clase article. Tampoco afecta a la clase letter, dado que las cartas no se estructuran en cap´ıtulos ni en apartados. Los cap´ıtulos de un documento de clase book comienzan por defecto en p´ aginas impares, mientras que los de un documento de clase report pueden comenzar tanto en p´ agina impar como par. onecolumn, twocolumn Especifican la composición del documento en una o en dos columnas. Si no se declara ńica columla opci´ on twocolumn, el LATEX hace la composición del documento en una u na, independientemente de la clase de documento de que se trate. Adem´ as, las clases estándares letter y slides no admiten la opci´ on twocolumn. notitlepage, titlepage Especifican si se quiere comenzar una página nueva después del t´ıtulo del documento o no. Por defecto, con la clase article no se comienza una página nueva, mientras que con las clases book, report y slides después del t´ıtulo del documento comienza una p´ agina nueva. Los documentos de clase letter no llevan t´ıtulo. openbib Especifica la composición de la bibliograf´ıa o de la lista de referencias bibliogr´ aficas del documento en el llamado formato abierto del libro (van Leunen, 1992), donde les referencias bibliogr´ aficas se componen en párrafos separados y a la francesa, es decir, con un sangrado en todas las l´ıneas salvo la primera l´ınea de cada referencia. leqno Compone los n´ umeros de fórmula producidos por los entornos matem´ aticos equation y eqnarray contra el margen izquierdo, en lugar de componerlos contra el margen derecho. fleqn Compone las f´ ormulas matemáticas alineadas hacia la izquierda, a una distancia fija del margen izquierdo que viene dada por la macro \mathindent, en lugar de componerlas centradas. Por ejemplo, la macro \documentclass[11pt,twoside,a4paper]{article} sirve para componer un art´ıculo con un cuerpo base de once puntos, con una disposici´ on adecuada para ser impreso por las dos caras del papel de tama˜ no DIN A4. En resumen, las opciones por defecto de las clases estándares de documentos LATEX son las siguientes:

© Los autores, 1999; © Edicions UPC, 1999.

3 Introducci´ on al LATEX

Clase article report book letter slides

letterpaper letterpaper letterpaper letterpaper letterpaper

41

10pt 10pt 10pt 10pt

Opciones oneside oneside twoside oneside

por defecto onecolumn onecolumn onecolumn onecolumn

final final final final final

openany openright

Aparte de todas estas opciones y clases de documentos, el LATEX permite definir el estilo en que se quiere componer la cabecera y el pie de cada página de un documento. La macro \pagestyle{estilo} permite especificar una combinaci´ on de estilos predefinidos para la la cabecera y el pie de las p´ aginas del documento. Esta macro se puede escribir tanto en el pre´ ambulo como en el cuerpo del documento, y tiene efecto a partir de la p´ agina correspondiente. Las combinaciones de estilos estándares son las siguientes: plain Deja la cabecera de página en blanco y coloca el n´ umero de p´ agina centrado al medio ´ del pie de cada p´ agina. Este es el estilo por defecto para todas las clases estándares de documentos LATEX. headings Pone cierta informaci´ on que viene determinada por la clase de documento, como por ejemplo el nombre del cap´ıtulo en el caso de un libro, y el n´ umero de p´ agina en la cabecera de cada página, y deja el pie de p´ agina en blanco. myheadings Es similar al estilo headings, pero el autor determina la informaci´ on que es preciso poner en la cabecera. empty Deja en blanco tanto la cabecera como el pie de cada página. Conjuntamente con los estilos de p´ agina plain, headings y myheadings, la macro \pagenumbering{numeraci´ on} permite determinar la enumeraci´ on de las p´ aginas del documento LATEX, donde los valores estándares del argumento numeraci´ on son arabic (n´ umeros arábigos) y roman (n´ umeros romanos). Las p´ aginas de materiales preliminares de los libros, por ejemplo, se suelen numerar con n´ umeros romanos (véase el apéndice A). Esta macro fija en 1 la numeración de las p´ aginas, tanto si se trata de n´ umeros arábigos como de n´ umeros romanos, lo que permite numerar las p´ aginas de materiales preliminares de un libro con i, ii, iii, iv, etc. y el cuerpo del libro con 1, 2, 3, 4, etc. También es posible especificar el estilo para una p´ agina (es decir, de la p´ agina actual ) del documento, mediante la macro

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

42

\thispagestyle{estilo} Para modificar el estilo de la primera p´ agina de un art´ıculo, sin embargo, es preciso poner la macro \thispagestyle inmediatamente después de la macro \maketitle, macro esta u ´ ltima que permite componer el t´ıtulo, los nombres de los autores y la fecha en que se ha escrito o compuesto el documento.

3.5

Paquetes de definiciones

Una de las ventajas del LATEX respecto a otros sistemas de composición de textos cient´ıficos, incluso respecto al TEX, es la existencia de centenares de extensiones estándares para resolver problemas espec´ıficos de composición. Por ejemplo, para incluir gr´ aficos e ilustraciones, para usar diferentes colores en el documento, para incluir texto de algoritmos, diagramas conmutativos, f´ ormulas qu´ımicas, etc. Estas extensiones se llaman paquetes y se activan mediante una macro \usepackage[opciones]{paquete} en el pre´ ambulo del documento. El libro (Goossens et al., 1994) contiene una recopilaci´ on sistemática de pr´ acticamente todos los paquetes de dominio p´ ublico existentes para el LATEX, la mayor´ıa de los cuales se pueden conseguir a través de la red Internet. Algunos de estos paquetes forman parte de la distribuci´ on oficial del sistema LATEX, mientras que hay otros que, a pesar de no gozar del soporte oficial del TEX Users Group, son mantenidos por sus autores. Entre los primeros destacan los siguientes, por orden alfabético: alltt Define el entorno alltt, que se parece al entorno verbatim pero permite incluir otras macros y entornos, ya que mantiene el significado normal para el LATEX de los caracteres especiales \, { y }. Por ejemplo, una declaraci´ on de énfasis \em, como: Texto en redonda, texto en cursiva y m´ as texto en redonda

\begin{alltt} Texto en redonda, {\em{}texto en cursiva\/} y m´ as texto en redonda \end{alltt}

cambia la forma de los caracteres pero sin cambiar de familia, que contin´ ua siendo mecanogr´ afica. Los tres caracteres especiales se pueden incluir también en un entorno alltt mediante las macros $\backslash$, $\{$ y $\}$. amsfonts Da acceso a las pólizas de s´ımbolos matemáticos AMSFonts de la American Mathematical Society pero sin definir macros para componer todos estos s´ımbolos. Esto permite reducir los requerimientos de memoria, por ejemplo, en una instalaci´ on del LATEX que no disponga de suficiente memoria para definir los m´ as de doscientos s´ımbolos matemáticos adicionales. Los s´ımbolos matemáticos necesarios se pueden definir mediante una macro \DeclareMathSymbol, como por ejemplo

© Los autores, 1999; © Edicions UPC, 1999.

3 Introducci´ on al LATEX

43

\DeclareMathSymbol{\blacktriangleright}{\mathrel}{AMSa}{"49} para que la macro \blacktriangleright componga el s´ımbolo matemático en el documento LATEX. amsmath Permite definir macros para componer abreviaciones de s´ımbolos de operaci´ on, además de simplificar la escritura de los puntos suspensivos y de permitir componer coeficientes binomiales, como también ecuaciones y expresiones matemáticas que abarcan más de una l´ınea. amsopn Permite definir macros para componer abreviaciones de s´ımbolos de operaci´ on. amsthm Extiende el mecanismo de definici´ on de enunciados del LATEX para permitir escoger el estilo para componer cada enunciado entre una serie de estilos predefinidos, adem´ as de permitir la composici´ on de enunciados no enumerados y demostraciones. amssymb Define macros \DeclareMathSymbol que permiten acceder a todos los caracteres de las p´ olizas de s´ımbolos matemáticos AMSFonts de la American Mathematical Society. amstex El AMS-TEX es una extensión del sistema TEX para componer construcciones matemáticas complejas que da una serie de macros y entornos que simplifican la escritura de ciertas construcciones matemáticas, como por ejemplo una matriz de matrices o toda una palabra como sub´ındice de una f´ ormula, de acuerdo con las normas de estilo de la American Mathematical Society. La activaci´ on del paquete de definiciones amstex da como resultado el sistema AMS-LATEX, un sistema que incorpora la funcionalidad del AMS-TEX en el sistema LATEX. apalike Permite usar el sistema autor-fecha de citación bibliogr´ afica y el estilo bibliogr´ afico chicago. array Da opciones adicionales para los entornos est´ andares de matrices array y de alineaci´ on en columnas tabular, entre las cuales la posibilidad de incluir macros y declaraciones en la especificación del formato de las columnas. Por ejemplo, una declaraci´ on de texto en negrita \>{\bfseries}l en la especificación de una columna alineada contra el margen izquierdo es equivalente a una declaraci´ on \bfseries en la columna correspondiente de todas y cada una de las filas de la matriz o de la tabla. babel Es la extensi´ on multiling¨ ue estándar del sistema LATEX. Permite incluir texto escrito en un las normas diferentes idiomas en un documento LATEX, donde el texto se compone seg´ ortogr´ aficas y las convenciones tipogr´ aficas propias del idioma en que se ha escrito. color Permite componer el texto y las fórmulas matemáticas del documento LATEX en diferentes colores, seg´ un el modelo crom´ atico aditivo rgb, el modelo cromático gray de niveles de gris, o el modelo cromático sustractivo cmyk. dcolumn Permite definir columnas centradas en el punto decimal en los entornos est´ andares de matrices array y de alineaci´ on en columnas tabular.

© Los autores, 1999; © Edicions UPC, 1999.

44

Composici´ on de textos cient´ıficos con LATEX

delarray Extiende el paquete array para permitir especificar de manera impl´ıcita los delimitadores de una matriz. Adem´ as de simplificar la escritura de una matriz, permite componer matrices cuyos elementos sean también matrices, como por ejemplo        1 1      1   2   2  1              3  en lugar de  1   2   3  2   1           2    2  3 3 3 3 que se obtiene mediante delimitadores de matriz expl´ıcitos. doc Permite documentar los paquetes de definiciones LATEX. docstrip Conjuntamente con el paquete doc, permite escribir paquetes de definiciones LATEX autodocumentados, en la l´ınea de lo que D. Knuth llama programaci´ on ilustrada (literate programming). enumerate Permite especificar el estilo en que se quiere componer la identificación de los elementos de una enumeración, mediante un argumento opcional del entorno enumerate. Este nuevo argumento puede incluir cualquiera de las especificaciones de estilo A (letras may´ usculas del alfabeto), a (letras min´ usculas), I (n´ umeros romanos), i (n´ umeros romanos en min´ uscula) y 1 (n´ umeros arábigos), las cuales se corresponden con las macros estándares del LATEX \Alph, \alph, \Roman, \roman y \arabic, respectivamente. También puede incluir texto, signos de puntuaci´ on y, de hecho, qualquier macro del LATEX. Por ejemplo, el argumento Ex. 1 especifica la identificación de los elementos de la enumeración como Ex. 1, Ex. 2, etc. epsfig Permite incluir ficheros gr´ aficos EPS en un documento LATEX. fancyhdr Permite modificar el estilo en que se compone la cabecera y el pie de página. Entre las muchas opciones que ofrece, se pueden definir tres campos de información (izquierda, centrado y derecha) para la cabecera y también para el pie de p´ agina, para p´ aginas impares y para p´ aginas pares por separado, e incluso incluir un filete como el que sale en la cabecera de las páginas de este libro. fontenc Permite especificar la codificación de los caracteres usados en el documento LATEX, como por ejemplo OT1 (codificaci´ on de texto TEX estándar) o T1 (codificaci´ on de texto TEX extendida o Cork), que cubre los caracteres acentuados y con signos diacr´ıticos. Si no se activa este paquete de definiciones, la codificación por defecto es OT1. fontsmpl Produce un test impreso de toda una familia de fuentes, como por ejemplo cmr (Computer Modern Roman), que incluye párrafos de texto, caracteres con signos diacr´ıticos y todo tipo de macros del LATEX que afectan el estilo. ftnright Permite incluir notas a pie de p´ agina en un entorno multicolumna, donde las notas son compuestas a pie de la u ´ ltima columna y no a pie de p´ agina.

© Los autores, 1999; © Edicions UPC, 1999.

3 Introducci´ on al LATEX

45

graphics Permite incluir ficheros gr´ aficos EPS en un documento LATEX. graphpap Permite componer una cuadr´ıcula sobre la cual se pueden situar los objetos gr´ aficos de un entorno picture. hhline Permite definir l´ıneas horizontales en los entornos estándares de matrices array y de alineaci´ on en columnas tabular que se interrumpen al cruzar l´ıneas verticales. hyperref Permite incluir enlaces electr´ onicos desde cualquier parte de un documento LATEX a cualquier otra parte del documento LATEX, o bien a otro documento almacenado dentro de la World-Wide Web. También introduce de manera autom´ atica los enlaces electrónicos más usuales, como por ejemplo los enlaces entre las referencias cruzadas; entre las notas a pie de p´ agina y las referencias correspondientes; entre el ´ındice y los t´ıtulos de parte, cap´ıtulo y apartado; entre las citaciones bibliogr´ aficas y las referencias bibliográficas correspondientes; y entre las entradas del ´ındice alfabético y los conceptos correspondientes. indentfirst Introduce autom´ aticamente un sangrado en la primera l´ınea de cada cap´ıtulo, apartado y subapartado. inputenc Permite especificar la codificación particular en que se han escrito los caracteres especiales (es decir, los caracteres no ASCII), como por ejemplo ISO Latin-1 o Macintosh, lo que mantiene la portabilidad de los documentos LATEX entre ordenadores diferentes. latexsym Permite usar con el sistema LATEX algunos de los s´ımbolos matemáticos no estándares. Estos son: \mho , \Join ✶, \Box ✷, \Diamond ✸, \leadsto ❀, \sqsubset , \sqsupset , \lhd ✁, \unlhd ✂, \rhd ✄ y \unrhd . Los paquetes amsfonts y amssymb también permiten usar estos s´ımbolos matemáticos; por ello no es necesario activar el paquete latexsym en un documento en el que ya se haya activado el paquete amsfonts o el paquete amssymb. layout Compone una maqueta de la p´ agina actual, en la que se ilustran los par´ ametros que determinan el tama˜ no de la caja, la situaci´ on de la caja dentro de la p´ agina y la situaci´ on de los p´ arrafos dentro de la caja. longtable Extiende el entorno tabular con alineaciones multip´ agina, donde se pueden definir cabeceras y pies de tabla diferentes para la p´ agina donde comienza la tabla, para las p´ aginas donde contin´ ua y para la p´ agina donde acaba la tabla. makeidx Permite incluir referencias cruzadas dentro del ´ındice alfabético de un documento LATEX. multicol Define un entorno multicolumna donde se puede cambiar el n´ umero de columnas, una y otra vez, dentro de la misma p´ agina. pb-diagram Permite componer diagramas conmutativos de gran calidad tipogr´ afica. proc Define la clase de documentos proc, basada en la clase estándar article, para componer anales de congresos. La macro adicional \copyrightspace deja un espacio en blanco al pie de la primera columna de la primera p´ agina, para que la editorial pueda agregar una proclamación de propiedad intelectual.

© Los autores, 1999; © Edicions UPC, 1999.

46

Composici´ on de textos cient´ıficos con LATEX

psnfss Permite incluir las p´ olizas PostScript comunes en muchas impresoras láser en un documento LATEX. rawfonts Emula el obsoleto sistema LATEX 2.09 en cuanto a las macros de selección de fuentes de bajo nivel, como: \tenrm, \tenmi, \tensy, \tenit, \tensl, \tenbf, \tentt, \tensf, \tenly, \tenex, etc. showidx Compone la etiqueta correspondiente a cada entrada del ´ındice alfabético en el margen de la p´ agina en que sale la entrada. Sirve para verificar r´ apidamente si hay errores, omisiones o duplicaciones en el ´ındice alfabético. showkeys Compone la etiqueta interna usada para hacer referencias cruzadas y para introducir citaciones bibliogr´ aficas mediante las macros \label, \ref, \pageref, \cite y \bibitem. apidamente la syntonly Procesa un documento LATEX sin componerlo. Sirve para verificar r´ sintaxis del documento. tabularx Extiende el entorno tabular* con la especificación de columnas de ancho variable, calculando autom´ aticamente el ancho de estas columnas en función del ancho total especificado para la tabla. theorem Permite especificar el estilo en que se quieren componer los teoremas y otros enunciados que llevan una identificaci´ on y una enumeraci´ on particular como: teoremas, corolarios, conjeturas, postulados, definiciones, ejemplos, demostraciones, proposiciones, lemas, etc. varioref Extiende el mecanismo de referencias cruzadas del LATEX con las macros adicionales \vref y \vpageref, que son equivalentes a las macros estándares \ref y \pageref, pero incluye el n´ umero de p´ agina s´ olo cuando la referencia y la etiqueta de la macro \label correspondiente están en la misma p´ agina. verbatim Extiende los entornos de texto mecanografiado verbatim y verbatim* para permitir componer muchos p´ arrafos de texto mecanografiado. Asimismo, define el entorno comment, que ignora la totalidad del texto del original electr´ onico comprendido entre las macros \begin{comment} y \end{comment}, y define también la macro \verbatiminput, que permite incluir texto mecanografiado residente en un fichero aparte. xr Extiende el mecanismo de referencias cruzadas del LATEX con referencias cruzadas externas entre documentos. En el apéndice C hay instrucciones detalladas para conseguir éstos y otros paquetes e instalarlos correctamente.

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

47

Cap´ıtulo 4

Texto con LATEX Tanto los programas de composición visual como los sistemas de composición l´ ogica permiten alinear horizontalmente los p´ arrafos dentro de la anchura de la caja del documento, o bien contra el margen izquierdo o contra el margen derecho, centrado o justificado —alineado contra los dos márgenes. Hay cuatro maneras b´ asicas de alinear los p´ arrafos dentro de la anchura de la caja.

Hay cuatro maneras b´ asicas de alinear los p´ arrafos dentro de la anchura de la caja.

Hay cuatro maneras b´ asicas de alinear los p´ arrafos dentro de la anchura de la caja.

Hay cuatro maneras b´ asicas de alinear los p´ arrafos dentro de la anchura de la caja.

Cada una de estas formas de alineación implica una distribuci´ on diferente del espaciado entre las palabras de las l´ıneas de un p´ arrafo, conjuntamente con la divisi´ on de palabras en s´ılabas. Por ejemplo, los p´ arrafos se dividen en l´ıneas en funci´ on de la anchura de la caja, y se introducen divisiones de l´ınea entre las palabras o en medio de las palabras de la l´ınea —es decir, se separan en s´ılabas— y el espacio que sobra se reparte entre las palabras de la l´ınea. Este proceso que es, en todos los casos, automático suele introducir demasiado espacio entre las palabras de los p´ arrafos con los programas de composición visual, porque los espacios blancos que se introducen son de tama˜ no fijo: el cuadrat´ın, el medio cuadrat´ın y el espacio fino. En el A on de p´ arrafos en l´ıneas y de divisi´ on de l´ıneas caso del L TEX, sin embargo, el proceso de divisi´ en palabras es mucho m´ as complejo y el uso de espacios blancos de tama˜ no variable le permite optimizar la distribuci´ on de los espacios de manera global, en todo el p´ arrafo y no s´ olo l´ınea a l´ınea.

4.1

Reglas b´ asicas

Dado que la composición del texto la hace el LATEX, de acuerdo con las macros introducidas en el documento, el aspecto que presente el original electrónico no tiene mucha importancia. S´ olo

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

48

es preciso delimitar correctamente las palabras, mediante la escritura de uno o más espacios, como también es preciso delimitar correctamente los párrafos, dejando una o m´ as l´ıneas en blanco o una macro \par para indicar el final del p´ arrafo. En este sentido, un espacio tiene el mismo efecto que cincuenta espacios y tres l´ıneas en blanco tienen el mismo efecto que una l´ınea en blanco. Incluso cualquier separaci´ on entre ´ nico espacio, es decir, como una separación entre palabras la interpreta el LATEX como un u palabras. Un espacio tiene el mismo efecto que cincuenta espacios. Tres l´ıneas en blanco tienen el mismo efecto que una l´ınea en blanco.

Un espacio tiene el efecto que cincuenta espacios.

mismo

Tres l´ ıneas en blanco tienen el mismo efecto que una l´ ınea en blanco.

La manera como se componen los párrafos depende de la clase de documento de que se trate. Por ejemplo, en un libro se introduce un sangrado en la primera l´ınea de cada p´ arrafo y no se agrega ning´ un interlineado adicional entre los p´ arrafos. Dentro del texto del documento se pueden introducir macros para indicar al LATEX el estilo en que se quiere componer una parte del texto o su funci´ on dentro del documento. La parte afectada del texto, sin embargo, puese ser tanto la totalidad del texto del documento como un p´ arrafo, una palabra o incluso s´ olo un car´ acter, seg´ un se ha explicado en el apartado 3.2. A También se pueden introducir en un documento L TEX comentarios, que el LATEX no compone sino que simplemente ignora. La macro % introduce un comentario, que se acaba al final de la l´ınea del original electr´ onico. Cuando el LATEX encuentra un car´ acter de porcentaje entonces ignora el resto de la l´ınea.

4.2

Cuando el \LaTeX\ encuentra un car´ acter de porcentaje % revisar posici´ on de divisi´ on que no anula la divisi´ on en s´ılabas del resto de la palabra gui´ on que no anula la divisi´ on en s´ılabas del resto de la palabra posici´ on de divisi´ on que no introduce un gui´ on y que no anula la divisi´ on en s´ılabas del resto de la palabra cancela una ligadura u ¨

a

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

56

Por otra parte, la opci´ on spanish da traducciones de algunas macros del LATEX que salen de manera autom´ atica en los documentos, como por ejemplo Bibliograf´ıa en el t´ıtulo de una bibliograf´ıa en lugar de Bibliography. También compone la fecha en que se procesa o se compone el documento LATEX (mediante la macro \date) en el formato correcto, como por ejemplo 11 de septiembre de 1995 en lugar de September 11, 1995. Las traducciones son las siguientes: macro \abstractname \alsoname \appendixname \bibname \ccname \chaptername \contentsname \enclname \figurename \headtoname \indexname \listfigurename \listtablename \pagename \partname \prefacename \seename \refname \tablename \proofname

4.5

inglés Abstract see also Appendix Bibliography cc Chapter Contents encl Figure To Index List of Figures List of Tables Page Part Preface see References Table Proof

castellano Resumen véase también Apéndice Bibliograf´ıa Copia a Cap´ıtulo Índice general Adjunto Figura A Índice de materias Índice de figuras Índice de tablas P´ agina Parte Prefacio véase Referencias Tabla Demostraci´ on

P´ olizas y fuentes de caracteres de texto

El LATEX escoge la fuente de caracteres y el cuerpo más apropiado en cada caso, en funci´ on de la clase de documento y de su estructura l´ ogica (cap´ıtulos, apartados, etc.). As´ı, hay en todo momento una fuente seleccionada y un cuerpo fijo, llamadas fuente base y cuerpo base, respectivamente. De hecho, las fuentes se especifican en LATEX como combinación de tres componentes: la forma, la serie y la familia de la fuente. La forma puede ser redonda, cursiva, redonda inclinada o versalita, mientras que la serie puede ser normal o negrita y la familia puede ser romana, lineal o mecanogr´ afica. Las macros y declaraciones siguientes permiten cambiar la fuente en que se compone una parte del documento.

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

Macro \textup{texto} \textit{texto} \textsl{texto} \textsc{texto} \textmd{texto} \textbf{texto} \textrm{texto} \textsf{texto} \texttt{texto}

57

Declaración \upshape texto \itshape texto \slshape texto \scshape texto \mdseries texto \bfseries texto \rmfamily texto \sffamily text \ttfamily texto

Ejemplo Redonda Cursiva Redonda inclinada Versales y versalitas Normal Negrita Romana Lineal Mecanogr´ afica

Cabe notar que el texto compuesto con la familia mecanogr´ afica, es decir, compuesto con las macros \texttt o \ttfamily, no se puede dividir en s´ılabas, salvo que se introduzcan posiciones de divisi´ on expl´ıcitas mediante macros \-. Estas macros y declaraciones se pueden combinar para seleccionar una gran variedad de fuentes. No todas las combinaciones de forma, serie y familia, sin embargo, est´ an disponibles en A toda implementaci´ on del sistema L TEX. Cuando se especifica una fuente que no está disponible, aticamente por el LATEX da un mensaje de aviso (LATEX Font Warning) y la substituye autom´ la fuente que m´ as se le parece de entre todas las que hay disponibles. As´ı, por ejemplo, de las 24 combinaciones posibles siguientes sólo 10 no están disponibles en la distribuci´ on estándar del sistema LATEX.

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

58

Forma Redonda

Serie Normal

Negrita

Cursiva

Normal

Negrita

Redonda inclinada

Normal

Negrita

Versalita

Normal

Negrita

Familia Romana Lineal Mecanogr´ afica Romana Lineal Mecanogr´ afica Romana Lineal Mecanogr´ afica Romana Lineal Mecanogr´ afica Romana Lineal Mecanogr´ afica Romana Lineal Mecanogr´ afica Romana Lineal Mecanogr´ afica Romana Lineal Mecanogr´ afica

Ejemplo Ejemplo Ejemplo Ejemplo Ejemplo Ejemplo — Ejemplo — Ejemplo

Ejemplo

— — Ejemplo Ejemplo Ejemplo Ejemplo — — Ejemplo — Ejemplo — — —

Las macros siguientes, por otra parte, permiten cambiar el cuerpo de la fuente en que se compone una parte del documento. También cambian el interlineado, siempre que tengan efecto antes del final del p´ arrafo, es decir, siempre que no se vuelva a cambiar el cuerpo base dentro del mismo párrafo del documento LATEX.

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

Macro \tiny \scriptsize \footnotesize \small \normalsize \large \Large

59

Ejemplo el cuerpo m´ as peque˜ no de todos

cuerpo a´ un mucho m´ as peque˜ no

cuerpo mucho m´ as peque˜ no

cuerpo peque˜ no

cuerpo normal

cuerpo grande

cuerpo más grande

\LARGE

cuerpo mucho más grande

\huge

cuerpo aún mucho más grande

\Huge

el cuerpo más grande de todos

4.6

Espaciado de textos

A pesar que cada clase de documento LATEX tiene una maqueta asociada, que define la caja del documento, el interlineado, el espaciado entre palabras, entre p´ arrafos y entre cap´ıtulos y apartados, adem´ as de muchas otras cosas, a veces puede resultar necesario o conveniente modificar alguno de estos aspectos. Cuanto al espaciado entre palabras, el LATEX introduce más o menos espacio, es decir, espacios de tama˜ no variable, para componer un p´ arrafo de forma o´ptima, por ejemplo, para conseguir un alineado perfecto del texto del documento contra los m´ argenes izquierdo y derecho. El espacio que introduce cuando acaba una frase es sensiblemente m´ as amplio que el que introduce entre dos palabras, para hacer m´ as legible el texto compuesto. on o Ahora bien, el LATEX presupone que las frases acaban con punto, signo de interrogaci´ signo de exclamación, pero también que todo punto o signo de interrogaci´ on o de exclamación indica el final de una frase, salvo el caso de un punto detr´ as de una letra may´ uscula, porque este suele ser el caso de las abreviaciones. Toda excepción a estas reglas se ha de especificar mediante macros del LATEX. La macro \b (es decir, una barra invertida delante de un espacio) introduce un espacio de tama˜ no fijo, mientras que la macro de tilde (~) introduce un espacio de tama˜ no fijo a la vez que prohibe la divisi´ on de la l´ınea. Adem´ as, la macro \@ delante de un punto especifica que este punto no corresponde al final de la frase: Véase Véase Véase LATEX LATEX

el Cap. 11. el Cap. 11. el Cap. 11. o WYSIWYG. Esta es la cuesti´ on. o WYSIWYG. Esta es la cuesti´ on.

V´ ease el Cap. 11. \\ V´ ease el Cap.\ 11. \\ V´ ease el Cap.~11. \\ \LaTeX\ o WYSIWYG. Esta es la cuesti´ on.\\ \LaTeX\ o WYSIWYG\@. Esta es la cuesti´ on.

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

60

Cuanto al espaciado entre l´ıneas, la macro \renewcommand{\baselinestretch}{factor } permite cambiar el interlineado, donde factor es un n´ umero entero o real, por defecto igual a 1. As´ı, \renewcommand{\baselinestretch}{1,5} en el pre´ ambulo o en el cuerpo del documento especifica la composición a espacio y medio, mientras que la composición a doble espacio se especifica mediante \renewcommand{\baselinestretch}{2}. Esta macro, sin embargo, no tiene un efecto inmediato sino que se ha de escribir una macro de cambio de cuerpo de la fuente base, como por ejemplo: \renewcommand{\baselinestretch}{1,25} \normalsize Tanto el espaciado de los párrafos como el sangrado de cada p´ arrafo se pueden modificar A mediante macros del L TEX. Las macros \setlength{\parindent}{tama˜ no} \setlength{\parskip}{tama˜ no flexible} en el pre´ ambulo del documento especifican el tama˜ no del sangrado de los p´ arrafos y el espaciado entre p´ arrafos, respectivamente, donde tama˜ no es un tama˜ no expresado en cualquiera de las unidades de medida que usa el LATEX: puntos Didot, c´ıceros, puntos pica, picas, cent´ımetros, mil´ımetros, pulgadas, puntos redondeados (big points), puntos escalares (scaled points), cuadratines (un cuadrat´ın es, aproximadamente, la anchura de una letra M en el cuerpo base) y espacios modulares (un espacio modular es, aproximadamente, la altura de una letra x en el cuerpo base); y tama˜ no flexible es una medida variable, es decir, una medida que puede ensancharse y encogerse para que el LATEX pueda componer el texto de manera óptima. Las unidades de medida del LATEX se expresan de la manera siguiente: dd cc pt pc cm mm in bp sp em ex

punto Didot (1157 dd = 1238 pt) c´ıcero (1 cc = 12 dd) punto pica pica (1 pc = 12 pt) cent´ımetro (2,54 cm = 1 in) mil´ımetro (10 mm = 1 cm) pulgada (1 in = 72,27 pt) punto redondeado (72 bp = 1 in) punto escalar (65536 sp = 1 pt) cuadrat´ın espacio modular

Las dos u ´ltimas son unidades relativas al cuerpo base, mientras que todas las otras son unidades de medida absolutas. As´ı, la macro \setlength{\parindent}{0pt} elimina el sangrado de los p´ arrafos, mientras que la macro \setlength{\parskip}{1em plus 0,5em minus 0,2em} aumenta el espaciado entre p´ arrafos, el cual podr´ a variar entre 0,8 cuadratines y 1,5 cuadratines. Es posible también introducir un sangrado en un p´ arrafo en particular, mediante la macro

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

61

\indent al inicio del p´ arrafo. Obviamente, esto ser´ a efectivo siempre que el tama˜ no del sangrado no haya sido especificado como un valor igual a cero mediante la macro \parindent. Para introducir un sangrado en el primer p´ arrafo de cada cap´ıtulo y apartado, sin embargo, basta activar el paquete de definiciones indentfirst. Asimismo, se puede eliminar el sangrado en un p´ arrafo en particular, mediante la macro \noindent al principio del p´ arrafo. Esto suele ser necesario cuando el cuerpo del documento no comienza con ning´ un t´ıtulo de cap´ıtulo o apartado y, por lo tanto, el LATEX no elimina el sangrado del primer p´ arrafo. atica el espaciado más adecuado entre palabras y El LATEX determina de manera autom´ p´ arrafos. Sin embargo, a veces puede resultar más conveniente agregar espacios en un docuarrafos mento LATEX, tanto espacio entre palabras (espaciado horizontal) como espacio entre p´ (espaciado vertical). La macro \hspace{tama˜ no} introduce un espacio horizontal de longitud igual a tama˜ no. Sin embargo, el LATEX elimina el espacio horizontal agregado, cuando éste cae al comienzo o al final de una l´ınea. En este caso, es preciso introducir la macro \hspace* en lugar de \hspace. Este tines.

es un espacio de cinco cuadra-

Este\hspace{5em}es un espacio de cinco cuadratines.

También se puede agregar espacio entre dos párrafos. La macro \vspace{tama˜ no} introduce un espacio vertical de longitud igual a tama˜ no. Normalmente esta macro se escribe entre dos l´ıneas en blanco, porque de otro modo la macro \vspace no tiene efecto en el lugar donde se escribe sino al final del p´ arrafo. El LATEX también elimina el espacio vertical agregado cuando éste cae al comienzo o al final de una página. En este caso, es preciso escribir la macro \vspace* en lugar de \vspace. Asimismo, se puede agregar espacio vertical entre dos l´ıneas de un p´ arrafo. La macro \\[tama˜ no] divide la l´ınea e introduce un espacio vertical de longitud igual a tama˜ no antes de la l´ınea siguiente. Además, las clases estándares de documentos LATEX definen tres tama˜ nos estándares de espaciado vertical, los cuales se introducen mediante las macros \smallskip \medskip \bigskip

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

62

La longitud del espacio vertical que introducen estas macros var´ıa seg´ un la clase de documentos LATEX de que se trate, pero en las clases estándares de documentos LATEX el espacio \smallskip es de 3 puntos, el espacio \medskip es de 6 puntos y el espacio \bigskip es de 12 puntos, aproximadamente. Todos estos son espacios horizontales y verticales de tama˜ no fijo. Se puede introducir también espaciado de tama˜ no variable, mediante la macro \stretch{factor } donde n es un n´ umero entero o real que especifica la proporci´ on en la cual el espacio puede ensancharse hasta ocupar todo el espacio que queda en la l´ınea o en la p´ agina. El espaciado de tama˜ no variable es muy u ´til para alinear texto, tanto horizontalmente como verticalmente. x

x

x

x\hspace{\stretch{1}} x\hspace{\stretch{2}}x

Para alinear verticalmente el texto es preciso escribir la macro \stretch conjuntamente con las macros \vspace y \pagebreak. Por ejemplo, se puede centrar un p´ arrafo en una p´ agina poniendo la macro \vspace*{\stretch{1}} antes del p´ arrafo y la macro \vspace*{\stretch{1}} seguida de la macro \pagebreak después del párrafo, y se puede componer un p´ arrafo a final de p´ agina poniendo la macro \vspace{\stretch{1}} antes del p´ arrafo y la macro \pagebreak después del párrafo. Finalmente, la macro \hfill introduce un espacio horizontal de tama˜ no variable, el cual puede ensancharse desde un tama˜ no nulo hasta ocupar todo el espacio que queda en la l´ınea, mientras que la macro \vfill introduce una divisi´ on de p´ arrafo y un espacio vertical de tama˜ no variable, el cual puede ensancharse desde un tama˜ no nulo hasta ocupar todo el espacio que queda en la p´ agina. La macro \hfill es equivalente a la macro \hspace{\fill}, mientras que la macro \vfill equivale a una l´ınea en blanco seguida de una macro \vspace{\fill}.

4.7

Entornos de texto

El LATEX incorpora una serie de entornos de texto estándar, que resuelven algunos problemas espec´ıficos de composición de textos. Los más importantes son los que permiten componer incisos, citaciones y poemas (quote, quotation y verse), enumeraciones (itemize, enumerate, description y list), texto alineado horizontalmente (flushleft, flushright, center, tabular y tabbing) y texto mecanografiado (verbatim), as´ı como las llamadas minip´ aginas (minipage). Los entornos se especifican mediante un par de macros \begin{nombre} texto \end{nombre}

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

63

donde nombre es el nombre del entorno. Por ejemplo, el entorno itemize, que se describe más abajo, permite componer enumeraciones o listas los elementos de las cuales se disponen formando un p´ arrafo aparte y se identifican mediante redondillas: Seg´ un el objeto particular de su estudio, la matem´ atica se divide en: • Geometr´ıa ´ • Algebra • An´ alisis matem´ atico • Topolog´ıa • Teor´ıa de conjuntos • Teor´ıa de los n´ umeros • C´ alculo de probabilidades • C´ alculo numérico

Seg´ un el objeto particular de su estudio, la matem´ atica se divide en: \begin{itemize} \item Geometr´ ıa \item ´ Algebra \item An´ alisis matem´ atico \item Topolog´ ıa \item Teor´ ıa de conjuntos \item Teor´ ıa de los n´ umeros \item C´ alculo de probabilidades \item C´ alculo num´ erico \end{itemize}

También se pueden definir nuevos entornos, mediante la macro \newenvironment{nombre}{apertura}{cierre} donde nombre es el nombre del nuevo entorno y apertura y cierre son series de macros que se activan al inicio y al final del entorno. Los entornos nuevos se suelen definir en términos de otros entornos ya existentes, como por ejemplo el entorno itemize, de tal manera que las macros apertura abren estos entornos y las macros cierre los cierran, adem´ as de introducir otros efectos como, por ejemplo, el resalte de los elementos de la enumeración: La interpenetraci´ on entre ramas ha hecho que uno pueda englobar la matem´ atica en tres campos: • el ´ algebra o matem´ atica del discreto y de los procedimientos finitos, • el an´ alisis o tratamiento del infinito y del continuo (sobre la noci´ on del l´ımite), • la topolog´ıa o estudio de la continuidad.

La interpenetraci´ on entre ramas ha hecho que uno pueda englobar la matem´ atica en tres campos: \newenvironment{enumeracion} {\begin{itemize}\em} {\end{itemize}} \begin{enumeracion} \item el \emph{´ algebra} o matem´ atica del discreto y de los procedimientos finitos, \item el \emph{an´ alisis} o tratamiento del infinito y del continuo (sobre la noci´ on del l´ ımite), \item la \emph{topolog´ ıa} o estudio de la continuidad. \end{enumeracion}

Los entornos pueden incluir otros entornos, y as´ı sucesivamente, siempre que se mantenga el orden en que se abren y se cierran los diferentes entornos. Por ejemplo, \begin{itemize} ... \begin{em} ... \end{em} ... \end{itemize} es correcto, mientras que

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

64

\begin{itemize} ... \begin{em} ... \end{itemize} ... \end{em} no lo es, porque se ha cerrado el entorno itemize antes de haber cerrado el entorno em. Los nuevos entornos también pueden tener argumentos. Su definici´ on se hace en este caso mediante la macro \newenvironment{nombre}[n]{apertura}{cierre} donde n es el n´ umero de argumentos. Los par´ ametros #1, #2, . . . , #n sólo pueden aparecer en la serie de macros apertura. Por ejemplo: La interpenetraci´ on entre ramas ha hecho que uno pueda englobar la matem´ atica en tres campos: ´ Algebra o matem´ atica del discreto y de los procedimientos finitos. An´ alisis o tratamiento del infinito y del continuo (sobre la noci´ on del l´ımite). Topolog´ıa o estudio de la continuidad.

La interpenetraci´ on entre ramas ha hecho que uno pueda englobar la matem´ atica en tres campos: \newenvironment{elemento}[1] {\begin{quote}\emph{#1}} {\end{quote}} \begin{elemento}{´ Algebra} o matem´ atica del discreto y de los procedimientos finitos. \end{elemento} \begin{elemento}{An´ alisis} o tratamiento del infinito y del continuo (sobre la noci´ on del l´ ımite). \end{elemento} \begin{elemento}{Topolog´ ıa} o estudio de la continuidad. \end{elemento}

La activaci´ on de una macro \newenvironment da un error del LATEX si el entorno ya hab´ıa sido definido, o si se trata de uno de los entornos est´ andares del LATEX. En estos casos, es posible modificar la definici´ on del entorno existente, mediante la macro \renewenvironment En general, sin embargo, no es recomendable cambiar la definici´ on de un entorno est´ andar del LATEX, salvo que se conozca su funcionalidad con todo detalle y que se sepa exactamente qué uso se ha hecho en el documento LATEX y también qué uso se quiere hacer. Resulta conveniente, entonces, cambiar el nombre del entorno por otro nombre que a´ un no haya sido definido.

Composici´ on de incisos, citaciones y poemas Cuando se ha de resaltar todo un p´ arrafo de texto, la macro \emph deja de ser conveniente y es recomendable componerlo en un entorno de inciso o quote. Por ejemplo:

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

65

Los autores del libro Ortotipograf´ıa afirman que Para gobernarse en el mundo de las letras ahora ya no basta la vieja urbanidad ortogr´ afica: la galaxia Gutenberg, m´ as se˜ nora que nunca, impone la ortotipograf´ıa.

Los autores del libro \emph{Ortotipograf´ ıa} afirman que \begin{quote} Para gobernarse en el mundo de las letras ahora ya no basta la vieja urbanidad ortogr´ afica: la galaxia Gutenberg, m´ as se~ nora que nunca, impone la orto\emph{tipo}graf´ ıa. \end{quote}

Cuando el texto en que se quiere hacer el resalte consiste en una serie de párrafos, sin embargo, resulta conveniente componerlo en un entorno de citaci´ on o quotation. Por ejemplo: Los autores del libro Ortotipograf´ıa afirman en la contraportada que A principios del segundo milenio antes de Cristo, un lapicida fenicio provisto de escarpa y martillo ten´ıa bastante con los veintid´ os signos del alfabeto que acababa de inventar para expresar todo lo que necesitaba decir. Cuatro mil a˜ nos después, un teclista sentado delante de la pantalla del ordenador necesita unos ciento cincuenta signos para componer el texto de una publicaci´ on impresa de car´ acter general.

Los autores del libro \emph{Ortotipograf´ ıa} afirman en la contraportada que \begin{quotation} A principios del segundo milenio antes de Cristo, un lapicida fenicio provisto de escarpa y martillo ten´ ıa bastante con los veintid´ os signos del alfabeto que acababa de inventar para expresar todo lo que necesitaba decir. \par Cuatro mil a~ nos despu´ es, un teclista sentado delante de la pantalla del ordenador necesita unos ciento cincuenta signos para componer el texto de una publicaci´ on impresa de car´ acter general. \end{quotation}

Aparte de incisos y citaciones, se puede componer texto en entornos de poemas o verse. A pesar que el hecho de escribir poemas puede parecer una cosa no muy habitual en la comunidad académico-cient´ıfica, hay muchos profesores e investigadores que son al mismo tiempo escritores, como es el caso de la profesora Cèlia Riba que, en enero de 1985, escribi´ o el poema siguiente:

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

66

Aix´ı com plou damunt el mar en calma caient la gota amb plor de fina agulla que esquin¸ca l’aigua i la claror despulla, em pren a mi sotmès sota el reialme del cam´ı inesperat, quan de la balma he eixit sense saber on la mar mulla la riba nova all` a on l’oreig s’encalma, i rodo bojament, i el temps s’esfulla. El meu cam´ı m’emmena vers racons desconeguts dels ulls, desvetllant m´ ons del nou i estrany, cercant enll` a l’eixida de l’amarga rutina que em reté envescat i enxarxat a aquest quefer que alguns, solemnement, en diuen vida. Cèlia Riba

\begin{verse} Aix´ ı com plou damunt el mar en calma \\ caient la gota amb plor de fina agulla \\ que esquin¸ ca l’aigua i la claror despulla, \\ em pren a mi sotm` es sota el reialme \par del cam´ ı inesperat, quan de la balma \\ he eixit sense saber on la mar mulla \\ la riba nova all` a on l’oreig s’encalma, \\ i rodo bojament, i el temps s’esfulla. \par El meu cam´ ı m’emmena vers racons \\ desconeguts dels ulls, desvetllant m´ ons \\ del nou i estrany, cercant enll` a l’eixida \par de l’amarga rutina que em ret´ e \\ envescat i enxarxat a aquest quefer \\ que alguns, solemnement, en diuen vida. \par \rightline{\emph{C` elia Riba}} \end{verse}

Composici´ on de enumeraciones Se pueden componer enumeraciones o listas y disponer sus elementos formando un p´ arrafo aparte, mediante los entornos itemize, enumerate, description y list. Dentro de estos entornos, cada elemento de la enumeración ha de ir precedido de la macro \item. En el caso del entorno itemize, los elementos de la enumeración se identifican mediante una redondilla, pero mediante un gui´ on largo en negrita si se trata de una enumeraci´ on de enumeraciones, mediante un asterisco en el caso de una enumeración los elementos de la cual son enumeraciones de elementos que son, a su vez, enumeraciones, y mediante un punto volado (\cdot) en el caso de enumeraciones de enumeraciones de enumeraciones de enumeraciones; es decir, para enumeraciones de primer nivel, de segundo nivel, de tercer nivel y de cuarto nivel, respectivamente:

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

67

• Introducci´ on al LATEX • Texto con LATEX – Reglas b´ asicas – Entornos de texto ∗ Incisos, citaciones y poemas · quote · quotation · verse ∗ Enumeraciones ∗ Texto alineado mente

horizontal-

\begin{itemize} \item Introducci´ on al \LaTeX \item Texto con \LaTeX \begin{itemize} \item Reglas b´ asicas \item Entornos de texto \begin{itemize} \item Incisos, citaciones y poemas \begin{itemize} \item \textsf{quote} \item \textsf{quotation} \item \textsf{verse} \end{itemize} \item Enumeraciones \item Texto alineado horizontalmente \item Texto mecanografiado \end{itemize} \end{itemize} \end{itemize}

∗ Texto mecanografiado

En el caso del entorno enumerate, los elementos de la enumeración se identifican mediante n´ umeros arábigos, mediante letras min´ usculas incluidas entre paréntesis, mediante n´ umeros romanos en min´ uscula o bien mediante letras may´ usculas, seg´ un se trate de enumeraciones de primer nivel, segundo, tercero o cuarto, respectivamente: 1. Introducci´ o al LATEX 2. Texto con LATEX (a) Reglas b´ asicas (b) Entornos de texto i. Incisos, citaciones y poemas A. quote B. quotation C. verse ii. Enumeraciones iii. Texto alineado mente

horizontal-

\begin{enumerate} \item Introducci´ o al \LaTeX \item Texto con \LaTeX \begin{enumerate} \item Reglas b´ asicas \item Entornos de texto \begin{enumerate} \item Incisos, citaciones y poemas \begin{enumerate} \item \textsf{quote} \item \textsf{quotation} \item \textsf{verse} \end{enumerate} \item Enumeraciones \item Texto alineado horizontalmente \item Texto mecanografiado \end{enumerate} \end{enumerate} \end{enumerate}

iv. Texto mecanografiado

El LATEX admite hasta un m´ aximo de cuatro niveles de enumeraciones, los cuales no han de ser necesariamente todos entornos itemize, todos enumerate, todos description o todos entornos list:

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

68

1. Composici´ on de textos cient´ıficos 2. Preparaci´ on electr´ onica de originales • Programas de composici´ on visual • Procesadores de textos cient´ıficos • Rudimentos de tipograf´ıa

\begin{enumerate} \item Composici´ on de textos cient´ ıficos \item Preparaci´ on electr´ onica de originales \begin{itemize} \item Programas de composici´ on visual \item Procesadores de textos cient´ ıficos \item Rudimentos de tipograf´ ıa \end{itemize} \end{enumerate}

Tanto en el entorno itemize como en el entorno enumerate, la identificaci´ on estándar de los elementos de la enumeración se puede cambiar mediante un argumento opcional de la macro \item, que da la identificaci´ on del elemento de la enumeración: \item [etiqueta] elemento Esta etiqueta puede ser, de hecho, cualquier macro que permita identificar el elemento y distinguirlo del resto de los elementos de la enumeración: (1) Introducci´ on al LATEX (2) Texto con LATEX (3) Matem´ aticas con LATEX (4) Figuras y tablas con LATEX (5) Gr´ aficos con LATEX

\begin{itemize} \item [(1)] Introducci´ on al \LaTeX \item [(2)] Texto con \LaTeX \item [(3)] Matem´ aticas con \LaTeX \item [(4)] Figuras y tablas con \LaTeX \item [(5)] Gr´ aficos con \LaTeX \end{itemize}

También se puede cambiar la identificaci´ on estándar de todos los elementos de una enumeraci´ on, mediante las macros \renewcommand{\labelitemi}{identificaci´ on} \renewcommand{\labelitemii}{identificaci´ on} \renewcommand{\labelitemiii}{identificaci´ on} \renewcommand{\labelitemiv}{identificaci´ on} para las enumeraciones de primer nivel, segundo, tercero y cuarto, respectivamente, de un entorno itemize. Por ejemplo: – Introducci´ on al LATEX – Texto con LATEX – Matem´ aticas con LATEX – Figuras y tablas con LATEX – Gr´ aficos con LATEX

\renewcommand{\labelitemi}{\textbf{--}} \begin{itemize} \item Introducci´ on al \LaTeX \item Texto con \LaTeX \item Matem´ aticas con \LaTeX \item Figuras y tablas con \LaTeX \item Gr´ aficos con \LaTeX \end{itemize}

En el caso del entorno description, los elementos de la enumeración han de incluir necesariamente el par´ ametro etiqueta. Esta etiqueta o identificaci´ on de los elementos se compone autom´ aticamente en negrita:

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

69

La interpenetraci´ on entre ramas ha hecho que uno pueda englobar la matem´ atica en tres campos: ´ Algebra Matem´ atica del discreto y de los procedimientos finitos. An´ alisis Tratamiento del infinito y del continuo (sobre la noci´ on del l´ımite). Topolog´ıa Estudio de la continuidad.

La interpenetraci´ on entre ramas ha hecho que uno pueda englobar la matem´ atica en tres campos: \begin{description} \item [´ Algebra] Matem´ atica del discreto y de los procedimientos finitos. \item [An´ alisis] Tratamiento del infinito y del continuo (sobre la noci´ on del l´ ımite). \item [Topolog´ ıa] Estudio de la continuidad. \end{description}

El entorno list es una generalización de los otros entornos de enumeraci´ on. De hecho, muchos de los entornos del LATEX han sido programados por su autor como variaciones del entorno list. Una enumeración se entiende, en general, como una lista cuyos elementos se disponen formando un p´ arrafo aparte, con una separaci´ on adicional respecto a los márgenes izquierdo y derecho, y se identifican mediante una etiqueta. Eventualmente, estas etiquetas pueden ser vac´ıas y la separaci´ on adicional respecto a los m´ argenes puede ser nula. Este entorno tiene dos argumentos. El primer argumento es el texto que se ha de usar como etiqueta de todo elemento de la enumeración que no lleve el argumento opcional de identificación en la macro \item correspondiente. El segundo argumento consiste en declaraciones que determinan el formato de la enumeración. Para poder enumerar automáticamente los elementos de la enumeración, el segundo argumento del entorno list puede incluir un contador, es decir, una variable cuyo valor se inicializa al comienzo del entorno y se incrementa en una unidad justo antes de cada macro \item que no lleve el argumento opcional de identificaci´ on del elemento. Además de los contadores estándares del LATEX (part, chapter, section, subsection, subsubsection, paragraph, subparagraph, page, equation, figure, table, footnote, mpfootnote, enumi, enumii, enumiii y enumiv),mediante la macro \newcounter{contador } se pueden definir nuevos contadores . Los nuevos contadores se pueden usar en el segundo argumento del entorno list mediante la macro \usecounter{contador }: Los axiomas de Armstrong para la inferencia de dependencias funcionales en bases de datos relacionales son los siguientes: A–I Reflexividad A–II Extensibilidad A–III Pseudotransitividad

Los axiomas de Armstrong para la inferencia de dependencias funcionales en bases de datos relacionales son los siguientes: \newcounter{axioma} \begin{list}{A--\Roman{axioma}} {\usecounter{axioma} \setlength{\labelwidth}{15mm}} \item Reflexividad \item Extensibilidad \item Pseudotransitividad \end{list}

Hay también una forma muy simplificada del entorno list, el entorno trivlist, que no admite ning´ un argumento y que simplemente anula la anchura de la etiqueta de identificaci´ on de los elementos de la enumeración, como también anula la separaci´ on adicional respecto a los márgenes izquierdo y derecho.

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

70

Este entorno puede ser de alguna utilidad para definir entornos de enumeraci´ on de un u ńico elemento, sin ninguna identificaci´ on. Por ejemplo, el entorno \begin{center} texto \end{center} es equivalente a \begin{trivlist} \centering \item texto \end{trivlist}

Composici´ on de texto alineado horizontalmente La manera estándar de alinear los p´ arrafos dentro de la anchura de la caja de un documento A argenes. Las otras tres maneras básicas de L TEX es justificados o alineados contra los dos m´ alinear el texto del documento se pueden efectuar mediante los entornos y las declaraciones siguientes: Entorno flushleft flushright center

Declaraci´ on \raggedright \raggedleft \centering

Efecto Texto alineado contra el margen izquierdo Texto alineado contra el margen derecho Texto centrado entre los dos márgenes

Los ejemplos siguientes ilustran el uso de estos entornos. Hay cuatro maneras b´ asicas de alinear los p´ arrafos dentro de la anchura de la caja: (a) alineado contra el margen izquierdo, (b) alineado contra el margen derecho, (c) centrado entre los dos m´ argenes y (d) justificado o alineado contra los dos m´ argenes.

\begin{flushleft} Hay cuatro maneras b´ asicas de alinear los p´ arrafos dentro de la anchura de la caja: (a) alineado contra el margen izquierdo, (b) alineado contra el margen derecho, (c) centrado entre los dos m´ argenes y (d) justificado o alineado contra los dos m´ argenes. \end{flushleft}

Hay cuatro maneras b´ asicas de alinear los p´ arrafos dentro de la anchura de la caja: (a) alineado contra el margen izquierdo, (b) alineado contra el margen derecho, (c) centrado entre los dos m´ argenes y (d) justificado o alineado contra los dos m´ argenes.

\begin{flushright} Hay cuatro maneras b´ asicas de alinear los p´ arrafos dentro de la anchura de la caja: (a) alineado contra el margen izquierdo, (b) alineado contra el margen derecho, (c) centrado entre los dos m´ argenes y (d) justificado o alineado contra los dos m´ argenes. \end{flushright}

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

71

Hay cuatro maneras b´ asicas de alinear los p´ arrafos dentro de la anchura de la caja: (a) alineado contra el margen izquierdo, (b) alineado contra el margen derecho, (c) centrado entre los dos m´ argenes y (d) justificado o alineado contra los dos m´ argenes.

\begin{center} Hay cuatro maneras b´ asicas de alinear los p´ arrafos dentro de la anchura de la caja: (a) alineado contra el margen izquierdo, (b) alineado contra el margen derecho, (c) centrado entre los dos m´ argenes y (d) justificado o alineado contra los dos m´ argenes. \end{center}

Aparte de estas tres formas básicas de alineación horizontal, el entorno tabular permite la composición de tablas de texto alineado en columnas, separadas opcionalmente por l´ıneas horizontales y verticales. El LATEX determina automáticamente la anchura de cada columna. En una variante del entorno tabular, el entorno tabular*, se ha de especificar la anchura total que se quiere para la tabla. El LATEX determina en este caso la anchura de cada columna y el espaciado entre columnas necesario para llenar exactamente la anchura total especificada. El entorno tabular requiere un argumento, el cual especifica el formato de la tabla. Tiene que haber una entrada para cada columna de la tabla. Las entradas admitidas son l para una columna de texto alineado contra el margen izquierdo, r para una columna de texto alineado contra el margen derecho, c para una columna de texto centrado y p{anchura} para una columna que contenga un p´ arrafo de texto de la anchura indicada. Además, las entradas de barra vertical | indican la inclusi´ on de l´ıneas verticales entre columnas, y una entrada de la forma *{n}{formato} es equivalente a n copias de la especificación formato, la cual puede incluir, a su vez, otra especificación *{n}{formato}. Esto permite escribir, por ejemplo, una especificación de seis columnas centradas de la forma *6c en lugar de cccccc, y una especificación de doce columnas centradas como *{12}c en lugar de cccccccccccc. Por otra parte, una entrada de la forma @{texto} inserta texto en cada fila de la tabla, suprimiendo el espaciado adicional que el LATEX normalmente inserta entre las columnas de una tabla. Este entorno admite también una opci´ on de alineaci´ on vertical de la tabla, coincidiendo con la alineaci´ on vertical de la primera fila (t, top), coincidiendo con la alineaci´ on vertical de la u ´ltima fila (b, bottom) de la tabla, o bien centrada verticalmente (c, center ), que es la opci´ on por defecto. Estas opciones, de hecho, no tienen ning´ un sentido cuando la tabla se compone en un p´ arrafo aparte, es decir, s´ olo tienen sentido cuando la tabla se compone dentro de un p´ arrafo. As´ı entonces, la forma genérica de estos entornos es \begin{tabular}[alineaci´ on]{formato} filas \end{tabular} para el entorno tabular y

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

72

\begin{tabular*}{anchura}[alineaci´ on]{formato} filas \end{tabular*} para el entorno tabular*. Dentro del entorno tabular, el carácter & indica el salto a la columna siguiente, dos barras invertidas \\ indican el comienzo de una nueva l´ınea o fila de la tabla, la macro \hline inserta una l´ınea horizontal que abarca toda la anchura de la tabla, la macro \cline{m-n} inserta una l´ınea horizontal que se extiende desde la columna m hasta la columna n, donde 1 es la primera columna contando desde la izquierda, y la macro \vline inserta una l´ınea vertical que abarca toda la altura de la fila. No es preciso poner dos barras invertidas \\ en la u ´ltima l´ınea o fila de una tabla, salvo que se quiera insertar una l´ınea horizontal al final de la tabla. El siguiente es un ejemplo de una tabla muy sencilla:

Asignatura Introducci´ on a la Inteligencia Artificial Técnicas y Métodos de Inteligencia Artificial Ingenier´ıa del Software: Especificaci´ on Ingenier´ıa del Software: Dise˜ no I Ingenier´ıa del Software: Dise˜ no II Conceptos B´ asicos de Redes de Ordenadores Sistemas de Transporte de Datos

Créditos 4,5

Dept. LSI

4,5

LSI

6

LSI

6

LSI

6

LSI

4,5

AC

4,5

AC

\begin{tabular}{p{30mm}rc} Asignatura & Cr´ editos & Dept. \\ \hline Introducci´ on a la Inteligencia Artificial & 4,5 & LSI \\ T´ ecnicas y M´ etodos de Inteligencia Artificial & 4,5 & LSI \\ Ingenier´ ıa del Software: Especificaci´ on & 6 & LSI \\ Ingenier´ ıa del Software: Dise~ no I & 6 & LSI \\ Ingenier´ ıa del Software: Dise~ no II & 6 & LSI \\ Conceptos B´ asicos de Redes de Ordenadores & 4,5 & AC \\ Sistemas de Transporte de Datos & 4,5 & AC \end{tabular}

La alineaci´ on vertical de las entradas de la primera columna de la tabla del ejemplo anterior no es, sin embargo, la m´ as adecuada en este caso. El LATEX compone el texto correspondiente a una especificación de columna p{anchura} como un p´ arrafo, la alineaci´ on vertical del cual coincide con la alineaci´ on vertical de la primera l´ınea del p´ arrafo, mientras que en este ejemplo la alineaci´ on con la u ´ltima l´ınea del p´ arrafo ser´ıa m´ as conveniente, ya que la informaci´ on contenida en la entrada contin´ ua en las siguientes columnas de la tabla. Esto se puede resolver mediante la activación del paquete de definiciones array, que da muchas opciones adicionales para el entorno tabular, entre las cuales b{anchura}, que especifica la composición de un p´ arrafo la alineaci´ on vertical del cual coincide con la alineaci´ on vertical de su u ´ltima l´ınea:

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

Asignatura Introducci´ on a la Inteligencia Artificial Técnicas y Métodos de Inteligencia Artificial

73

Créditos

Dept.

4,5

LSI

4,5

LSI

\begin{tabular}{b{30mm}rc} Asignatura & Cr´ editos & Dept. \\ \hline Introducci´ on a la Inteligencia Artificial & 4,5 & LSI \\ T´ ecnicas y M´ etodos de Inteligencia Artificial & 4,5 & LSI \\ \end{tabular}

Las entradas de la segunda columna de la tabla del ejemplo, sin embargo, de hecho tendr´ıan que estar alineadas en la coma decimal, en lugar de la alineaci´ on a la izquierda o a la derecha. El paquete de definiciones dcolumn da la opci´ on adicional de alinear columnas en la coma decimal en el entorno tabular, como también en el entorno de matemáticas array, incluso cuando se mezclan n´ umeros enteros y n´ umeros con cifras decimales en las filas de una tabla. La especificación de columna D{punto}{coma}{decimales} indica la composici´ on de una columna de n´ umeros alineados en la coma decimal, donde punto es el carácter usado en el original electr´ onico para separar las cifras enteras de las cifras decimales (normalmente una coma, pero un punto en la tradici´ on anglosajona), coma es el carácter usado A en el documento L TEX compuesto para separar cifras enteras de decimales (es decir, una coma) y decimales es el n´ umero máximo de cifras decimales admitidas en la columna, donde un valor negativo especifica que la columna puede incluir cualquier n´ umero de cifras decimales. As´ı, la especificación D{.}{,}{-1} indica la composici´ on de una columna de n´ umeros con cualquier cantidad de cifras decimales, alineados en la coma decimal y escritos con punto decimal pero compuestos con coma decimal, mientras que la especificación D{,}{,}{1} indica la composición de una columna de n´ umeros que tienen una cifra decimal o ninguna: Asignatura Introducci´ on a la Inteligencia Artificial Técnicas y Métodos de Inteligencia Artificial Compiladores I Compiladores II Ingenier´ıa del Software: Especificaci´ on Ingenier´ıa del Software: Dise˜ no I Ingenier´ıa del Software: Dise˜ no II

Créditos

Dept.

4,5

LSI

4,5 4,5 4,5

LSI LSI LSI

6

LSI

6

LSI

6

LSI

\begin{tabular}{b{30mm}D{,}{,}{1}c} Asignatura & \multicolumn{1}{r}{Cr´ editos} & Dept. \\ \hline Introducci´ on a la Inteligencia Artificial & 4,5 & LSI \\ T´ ecnicas y M´ etodos de Inteligencia Artificial & 4,5 & LSI \\ Compiladores I & 4,5 & LSI \\ Compiladores II & 4,5 & LSI \\ Ingenier´ ıa del Software: Especificaci´ on & 6 & LSI \\ Ingenier´ ıa del Software: Dise~ no I & 6 & LSI \\ Ingenier´ ıa del Software: Dise~ no II & 6 & LSI \end{tabular}

Una tabla m´ as compleja incluye, por ejemplo, l´ıneas horizontales y verticales que delimitan con más claridad las filas y las columnas:

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

74

n 1 2 3 4 5 6 7 8 9 10

n2 1 4 9 16 25 36 49 64 81 100

n3 1 8 27 64 125 216 343 512 729 1000

n4 1 16 81 256 625 1296 2401 4096 6561 10000

\begin{tabular}{|r|r|r|r|r|} \hline $n$ & $n^2$ & $n^3$ & $n^4$ & $n^5$ \\ \hline 1 & 1 & 1 & 1 & 1 \\ 2 & 4 & 8 & 16 & 32 \\ 3 & 9 & 27 & 81 & 243 \\ 4 & 16 & 64 & 256 & 1024 \\ 5 & 25 & 125 & 625 & 3125 \\ 6 & 36 & 216 & 1296 & 7776 \\ 7 & 49 & 343 & 2401 & 16807 \\ 8 & 64 & 512 & 4096 & 32768 \\ 9 & 81 & 729 & 6561 & 59046 \\ 10 & 100 & 1000 & 10000 & 100000 \\ \hline \end{tabular}

n5 1 32 243 1024 3125 7776 16807 32768 59046 100000

Una delimitaci´ on m´ as clara a´ un se puede conseguir a veces mediante dos l´ıneas horizontales o dos l´ıneas verticales sucesivas: n

n2

n3

n4

n5

1 2 3 4 5

1 4 9 16 25

1 8 27 64 125

1 16 81 256 625

1 32 243 1024 3125

6 7 8 9 10

36 49 64 81 100

216 343 512 729 1000

1296 2401 4096 6561 10000

7776 16807 32768 59046 100000

\begin{tabular}{|r|r|r|r|r|} \hline $n$ & $n^2$ & $n^3$ & $n^4$ & $n^5$ \\ \hline \hline 1 & 1 & 1 & 1 & 1 \\ 2 & 4 & 8 & 16 & 32 \\ 3 & 9 & 27 & 81 & 243 \\ 4 & 16 & 64 & 256 & 1024 \\ 5 & 25 & 125 & 625 & 3125 \\ \hline \hline 6 & 36 & 216 & 1296 & 7776 \\ 7 & 49 & 343 & 2401 & 16807 \\ 8 & 64 & 512 & 4096 & 32768 \\ 9 & 81 & 729 & 6561 & 59046 \\ 10 & 100 & 1000 & 10000 & 100000 \\ \hline \end{tabular}

También se pueden incluir entradas que abarcan m´ as de una columna de la tabla, mediante la macro \multicolumn{n}{alineaci´ on}{texto} donde n es el n´ umero de columnas que abarca la entrada, alineaci´ on es una de las especificaciones de columna l, r, c o p{anchura} y texto es el texto que se ha de componer. Estas entradas son muy u ´tiles a la hora de alinear el encabezamiento de una serie de columnas de una tabla, como por ejemplo:

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

75

Sistemas de medida tipogr´ afica Didot pica TEX y LATEX punto Didot punto pica dd cm c´ıcero pica cc mm pt in pc sp bp

\begin{tabular}{|c|c|cc|} \hline \multicolumn{4}{|c|}{Sistemas de medida tipogr\a’afica} \\ \hline Didot & pica & \multicolumn{2}{c|}{\TeX\ y \LaTeX} \\ \hline punto Didot & punto pica & dd & cm \\ c\a’{\i}cero & pica & cc & mm \\ & & pt & in \\ & & pc & sp \\ & & bp & \\ \hline \end{tabular}

Las macros \multicolumn también resultan muy u ´ tiles para cambiar la especificación de una entrada de la tabla, por ejemplo para cambiar la alineaci´ on horizontal o para que incluya o deje de incluir una l´ınea vertical: posici´ on 1 2 3 4 5 6 7 8 9

unidades I II III IV V VI VII VIII IX

decenas X XX XXX XL L LX LXX LXXX XC

centenas C CC CCC CD D DC DCC DCCC CM

millares M MM MMM

\begin{tabular}{|r|lll|l|} \hline posici\a’on & unidades & decenas & \multicolumn{1}{l}{centenas} & millares \\ \hline 1 & I & X & \multicolumn{1}{l}{C} & M \\ 2 & II & XX & \multicolumn{1}{l}{CC} & MM \\ 3 & III & XXX & \multicolumn{1}{l}{CCC} & MMM \\ \cline{5-5} 4 & IV & XL & CD \\ 5 & V & L & D \\ 6 & VI & LX & DC \\ 7 & VII & LXX & DCC \\ 8 & VIII & LXXX & DCCC \\ 9 & IX & XC & CM \\ \cline{1-4} \end{tabular}

Otra manera de alinear el texto en columnas es mediante el entorno tabbing, entorno que se parece al tabulador de las m´ aquinas de escribir. En el entorno tabbing, la alineaci´ on del texto en columnas se especifica fijando posiciones de tabulación (es decir, fijando el espaciado autom´ atico del tabulador) y haciendo un salto hasta la pr´ oxima posici´ on de tabulaci´ on (es decir, deteniendo el carro en la pr´ oxima columna del tabulador). Hay dos maneras de especificar las posiciones de tabulación en un entorno tabbing: en una l´ınea del texto que se ha de componer en columnas o bien, de manera expl´ıcita, fijando el espaciado hasta la pr´ oxima posici´ on de tabulaci´ on. En cualquier caso, dentro del entorno tabbing, una macro \= fija una posici´ on de tabulaci´ on, una macro \< indica un salto hasta la posici´ on de tabulaci´ on previa, una macro \> indica un salto hasta la pr´ oxima posici´ on de tabulaci´ on, una macro \- fija el margen izquierdo una posici´ on de tabulaci´ on hacia la izquierda y una macro \+ fija el margen izquierdo una posici´ on de tabulaci´ on hacia la derecha. Las l´ıneas de la tabla han de ir separadas por macros de final de l´ınea \\. Es preciso tener presente que el LATEX redefine algunas de las macros estándares para producir signos diacr´ıticos, \‘, \’ y \=, dentro de los entornos tabbing, además de redefinir la

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

76

macro \- que indica normalmente una posición de divisi´ on en s´ılabas. Estos signos diacr´ıticos se pueden componer dentro de un entorno tabbing mediante las macros \a‘, \a’ y \a=, mientras que no es preciso indicar ninguna posici´ on de divisi´ on en s´ılabas, dado que las filas de una tabla compuesta con el entorno tabbing nunca se dividen. As´ı, las posiciones de tabulaci´ on se pueden especificar en las filas mismas de la tabla: funci´ on fib(n: entero): entero si n=0 entonces retorna(0) sino si n=1 entonces retorna(1) sino retorna(fib(n-1)+fib(n-2)) fsi fsi ffunci´ on

\begin{tabbing} \textbf{funci\a’on} \= fib(n: entero): entero \\ \> \textbf{si} \= n=0 \textbf{entonces} \\ \> \> retorna(0) \\ \> \textbf{sino} \\ \> \> \textbf{si} \= n=1 \textbf{entonces} \\ \> \> \> retorna(1) \\ \> \> \textbf{sino} \\ \> \> \> retorna(fib(n-1)+fib(n-2)) \\ \> \> \textbf{fsi} \\ \> \textbf{fsi} \\ \textbf{f{}funci\a’on} \end{tabbing}

También se pueden especificar de manera expl´ıcita: funci´ on fib(n: entero): entero si n=0 entonces retorna(0) sino si n=1 entonces retorna(1) sino retorna(fib(n-1)+fib(n-2)) fsi fsi ffunci´ on

\begin{tabbing} \quad\=\quad\=\quad\=\quad\= \kill \textbf{funci\a’on} fib(n: entero): entero \\ \> \textbf{si} n=0 \textbf{entonces} \\ \> \> retorna(0) \\ \> \textbf{sino} \\ \> \> \textbf{si} n=1 \textbf{entonces} \\ \> \> \> retorna(1) \\ \> \> \textbf{sino} \\ \> \> \> retorna(fib(n-1)+fib(n-2)) \\ \> \> \textbf{fsi} \\ \> \textbf{fsi} \\ \textbf{f{}funci\a’on} \end{tabbing}

(donde la macro \kill mantiene las posiciones de tabulaci´ on pero no compone la fila donde se ha incluido esta macro). El espaciado delante de las macros \= forma parte de la separaci´ on entre las posiciones de tabulaci´ on correspondientes: x x

x x x x

\begin{tabbing} xxx\=xxx\=xxx\= \kill x \> x \> x \\ xxx \=xxx \=xxx \= \kill x \> x \> x \end{tabbing}

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

77

Composici´ on de texto mecanografiado Muchas veces es preciso incluir texto mecanografiado en un documento LATEX, por ejemplo para indicar, en un manual de instrucciones, todo lo que el usuario de un programa de ordenador ha de escribir con el teclado. A pesar que los caracteres de la familia mecanogr´ afica se parecen al texto mecanografiado, la activación de la declaraci´ on \ttfamily no anula el efecto del algoritmo on de p´ arrafos en l´ıneas y, por lo tanto, la simulaci´ on del texto mecanografiado del LATEX de divisi´ no es del todo fiel. El entorno verbatim resuelve este problema al reproducir fielmente todos los espacios y todas las divisiones de l´ınea del texto mecanografiado. Adem´ as, los caracteres especiales, como por ejemplo \ y {, son compuestos como caracteres ASCII normales dentro de un entorno verbatim, con lo cual ninguna de las macros del LATEX excepto \end{verbatim} puede ser activada. As´ı, el espaciado del texto compuesto dentro de un entorno verbatim es exactamente el espaciado dado en el original electr´ onico: function fib(n: integer): integer; begin if n=0 then fib := 0 else if n=1 then fib := 1 else fib := fib(n - 1) + fib(n - 2); end;

\begin{verbatim} function fib(n: integer): integer; begin if n=0 then fib := 0 else if n=1 then fib := 1 else fib := fib(n - 1) + fib(n - 2); end; \end{verbatim}

El entorno verbatim* da, adem´ as, una indicaci´ on visual de los espacios incluidos en el original electr´ onico: functionYfib(n:Yinteger):Yinteger; begin ifYn=0Ythen YYYYfibY:=Y0 elseYifYn=1Ythen YYYYfibY:=Y1 else YYYYfibY:=Yfib(nY-Y1)Y+Yfib(nY-Y2); end;

\begin{verbatim*} function fib(n: integer): integer; begin if n=0 then fib := 0 else if n=1 then fib := 1 else fib := fib(n - 1) + fib(n - 2); end; \end{verbatim*}

Para incluir texto mecanografiado dentro de un p´ arrafo del documento LATEX, sin embargo, es preciso emplear las macros \verb y \verb* en lugar de los entornos verbatim y verbatim*. El argumento de una macro \verb o \verb* ha de ir delimitado por dos caracteres idénticos cualesquiera, salvo espacios, letras o asteriscos, en lugar de las llaves que delimitan normalmente

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

78

los argumentos de una macro. Esto permite escoger como delimitador cualquier carácter que no haya sido incluido en el texto mecanografiado, como por ejemplo: La macro \newenvironment permite definir nuevos entornos, mientras que \renewenvironment sirve para redefinir un entorno existente.

La macro \verb+\newenvironment+^^capermite definir nuevos entornos, mientras que \verb+\renewenvironment+ sirve para redefinir un entorno existente.

Pr´ acticamente todos los ejemplos en este libro incluyen texto compuesto dentro de un entorno verbatim. Dado que los caracteres especiales pierden su significado normal dentro de un entorno verbatim o verbatim*, como también dentro del argumento de una macro \verb o \verb*, estos entornos y macros no se pueden usar dentro de los argumentos de otras macros. Sin embargo, se pueden incluir dentro de otros entornos.

Composici´ on de minip´ aginas A veces, puede ser necesario componer un párrafo de texto de una anchura diferente de la anchura normal de la caja, por ejemplo para incluirlo en un gr´ afico o como entrada de una tabla. Estos p´ arrafos se llaman minip´ aginas y se componen con LATEX mediante el entorno \begin{minipage}[alineaci´ on]{anchura} texto \end{minipage} o bien mediante la macro \parbox[alineaci´ on]{anchura}{texto} El argumento opcional alineaci´ on determina la alineaci´ on vertical de la minip´ agina, coincidiendo con la alineaci´ on vertical de su primera l´ınea (t, top), coincidiendo con la alineaci´ on vertical de su u ´ltima l´ınea (b, bottom), o bien centrada verticalmente (c, center ), que es la opci´ on por defecto: Este es un p´ arrafo alineado verticalEste es mente con su un p´ arrafo Este es primera l´ınea centrado un p´ arrafo verticalmente alineado verticalmente con su u ´ltima l´ınea

\parbox[b]{2cm}{Este es un p´ arrafo alineado verticalmente con su primera l´ ınea} \parbox{2cm}{Este es un p´ arrafo centrado verticalmente} \parbox[t]{2cm}{Este es un p´ arrafo alineado verticalmente con su ultima l´ ´ ınea}

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

4.8

79

Referencias cruzadas

Una de las razones para enumerar las diferentes partes en que se divide un documento LATEX, como por ejemplo los cap´ıtulos y los apartados, es poder dirigir el lector hacia una cierta parte del documento mediante lo que se llama referencias cruzadas. Otra raz´ on es distinguir los diferentes elementos en que se ha estructurado el trabajo escrito, a pesar que, en este sentido, la enumeración no ser´ıa estrictamente necesaria y la identificación de los cap´ıtulos y las secciones mediante t´ıtulos apropiados podr´ıa ser suficiente para distinguirlos. Una referencia cruzada incluye, entonces, la identificaci´ on de una parte del documento, como por ejemplo: “Véase el apartado 4.8 en la p´ agina 79 para m´ as detalles”, pero en los trabajos cient´ıficos también se suelen incluir referencias cruzadas hacia figuras, tablas y teoremas. A pesar que las referencias cruzadas se pueden escribir de manera expl´ıcita en el original electrónico, como por ejemplo: V´ ease el apartado 4.8 en la p´ agina 69 para m´ as detalles, esto conlleva la desventaja que una modificación eventual de la estructura o del contenido del documento, como por ejemplo el agregado de un nuevo apartado o la inclusi´ on de m´ as párrafos dentro de un apartado, puede hacer que las referencias 4.8 y 69 var´ıen y, por lo tanto, que se tengan que modificar en el original electr´ onico. atico para incluir referencias cruzadas, con lo cual no es El LATEX tiene un mecanismo autom´ preciso escribir referencias expl´ıcitas en el original electr´ onico sino que las referencias cruzadas se especifican mediante macros. El LATEX reemplaza en el documento compuesto toda macro incluida en el original electr´ onico de la forma \ref{etiqueta} para la referencia a la parte correspondiente del documento compuesto, como por ejemplo el n´ umero de cap´ıtulo, apartado, figura, tabla o teorema donde se ha incluido una macro \label{etiqueta} con la misma etiqueta, mientras que la macro \pageref{etiqueta} compone el n´ umero de p´ agina del documento LATEX correspondiente a la macro \label{etiqueta} del original electr´ onico. Una macro \ref se traduce en el n´ umero de cap´ıtulo o apartado donde pertenece la macro \label correspondiente cuando ésta está dentro de un p´ arrafo normal de texto, mientras que \ref da como resultado la inclusi´ on del n´ umero del elemento correspondiente cuando la macro \label está dentro de un entorno de enumeraci´ on: Véase el apartado 4.8 en la p´ agina 79.

V´ ease el apartado~\ref{cruzadas} en la p´ agina~\pageref{cruzadas}.

El LATEX obtiene las referencias necesarias del fichero auxiliar con extensi´ on .aux, el cual es un subproducto de la u ´ltima composición del documento. Esto quiere decir que es preciso procesar el documento LATEX al menos dos veces para obtener las referencias cruzadas correctas.

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

80

4.9

Notas marginales y a pie de p´ agina

Las notas marginales son un recurso usado muy a menudo para resaltar conceptos que se tratan en el cuerpo del texto, mientras que las notas a pie de página son un recurso para insertar informaci´ on de importancia secundaria respecto a lo que se trata en el cuerpo del texto, en particular para citar las fuentes de una informaci´ on o para remitir el lector a otras partes del mismo texto. La macro \marginpar{texto} inserta una nota marginal, donde el argumento texto se compone en un párrafo aparte pero situado al margen del resto del texto: en el margen derecho en el caso de la impresión a una cara del papel (con la opci´ on estándar oneside), en el margen izquierdo de las p´ aginas pares y en el margen derecho de las páginas impares en el caso de la impresión por las dos caras del papel (con la opci´ on estándar twoside), y en el margen más pr´ oximo cuando el documento se compone en dos columnas (con la opci´ on estándar twocolumn). La desventaja principal de las notas marginales es el hecho que hacen disminuir la parte disponible de la anchura de la caja para componer el cuerpo del texto, con lo cual el documento aginas. Consiguientemente, el costo y, por lo tanto, el LATEX es compuesto en más y más p´ precio de la publicaci´ on se encarecen y, entonces, muchas editoriales no admiten el uso de notas marginales, entre las cuales Edicions UPC. Es por esta raz´ on que no se usan notas marginales en este libro. Cuanto a las notas a pie de p´ agina, la macro \footnote[n´ um]{texto} inserta el argumento texto como nota a pie de p´ agina, donde el argumento opcional n´ um es la A aticamente las notas a pie de página en una numeraci´ on de la nota. El L TEX enumera autom´ serie u ńica, mediante n´ umeros, con todas las clases estándares de documentos LATEX, salvo las notas a pie de una minip´ agina como la del ejemplo siguiente, la cual se enumera mediante letras del alfabeto: Las notas a pie de p´ aginaa pueden incluir citaciones bibliogr´ aficas. a V´ ease

(Lamport, 1994, p. 17)

Las notas a pie de p´ agina\footnote{V´ ease~% \cite[p.~17]{lamport}} pueden incluir citaciones bibliogr´ aficas.

Además, con todas las clases estándares de documentos LATEX, las notas a pie de p´ agina incluidas dentro de los argumentos de las macros \title, \author y \date se representan mediante los nueve s´ımbolos siguientes: ∗, †, ‡, §, ¶, !, ∗∗, †† y ‡‡. Seg´ un las normas de estilo de algunas editoriales, la filiaci´ on de los autores de un trabajo cient´ıfico se ha de poner en notas a pie de p´ agina. Cuando dos autores o m´ as pertenecen a una misma institución, sin embargo, la inclusi´ on de una macro \footnote idéntica para cada autor origina la composici´ on de dos o m´ as notas idénticas a pie de p´ agina.

© Los autores, 1999; © Edicions UPC, 1999.

4 Texto con LATEX

81

En estos casos, es conveniente especificar la numeración y el texto de cada nota a pie de p´ agina por separado. La macro \footnotemark[n´ um] introduce la referencia n´ um en una nota a pie de p´ agina pero sin componer la nota a pie de p´ agina, mientras que la macro \footnotetext[n´ um]{texto} inserta el argumento texto como nota a pie de p´ agina, con la numeraci´ on n´ um, pero sin introducir A la referencia n´ um dentro del documento L TEX compuesto. El ejemplo siguiente ilustra su uso:

A Partial Algebras Approach to Graph Transformation R. Alberich∗

P. Burmeister†

G. Valiente∗

F. Rossell´ o∗

B. WojdySlo‡

∗

Mathematics and Computer Science Department, University of the Balearic Islands, Spain † Fachbereich Mathematik, Arbeitsgruppe Allgemeine Algebra und Diskrete Mathematik, Technische Hochschule Darmstadt, Germany ‡ Department of Mathematics, Kopernikus University, Toru´ n, Poland

\title{A Partial Algebras Approach to Graph Transformation} \author{R. Alberich\thanks{Mathematics and Computer Science Department, University of the Balearic Islands, Spain} \and P. Burmeister\thanks{Fachbereich Mathematik, Arbeitsgruppe Allgemeine Algebra und Diskrete Mathematik, Technische Hochschule Darmstadt, Germany} \and F. Rossell\’o\footnotemark[1] \and G. Valiente\footnotemark[1] \and B. Wojdy\l o\thanks{Department of Mathematics, Kopernikus University, Toru\’n, Poland}}

No tiene que haber ning´ un espacio delante de las macros \footnote y \footnotemark; de otro modo, el texto compuesto queda separado de la numeraci´ on de la nota, como por ejemplo en Las notas a pie de p´ agina

1

en lugar de Las notas a pie de p´ agina1

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

83

Cap´ıtulo 5

Matem´ aticas con LATEX La composición de textos matemáticos es una tarea extremadamente dif´ıcil, en relaci´ on con la composición de textos en general. La notaci´ on matemática se caracteriza por el uso de gran variedad de s´ımbolos (letras romanas, griegas, hebreas, góticas, caligr´ aficas, etc.) y las expresiones matemáticas suelen incluir sub´ındices y super´ındices, fracciones, delimitadores (paréntesis, corchetes, llaves, llaves angulares, barras verticales, etc.), s´ımbolos de operaci´ on (suma, producto, uni´ on, intersección, integral, etc.), s´ımbolos relacionales (igualdad, desigualdad, inclusi´ on, etc.), letras y subexpresiones con signos diacr´ıticos, vectores, matrices, determinantes, etc. La composición de textos cient´ıficos en general, sin embargo, conlleva muchos de los mismos problemas que la composición de textos matemáticos, por el hecho que pr´ acticamente todas las disciplinas cient´ıficas han ido incorporando durante su desarrollo, directamente o indirectamente, elementos de notación matemática. De hecho, en muchos casos la notación propia de una disciplina cient´ıfica no es sino una forma particular de notaci´ on matemática. Los s´ımbolos qu´ımicos son un claro ejemplo: a causa de la variedad isotr´ opica, de las diferentes formas alotrópicas y de las diversas cargas eléctricas que pueden soportar, los s´ımbolos de los elementos se suelen especificar mediante una letra o una serie de letras pero conjuntamente con sub´ındices y super´ındices, dispuestos simétricamente en torno a las letras del s´ımbolo, que representan el n´ umero at´ omico (sub´ındice izquierdo), el n´ umero de masa (super´ındice izquierdo), el n´ umero de a´tomos (sub´ındice derecho) y la carga i´ onica (super´ındice derecho), como por 2+ ejemplo 32 16 S2 para especificar el azufre. Es precisamente en las tareas de composición de textos cient´ıficos que incluyen muchos elementos de notación matemática, donde el LATEX supera los programas de composición visual. La gran acogida de los sistemas TEX y LATEX por parte de profesores e investigadores de estas areas lo demuestra. ´

5.1

Reglas b´ asicas

El LATEX ofrece un modo espec´ıfico para componer f´ ormulas matemáticas, el llamado modo matem´ atico. El modo matem´ atico permite escribir expresiones matemáticas tanto dentro de un

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

84

p´ arrafo de texto como en un p´ arrafo aparte, cosa que se suele llamar destacar o resaltar una f´ ormula. Para componer una f´ ormula en modo matem´ atico dentro de un p´ arrafo es preciso escribirla entre los s´ımbolos $ y $, o también entre dos s´ımbolos $ o bien dentro de un entorno math. Es decir, de cualquiera de las maneras siguientes: $ f´ ormula $

$ f´ ormula $

\begin{math} f´ ormula \end{math}

Una de las diferencias existentes entre el modo texto y el modo matemático es que el LATEX ignora todos los espacios que hay en el original electr´ onico cuando compone una f´ ormula en modo matem´ atico, para obtener el espaciado correcto de las f´ ormulas matemáticas. Por lo tanto, es preciso componer el texto en modo texto y las f´ ormulas en modo matemático: existenqyrtalesquea = bq + r

$existen q y r tales que a = b q + r$

existen q y r tales que a = bq + r existen $q$ y $r$ tales que $a = b q + r$

Esta no es, sin embargo, la u ńica soluci´ on posible. El LATEX también permite escribir texto en modo matem´ atico mediante las macros \textup, \textit, \textsl, \textsc, \textmd, \textbf, \textrm, \textsf y \texttt, que componen su argumento en modo texto. Esto resulta particularmente u ´til cuando el texto que se quiere escribir en modo matem´ atico es breve. Es preciso notar, sin embargo, que el LATEX no ignora el espaciado del texto en este caso, a pesar que ignora el espaciado en el entorno del texto. Los espacios delante y detr´ as del texto son, entonces, necesarios: a = bq + r siempre que 0 ≤ r < b a = bq + r siempre que 0 ≤ r < b a = bq + rsiempre que0 ≤ r < b

$a = b q + r$ siempre que $0 \leq r < b$ $a = b q + r \textrm{ siempre que } 0 \leq r < b$ $a = b q + r \textrm{siempre que} 0 \leq r < b$

Otra posibilidad para escribir texto en modo matem´ atico es mediante las macros \mathit, \mathbf, \mathrm, \mathsf y \mathtt, que componen su argumento en modo matem´ atico y tienen la ventaja respecto a las macros \textrm, etc. que sólo afectan la familia, la serie y la forma de los caracteres, sin modificar el cuerpo ni el espaciado. Su gran desventaja, sin embargo, es que el LATEX también ignora el espaciado del texto incluido en estas macros. Entonces, es preciso introducir los espacios necesarios mediante macros \b de espacio: a = bq + r siempre que 0 ≤ r < b a = bq + rsiempreque0 ≤ r < b

$a = b q + r$ siempre que $0 \leq r < b$ $a = b q + r \mathrm{ siempre que } 0 \leq r < b$

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

85

a = bq + r siempre que 0 ≤ r < b

$a = b q + r \mathrm{\ siempre\ que\ } 0 \leq r < b$

a = bq + r siempreque 0 ≤ r < b

$a = b q + r \ \mathrm{siempre que} \ 0 \leq r < b$

Para componer una f´ ormula en modo matem´ atico en un p´ arrafo aparte, es preciso escribirla entre los s´ımbolos \[ y \], o también entre dos s´ımbolos $$ o bien dentro de un entorno displaymath. Es decir, de cualquiera de las maneras siguientes: \[ f´ ormula destacada \]

$$ f´ ormula destacada $$

\begin{displaymath} f´ ormula destacada \end{displaymath}

As´ı, la f´ ormula (a0 , a1 , . . . , an ) + (b0 , b1 , . . . , bn ) = (a0 + b0 , a1 + b1 , . . . , an + bn ) se puede componer también en un p´ arrafo aparte: (a0 , a1 , . . . , an ) + (b0 , b1 , . . . , bn ) = (a0 + b0 , a1 + b1 , . . . , an + bn ) La f´ ormula (a0 + b0 + c0 , a1 + b1 + c1 , . . . , an + bn + cn ) se puede componer también en un p´ arrafo aparte: (a0 + b0 + c0, a1 + b1 + c1 , . . . , an + bn + cn)

La f´ ormula $(a_0 + b_0 + c_0, a_1 + b_1 + c_1, \ldots, a_n + b_n + c_n)$ se puede componer tambi´ en en un p´ arrafo aparte: $$ (a_0 + b_0 + c_0, a_1 + b_1 + c_1, \ldots, a_n + b_n + c_n) $$

Resulta conveniente destacar las fórmulas largas en un p´ arrafo parte, para evitar problemas de divisi´ on de las l´ıneas que las contienen, pero sobre todo para facilitar su lectura.

5.2

F´ ormulas matem´ aticas

El LATEX da acceso a una gran variedad de s´ımbolos y de macros que se pueden usar para componer f´ ormulas, es decir, que se pueden usar en modo matemático. Muchas de las macros matemáticas operan sólo sobre el carácter siguiente. Una macro afecta, sin embargo, toda una serie de caracteres cuando éstos están agrupados o incluidos entre llaves: ax + y = ax+y

$a^x+y \neq a^{x+y}$

Los subapartados siguientes presentan las clases de macros principales del LATEX para componer f´ ormulas matemáticas.

S´ımbolos matem´ aticos En las expresiones matemáticas se pueden distinguir cuatro elementos b´ asicos: los s´ımbolos de operaci´ on y relacionales, los n´ umeros, las constantes y las variables.

© Los autores, 1999; © Edicions UPC, 1999.

86

Composici´ on de textos cient´ıficos con LATEX

Todos estos elementos se escriben directamente con LATEX o se componen mediante macros un se explica a continuaci´ on. El apartado 5.4 contiene una colecci´ on de tablas del LATEX, seg´ con todos los s´ımbolos y las macros que se pueden usar para componer f´ ormulas matemáticas on y relacionales, con LATEX, como por ejemplo letras griegas y caligráficas, s´ımbolos de operaci´ flechas, delimitadores y muchos otros s´ımbolos. Los n´ umeros se pueden escribir tanto en modo texto como en modo matemático. La familia, la serie y la forma de los caracteres, como también el espaciado entre los n´ umeros, son exactamente los mismos en modo texto y en modo matemático: 1 1 2 3 5 8 13 21 34 1 1 2 3 5 8 13 21 34 299792458 299792458

1 1 2 3 5 8 13 21 34 \\ $1$ $1$ $2$ $3$ $5$ $8$ $13$ $21$ $34$ \\ 299792458 \\ $299792458$

Cuando se trata de n´ umeros decimales, sin embargo, el espaciado no es correcto porque el LATEX compone la coma decimal como signo de puntuación y pone un espacio fino adicional detr´ as de la coma. Es preciso escribir la coma decimal entre llaves; el LATEX la compone entonces como s´ımbolo ordinario. Asimismo, los decimales se suelen separar en bloques de tres cifras mediante un espacio fino para facilitar su lectura. El espacio fino m´ as apropiado en este caso parece ser \,, es decir, tres dieciochoavos de cuadrat´ın: 3,141 592 653 589 793 238 464 3, 141592653589793238464 3,141592653589793238464 3,141 592 653 589 793 238 464 3,141 592 653 589 793 238 464 3,141 592 653 589 793 238 464

3,141 592 653 589 793 238 464 \\ $3,141 592 653 589 793 238 464$ \\ $3{,}141 592 653 589 793 238 464$ \\ $3{,}141\;592\;653\;589\;793\;238\;464$ \\ $3{,}141\:592\:653\:589\:793\:238\:464$ \\ $3{,}141\,592\,653\,589\,793\,238\,464$

Los n´ umeros grandes (millares, millones, biliards, billones) se suelen separar con un punto cada tres cifras, también para facilitar su lectura, a excepción de los a˜ nos. A diferencia de la coma decimal, sin embargo, el LATEX no agrega ning´ un espaciado adicional detr´ as de un punto porque, seg´ un las normas ortogr´ aficas anglosajonas, el punto es un punto decimal. Entonces, no es preciso escribir el punto entre llaves para obtener el espaciado correcto entre los bloques de tres cifras: 299.792.458 299.792.458 299.792.458

299.792.458 \\ $299.792.458$ \\ $299{.}792{.}458$

Las constantes y las variables se componen normalmente en cursiva. El LATEX selecciona autom´ aticamente las fuentes de caracteres y el espaciado más apropiado para componer f´ ormulas matemáticas; sólo es preciso escribir los nombres de constante y de variable en modo matemático o dentro de una f´ ormula en modo matem´ atico:

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

87

Consideremos espacios vectoriales E, F, G, H sobre K de dimensiones m, n, s, t, respectivamente. Consideremos espacios vectoriales E, F, G, H sobre K de dimensiones m, n, s, t, respectivamente. Consideremos espacios vectoriales E, F, G, H sobre K de dimensiones m, n, s, t, respectivamente. Consideremos espacios vectoriales E, F , G, H sobre K de dimensiones m, n, s, t, respectivamente.

Consideremos espacios vectoriales E, F, G, H sobre K de dimensiones m, n, s, t, respectivamente. \par Consideremos espacios vectoriales E, \emph{F}, \textit{G}, \textsl{H} sobre K de dimensiones \emph{m}, \textit{n}, \textsl{s}, t, respectivamente. \par Consideremos espacios vectoriales $E, F, G, H$ sobre $K$ de dimensiones $m, n, s, t$, respectivamente. \par Consideremos espacios vectoriales $E$, $F$, $G$, $H$ sobre $K$ de dimensiones $m$, $n$, $s$, $t$, respectivamente.

Se suelen emplear las primeres letras del alfabeto para denotar constantes y las u ´ltimas letras del alfabeto para denotar variables, a pesar que hay constantes que, por razones hist´ oricas, se escriben con letras de otros alfabetos, como por ejemplo π, la raz´ on constante que existe entre la longitud de la circunferencia y su di´ ametro, dado que π es la inicial de la palabra griega π"ριϕ´ "ρ"ια (circunferencia). Muchas veces, sin embargo, las letras del alfabeto romano no bastan para denotar constantes y variables que han de tener unos nombres bastante significativos en el contexto de la disciplina de que trata el texto cient´ıfico. Un recurso muy usual en estos casos consiste en poner acentos y otros signos diacr´ıticos encima de las letras romanas. El LATEX admite diez signos diacr´ıticos diferentes en modo matem´ atico. Las macros del A L TEX para componerlos son las siguientes: \hat (acento circunflejo, eˆ), \check (acento circunflejo inverso, eˇ), \breve (brevis, e˘), \acute (acento agudo o cerrado, e´), \grave (acento grave o abierto, e`), \tilde (tilde, e˜), \bar (barra o l´ınea horizontal, e¯), \vec (vector, (e ), \dot (punto, e) ˙ y \ddot (diéresis o punto doble, e¨). Tanto los signos diacr´ıticos como el espaciado correspondiente en modo matemático difieren de los acentos y el espaciado en modo texto. Dos de estos signos diacr´ıticos, el acento circunflejo \hat y la tilde \tilde, no s´ olo se pueden poner encima de una letra sino que también se pueden poner encima de toda una expresi´ on, mediante las macros \widehat y \widetilde. Estas macros componen un signo diacr´ıtico el tama˜ no del cual tendr´ıa que ensancharse hasta abarcar toda la expresi´ on, pero que en realidad seleccionan un tama˜ no para el signo diacr´ıtico de entre tres tama˜ nos fijos:

c b b

g[ ◦ f = gf = f ◦ g = fˆ ◦ gˆ

$\widehat{g \circ f} = \widehat{gf} = \widehat{f} \circ \widehat{g} = \hat{f} \circ \hat{g}$

Igual que en modo texto, para poner un signo diacr´ıtico sobre una letra i o j dentro de una f´ ormula matem´ atica es preciso quitar antes el punto que llevan encima, cosa que se hace en modo matem´ atico escribiendo \imath o \jmath. As´ı entonces, para obtener una letra ¯ı con una barra o l´ınea horizontal es preciso escribir \bar\imath o bien \bar{\imath}.

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

88

Además, se puede poner toda una expresi´ on encima de otra. La macro \stackrel{expresi´ on encima}{expresi´ on debajo} compone la expresi´ on encima encima de la expresi´ on debajo: f

$A \stackrel{f}{\longrightarrow} B \stackrel{g}{\longrightarrow} C$

g

A −→ B −→ C

Otro recurso muy empleado son las letras griegas y a veces también las hebreas, como también las letras caligr´ aficas, en lugar de las letras romanas. Las letras griegas min´ usculas se escriben con LATEX mediante las macros \alpha, \beta, \gamma, etc., mientras que las may´ usculas se escriben con las macros \Gamma, \Delta, etc. Las letras caligráficas se escriben mediante la macro \mathcal seguida de la letra may´ uscula correspondiente: TEX se pronuncia como τ χ. Sean C una categor´ıa y M una clase de morfismos de C.

\TeX\ se pronuncia como $\tau\epsilon\chi$. Sean $\mathcal{C}$ una categor´ ıa y $\mathcal{M}$ una clase de morfismos de $\mathcal{C}$.

S´ olo se pueden escribir letras may´ usculas y signos de puntuaci´ on como argumento de la macro \mathcal: El par (C, M) también se puede escribir de la forma (C, M). El LATEX no permite componer letras caligr´ aficas min´ usculas: {}|\√∇∫ !§†‡

El par $(\mathcal{C},\mathcal{M})$ tambi´ en se puede escribir de la forma $(\mathcal{C,M})$. El \LaTeX\ no permite componer letras caligr´ aficas min´ usculas: $$\mathcal{abcdefghijklmnopqrstuvwxyz}$$

Un recurso tipogr´ afico adicional consiste en emplear letras romanas may´ usculas en negrita, pero en una negrita muy especial, la llamada negrita de pizarra (blackboard boldface). Esta forma de letra representa los esfuerzos de muchos profesores para escribir letras en negrita en clase, en la pizarra, y su uso se ha extendido mucho para denotar conjuntos, como por ejemplo el conjunto de los n´ umeros enteros Z, de los n´ umeros racionales Q, de los n´ umeros reales R, etc. La activaci´ on de los paquetes de definiciones amssymb o amsfonts permite escribir las letras en negrita de pizarra con LATEX mediante la macro \mathbb, seguida de la letra correspondiente: Sean a, b ∈ R. A B C D E FG H IJKLMNOPQRSTUVWXYZ

Sean $a, b \in \mathbb{R}$. \par $\mathbb{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$

Cuanto a los s´ımbolos de operaci´ on y relacionales, el LATEX admite cerca de doscientos s´ımbolos diferentes, muchos de los cuales se componen mediante macros del LATEX. Algunos de

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

89

los más usuales aparecen en los ejemplos siguientes: ∀a, b ∈ A : aRb, bRa ⇒ a = b

$\forall a, b \in A: aRb, bRa \Rightarrow a=b$ \par $A \times (B \cap C) = (A \times B) \cap (A \times C)$ \par $a \vee (b \wedge c) \leq (a \vee b) \wedge (a \vee c)$ \par $A = B \equiv A \subset B, B \subset A$ \par $A \cap B = \{ x \mid x \in A \textrm{ y } x \in B \}$ \par $(\neg q \rightarrow \neg p) \rightarrow (p \rightarrow q)$

A × (B ∩ C) = (A × B) ∩ (A × C) a ∨ (b ∧ c) ≤ (a ∨ b) ∧ (a ∨ c) A = B ≡ A ⊂ B, B ⊂ A A ∩ B = {x | x ∈ A y x ∈ B} (¬q → ¬p) → (p → q)

Igual que las constantes y las variables, los s´ımbolos de operaci´ on y relacionales también se componen en cursiva, pero sólo cuando consisten en una u ńica letra. De otro modo, se componen con letras romanas y con el espaciado apropiado: logxy = logx + logy

$log x y = log x + log y$ \par $\textrm{log} x y = \textrm{log} x + \textrm{log} y$ \par $\textrm{log } x y = \textrm{log } x + \textrm{log } y$ \par $\log x y = \log x + \log y$ \par $\textrm{log}\,x y = \textrm{log}\,x + \textrm{log}\,y$

logxy = logx + logy log xy = log x + log y log xy = log x + log y log xy = log x + log y

El LATEX permite componer algunos de los s´ımbolos de operaci´ on m´ as usuales, las llamadas funciones est´ andares, como por ejemplo \log para el s´ımbolo de operaci´ on correspondiente a la funci´ on logaritmo, mediante las macros siguientes, algunas de las cuales han sido sombreadas, un se explica como por ejemplo \lim , para indicar que admiten sub´ındices y super´ındices, seg´ más abajo en este apartado: \arccos

\cos

\csc

\exp

\ker

\limsup

\min

\sinh

\arcsin

\cosh

\deg

\gcd

\lg

\ln

\Pr

\sup

\arctan \arg

\cot \coth

\det \dim

\hom \inf

\lim \liminf

\log \max

\sec \sin

\tan \tanh

Para componer otros s´ımbolos de operaci´ on similares, como por ejemplo \Nuc para el n´ ucleo de una aplicaci´ on, en lugar de \ker, que compone la abreviaci´ on del nombre de este s´ımbolo de operaci´ on en inglés (kernel ), se puede definir una nueva macro o bien redefinir una de las macros estándares del LATEX:

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

90

ker f = {g ∈ G | f (g) = e }

$\ker f = \{ g \in G \mid f(g) = e’\}$ \par \newcommand{\Nuc}{\mathrm{Nuc}\,} $\Nuc f = \{ g \in G \mid f(g) = e’\}$ \par \renewcommand{\ker}{\mathrm{Nuc}\,} $\ker f = \{ g \in G \mid f(g) = e’\}$

Nuc f = {g ∈ G | f (g) = e } Nuc f = {g ∈ G | f (g) = e }

Los paquetes de definiciones amsopn y amsmath también permiten definir macros para componer abreviacions de s´ımbolos de operaci´ on. La macro \DeclareMathOperator{\macro}{abreviaci´ on} define la abreviaci´ on de un nuevo s´ımbolo de operaci´ on, como por ejemplo \DeclareMathOperator{\Nuc}{Nuc}, mientras que la macro \DeclareMathOperator*{\macro}{abreviaci´ on} define la abreviaci´ on de un s´ımbolo de operaci´ on que admite un sub´ındice y un super´ındice. Esto permite escribir \Nuc para componer la abreviaci´ on en castellano Nuc del s´ımbolo de operaci´ on kernel, con el espaciado correcto, dentro de una expresión matemática. Dos funciones estándares adicionales son \bmod y \pmod, que denotan el m´ odulo, residuo o resto de la divisi´ on entera. Mientras que la macro \bmod compone el nombre como s´ımbolo relacional binario, la macro \pmod lo compone como una expresión entre paréntesis: r = a mod b es el resto de la divisi´ on entera de a por b. a ≡ b (mod m) si y s´ olo si existe q ∈ Ztal que a − b = qm.

$r = a \bmod b$ es el resto de la divisi´ on entera de $a$ por $b$. \par $a \equiv b \pmod m$ si y s´ olo si existe $q \in \mathbb{Z}$ tal que $a - b = q m$.

Con la activaci´ on de los paquetes de definiciones amsopn o amsmath, sin embargo, el espaciado producido por las macros \bmod y \pmod es más apropiado cuando los s´ımbolos de operaci´ on correspondientes se componen dentro de un párrafo de texto. Además, este paquete de definiciones permite usar dos s´ımbolos de operaci´ on adicionales que son similares a la macro \pmod. La macro \mod compone el nombre como una expresi´ on pero sin los paréntesis, mientras que la macro \pod compone los paréntesis pero sin el nombre del s´ımbolo de operaci´ on: a ≡ b mod m

$a \equiv b \mod m$ \par $a \equiv b \pod m$

a ≡ b (m)

Algunos s´ımbolos de operaci´ on y relacionales merecen una explicación adicional. El s´ımbolo de operaci´ on de ra´ız cuadrada se compone mediante la macro \sqrt[n]{expresi´ on} donde el argumento opcional n especifica el orden de la ra´ız: √

x

px

2

+

√

y

√ 3

2

$\sqrt{x}$ \qquad $\sqrt{x^2+\sqrt{y}}$ \qquad $\sqrt[3]{2}$

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

91

El tama˜ no del s´ımbolo de operaci´ on que compone la macro \sqrt se ensancha hasta abarcar todo su argumento:

v u u u u t

v v u s r q u u u u t √ t 1+ 1+ 1+ 1+ 1+ 1+ 1+x

$$ \sqrt{1+\sqrt{1+\sqrt{1+ \sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+x}}}}}}} $$

El s´ımbolo de operaci´ on de integral se compone mediante la macro \int y los s´ımbolos de operaci´ on sumatorio y productorio se componen mediante las macros \sum y \prod, respectivamente. Los l´ımites inferior y superior del intervalo de integraci´ on o de la serie correspondiente se especifican mediante sub´ındices y super´ındices:

Z

π 0

X n

Y

i=1

j=0

∞

$$\int_0^\pi \qquad \sum_{i=1}^n \qquad \prod_{j=0}^\infty$$

Estos s´ımbolos de operaci´ on también se pueden componer dentro de un p´ arrafo de texto. En este caso, los l´ımites inferior y superior no se componen encima y debajo del s´ımbolo de operaci´ on sino que son alineados verticalmente en la parte inferior y en la parte superior del s´ımbolo, respectivamente:

R

π 0

P

n i=1

Q

∞ j=0

$\int_0^\pi \qquad \sum_{i=1}^n \qquad \prod_{j=0}^\infty$

Algunas editoriales cient´ıficas también componen los l´ımites inferior y superior encima y debajo de los s´ımbolos de operaci´ on cuando est´ an dentro de un p´ arrafo de texto, lo que mejora la legibilidad de las expresiones matem´ aticas pero introduce un interlineado irregular en el p´ arrafo. Las macros \limits y \nolimits del sistema TEX se pueden incluir en un docuas de una macro de s´ımbolo de operaci´ on, para especificar mento LATEX, inmediatamente detr´ la composición de los l´ımites inferior y superior encima y debajo del s´ımbolo de operaci´ on, o bien alineados verticalmente en la parte inferior y en la parte superior del s´ımbolo de operaci´ on, respectivamente:

P

Se puede componer una expresi´ on matem´ atica ∞

como por ejemplo

n=1

(−1)n n

dentro de un

p´ arrafo de texto pero donde los l´ımites inferior y superior son dispuestos encima y debajo del s´ımbolo de operaci´ on sumatorio, a pesar que la (−1)n manera est´ andar de componerlos, ∞ n=1 n , no altera el interlineado del p´ arrafo.

P

Se puede componer una expresi´ on matem´ atica como por ejemplo $\sum\limits_{n=1}^{\infty} \frac{(-1)^n}{n}$ dentro de un p´ arrafo de texto pero donde los l´ ımites inferior y superior son dispuestos encima y debajo del s´ ımbolo de operaci´ on sumatorio, a pesar que la manera est´ andar de componerlos, $\sum_{n=1}^{\infty} \frac{(-1)^n}{n}$, no altera el interlineado del p´ arrafo.

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

92

Las fracciones se pueden componer dentro de un p´ arrafo de texto o bien en un p´ arrafo aparte. En el primer caso, el numerador se separa del denominador mediante un signo de divisi´ on normal. Para componer una fracci´ on en un p´ arrafo aparte, sin embargo, es preciso emplear la macro \frac{numerador }{denominador } donde numerador y denominador son expresiones o fórmulas matemáticas: Un tercio es 1/3 pero también n 2

Z

1 . 3

Un tercio es $1/3$ pero tambi´ en $\frac{1}{3}$. $$ \frac{n}{2} \int_a^b x\,dx $$

b

x dx a

En general, las fracciones relativamente complejas resultan dif´ıciles de leer cuando se componen dentro de un p´ arrafo de texto, como por ejemplo ((a1 + ia2 ) + (a11 s1 + a21 s2 ))/((b1 + 1 +ia2 )+(a11 s1 +a21 s2 ) on en un p´ arrafo aparte puede ib2 ) + (b11 s1 + b21 s2 )) o (a (b1+ib2 )+(b11 s1 +b21 s2 ) , y su composici´ mejorar mucho su legibilidad: (a1 + ia2 ) + (a11 s1 + a21 s2 ) (b1 + ib2 ) + (b11 s1 + b21 s2 ) Sin embargo, siempre que la composición de una fracci´ on dentro de un p´ arrafo de texto no conlleve ning´ un problema de legibilidad, esta soluci´ on tipogr´ afica suele ser preferible a la composición en un p´ arrafo aparte por razones de econom´ıa de espacio en el documento compuesto, como se puede comprobar en el ejemplo siguiente: ψ1 (θ) = ψ2 (θ) =

(m − 1) ψ(θ), p

(m − p + 1) ψ(θ), p

log R1 + · · · + log Rk , k log µ(r) sin tn = sin , ν(r)

tk = log Rk −

sin

ψ1 (θ) = ((m − 1)/p)ψ(θ), ψ2 (θ) = ((p − m − 1)/p)ψ(θ), tk = log Rk − (log R1 + · · · + log Rk )/k, sin tn = sin(log µ(r)/ν(r)), sin(log Rn / log n) = sin(log r/ log ν(r)) = 1/ρ, zg (z)/g(z) = 1 + zζ (z)/ζ (z) = f(z).

log Rn log r 1 = sin = , log n log ν(r) ρ

zg (z) zζ (z) =1+ = f(z) g(z) ζ (z) El s´ımbolo de operaci´ on de substracci´ on o signo menos tiene la misma anchura que los s´ımbolos de operaci´ on de suma y de multiplicaci´ on, una anchura intermedia entre la del gui´ on largo y la del gui´ on:

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

-

– + ×

−

—

93

\begin{tabular}{cccc} - & -- & $-$ & --- \\ & $+$ & \\ & $\times$ & \end{tabular}

La negaci´ on de un s´ımbolo de operaci´ on o relacional se puede obtener con LATEX mediante la macro \not delante del s´ımbolo: Si x < y entonces x ≤ y − 1.

Si $x \not< y$ entonces $x \not\leq y-1$.

La ubicaci´ on de la raya de negaci´ on, sin embargo, no siempre es correcta. A pesar que se pueden introducir correcciones de espaciado, seg´ un se explica en el apartado 5.3, los caracteres AMSFonts contienen numerosos s´ımbolos de operaci´ on y relacionales negados (véase el apartado 5.4). Finalmente, los signos de puntuaci´ on permiten ligar los s´ımbolos de operaci´ on y relacionales con los n´ umeros, las constantes y las variables en las expresiones matemáticas. Muchos de los signos de puntuaci´ on se escriben directamente con LATEX, como por ejemplo la coma, el punto, el punto y coma, y los dos puntos. Los puntos suspensivos, sin embargo, se componen mediante las macros \ldots o \cdots, seg´ un se coloquen en una enumeración cuyos elementos hayan sido separados por comas o mediante otros s´ımbolos de operaci´ on: x1 + x2 + · · · + xn x1 = · · · = xn = 0 A1 × · · · × An f (x1 , x2 , . . . , xn ) x1 , x2 , . . . , x n x1 x2 . . . xn (1 − x)(1 − x2 ) . . . (1 − xn )

$x_1 + x_2 + \cdots + x_n$ \par $x_1 = \cdots = x_n = 0$ \par $A_1 \times \cdots \times A_n$ \par $f(x_1, x_2, \ldots, x_n)$ \par $x_1, x_2, \ldots, x_n$ \par $x_1 x_2 \ldots x_n$ \par $(1-x) (1-x^2) \ldots (1-x^n)$ \par $n (n-1) \ldots 1$

n(n − 1) . . . 1

Con la activaci´ on del paquete de definiciones amsmath basta escribir la macro \dots para componer los puntos suspensivos, cuya colocación es volada o no, seg´ un haya detr´ as un s´ımbolo de operaci´ on o relacional binario: x1 + x2 + · · · + xn f (x1 , x2 , . . . , xn )

$x_1 + x_2 + \dots + x_n$ \par $f(x_1, x_2, \dots, x_n)$

Las expresiones matemáticas que abarcan más de una l´ınea, como por ejemplo matrices y ecuaciones, suelen necesitar puntos suspensivos dispuestos de manera vertical y diagonal, seg´ un A se explica en el apartado 5.5. Las macros del L TEX \vdots y \ddots permiten componerlos:

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

94

0 B B B B @

x11 x21 .. . xm1

x12 x22 .. . xm2

··· ··· .. . ···

x1n x2n .. . xmn

1 CC CC A

$$ \left( \begin{array}{cccc} x_{11} & x_{12} & \cdots & x_{1n} \\ x_{21} & x_{22} & \cdots & x_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ x_{m1} & x_{m2} & \cdots & x_{mn} \end{array} \right) $$

Sub´ındices y super´ındices Los sub´ındices y los super´ındices se especifican mediante el carácter de subrayado _ y el carácter de acento circunflejo ^, respectivamente:

a1

x2

e−αt

2

ex = ex 2

akij

$a_1$ \qquad $x^2$ \qquad $e^{-\alpha t}$ \qquad $a^k_{ij}$ \qquad $e^{x^2} \neq {e^x}^2$

Para escribir texto como sub´ındice o super´ındice de una f´ ormula matem´ atica, sin embargo, es preciso emplear las macros \mathrm, etc., en lugar de las macros \textrm, etc. De otro modo, los caracteres del texto compuesto en el sub´ındice o en el super´ındice son del cuerpo base y no del cuerpo normal para los sub´ındices y los super´ındices:

2n

2n

$$2^n \qquad 2^{\textrm{n}} \qquad 2^{\mathrm{n}}$$

2n

Algunas de las funciones est´ andares también admiten sub´ındices y super´ındices, por ejemplo para indicar los extremos del intervalo en que se eval´ ua la funci´ on matemática correspondiente. Estos s´ımbolos de operaci´ on son: determinante (\det), m´ aximo com´ un divisor (\gcd, greatest common divisor ), ´ınfimo (\inf), l´ımite (\lim), l´ımite inferior (\liminf), l´ımite superior (\limsup), máximo (\max), m´ınimo (\min), probabilidad (\Pr) y supremo (\sup). La disposición de los sub´ındices y de los super´ındices var´ıa seg´ un si se componen dentro de un p´ arrafo o en un p´ arrafo aparte: Una funci´ on est´ andar destacada lim

n→∞

sin x =1 x

también se puede componer dentro de un p´ arrafo de texto: limn→∞ sinx x = 1.

Una funci´ on est´ andar destacada $$\lim_{n\rightarrow\infty} \frac{\sin x}{x} = 1$$ tambi´ en se puede componer dentro de un p´ arrafo de texto: $\lim_{n\rightarrow\infty} \frac{\sin x}{x} = 1$.

También se pueden definir nuevas macros para componer los nombres de otras funciones con sub´ındices y super´ındices, como también se puede redefinir alguna de las diez macros estándares del LATEX correspondientes:

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

95

La suma a11 + · · · + ann se llama la traza de la matriz A: n tr A. 1

\newcommand{\tr}{\mathop{% \mathgroup\symoperators tr}} La suma $a_{11}+\cdots+a_{nn}$ se llama la \emph{traza} de la matriz $A$: $$\tr_{1}^{n} A.$$

Delimitadores horizontales Las macros \overline y \underline componen l´ıneas horizontales directamente por encima o por debajo de una expresi´ on matemática, respectivamente, mientras que las macros \overbrace y \underbrace componen llaves horizontales: x

|a + b +{z· · · + z}

m+n

$\underline{x}$ \qquad $\overline{m+n}$ \qquad $\underbrace{a+b+\cdots+z}$

Los sub´ındices y los super´ındices de las expresiones que tienen delimitadores horizontales y que son compuestas en un párrafo aparte se componen como etiquetas encima y debajo de los delimitadores, respectivamente:

z }| { | {z } 24

a + b + · · · + y +z

$\underbrace{a + \overbrace{b + \cdots + y}^{24} + z}_{26}$

26

Delimitadores verticales La agregaci´ on o agrupaci´ on de expresiones matem´ aticas para construir otras m´ as complejas es un aspecto fundamental de la notaci´ on matemática, que no se ha de confundir con la agrupaci´ on de una serie de caracteres mediante llaves para escribir el argumento de una macro del LATEX. Las expresiones matemáticas se agrupan mediante los llamados delimitadores verticales, como por ejemplo los paréntesis, los corchetes y las llaves:

(x + y)2 = x2 + 2xy + y2 ((x + 1)(x − 1))2

$$(x + y)^2 = x^2 + 2 x y + y^2$$ $$((x+1)(x-1))^2$$ $$E = \{ g \in G \mid f(g) = e’\}$$

E = {g ∈ G | f (g) = e }

Los paréntesis, los corchetes y las barras verticales se escriben directamente con LATEX, mientras que las llaves angulares y las barras verticales dobles se componen con LATEX mediante macros espec´ıficas:

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

96

( [ { | !

( [ \{ \langle | \|

paréntesis corchetes llaves llaves angulares barras verticales barras verticales dobles

) ] } | !

) ] \} \rangle | \|

Las llaves angulares y las barras verticales simples y dobles, sin embargo, normalmente tienen un cierto significado matemático y entonces no es recomendable emplearlas para agrupar expresiones matemáticas, si bien es cierto que los corchetes también tienen significado en matemáticas. Las expresiones matemáticas son más legibles cuando el tama˜ no o la altura de los delimitadores verticales es más grande que la altura de las expresiones que agrupan. Esto permite identificar m´ as f´ acilmente el alcance de cada delimitador en la f´ ormula compuesta: ((x + 1)(x − 1))2

2 (x + 1)(x − 1)

De hecho, los delimitadores del LATEX son los mismos que los del sistema TEX y son de tama˜ no variable o, mejor dicho, los hay de muchos tama˜ nos diferentes:

\Big(

\bigg(

\Bigg(

\Bigg)

\bigg)

\Big)

\big[

\Big[

\bigg[

\Bigg[

\Bigg]

\bigg]

\Big]

\big]

!

"

#

$

%

&

'

\big\{

\Big\{

\bigg\{

\Big\}

\big\}

{ \{

\big(

[ [

( (

\big)

) )

]

\Bigg\{

\Bigg\}

\bigg\}

] } \}

Esto da la posibilidad de escoger el tama˜ no de los delimitadores m´ as apropiado para componer cada expresión matemática, elección que el LATEX hace automáticamente cuando se escriben las macros \left y \right delante y detr´ as de las macros correspondientes a los delimitadores, respectivamente:

1+

;

3 1 1−x2

1+

1+

1 1 − x2

1 1−x2

3

1+

3

1 1 − x2

3

$1 + \big( \frac{1}{1 - x^2} \big)^3$ \qquad $1 + \left( \frac{1}{1 - x^2} \right)^3$ $$1 + \Big( \frac{1}{1 - x^2} \Big)^3 \qquad 1 + \left( \frac{1}{1 - x^2} \right)^3$$

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

97

Estas macros \left y \right se han de escribir en pares, a pesar que no es preciso que los delimitadores correspondientes sean todos paréntesis, todos corchetes o todas llaves:

1 2

$$ \left\langle \frac{1}{2} \right| $$

Además, se puede omitir la composición de un delimitador vertical izquierdo o derecho, mediante las macros \left. y \right., respectivamente: dx2 dx

$$ \left. \frac{dx^2}{dx} \right|_{x=a} = 2 a $$

= 2a

x=a

Con todo, el orden m´ as conveniente para agrupar expresiones matemáticas mediante delimitadores verticales es comenzar agrupando con paréntesis, después agrupar con corchetes y después con llaves, y continuar agrupando con paréntesis, corchetes y llaves en este orden: $# % "!

'& {[( )]} Los delimitadores más grandes son especialmente u ´ tiles para agrupar expresiones matemáticas que abarcan m´ as de una l´ınea, como por ejemplo matrices y ecuaciones, seg´ un se explica en el apartado 5.5.

5.3

Espaciado de f´ ormulas matem´ aticas

A diferencia del modo texto, la mayor´ıa de los espacios y divisiones de l´ınea no tienen ning´ un efecto en modo matemático. El LATEX calcula el espaciado lógico a partir de la estructura de las expresiones matemáticas, seg´ un una serie de convenciones tipogr´ aficas bien definidas. Con todo, a veces es preciso introducir peque˜ nas correcciones en el espaciado, por ejemplo para conseguir un efecto visual diferente o simplemente porque se quiere mejorar el espaciado producido por el LATEX. As´ı, las macros siguientes introducen peque˜ nos espacios en blanco dentro de una f´ ormula matemática: \! \, \: \; \b \quad \qquad

−3/18 de cuadrat´ın 3/18 de cuadrat´ın 4/18 de cuadrat´ın 5/18 de cuadrat´ın 1/3 de cuadrat´ın un cuadrat´ın dos cuadratines

Por ejemplo, las expresiones siguientes han sido compuestas en la tercera columna sin las correcciones de espaciado indicadas:

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

98

$\sqrt{2}\,x$ $\sqrt{\,\log x}$ $O\left(1/\sqrt{n}\,\right)$ $[\,0,1)$ $\log n\,(\log\log n)^2$ $x^2\!/2$ $n/\!\log n$ $\Gamma_{\!2}+\Delta^{\!2}$ $R_i{}^j{}_{\!kl}$ $\int_0^x\!\int_0^y dF(u,v)$ $\int\!\!\!\int_D dx\,dy$ $\int f(x)\,dx$

√ 2x √ log x √ O (1/ n ) [ 0, 1) log n (log log n)2 x2/2 n/log n Γ2 + ∆2 Rj ( xi (kly dF (u, v) ((0 0 dx dy (D f(x) dx

√ 2x √ log x √ O (1/ n) [0, 1) log n(log log n)2 x2 /2 n/ log n Γ2 + ∆ 2 Ri j kl (x(y dF (u, v) (0( 0 dx dy ( D f(x)dx

ormula El LATEX tampoco permite l´ıneas en blanco en modo matemático. Es decir, toda f´ matemática se compone en un p´ arrafo, bien dentro de un p´ arrafo de texto, bien como p´ arrafo ormula a final de l´ınea como si se aparte. En los dos casos, el LATEX puede llegar a dividir una f´ tratase de la divisi´ on de una palabra en s´ılabas, a pesar que en el caso de f´ ormulas matemáticas A el L TEX sigue una norma tipogr´ afica bien establecida para encontrar la posici´ on de divisi´ on más apropiada: Se puede dividir una f´ ormula inmediatamente después de un s´ımbolo de operaci´ on o de un s´ımbolo relacional, pero nunca inmediatamente antes. on de divisi´ on de una Sin embargo, a veces el LATEX no puede encontrar ninguna posici´ f´ ormula que le permita componer de manera óptima todo el p´ arrafo. Asimismo, hay ocasiones en que el autor del trabajo cient´ıfico puede determinar ciertas posiciones de divisi´ on de una f´ ormula que son correctas en un caso particular, pero que no son cubiertas por las reglas estándares de divisi´ on de f´ ormulas del LATEX. En estos casos, se poden definir posiciones adicionales de divisi´ on para una f´ ormula o expresi´ on matemática particular, mediante la macro \allowbreak: (a0 , a1 , . . . , an ) + (b0 , b1 , . . . , bn ) + (c0, c1 , . . . , cn ) = (a0 +b0 +c0 , a1 +b1 +c1, . . . , an +bn +cn )

$(a_0,a_1,\ldots,a_n) + (b_0,b_1,\ldots, b_n) + (c_0,\allowbreak c_1,\allowbreak \ldots,\allowbreak c_n) = (a_0+b_0+c_0,a_1+b_1+c_1,\ldots, a_n+b_n+c_n)$

Cuanto a las f´ ormulas matemáticas compuestas en un párrafo aparte, el LATEX nunca las divide en l´ıneas, incluso cuando las f´ ormulas contienen macros \allowbreak de posiciones adicionales de divisi´ on en l´ıneas. Para conseguir la divisi´ on en l´ıneas de las f´ ormulas destacadas, es preciso escribirlas en un entorno array, eqnarray o eqnarray*, seg´ un se explica en el apartado 5.5.

5.4

S´ımbolos matem´ aticos

En las tablas siguientes figuran todos los s´ımbolos que se pueden usar normalmente en modo matemático. Los s´ımbolos sombreados, como por ejemplo \Box , no son est´ andares en el LATEX

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

99

y es preciso declarar el paquete de definiciones latexsym en el pre´ ambulo del documento para poder usarlos. Signos diacr´ıticos ˆ a a ˇ a ˘

\hat{a} \check{a} \breve{a}

a ´ a ` a ˜

\acute{a} \grave{a} \tilde{a}

a ¯ (a

\bar{a} \vec{a}

a˙ a ¨

θ ϑ ι κ λ µ ν ξ

\theta \vartheta \iota \kappa \lambda \mu \nu \xi

o π > ρ A σ ς

o \pi \varpi \rho \varrho \sigma \varsigma

Λ Ξ Π

\Lambda \Xi \Pi

\dot{a} \ddot{a}

Letras griegas min´ usculas α β γ δ " ε ζ η

\alpha \beta \gamma \delta \epsilon \varepsilon \zeta \eta

τ υ φ ϕ χ ψ ω

\tau \upsilon \phi \varphi \chi \psi \omega

Letras griegas may´ usculas Γ ∆ Θ

\Gamma \Delta \Theta

Σ Υ Φ

\Sigma \Upsilon \Phi

Ψ Ω

\Psi \Omega

Letras caligr´ aficas A B C D E F G

\mathcal{A} \mathcal{B} \mathcal{C} \mathcal{D} \mathcal{E} \mathcal{F} \mathcal{G}

H I J K L M N

O P Q R S T U

\mathcal{H} \mathcal{I} \mathcal{J} \mathcal{K} \mathcal{L} \mathcal{M} \mathcal{N}

\mathcal{O} \mathcal{P} \mathcal{Q} \mathcal{R} \mathcal{S} \mathcal{T} \mathcal{U}

V W X Y Z

\mathcal{V} \mathcal{W} \mathcal{X} \mathcal{Y} \mathcal{Z}

Miscel´ anea ℵ h ¯ ı  I ℘ B E

\aleph \hbarlatex \imath \jmath \ell \wp \Re \Im \mho

8 ∅ ∇ √ > ⊥ ! ∠

\prime \emptyset \nabla \surd \top \bot \| \angle

∀ ∃ ¬ H J L \ ∂

\forall \exists \neg \flat \natural \sharp \backslash \partial

© Los autores, 1999; © Edicions UPC, 1999.

∞ ✷ ✸ = ♣ ♦ ♥ ♠

\infty \Box \Diamond \triangle \clubsuit \diamondsuit \heartsuit \spadesuit

Composici´ on de textos cient´ıficos con LATEX

100

Operadores grandes ) \sum . / \prod 3 4 \coprod 9 ( \int ? > \oint

*

+

0

\bigcap

5

6

\bigcup

:

;

@

A

\bigsqcup \bigvee

,

-

1

2

\bigodot

7

8

\bigotimes

<

=

\bigoplus \biguplus

\bigwedge

Operadores binarios ± ∓ × ÷ ∗ P ◦ • ·

\pm \mp \times \div \ast \star \circ \bullet \cdot

∩ ∪ M Q S ∨ ∧ \ V

Relaciones binarias ≤ \leq ≺ \prec \ \preceq _ \ll ⊂ \subset ⊆ \subseteq \sqsubset f \sqsubseteq ∈ \in j \vdash Flechas ← ⇐ → ⇒ ↔ ⇔ w→ ←S U W

\cap \cup \uplus \sqcap \sqcup \vee \wedge \setminus \wr ≥ Z ] ` ⊃ ⊇ g h k

\leftarrow \Leftarrow \rightarrow \Rightarrow \leftrightarrow \Leftrightarrow \mapsto \hookleftarrow \leftharpoonup \leftharpoondown \rightleftharpoons

H = N N O ✁ ✄ ✂

\diamond \bigtriangleup \bigtriangledown \triangleleft \triangleright \lhd \rhd \unlhd \unrhd

←− ⇐= −→ =⇒ ←→ ⇐⇒ w−→ T→ V X ❀

\oplus \ominus \otimes \oslash \odot \bigcirc \dagger \ddagger \amalg

\equiv \sim \simeq \asymp \approx \cong \neq \doteq \notin

|= ⊥ | ! ON ✶ Q R ∝

\models \perp \mid \parallel \bowtie \Join \smile \frown \propto

\longleftarrow \Longleftarrow \longrightarrow \Longrightarrow \longleftrightarrow \Longleftrightarrow \longmapsto \hookrightarrow \rightharpoonup \rightharpoondown \leadsto

↑ ⇑ ↓ ⇓ t v x y z {

\uparrow \Uparrow \downarrow \Downarrow \updownarrow \Updownarrow \nearrow \searrow \swarrow \nwarrow

\geq \succ \succeq \gg \supset \supseteq \sqsupset \sqsupseteq \ni \dashv

≡ ∼ ^ a ≈ ∼ = = . = ∈ /

⊕ L ⊗ R T † ‡ W

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

101

Delimitadores ( [ { | ~ / |

) ] } } \ !

( [ \{ \lfloor \lceil \langle / |

Delimitadores grandes   \lmoustache   \arrowvert

↑ ↓ t ⇑ ⇓ v

) ] \} \rfloor \rceil \rangle \backslash \|

\uparrow \downarrow \updownarrow \Uparrow \Downarrow \Updownarrow

 

\rmoustache

 

\lgroup

 

E E

\Arrowvert

   

\bracevert

\rgroup

Los s´ımbolos siguientes se pueden usar tanto en modo matemático como en modo texto. Contrariamente a lo que se afirma en (Lamport, 1994, p. 39 y 173), la macro \copyright no se puede emplear en modo matemático. Otros s´ımbolos †

\dag

‡

\ddag

§

\S

¶

\P

£

\pounds

En las tablas siguientes figuran todos los s´ımbolos adicionales que se pueden usar en modo matemático cuando se ha declarado el paquete de definiciones amssymb en el pre´ ambulo del documento y las p´ olizas AMS han sido instaladas en el sistema LATEX. El s´ımbolo \hbar se encuentra tanto en las fuentes estándares del LATEX como en las fuentes AMS, pero se trata de dos representaciones diferentes del mismo s´ımbolo: la versi´ on estándar del LATEX es ¯h y es la versión correspondiente en las fuentes AMS. Delimitadores AMS

\ulcorner

\urcorner

\llcorner

\lrcorner

Flechas AMS

"

\rightleftarrows \leftrightarrows \leftarrowtail \curvearrowleft \upuparrows \multimap \twoheadrightarrow \rightleftharpoons \Rsh \downharpoonright

#

\Rrightarrow \Lleftarrow \looparrowleft \circlearrowleft \upharpoonleft \leftrightsquigarrow \rightarrowtail \curvearrowright \downdownarrows \rightsquigarrow

© Los autores, 1999; © Edicions UPC, 1999.

⇔ ⇒ ! !

\leftleftarrows \twoheadleftarrow \leftrightharpoons \Lsh \downharpoonleft \rightrightarrows \looparrowright \circlearrowright \upharpoonright \restriction

Composici´ on de textos cient´ıficos con LATEX

102

Flechas AMS con negaci´ on

\nleftarrow \nLeftarrow

\nrightarrow \nRightarrow

\nleftrightarrow \nLeftrightarrow

Letras griegas AMS

\digamma

κ

\varkappa

Letras hebreas AMS

\beth

\daleth

‫ג‬

\gimel

Miscel´ anea AMS % ( ∅ 0

\hbar \triangledown \circledS \nexists \Game \varnothing \blacksquare \sphericalangle \diagup

& ∠ k + . 1

\hslash \square \angle \mho \Bbbk \blacktriangle \blacklozenge \complement \diagdown

$ ♦ ) * , / ð

\vartriangle \lozenge \measuredangle \Finv \backprime \blacktriangledown \bigstar \eth

Operadores binarios AMS 2 4 7 : = @ C

\dotplus \Cup, \doublecup \doublebarwedge \boxdot \ltimes \rightthreetimes \circleddash \centerdot

5 8 ; > A D

\smallsetminus \barwedge \boxminus \boxplus \rtimes \curlywedge \circledast \intercal

3 6 9 < ? B

© Los autores, 1999; © Edicions UPC, 1999.

\Cap, \doublecap \veebar \boxtimes \divideontimes \leftthreetimes \curlyvee \circledcirc

5 Matem´ aticas con LATEX

103

Relaciones AMS E H " L O R W Y \ _ b $ g j ≈ p r ) ∝ *

\leqq \lesssim \lessdot \lesseqgtr \risingdotseq \backsimeq \sqsubset \precsim \trianglelefteq \smallsmile \Bumpeq \eqslantgtr \gtrdot \gtreqless \circeq \thickapprox \sqsupset \succsim \trianglerighteq \shortparallel \varpropto \backepsilon

F I ≪ M P S U # Z ] ` c ≫ h k l n ' s t w

\leqslant \lessapprox \lll, \llless \lesseqqgtr \fallingdotseq \subseteqq \preccurlyeq \precapprox \vDash \smallfrown \geqq \gtrsim \ggg, \gggtr \gtreqqless \triangleq \supseteqq \succcurlyeq \succapprox \Vdash \between \blacktriangleleft \blacktriangleright

© Los autores, 1999; © Edicions UPC, 1999.

G ! ≶ N Q T V X [ ^ a d ≷ i ∼ m o q ( u ∴ ∵

\eqslantless \approxeq \lessgtr \doteqdot, \Doteq \backsim \Subset \curlyeqprec \vartriangleleft \Vvdash \bumpeq \geqslant \gtrapprox \gtrless \eqcirc \thicksim \Supset \curlyeqsucc \vartriangleright \shortmid \pitchfork \therefore \because

Composici´ on de textos cient´ıficos con LATEX

104

Relacions AMS con negaci´ on ≮ . 1 ⊀ 7 : = @ C F I L O R T W Z

5.5

\nless \nleqq \lvertneqq \nprec \precnapprox \nmid \ntriangleleft \subsetneq \varsubsetneqq \ngeqslant \gneqq \gnapprox \succnsim \nshortparallel \nVDash \nsupseteq \varsupsetneq

, / 2 5 8 ; > A ≯ G J M P ∦ U X [

\nleq \lneq \lnsim \npreceq \nsim \nvdash \ntrianglelefteq \varsubsetneq \ngtr \ngeqq \gvertneqq \nsucc \succnapprox \nparallel \ntriangleright \nsupseteqq \supsetneqq

0 3 6 9 < ? B E H K N Q < V Y \

\nleqslant \lneqq \lnapprox \precnsim \nshortmid \nvDash \nsubseteq \subsetneqq \ngeq \gneq \gnsim \nsucceq \ncong \nvDash \ntrianglerighteq \supsetneq \varsupsetneqq

Entornos matem´ aticos

Algunas construcciones matemáticas relativamente complejas no se componen directamente como fórmulas matemáticas, sino que se especifican mediante entornos matemáticos. Estas construcciones son las ecuaciones y las matrices. Además, los enunciados también se especifican mediante entornos matem´ aticos.

Enunciados Los textos cient´ıficos suelen incluir enunciados tales como teoremas, corolarios, lemas, proposiciones, definiciones, axiomas, observaciones, ejemplos, casos, problemas, demostraciones, etc. Estos enunciados se componen en cursiva y en un p´ arrafo aparte, para distinguirlos del resto del texto, y se suelen enumerar para poder hacer referencias cruzadas. Para componer enunciados con LATEX es preciso declarar los entornos necesarios en el pre´ ambulo del documento. La macro \newtheorem{nombre}{cabecera}[enumeraci´ on] define un nuevo entorno para componer enunciados, donde el argumento cabecera es el texto que se compone como cabecera del enunciado, en negrita, y el argumento opcional enumeraci´ on especifica un contador del LATEX que determina la forma de enumerar estos enunciados, como por ejemplo chapter para enumerarlos correlativamente dentro de cada cap´ıtulo y section para enumerarlos correlativamente dentro de cada apartado del documento. Los enunciados se escriben dentro del entorno delimitado por las macros \begin{nombre} y \end{nombre}:

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

105

Proposici´ on 5.1 El conjunto de los n´ umeros primos es infinito.

\newtheorem{propos}{Proposici´ on}[chapter] \begin{propos} El conjunto de los n´ umeros primos es infinito. \end{propos}

Proposici´ on 5.5.1 El conjunto n´ umeros primos es infinito.

\newtheorem{propo}{Proposici´ on}[section] \begin{propo} El conjunto de los n´ umeros primos es infinito. \end{propo}

de

los

Si no se especifica este argumento opcional de enumeración, los enunciados correspondientes se enumeran correlativamente dentro de todo el documento: Proposici´ on 1 El conjunto de los n´ umeros primos es infinito.

\newtheorem{prop}{Proposici´ o} \begin{prop} El conjunto de los n´ umeros primos es infinito. \end{prop}

Una segunda forma de la macro \newtheorem permite definir enunciados con una enumeración en el mismo orden correlativo que la enumeración de otro enunciado. La macro: \newtheorem{nombre}[enumeraci´ on]{cabecera} permite definir nuevos entornos con una misma secuencia de enumeración:

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

106

Definici´ on 1 Dos conjuntos de atributos X y Y son equivalentes respecto a un conjunto F de dependencias funcionales, lo que se denota por X ↔ Y , si F |= X → Y y F |= Y → X.

Lema 2 Sean F y G dos conjuntos de dependencias funcionales equivalentes y no redundantes sobre un esquema de relaci´ on R, y sea X → Y una dependencia funcional en F . Entonces existe una dependencia funcional V → W en G con X ↔ V respecto a F (y también respecto a G).

\newtheorem{definicio}{Definici´ o} \newtheorem{lema}[definicio]{Lema} \begin{definicio} Dos conjuntos de atributos $X$ y $Y$ son \emph{equivalentes} respecto a un conjunto $F$ de dependencias funcionales, lo que se denota por $X \leftrightarrow Y$, si $F \models X \rightarrow Y$ y $F \models Y \rightarrow X$. \end{definicio} \begin{lema} Sean $F$ y $G$ dos conjuntos de dependencias funcionales equivalentes y no redundantes sobre un esquema de relaci´ on $R$, y sea $X \rightarrow Y$ una dependencia funcional en $F$. Entonces existe una dependencia funcional $V \rightarrow W$ en $G$ con $X \leftrightarrow V$ respecto a $F$ (y tambi´ en respecto a $G$). \end{lema}

Sea cual sea la forma de enumerarlos, todos los enunciados tienen un argumento opcional identificaci´ on que permite citar el autor original o el nombre con el cual se conoce el enunciado: \begin{nombre} [identificaci´ on] .. . \begin{nombre} Esta identificaci´ on de los enunciados se compone entre paréntesis y en negrita, en la cabecera del enunciado: Teorema 1 (Grassmann) Sean F y G dos subespacios vectoriales de E y supongamos que la dimensi´ on de E es finita. Entonces F , G, F ∩ G y F + G son todos de dimensi´ on finita y dim F + dim G = dim(F + G) + dim(F ∩ G).

\newtheorem{teorema}{Teorema} \begin{teorema} [Grassmann] Sean $F$ y $G$ dos subespacios vectoriales de $E$ y supongamos que la dimensi´ on de $E$ es finita. Entonces $F$, $G$, $F \cap G$ y $F + G$ son todos de dimensi´ on finita y $$\dim F + \dim G = \dim (F + G) + \dim (F \cap G). $$ \end{teorema}

Las demostraciones también se componen en un p´ arrafo aparte, o en m´ as de uno, pero a diferencia de los enunciados se componen en redonda y no se enumeran. Adem´ as, se suele incluir el s´ımbolo ✷ (quod est demostrandum) al final de las demostraciones. Entonces, los entornos \newtheorem no son adecuados para componer demostraciones de teoremas, corolarios, lemas

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

107

y proposiciones, y resulta m´ as conveniente definir un nuevo entorno, seg´ un se explica en el apartado 4.7, como por ejemplo el siguiente: Demostraci´ on. Sean b = a · r y c = a · s con r, s ∈ Z. Entonces b + c = a · (r + s) y b − c = a · (r − s). ✷

\newenvironment{demo} {\textit{Demostraci´ on.}} {\quad \hfill $\Box$} \begin{demo} Sean $b = a \cdot r$ y $c = a \cdot s$ con $r, s \in \mathbb{Z}$. Entonces $b + c = a \cdot (r + s)$ y $b - c = a \cdot (r - s)$. \end{demo}

El mecanismo de referencias cruzadas del LATEX se puede usar para hacer referencia a los enunciados; s´ olo es preciso introducir una macro \label dentro del entorno correspondiente: La definici´ on 3 da lugar a una variante de la estrategia de resoluci´ on lineal: la resoluci´ on lineal ordenada. Definici´ on 3 Una cl´ ausula ordenada es una cl´ ausula en la cual se ha impuesto un orden en los literales que la componen.

\newtheorem{definicion}{Definici´ on} La definici´ on~\ref{def:ordenada} da lugar a una variante de la estrategia de resoluci´ on lineal: la \emph{resoluci´ on lineal ordenada}. \begin{definicion} \label{def:ordenada} Una cl´ ausula ordenada es una cl´ ausula en la cual se ha impuesto un orden en los literales que la componen. \end{definicion}

A veces, el estilo en que el LATEX compone los enunciados no se adapta del todo a los criterios de estilo de las editoriales cient´ıficas. El paquete de definiciones theorem extiende el mecanismo de definición de enunciados del LATEX para permitir escoger el estilo para componer cada enunciado entre una serie de estilos predefinidos. La macro \theoremstyle{estilo} en el pre´ ambulo del documento determina el estilo de todos los enunciados que se definen a continuaci´ on, mediante macros \newtheorem, hasta la pr´ oxima macro \theoremstyle, si la hay, donde estilo es uno de los siguientes:

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

108

plain

Emula el estilo estándar del LATEX para componer enunciados.

break

Introduce una divisi´ on de l´ınea entre la cabecera y el texto del enunciado.

marginbreak

Compone el n´ umero del enunciado dentro del margen izquierdo, además de introducir una divisi´ on de l´ınea entre la cabecera y el texto del enunciado.

changebreak

Compone el n´ umero del enunciado delante de la cabecera, además de introducir una divisi´ on de l´ınea entre la cabecera y el texto del enunciado.

change

Compone el n´ umero del enunciado delante de la cabecera del enunciado.

margin

Compone el n´ umero del enunciado dentro del margen izquierdo.

Los siguientes son ejemplos de los diferentes estilos predefinidos en el paquete de definiciones theorem para componer enunciados: Proposici´ on 1 La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones.

\theoremstyle{break} \newtheorem{proposicion}{Proposici´ on} \begin{proposicion} La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones. \end{proposicion}

1 Proposici´ on La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones.

\theoremstyle{marginbreak} \newtheorem{proposicion}{Proposici´ on} \begin{proposicion} La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones. \end{proposicion}

1 Proposici´ on La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones.

\theoremstyle{changebreak} \newtheorem{proposicion}{Proposici´ on} \begin{proposicion} La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones. \end{proposicion}

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

109

1 Proposici´ on La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones.

\theoremstyle{change} \newtheorem{proposicion}{Proposici´ on} \begin{proposicion} La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones. \end{proposicion}

1 Proposici´ on La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones.

\theoremstyle{margin} \newtheorem{proposicion}{Proposici´ on} \begin{proposicion} La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones. \end{proposicion}

Todos estos estilos componen, por defecto, la cabecera de los enunciados en negrita y el texto de los enunciados en la familia, la forma y la serie del cuerpo base. A veces, esto tampoco resulta satisfactorio. Muchas editoriales cient´ıficas componen las cabeceras de los enunciados en versalita, sobre todo cuando se trata de textos matem´ aticos. El paquete de definiciones theorem también permite modificar la familia, la forma y la serie de la fuente y el cuerpo que es preciso usar para componer la cabecera y el texto de los enunciados. La macro \theoremheaderfont{especificaci´ on} en el pre´ ambulo del documento determina la fuente y el cuerpo que es preciso usar para componer las cabeceras de todos los nuevos enunciados, mientras que la macro \theorembodyfont{especificaci´ on} en el pre´ ambulo del documento determina la fuente y el cuerpo que es preciso usar para componer el texto de los nuevos enunciados que se definen a continuaci´ on, hasta la pr´ oxima macro \theorembodyfont, si la hay, donde especificaci´ on consiste en ninguna declaraci´ on o en una o más declaraciones de fuente y macros de cuerpo de fuente, seg´ un se explica en el apartado 4.5, como por ejemplo \bfseries\sffamily\large para especificar un cuerpo grande y una fuente de serie negrita y familia lineal. As´ı, las especificaciones por defecto corresponden a las macros siguientes: \theoremheaderfont{\bfseries} \theorembodyfont{} El ejemplo siguiente ilustra la composici´ on de las cabeceras de los enunciados en versalita:

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

110

´ n 1 La permutaci´ Proposicio on identidad no se puede poner como producto de un n´ umero impar de transposiciones.

\theoremstyle{plain} \theoremheaderfont{\scshape} \newtheorem{proposicion}{Proposici´ on} \begin{proposicion} La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones. \end{proposicion}

El paquete de definiciones amsthm también extiende el mecanismo de definición de enunciados del LATEX y permite escoger el estilo para componer cada enunciado entre una serie de estilos predefinidos, de manera similar al paquete de definiciones theorem, además de permitir la composición de enunciados no enumerados y demostraciones. Estos estilos predefinidos son tres: plain, definition y remark. El estilo por defecto es el plain, que permite componer los enunciados de más importancia relativa, como por ejemplo teoremas, corolarios, lemas y proposiciones, mientras que el estilo definition permite componer los enunciados que son de una importancia relativa menor, como por ejemplo definiciones, axiomas y ejemplos, y el estilo remark permite componer los enunciados de menos importancia relativa, como por ejemplo observaciones, casos y problemas. Con todo, la composici´ on de los enunciados es funci´ on también de la clase de documentos de que se trata. Las cabeceras de los enunciados se componen en negrita y el texto de los enunciados se compone en cursiva para el estilo plain, pero las cabeceras se componen en negrita y el texto se compone en romana para el estilo definition y las cabeceras se componen en cursiva y el texto de los enunciados se compone en romana para el estilo remark con las clases estándares de documentos LATEX. En todos los casos, las cabeceras de los enunciados se componen seguidas de un punto. Proposici´ on 1. La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones. Proposici´ on 1. La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones. Proposici´ on 1. La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones.

\theoremstyle{plain} \newtheorem{proposicion}{Proposici´ on} \begin{proposicion} ... \end{proposicion} \theoremstyle{definition} \newtheorem{proposicion}{Proposici´ on} \begin{proposicion} ... \end{proposicion} \theoremstyle{remark} \newtheorem{proposicion}{Proposici´ on} \begin{proposicion} La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones. \end{proposicion}

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

111

Este paquete de definiciones también permite componer el nombre del enunciado delante de la cabecera, mediante la macro \swapnumbers, en lugar de componerlo detr´ as de la cabecera del enunciado. La macro \swapnumbers se ha de incluir antes de las definiciones de nuevos enunciados: 1. Proposici´ o. La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones.

\swapnumbers \theoremstyle{plain} \newtheorem{proposicion}{Proposici´ on} \begin{proposicion} La permutaci´ on identidad no se puede poner como producto de un n´ umero impar de transposiciones. \end{proposicion}

El paquete de definiciones amsthm también permite componer demostraciones, mediante el entorno proof. El s´ımbolo ✷ se incluye autom´ aticamente al final de la demostración: Demostraci´ on. Sean b = a · r y c = a · s con r, s ∈ Z. Entonces b + c = a · (r + s) y b − c = a · (r − s). ✷

\begin{proof} Sean $b = a \cdot r$ y $c = a \cdot s$ con $r, s \in \mathbb{Z}$. Entonces $b + c = a \cdot (r + s)$ y $b - c = a \cdot (r - s)$. \end{proof}

Matrices Entre las construcciones matemáticas que abarcan más de una l´ınea hay las matrices y los determinantes. Una matriz es esencialmente un conjunto ordenado de f´ ormulas matemáticas que se componen seg´ un una disposici´ on rectangular de filas y columnas, es decir, alineadas tanto horizontalmente como verticalmente. Las matrices son, normalmente, estructuras homogéneas; es decir, todos sus elementos son del mismo tipo, como por ejemplo n´ umeros enteros o n´ umeros reales, a pesar que desde el punto de vista de la composición tipogr´ afica los elementos de una matriz pueden ser cualquier expresión matemática e incluso un p´ arrafo de texto. El entorno array permite la composición de matrices de expresiones matemáticas alineadas en filas y en columnas. Las matrices también son f´ ormulas matemáticas y, por lo tanto, es preciso componerlas en modo matemático, dentro de un p´ arrafo de texto o bien en un p´ arrafo aparte. A El L TEX determina automáticamente la altura de cada fila y la anchura de cada columna. Este entorno requiere un argumento, que especifica el formato de la matriz. Tiene que haber una entrada para cada columna de la matriz. Las entradas admitidas son l para una columna de f´ ormulas matemáticas alineadas contra el margen izquierdo, r para una columna de f´ ormulas matemáticas alineadas contra el margen derecho, c para una columna de f´ ormulas matemáticas centradas y p{anchura} para una columna que contiene un p´ arrafo de texto de la anchura indicada.

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

112

Además, las entradas de barra vertical | indican la inclusi´ on de l´ıneas verticales entre columnas, y una entrada de la forma *{n}{formato} es equivalente a n copias de la especificación formato, que puede incluir, a la vez, otra especificaci´ on *{n}{formato}. Esto permite escribir, por ejemplo, una especificaci´ on de seis columnas centradas de la forma *6c, en lugar de cccccc, y una especificación de doce columnas centradas como *{12}c, en lugar de cccccccccccc. Por otra parte, una entrada de la forma @{texto} inserta texto en cada fila de la tabla y suprime el espaciado adicional que el LATEX normalmente inserta entre las columnas de una matriz. El entorno array admite también una opci´ on de alineaci´ on vertical de la matriz que coincide con la alineaci´ on vertical de la primera fila (t, top), o bien con la alineaci´ on vertical de la u ´ltima fila (b, bottom) de la matriz, o bien est´ a centrada verticalmente (c, center ), que es la opci´ on por defecto. As´ı, la forma genérica de este entorno es \begin{array}[alineaci´ on]{formato} filas \end{array} Dentro del entorno array, el carácter & indica el salto a la columna siguiente, dos barras invertidas \\ indican el comienzo de una nueva fila de la matriz, la macro \hline inserta una l´ınea horizontal que abarca toda la anchura de la matriz, la macro \cline{m-n} inserta una l´ınea horizontal que se extiende desde la columna m hasta la columna n, donde 1 es la primera columna contando desde la izquierda, y la macro \vline inserta una l´ınea vertical que abarca toda la altura de la fila. No es preciso poner dos barras invertidas \\ en la u ´ltima fila de una matriz, salvo que se quiera insertar una l´ınea horizontal al final de la matriz. El siguiente es un ejemplo de una matriz genérica: x11 x21 .. . xm1

··· ··· .. . ···

x12 x22 .. . xm2

$$ \begin{array}{cccc} x_{11} & x_{12} & \cdots x_{21} & x_{22} & \cdots \vdots & \vdots & \ddots x_{m1} & x_{m2} & \cdots \end{array} $$

x1n x2n .. . xmn

& & & &

x_{1n} \\ x_{2n} \\ \vdots \\ x_{mn}

Las l´ıneas horizontales y verticales son u ´tiles para dividir una matriz, por ejemplo cuando se trata de una matriz que define una operaci´ on algebraica: S´ olo hay un grupo no c´ıclico de orden 4:

e a b c

e e a b c

a a e c b

b b c e a

c c b a e

S´ olo hay un grupo no c´ ıclico de orden 4: $$ \begin{array}{r|rrrr} & e & a & b & c \\ \hline e & e & a & b & c \\ a & a & e & c & b \\ b & b & c & e & a \\ c & c & b & a & e \end{array} $$

© Los autores, 1999; © Edicions UPC, 1999.

5 Matem´ aticas con LATEX

113

Las matrices se suelen delimitar mediante paréntesis. Para que los paréntesis o cualquier otro delimitador vertical sean de la misma altura que la matriz es preciso escribirlos detr´ as de las macros \left y \right para los delimitadores izquierdo y derecho, respectivamente:

0 B1 (I, B) = @ 0 0

0 1 0

0 0 1

b11 b21 b31

b12 b22 b32

b13 b23 b33

1 CA

$$ (I,B) = \left( \begin{array}{rrr|rrr} 1 & 0 & 0 & b_{11} & b_{12} & b_{13} \\ 0 & 1 & 0 & b_{21} & b_{22} & b_{23} \\ 0 & 0 & 1 & b_{31} & b_{32} & b_{33} \end{array} \right) $$

Los coeficientes binomiales también son matrices, a pesar que s´ olo tienen una columna. Es preciso poner un espacio fino, de tres dieciochoavos de cuadrat´ın, detr´ as del s´ımbolo de factorial para que la expresi´ on sea más legible:

m n

! =

$$ \left( \begin{array}{c} m \\ n \end{array} \right) = \frac{m!}{n!\,(m-n)!} $$

m! n! (m − n)!

La activación del paquete de definiciones amsmath también permite componer coeficientes binomiales, mediante la macro \binom:

!

n+1 k

!

=

n k

!

+

n k−1

$$ \binom{n+1}{k} = \binom{n}{k} + \binom{n}{k-1} $$

Otra de las construcciones matem´ aticas que abarcan más de una l´ınea son los determinantes. Para componer el determinante de una matriz con LATEX es preciso delimitar la matriz mediante barras verticales:

1 6 11 16 21

2 7 12 17 22

3 8 13 18 23

4 9 14 19 24

5 10 15 20 25

= 0

$$ \left| \begin{array}{rrrrr} 1 & 2 & 3 & 4 & 5 \\ 6 & 7 & 8 & 9 & 10 \\ 11 & 12 & 13 & 14 & 15 \\ 16 & 17 & 18 & 19 & 20 \\ 21 & 22 & 23 & 24 & 25 \end{array} \right| = 0 $$

Los delimitadores verticales, para que sean de tama˜ no variable, se han de escribir de manera expl´ıcita alrededor de un entorno array. La activaci´ on del paquete de definiciones delarray, sin embargo, permite especificar de manera impl´ıcita los delimitadores de una matriz, es decir, dentro de la especificación misma de las columnas de la matriz. Esto simplifica la escritura de las matrices:

© Los autores, 1999; © Edicions UPC, 1999.

Composici´ on de textos cient´ıficos con LATEX

114

Id4

0 BB =B @

1 0 0 0

0 1 0 0

0 0 1 0

0 0 0 1

1 CC CA

$$ \textrm{Id}_4 = \begin{array}({rrrr}) 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{array} $$

El paquete de definiciones array da muchas opciones adicionales para el entorno array, como también para el entorno de alineaci´ on de texto tabular, entre las cuales >{declaraci´ on} y $r$r$r

Gabriel Valiente Feruglio-Composicion de textos cientificos con LaTeX (1999).pdf

Short Description

Description

Comments

We need your help!