Está en la página 1de 97

Una Introducci

on a LATEX
Guillermo Davila Rascon
Departamento de Matematicas
Universidad de Sonora

Pr
ologo
Con el cambio tan espectacular que se dio en el mundo de las computadoras
a partir de los 80s al hacerse estas accesibles al individuo com
un y con
el boom de las computadoras personales en los a
nos siguientes, muchos
aspectos de la vida moderna fueron cambiados para siempre. El mas claro
ejemplo de esto nos lo da Internet.
En particular, el f
acil intercambio de ideas y el acceso sin restricciones
a un mundo de informaci
on que las nuevas tecnologas trajeron consigo, nos
hacen preguntarnos acerca de la suerte que correra la manera tradicional de
compartir ideas y conocimiento a traves de materiales escritos. Sin tener una
respuesta para ello, creemos que no habra cambios significativos en varias
decadas por venir; m
as aun, estas nuevas tecnologas han transformado la
industria de la impresi
on y se ha mejorado la calidad de los materiales impresos (al menos en su presentacion, no necesariamente en sus contenidos).
De cualquier forma, ya sea impreso o en una pagina en Internet, un documento escrito debe cuidar ciertos aspectos que lo hagan atractivo para su
lectura; y no s
olo nos referimos a su presentacion pues esta y la facilidad de
lectura no son lo mismo, y algunas veces estos dos aspectos pueden llegar a
contraponerse en un mismo documento.
Esto es especialmente importante en un escrito que contenga muchas
formulas matem
aticas pues estas deben ser desplegadas correctamente, lo
cual en s, ya es un problema que no siempre es facil de resolver si no se
tienen los medios adecuados.
Con los recursos que tenemos ahora a nuestro alcance, la impresion de
libros y revistas cientficas ya no es una labor que solo sea posible realizarla
en las grandes casas editoriales. Hoy, con una modesta computadora y
una impresora normal, podemos producir materiales impresos de calidad
aceptable sin tener que recurrir a una imprenta.
Por otra parte, con el advenimiento de los programas TEX y LATEX, la
producci
on de textos con alto contenido de formulas y simbolismo matema-

ii

Pr
ologo

tico se ha transformado en una tarea sencilla pues con ellos a nuestra disposici
on es como tener una peque
na imprenta personal, y le aseguramos al
lector que esto no es una exageracion.
Estos sistemas, usados ampliamente en todo el mundo, han llegado a
ser lo que actualmente son, gracias al uso masivo de las computadoras pues
podemos clasificarlos como tipografos electronicos, creados especialmente
para escribir matematicas. De hecho, La mayora de los matem
aticos
usan actualmente alguna variante de TEX para escribir sus artculos y libros
de matem
aticas . . . TEX cambi
o dram
aticamente el proceso de preparar y
distribuir literatura matem
atica[4].
Pero no debemos quedarnos con la impresion de que estos programas
s
olo son u
tilies para escribir documentos matematicos; al contrario, Con
las computadoras modernas, el mecanografiado no es s
olo para libros y documentos dirigidos a un p
ublico muy amplio. Reportes, propuestas, memorandos, y el men
u de la cena de hoy pueden hacerse mas atractivos y f
aciles
de leer con un mecanografiado de calidad profesional. LATEX es un programa
de computadora que hace m
as f
acil para un autor o un mecan
ografo la composici
on de su documento[2].
Es necesario enfatizar estos dos aspectos de un documento escrito: debe
ser visualmente atractivo y al mismo tiempo facil de leer. Sin embargo,
estas dos caractersticas no son equivalentes pues es posible componer un
documento con mucho atractivo visual pero de difcil lectura y viceversa.
As, es necesario un equilibrio entre ambos aspectos por lo que se requiere
ayuda especializada y quien nos la puede dar es un dise
nador tipografico.
En los viejos tiempos, cuado no se dipona de computadoras personales, el autor de un ducumento que requera ser publicado entregaba un
manuscrito a su casa editorial y a partir de ah era el dise
nador tipografico
quien tomaba el control del proceso pues este decida sobre el formato que
tendra la publicaci
on, el estilo tipografico en el cual se imprimira, la longitud de las lneas de texto, y mucho otros aspectos que venan a darle su
forma final al documento. El impresor segua las instrucciones del dise
nador
hasta que finalmente se publicaba la obra.
Con TEX y LATEX esto es cosa del pasado pues como nos dice Lamport,
[2]: LATEX es tu dise
nador tipografico y TEX es tu mecanografo.
Como su nombre lo indica, este es un manual introductorio de LATEX y
nuestra intenci
on es dar a conocer este sistema as como los aspectos basicos
sobre su uso. Por lo mismo, no debe esperarse un tratado que cubra todo lo
relacionado con este programa y por ello hemos incluido una amplia bibliografa donde se cubren topicos mucho mas avanzados sobre el uso de LATEX

iii
que no abordaremos en este manual.
Un aspecto que s documentamos en estas notas y que muy pocas veces
es incluido en la literatura especializada es el relacionado con la instalacion,
en nuestra computadora personal, de una distribucion de LATEX. En este
caso, presentaremos una descripcion completa de como instalar el programa
MiKTEX, el cual es una distribucion excelente de TEX y LATEX para plataformas Windows (95/98/NT/2000/XP).
La raz
on por la que no se incluye este topico en la literatura es debido a
que se supone que ya se tiene funcionando alguna implementacion de TEX
en la computadora a la cual tenemos acceso. Sin embargo, en este manual
partimos desde cero y lo primero que debemos hacer es tener una distribucion
de TEX que funcione en nuentra computadora personal.
Las principales razones por las cuales preferimos MiKTEX son las siguientes:
Es la mejor distribuci
on no comercial de TEX y LATEX para Windows.
Es software libre y tambien es gratuito.
Existe, como parte del proyecto MiKTEX, un grupo de usuarios de
MiKTEX del cual es posible obtener mucha ayuda.
Incluye pr
acticamente la totalidad de la paquetera auxiliar que se ha
desarrollado en torno a TEX y LATEX.
Es muy superior a muchas de las distribuciones comerciales de esos
programas.

Estas y otras razones hacen de MiKTEX una excelente eleccion para


aprender el uso de los programas TEX y LATEX, mismos que seguramente
nos asombrar
an al comprobar la calidad de los documentos que es posible
producir por medio de ellos: desde problemarios, notas de clase, examenes,
hasta libros completos y toda clase de materiales escritos de tipo academico,
que en nuestro medio son tan necesarios.
Por otra parte, el lector no debe quedarse con la idea de que al ser
MiKTEX una distribuci
on gratuita de TEX y LATEX, el programa no re
une
los requisitos de calidad que uno exige de un software. Se podran citar
muchos ejemplos de programas ampliamente usados que son completamente
gratuitos (Linux, TEX, LATEX, Ghost View, Emacs, por mencionar algunos),

iv

Pr
ologo

que da con da ganan mas adeptos, y no por ello los calificaramos de no


reunir los m
as altos estandares de calidad.
Con respecto a esto u
ltimo podemos se
nalar que hay todo un movimiento
a nivel mundial cuyo proposito es la creacion y distribucion de software
de fuente abierta, es decir que el usuario puede modificar el codigo de los
programas si as lo requiere para adaptarlo a su uso. Aademas, mucho de
ese software es gratuito1 .
Podramos llamar a esta corriente la filosofa de software libre, muy diferente a la de las grandes compa
nas de comercializacion de software. Estas
se caracterizan por vendernos paquetes computacionales que los podemos
calificar de cajas negras pues es imposible para el usuario com
un tener acceso al interior de ellos y ver como es que funcionan. Aqu cabe citar
una pregunta que circula entre los partidarios de la filosofa de software libre: Compraramos un automovil cuyo fabricante no nos permitiera ver el
motor?.

Software libre no significa que sea gratuito.

Contenido
Pr
ologo

1 Introducci
on
1.1 Un poco de la historia de TEX .
1.2 Formatos de TEX . . . . . . . .
1.3 LATEX: el formato m
as usado de
1.4 Ventajas y desventajas . . . . .

.
.
.
.

1
2
4
5
7

.
.
.
.
.
.
.
.

11
11
17
20
24
26
29
32
36

.
.
.
.
.
.
.

41
42
47
47
47
48
49
50

2 Un
2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8

. . .
. . .
TEX
. . .

.
.
.
.

primer recorrido por LATEX


La estructura de un documento LATEX
Acentos y otros smbolos . . . . . . . .
Algunos smbolos especiales . . . . . .
Tipografa disponible . . . . . . . . . .
Unidades de longitud y espacios . . . .
Sangras y Notas de Pie de Pagina . .
Ambientes en LATEX . . . . . . . . . .
C
omo definir nuevos comandos . . . .

3 Matem
aticas en LATEX
3.1 Ambientes matem
aticos . . . . .
3.2 Elementos del modo matematico
3.2.1 Variables y constantes . .
3.2.2 Indices y exponentes . . .
3.2.3 Fracciones . . . . . . . . .
3.2.4 Radicales . . . . . . . . .
3.2.5 Sumas e Integrales . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

vi

CONTENIDO
3.3

3.4
3.5
3.6
3.7
3.8
3.9

Simbologa matematica . . . . . .
3.3.1 Letras griegas y caligraficas
3.3.2 Una variedad de smbolos .
Operadores . . . . . . . . . . . . .
Acentos matematicos . . . . . . . .
Arreglos y matrices . . . . . . . . .
Matrices con AMS-LATEX . . . . .
Teoremas y cosas parecidas . . . .
Citas y referencias . . . . . . . . .

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

52
52
53
55
57
59
61
63
65

4 Algunos t
opicos adicionales
67
4.1 C
omo hacer tablas . . . . . . . . . . . . . . . . . . . . . . . . 67
4.2 C
omo escribir una carta . . . . . . . . . . . . . . . . . . . . . 71
4.3 C
omo hacer una bibliografa . . . . . . . . . . . . . . . . . . . 73
A Tablas de Comandos
A.1 Smbolos de texto . . . . . . . . . . . . . . . . . . . .
A.1.1 Acentos y smbolos de puntuacion . . . . . .
A.1.2 Tama
no de los tipos de texto . . . . . . . . .
A.1.3 Comandos para las familias de tipos de texto
A.1.4 Smbolos adicionales . . . . . . . . . . . . . .
A.2 Simbologa Matematica . . . . . . . . . . . . . . . .
A.2.1 Letras Hebreas y Griegas. . . . . . . . . . . .
A.2.2 Relaciones Binarias . . . . . . . . . . . . . . .
A.3 Operaciones Binarias . . . . . . . . . . . . . . . . . .
A.4 Flechas . . . . . . . . . . . . . . . . . . . . . . . . .
A.5 Smbolos Variados . . . . . . . . . . . . . . . . . . .
A.6 Delimitadores . . . . . . . . . . . . . . . . . . . . . .
A.7 Operadores . . . . . . . . . . . . . . . . . . . . . . .
A.7.1 Funciones Trigonometricas . . . . . . . . . .
A.7.2 Operadores con Lmite . . . . . . . . . . . . .
A.7.3 Integrales, Sumas, Uniones, etc. . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

75
75
75
76
76
77
78
78
79
82
83
84
85
86
86
86
87

Captulo 1

Introducci
on
Donald E. Knuth comienza su libro The TEXbook [1], con las siguientes
palabras: Amable lector: Este es un manual sobre TEX, un nuevo sistema
tipogr
afico cuyo prop
osito es la creaci
on de libros bellosy especialmente
para libros que contienen muchas matem
aticas. Al preparar un manuscrito
en el formato TEX, le estar
as diciendo a la computadora exactamente c
omo
el manuscrito ser
a transformado en p
aginas cuya calidad tipogr
afica es comparable a la de las m
as finas impresoras del mundo; aun as, no necesitar
as
hacer mucho m
as trabajo del que haras si simplemente estuvieras escribiendo el manuscrito en una m
aquina de escribir ordinaria.
El nombre de este sistema, TEX, fue acu
nado por Knuth y tiene su origen
en las palabras griegas usadas para referirse al trabajo con arte o ciencia,
las cuales tienen en com
un que comienzan con el prefijo . Por ejemplo,
la palabra griega  (que se pronunciara algo as como tecne), significa
arte, artesan a, habilidad, ciencia; trabajo de arte, etcetera. As, Knuth,
atendiendo a esto, llama TEX a este sistema donde se conjugan el arte y la
tecnolog a para la composici
on de documentos escritos.
TEX se pronuncia como tej, esto es, como en las palabras teja o tejer.
Knuth quera que se viera y se pronunciara diferente que TEX (tecs), abreviacion de Text EXecutive, un procesador de texto desarrollado por Honeywell Information Systems. Por eso la pronunciacion anterior y la letra E
por abajo de la lnea base.
Mas adelante, Knuth nos dice en su TEXbook: . . . Si solamente quieres
producir un documento pasablemente buenoalgo aceptable y b
asicamente
leible pero no realmente belloun sistema m
as simple ser
a suficiente. Con
TEX el objetivo es producir la calidad m
as fina.

Introducci
on

Pero en este manual estaremos usando LATEX, no TEX, as que Porque


tanta cita de Knuth y del sistema por el creado? La respuesta es sencilla:
El coraz
on o n
ucleo de LATEX es TEX, solo que los comandos de LATEX
est
an definidos en terminos de otros mas basicos y primitivos que son las
instrucciones de bajo nivel de TEX para la composicion de documentos. De
esta manera, LATEX es lo que se llama un formato de TEX de mas alto nivel
y est
a estructurado en base a unidades l
ogicas que hacen aun mas facil la
tarea de escribir un documento.
Si con TEX es posible producir escritos de una calidad inmejorable, en
este manual tendremos la oportunidad de constatar que el producto final
de un documento procesado con LATEX es tambien de una calidad excelente,
como si estuviera impreso por profesionales en una imprenta, por lo que
visulamente resulta ser muy placentero.
Por otra parte, este sistema es muy diferente a los del tipo WYSIWYG
(What You See Is WhatYou Get)1 como lo es Word de Microsoft y otros
procesadores de texto con los que el lector seguramente ha trabajado alguna vez, y aunque es posible producir documentos de calidad aceptable
usando este enfoque, cuando se escribe un documento que involucra una
gran cantidad de f
ormulas matematicas, la mayora de estos procesadores
nos ocasionan muchos problemas; por ejemplo, ocupan mucha memoria de
disco, no tienen todos los smbolos matematicos que a veces necesitamos,
la calidad de impresi
on de las formulas no es la optima, no tienen ambientes especiales para definiciones, teoremas, etcetera, y podramos seguir
enumerando muchos mas.
En cambio TEX y LATEX estan pensados precisamente para escribir matematicas
y su enfoque para la escritura de documentos es muy diferente a la de los
procesadores WYSIWYG. Mas adelante, en la seccion 1.4 abundaremos sobre este punto pues por ahora sera oportuno hablar un poco sobre la historia
de la creaci
on de TEX y LATEX, aunque solo mencionaremos algunos de los
eventos m
as significativos.

1.1

Un poco de la historia de TEX

Donald Knuth es considerado por muchos el padre de la computacion cientfica


ya que sus contribuciones en esta area son muchas y muy significativas. Su
trabajo m
as importante es, sin duda, The Art of Computer Programming
(TAOCP), obra en tres vol
umenes que Knuth empezo a escribir alrededor
1

Lo que ves es lo que obtienes.

1.1 Un poco de la historia de TEX

de 1966 y la cual es considerada la biblia en lo referente a algoritmos computacionales. Ya para 1973 se haban publicado los primeros tres vol
umenes
(de un total de cinco que se han planeado), y para 1976 se haban vendido
mas de un mill
on de copias; actualmente van en su tercera edicion y han
sido traducidos a muchos idiomas. Al parecer, el cuarto volumen esta casi
listo.
Con respecto a TAOCP, Bill Gates recomienda a cualquiera que se precie
de ser realmente un buen programador, que lea el primer volumen y resuelva
todos los problemas; su propia lectura del mencionado volumen le tomo varios meses y una disciplina extraodinaria. Ademas Gates agrega: envenme
un resumen si pueden leer toda esa cosa.
Precisamente, la historia de TEX comienza en 1977 con TAOCP pues
al recibir y revisar las galeras de la segunda edicion del volumen II, Knuth
realmente se molest
o por la mala calidad de impresion del texto. Siendo un
cientfico computacional, pens
o que podra hacer algo al respecto y se dedico
a dise
nar su propio lenguaje para escritura, al mismo tiempo que aprenda
todo lo necesario sobre impresi
on de materiales escritos, desde las reglas
en uso para imprimir libros de matematicas hasta el dise
no de tipografa.
Penso que le tomara alrededor de seis meses completar su trabajo pero fue
hasta unos ocho a
nos m
as tarde cuando se dio por satisfecho. Paralelamente
al desarrollo de TEX, Knuth cre
o tambien METAFONT, un programa para
dise
nar tipografa, pues se dio cuenta de que era necesario escribir su propio
lenguaje para dise
no de tipos y poder producir as la tipografa que TEX
requera. De hecho la versi
on estandar del programa TEX contiene 75 tipos
de varios tama
nos que fueron dise
nados con el uso de METAFONT; ademas,
es posible magnificar cada uno de ellos hasta en ocho pasos. Junto con
esto, era necesario crear un programa para interpretar ese lenguaje y que
transformara las formas de los tipos en un patron de puntos para imprimir o
para ver en pantalla, lo cual lo llevo a desarrollar Computer Modern Fonts.
La primera versi
on de TEX se escribio en el lenguaje de programacion
SAIL y para 1978 Knuth ya tena una version que corra en el sistema
operativo WAITS de la Universidad de Stanford; Knuth llama TEX78 a esta
version. Sin embargo, en 1980 Knuth se puso a escribir todo de nuevo, ahora
en PASCAL, pues no estaba contento con lo que tena y ademas, debido a
que el uso de SAIL era limitado en otros sistemas computacionales fuera de
Stanford, el programa no estaba disponible al gran p
ublico. Se tuvo una
version con muchas mejoras en 1982 a la cual Knuth llama TEX82.
Durante 1982 y 1983 se introdujeron mas cambios y en diciembre de

Introducci
on

1983 se present
o la version 1.0. M. Downes menciona en [4]: Esta fecha
es la que puede considerarse como el verdadero nacimiento de TEX como lo
conocemos; no es coincidencia que el uso de TEX realmente despeg
o despues
de eso, con nuevos formatos naciendo a la vida por todas partes, como flores
del desierto despues de la lluvia.
La versi
on anterior fue mejorada y eventualmente se llego a las versiones
2.x en los a
nos 1985-1990. En marzo de 1990 se presento el u
ltimo cambio
importante hecho a TEX con la version 3.0. Ha habido cambios menores y
la versi
on actual que usamos es TEX 3.14159; la pregunta es si habra una
versi
on final, algo como TEX 3.14159 . . . que converja a la version TEX ;
al respecto, el mismo Downes escribe: Knuth ha escogido incrementar el
n
umero de una versi
on menor despues de la 3.0 usando los dgitos de ,
agregando un dgito siempre que un nuevo error haya sido corregido (lo que
es muy raro hoy en da), con la idea de que despues de su muerte TEX
sea permanentemente congelado y el n
umero de la versi
on cambie de una
aproximaci
on de al mismsimo [4].

1.2

Formatos de TEX

El programa base de TEX solamente es adecuado para las mas sencillas


operaciones en la composicion de documentos pues TEX solo es capaz de
entender comandos muy primitivos para ese proposito. Sin embargo, debido a su dise
no, TEX es completamente programable por lo que es posible
acompa
narlo de comandos auxiliares, mas complejos y de mas alto nivel,
que se pueden definir en terminos de los primitivos. Estos nuevos comandos
de alto nivel son como piezas auxiliares y nos permiten tender un puente
entre las funciones tipograficas de bajo nivel de TEX y las de alto nivel que
requiere un autor, por ejemplo, y que debieran ser mas amigables en su uso.
Un conjunto de comandos de alto nivel que contiene las definiciones de
estos en terminos de los primitivos y reunidos todos en una sola unidad es
lo que se llama un formato de TEX, el cual viene a ser una interface de
alto nivel cuyas instrucciones de entrada son procesadas por el interprete
de TEX el cual las transforma en instrucciones de formateado de bajo nivel
que son trasmitidas a la parte de TEX que se encarga de la composicion de
documentos; de esta manera, si se procesa un documento usando una de
estas interfaces, el resultado final que se obtiene es un formato para cada
p
agina del documento en un lenguaje que es independiente del medio que
se usar
a para ver el escrito, ya sea en el monitor de una computadora o
a traves de su impresion en una impresora com
un, caracterstica esta que

1.3 LATEX: el formato m


as usado de TEX

resulta muy importante a la hora de escribir nuestros propios documentos.


A lo largo de la historia de TEX varios formatos han estado en uso; de
hecho el mismo Knuth introdujo un formato junto con su programa, al cual
se le llama Plain TEX, y que interact
ua con TEX a un nivel muy basico por
lo que su uso no es adecuado para usarse en la publicacion de materiales
escritos pues tiene varias limitaciones.
Otro de los primeros formatos en hacer su aparicion fue AMS-TEX en
1981, desarrollado por Michael Spivak para la American Mathematical Society pues La posibilidad de ser capaces de usar directamente archivos
electr
onicos proporcionados por los autores en lugar de mecanografiar todo
de nuevo de los manuscritos pareca absolutamente atractivo [4].
En 1982 apareci
o una primera version de LATEX como otro formato de
TEX y lo interesante de este es que le permite al autor concentrarse en la
estructura l
ogica del documento que se esta creando, mas que en el dise
no
visual del mismo. De hecho, LATEX agrega a TEX una colecci
on de comandos que simplifican la composici
on [de un documento] que permiten al
usuario concentrarse en la estructura del texto en vez de los comandos de
formateado[2].
Por otra parte, no nos debemos quedar con la idea de que solo es posible
hacer cosas muy b
asicas con TEX. Eso no es lo que intentamos explicar; de
hecho todo lo que hagamos con LATEX o alg
un otro formato es posible hacerlo
con TEX; sin embargo, la tarea es mas difcil pues se tiene que empezar desde
abajo. Es algo as como costruir una casa: con TEX debemos empezar
construyendo los ladrillos mientras que con LATEX ya los tenemos listos para
empezar la construcci
on.

1.3

LATEX: el formato m
as usado de TEX

LATEX es el formato de TEX creado por Leslie Lamport, esto es, LAmport
TEX, de ah el nombre. Lamport es un matematico y cientfico computacional que estuvo trabajando a principios de los 80s en este sistema y para
1985 ya estaba en uso una version bastante estable que evoluciono hasta
convertirse en LATEX 2.09, versi
on que fue congelada por Lamport en Marzo
de 1992.
La gran aceptaci
on que tuvo LATEX en la comunidad matematica desde
mediados de los 80s debido a su facilidad de uso, pronto lo hizo popular en
otros campos que no estaban contemplados originalmente y surgieron mas
formatos de TEX a los que se asociaba con LATEX. Para tratar de poner orden

Introducci
on

en el caos, en 1989, Lamport junto con Frank Mittelbach, Chris Rowley y


Rainer Sch
of establecieron el Proyecto LATEX3 con el objetivo de lograr
una versi
on sustancialmente mejorada y mucho mas eficiente que estuviera
complementada con varios paquetes que haran cosas muy especficas en un
documento LATEX, tales como el manejo e inclusion de figuras, el manejo de
encabezados, otros estilos de tipografa, etcetera.
El proyecto en s es bastante ambicioso y esta pensado que se logre la
versi
on 3 de LATEX en el largo plazo con la cual se incrementara en gran
medida el universo de los documentos que podran ser procesados y tambien
se tiene pensado que sera una interface con mucha flexilbilidad, de tal manera
que sea f
acil para los dise
nadores tipograficos especificar el formato de una
determinada clase de documentos.
Por otra parte, como producto del esfuerzo del grupo de voluntarios a
cargo de este proyecto, en Junio de 1994 se da a conocer la version de LATEX
actualmente en uso, que es LATEX 2 , la cual es mantenida y mejorada constantemente, como parte del proyecto LATEX3. Ademas, se ha incorporado a
esta mucha de la paquetera que se ha desarrollado alrededor de LATEX.
Otros logros del Equipo LATEX3 2 han sido los siguientes:
New Font Selection Scheme
LATEX usa la tipografa Computer Modern creada por Donald Knuth.
En 1989, Frank Mittelbach y Rainer Schof crearon el Nuevo Esquema
de Selecci
on de Tipos (NFSS, por sus siglas en ingles), con el cual
es posible el cambio independiente de los atributos de los tipos y la
integraci
on de nuevas familias tipograficas en LATEX.
AMS-TEX como un paquete de LATEX
El Equipo LATEX3 recodifico el formato AMS-TEX de tal manera que
pudiera incorporarse a LATEX como un paquete adicional.
Nuevos y mejores ambientes
Rainer Sch
of mejoro los ambientes verbatim y comment, mientras que
Frank Mittelbach creo un nuevo ambiente, multicolumn. Tambien se
le han hecho mejoras a los ambientes tabular y array.
Teoremas y estructuras similares, con estilo
En LATEX, los teoremas, lemas, proposiciones y estructuras similares
eran escritas en un mismo estilo, sin importar si algunas de ellas era
un Teorema Importante o unas simples Observaciones. Mittelbach
2

Frank Mittelbach, Chris Rowley y Rainer Sch


of

1.4 Ventajas y desventajas

y Sch
of crearon un esquema que permite especificar el estilo de estas
estructuras.
Para conocer m
as del Proyecto LATEX3, el lector interesado puede consultar la siguiente p
agina web:
http://www.latex-project.org/,
donde podr
a darse una idea de la situcion actual del mismo y los logros que
se han alcanzado. Adem
as, encontrara all una gran cantidad de documentos sobre LATEX, tales como manuales de uso, manuales de uso de paquetera
asociada a LATEX, y ligas muy importantes a otros sitios de Internet relacionados con el uso de TEX y LATEX.
Debido a que LATEX representa un balance entre funcionalidad y facilidad de uso [2], y adem
as, Con el, a
un el usuario que no tenga conocimientos de composici
on de documentos o programaci
on est
a en una posici
on de
tomar una ventaja extensiva de las posibilidades que ofrece TEX, y ser
a capaz de producir una variedad de textos con la calidad de un libro en unos
pocos das, si no horas [3], es f
acil entender porque este sistema es aceptado
ampliamente en todo el mundo.
No exageramos al afirmar que LATEX se ha convertido en el formato de
TEX m
as usado por una gran cantidad de disciplinas academicas, tanto para
la comuncaci
on como para la publicacion de sus materiales escritos; mas aun,
varias casas editoriales ya est
an cambiando al uso de este sistema para la
publicaci
on de muchos de sus libros y de sus publicaciones periodicas.
Por todo lo anterior y las carctersticas propias de LATEX, as como los altos est
andares de calidad de TEX para la produccion de documentos escritos,
hacen de ellos una herramienta muy poderosa que esta transformando el oficio de la publicaci
on de documentos; en lo que respecta a las matematicas,
esto es aun m
as que evidente.

1.4

Ventajas y desventajas

Tenemos que ser honestos y preguntarnos si realmente necesitamos toda esta


maquinaria para producir nuestros documentos escritos cuando Word, por
ejemplo, nos puede auxliliar perfectamente en nuestro trabajo.
Para que tomarnos la molestia de aprender el uso de otro sistema que,
admit
amoslo, a primera vista parece complicado, si con los procesadores de
texto (Word, Word Perfect, etcetera) podemos hacer practicamente todo

Introducci
on

y ver en la pantalla de la computadora la forma que va adquiriendo un


documento?
Al respecto le podemos responder al lector que solo probando y comparando el enfoque l
ogico de LATEX contra el enfoque WYSIWYG, es como
podemos apreciar las grandes ventajas que nos ofrecen TEX y LATEX sobre los
procesadores de palabras que solamente nos dan lo que vemos en la pantalla
de nuestra computadora, no m
as.
Aqu conviene citar a Lamport para complementar nuestra respuesta:
Hay varias razones. Primero que nada, el dise
no l
ogico promueve una
tipografa s
olida, mientras que el dise
no visual la inhibe. La mayora de los
autores creen, err
oneamente, que el dise
no tipogr
afico es primordialmente
una cuesti
on de esteticasi el documento se mira bien desde el punto de
vista artstico, entonces est
a bien dise
nado. Sin embargo, los documentos
van a ser ledos, no colgados en museos, as que la funci
on primordial del
dise
no es hacer el documento f
acil de leer, no m
as bonito. Con un sistema
de dise
no visual, los autores usualmente producen documentos esteticamente
placenteros pero muy pobremente dise
nados [2].
Otra raz
on por las que el dise
no logico es mejor que el visual, nos dice
Lamport en su libro, es que promueve una mejor escritura. El tener que
decirle a LATEX la estructura l
ogica de tu texto, te anima a darle al texto una
estructura l
ogica. Un sistema visual hace m
as f
acil crear efectos visuales en
vez de estructura l
ogica [2].
Pero todava hay una razon extra de bastante peso que es muy importante recalcar y es flexibilidad. En efecto, Los sistemas de dise
no visual
se pueden caracterizar como lo que ves es todo lo que obtendras. Una
vez que has mecanografiado el documento, cambiarle el formato es un proceso laborioso. Si decides que las ecuaciones deberan ser numeradas con
numerales romanos en lugar de ar
abigos, debes cambiar el n
umero de cada
ecuaci
on individualmente; un sistema de dise
no visual considera el n
umero
de una ecuaci
on simplemente como un n
umero que apareci
o accidentalmente
en el margen derecho y no como una estructura l
ogica [2].
Si el lector todava no esta convencido, le presentamos algunas razones
adicionales que, desde nuestro punto de vista, inclinan la balanza favorablemente hacia LATEX:
Los documentos creados usando este sistema se miran como si estuvieran impresos de manera profesional.
Ha sido especialmente creado para apoyar la escritura de formulas
matem
aticas de acuerdo con los estilos mas precisos y con la tipografa

1.4 Ventajas y desventajas

m
as adecuada.
La numeraci
on de captulos, secciones, subsecciones, etcetera se genera
autom
aticamente.
La numeraci
on de teoremas, lemas, formulas y demas, se maneja de
manera muy conveniente por lo que es muy facil hacer referencias a
ellos.
Notas de pie de p
agina, tablas de contenidos, bibliografas y citas se
pueden generar f
acilmente.
El uso de LATEX promueve la escritura bien estructurada de los documentos pues esa es la forma en que este sistema trabaja: es necesario
definir una estrucutra l
ogica para el texto.
Su alta portabilidad hace que funcione en cualquier sistema operativo
y que lo podamos correr en casi cualquier computadora.
Existe una gran cantidad de paquetera, completamente libre, que nos
ayuda a realizar ciertas tareas especficas en un documento, tales como
la creaci
on de tipografa especial, la inclusion de graficas, la escritura
de bibliografa de acuerdo a estandares bien especficos.
El usuario s
olo tiene que aprender a usar unos pocos de comandos
muy f
aciles de entender, cuyo uso le dara al documento su estructura
l
ogica.
Es posible que el lector aun no este convencido, y quiza la razon de
fondo sea que le resulta m
as conveniente el enfoque WYSIWYG y en ese
caso, tan s
olo podemos invitarlo a que intente usar LATEX y seguramente se
sorprender
a de los resultados y de todo lo que se puede lograr con el uso de
este sistema.
Respecto a las desventajas Cuales, si se puede saber? Bueno, no es
que no las tenga, simplemente que nos sera muy difcil hablar de ellas pues
estamos convencidos de las ventajas de LATEX sobre cualquier otro sistema;
mas aun, cada vez que exploramos las posiblidades que este programa nos
ofrece, todava nos causa cierta sorpresa, y regocijo, descubrir cosas nuevas
en las que no habamos pensado y que son facilmente realizables.
Quiz
a quien pudiera hablar mas con respecto a sus desventajas sera
alguien que este completamente convencido del enfoque WYSIWYG y posiblemente nos enlistara mil y una de ellas. Sin embargo, entre los propositos

10

Introducci
on

del proyecto LATEX3 esta el de hacer de LATEX un sistema todava mas flexible, en el cual, la creacion de nuestros propios estilos sea una tarea a
un mas
f
acil y tambien el de hacer de el un sistema con el cual sea posible producir una gran variedad de documentos. De esta manera, las dificultades
presentes, que en nuestra opinion son mnimas, seran cosa del pasado.
Adem
as, como nos dice Tobias Oetiker en [7], un posible argumento
en contra del uso de LATEX que podra esgrimir un usuario de los procesadores de palabras basados en el enfoque WYSIWYG pudiera ser: Es en
extremo difcil escribir documentos sin estructura y completamente desorganizados. Nosotros le agregaramos a este argumento: As las cosas,para
que cambiar? ; sin embargo, basados en las experiencias que hemos tenido
en la revisi
on de materiales escritos, estamos convencidos que: Con Word o
Word Perfect, es muy facil escribir documentos sin pies ni cabeza!; es decir,
sin estructura ni organizacion interna. Aunque tambien es posible hacerlo
con LATEX, la tarea es bastante mas difcil debido a la manera en que trabaja
este sistema.
Para cerrar el captulo, citamos de nuevo a Oetiker, quien hace la siguiente reflexi
on con respecto a aquellos usuarios cautivos de un determinado
A
software: L TEX no funciona bien para aquellas personas que han vendido
sus almas... [7].

Captulo 2

Un primer recorrido por


LATEX
Una vez que tengamos una distribucion de LATEX en nuestra computadora,
podemos comenzar a producir nuestros primeros documentos y sobre la marcha iremos aprendiendo los mecanismos de funcionamiento de este programa.
Para ello necesitamos ensuciarnos las manos y empezar a producir nuestros
primeros documentos, por lo que le recomendamos ampliamente al lector ir
probando cada uno los ejemplos que aqu damos y tratar de inventar los
suyos. Esto es, para aprender LATEX, la mejor manera es empezar a componer alg
un documento y sobre la marcha se iran incorporando los cambios
y adiciones necesarias para que el resultado sea lo que queremos.

2.1

La estructura de un documento LATEX

En primer lugar, debemos decir que todo documento LATEX consta de dos
partes:
1. Un pre
ambulo.
En este se dan una serie de comandos que tienen un efecto global sobre
el documento que vamos a producir. Estos pueden ser para especificar
el formato y el estilo del mismo (p. ej. si vamos a escribir un libro, un
artculo o una carta, etcetera), el ttulo, el o los autores, el ancho y la
altura del texto, el estilo de las paginas, y otros mas.
2. El cuerpo del documento.
Esta parte consiste del texto de documento, propiamente hablando,

12

Un primer recorrido por LATEX


junto con otros comandos de caracter local. Por ejemplo, comandos
que pueden tener su efecto en la tipografa de un parrafo como en
este caso; otros que afectan la manera en como una ecuacion debe
aparecer en el escrito; sangras, tablas, figuras, etcetera.

Usualmente, todo documento LATEX comienza siempre con la siguiente


declaraci
on:
\documentclass[opciones]{clase}
donde \documentclass es un comando que especifica la clase o el tipo de
documento que vamos a componer, y se tienen dos argumentos para este
comando:
[opciones],
{clase}.
Como opciones se tienen el tama
no de letra del documento, si este sera
escrito a una columna o a dos columnas, la manera en que se imprimira,
esto es, si ser
a por un solo lado de la hoja o por los dos lados, etcetera.
Hablaremos sobre esto mas adelante, en esta misma seccion.
Con respecto a las clases, estas pueden ser artculos, libros, transparencias y algunas otras, sobre las que abundaremos en las siguientes paginas.
Despues de la declaracion inicial, siempre deberemos incluir las siguientes: \begin{document} y \end{document}. De esta manera, un tpico documento LATEX se vera, en general, como
\documentclass[opciones]{clase}
..
.
\begin{document}
..
.
\end{document}
Todas las declaraciones y comandos antes de \begin{document} forman
el pre
ambulo; el cuerpo del documento empieza con \begin{document} y
termina con \end{document}.

2.1 La estructura de un documento LATEX

13

Recordemos que editaremos el documento por medio del editor Emacs


por lo que las declaraciones anteriores las escribiremos en la ventana que se
obtiene al iniciar el programa y abrir un archivo que ya se tiene o empezar
uno nuevo, como ya se explic
o en la seccion ??.
En cuanto a los argumentos del comando \documentclass, podemos
elegir de entre varias clases y es posible especificar algunas opciones para
cada una de ellas, de acuerdo con el documento que deseamos escribir.
Las clases son1 :
article Si nuestro documento es un artculo.
amsart
Formato de artculo de la American
Mathematical Society.
book
Por si queremos escribir un libro.
report
Esto para un reporte.
slides
Transparencias.
Cada una de estas clases tiene sus valores predeterminados conforme a
las reglas de estilo que son usadas en la impresion de este tipo de documentos. Sin embargo, la gran ventaja de LATEX (o TEX) es que podemos crear
nuestros propios estilos, pero antes de intentar hacerlo, le recomendamos al
lector aprender el funcionamiento basico de estos programas.
En lo que respecta a las opciones, se tienen las siguientes:
Tama
no de letra.
Podemos escoger de entre las opciones 10pt, 11pt o 12pt, las cuales
nos dan el tama
no de letra de 10, 11 o 12 puntos (1pt 0.35 mm).
Si no se especifica alguna de ellas, LATEX selecciona el tama
no 10pt
que es el predeterminado para las distintas clases, excepto para las
transparencias.
Tama
no del papel.
Se tienen las siguientes opciones:
letterpaper
legalpaper
executivepaper

(11 in 8.5 in)


(14 in 8.5 in)
(10.5 in 7.2 in)

a4paper
a5paper
b5paper

(29.7 cm 21 cm)
(21 cm 14.8 cm)
(25 cm 17.6 cm)

Hemos mencionado que TEX fue creado tomando en cuenta los mejores
estilos, tanto tipogr
aficos como de formato, que se usan en la industria
de la impresi
on; adem
as, se penso en que el documento obtenido al usar
1

Estas no son todas las clases disponibles en LATEX 2 . Aqu s


olo citamos las m
as
importantes pues las otras son para estilos muy particulares

14

Un primer recorrido por LATEX


este programa fuera no solo placentero a la vista sino tambien de facil
lectura, en el sentido de que la vista se fatigue lo menos posible al
realizar la acci
on de leer.
Debido a esto, LATEX calcula el ancho de las lneas de texto y el n
umero
de lneas por p
agina de acuerdo con el tama
no de letra y el tipo de
papel seleccionados, por lo que se debe tomar en cuenta esto a la
hora de componer nuestro documento. Sin embargo, las definiciones
propias de LATEX no estan grabadas en piedra por lo que es posible
hacer cambios y especificar el ancho de cada lnea y la altura del texto
en cada p
agina. Veremos como hacer estos cambios mas adelante.
Por otra parte, el valor predeterminado que usa LATEX es el tama
no
carta, letterpaper.
Es posible tambien cambiar la orientacion del papel; as, en lugar de
que la mayor dimension de la hoja de papel sea la vertical (modo
portrait), podemos usar la opcion landscape y nuestro documento
usar
a la dimension menor de la hoja como la vertical.
Formatos de p
agina.
Se tienen las opciones de formatear el documento a una columna o
a dos columnas, lo cual logramos con las instrucciones onecolumn y
twocolumn, respectivamente. El valor predeterminado (default), es
onecolumn.
Si usamos el formato de doble columna, podemos especificar la separaci
on de estas por medio del comando \columnsep. Ademas, es
posible separar las dos columnas por una lnea vertical cuyo ancho
lo controlamos con el comando \columnseprule. Estos comandos se
cambian usando el comando \setlength por lo que al declarar en
el pre
ambulo del documento \setlegth{\columnsep}{10pt}, estamos formateando este con una separacion de 10 puntos entre las dos
columnas. Asimismo, con la declaracion
\setlength{\columnseprule}{1pt}
LATEX dibujar
a una lnea vertical entre las dos columnas de cada pagina
y esta lnea tendra un espesor de un punto.
Tambien como parte del formato de la pagina tenemos la opcion de
imprimir de manera diferente las paginas pares y las impares por medio
de las instrucciones oneside y twoside. Para las clases article y
report, el valor predeterminado es oneside, mientras que para la

2.1 La estructura de un documento LATEX

15

clase book, el default es twoside, lo cual produce que los n


umeros de
las p
aginas pares aparezcan por la izquierda en el encabezado y en las
impares los n
umeros de p
agina aparecen en el encabezado en la parte
superior derecha. La opci
on oneside, por otra parte, imprime todas
las p
aginas de una sola manera.
Aparte de las anteriores, hay otras opciones que poco a poco iremos
conociendo, pero ahora presentamos un ejemplo que ilustra el uso de algunas
de estas. As, Pit
agoras habra podido escribir el siguiente documento para
publicar su famoso teorema, en formato de artculo a doble columna, con
tama
no de letra de 11pt, y en el que las paginas pares se imprimen diferente
a las impares, en el sentido que hemos dicho arriba:
\documentclass[twosidse,twocolumn,11pt]{article}
\title{Un Teorema sobre Tri\angulos Rect\angulos}
\author{Pit\agoras de Samos}
\date{A\~no 550 a. C.}
\setlength{\columnseprule}{0.5pt}
\newtheorem{theorem}{Teorema}
\begin{document}
\maketitle
\section{Introducci\on}
En este peque\~no escrito demostraremos un resultado que era ya\
conocido por los matem\aticos que habitaron la Mesopotamia hace\
m\as de mil a\~nos y del cual hemos logrado una demostraci\on\
maravillosa que ilustra nuestro credo:\textbf{todo es n\umero}.
\begin{theorem}
En un tri\agulo rect\angulo, el \area del cuadrado construido\
sobre la hipotenusa es igual a la suma de las \areas de los\
cuadrados construidos sobre los catetos.
\end{theorem}

16

Un primer recorrido por LATEX

Antes de probar este resultado vamos a construir la figura\


siguiente, la cual usamos s\olo por razones pedag\ogicas, y\
nos ayudar\a a ilustrar la demostraci\on del teorema.
..
.
\end{document}

Un Teorema sobre Triangulos Rectangulos


Pitagoras de Samos
A
no 550 a. C.

Introducci
on





S

S
En este peque
no escrito demostraremos

S
un resultado que era ya conocido 
S
S
por los matematicos que habitaron la S
S
S
Mesopotamia hace mas de mil a
nos

S

y del cual hemos logrado una deS

S

mostracion maravillosa que ilustra nue
S

stro credo:todo es n
umero.
S

..
S
.

Teorema 1 En un triagulo rectangulo,


el area del cuadrado construido sobre la
hipotenusa es igual a la suma de las areas
de los cuadrados construidos sobre los
catetos.
Antes de probar este resultado vamos
a construir la figura siguiente, la cual
usamos solo por razones pedagogicas, y
nos ayudara a ilustrar la demostracion
del teorema.

Figura 2.1: Ejemplo de un artculo a doble columna


Como el lector habra notado, en este peque
no ejercicio hemos incluido
comandos de los cuales no hemos hablado en estas notas; sin embargo, poco
a poco iremos aprendiendo el uso de estos y de otros muchos que nos seran de
gran utilidad a la hora de escribir nuestros propios documentos. Por ahora
nos interesa mostrar algunas de las cosas que podemos hacer con LATEX y la
salida dvi que se obtiene para este ejemplo se ilustra en la figura:

2.2 Acentos y otros smbolos

17

Debemos se
nalar que para lograr este efecto hicimos algunos cambios
en la clase article en la base de LATEX. Estos cambios tienen que ver
con las dimensiones del tama
no de hoja y requirieron modificar el archivo
article.cls que define la clase article (la extension .cls es por clase).
En este caso, el archivo modificado lo nombramos articulo.cls para
conservar el original sin cambios y esta nueva clase tiene nuestras propias
definiciones. Adem
as de lo anterior, tambien fue necesario modificar el
archivo de estilo article.sty para que al correrlo, LATEX reconociera la
nueva clase. El nuevo archivo de estilo (style, por eso la extension .sty), fue
nombrado articulo.sty para dejar intacto al original: article.sty.
De esta manera, la declaraci
on \documentclass[opciones]{articulo}
es reconocida perfectamente por LATEX, y los cambios funcionan sin problema alguno.
Por otra parte, el lector no debe quedarse con la impresion de que es
necesario meterse hasta el corazon de LATEX cada vez que uno requiere
definir ciertos estilos. De hecho, el programa provee muchos comandos para
introducir cambios y tambien existe mucha paquetera desarrollada con el
proposito de hacer tareas especficas en LATEX, y la cual viene incluida en
todas las distribuciones serias del programa. Con el uso de esta paquetera
auxiliar es posible hacer modificaciones en un documento.

2.2

Acentos y otros smbolos

Algunos de los comandos introducidos en el ejemplo anterior son para acentuar letras; estos acentos pueden ser de diferentes tipos y corresponden a
idiomas diferentes del ingles. Algunos de ellos los damos en la siguiente
tabla, en donde la columna de la izquierda nos muestra la sintaxis del comando y la columna adyacente lo que se obtiene al ejecutarlo:
\{a}
\~{n}
\c{c}

\^{o}
o
\{\i}
\u{o}
o

\"{u}
\v{o}
\={e}

o
e

Es necesario se
nalar que las llaves { }, solo son necesarias en el caso de
que los comandos contengan una letra, tales como \v{} o \u{}, o bien que
sean compuestos como \{\i}. En este u
ltimo caso, para poner el acento
sobre la i, primero debemos quitarle el punto lo cual se logra con \i: ;
enseguida se escribe el acento con \{\i}: .

18

Un primer recorrido por LATEX

Observaciones 2.1. En el idioma espa


nol, la ocurre con mucha frecuencia
por lo que sera muy tedioso y mucha perdida de tiempo tener que teclear
\{\i} cada vez que necesitamos acentuar la i. Para evitarnos ese trabajo,
en este manual hemos definido el comando
\newcommand{\ia}{\{\i}}
As, al escribir \ia obtenemos . Para m
as detalles ver secci
on 2.8
De esta manera, es claro que los comandos en el primer renglon de la
siguiente tabla nos producen los resultados que se muestran en el segundo:
\~e
e

\~o
o

\~s
s

\u
u

\e
e

\o
o

\"o
o

\^e
e

\=e
e

Otros smbolos que son importantes se presentan en la tabla siguiente,


con su respectiva sintaxis en el renglon inferior:

a
\aa

A
\AA

\ae

\AE

\oe

\OE

Para una lista completa de acentos y smbolos, ver el apendice A.


Por otra parte, a veces resulta necesario poner puntos suspensivos (elipsis), . . . , en un texto, los cuales se obtienen con el comando\ldots. En
otras ocasiones quiz
a necesitemos hacer citas textuales tales como:
Las computadoras son buenas siguiendo instrucciones pero no para leer tu
mente (Knuth dixit [1]), o bien como:
Cuando se le pregunto si le gustaba LATEX, ella dijo No , para las cuales
se ha usado la siguiente sintaxis:
Las computadoras son buenas siguiendo instrucciones pero
no para leer tu mente
y
Cuando se le pregunt\o si le gustaba \LaTeX{}, ella dijo
No\,
Observamos que es la comilla izquierda simple y es la comilla derecha
simple y las hemos usado dos veces al abrir y dos veces al cerrar la cita.

2.2 Acentos y otros smbolos

19

Adem
as, en el segundo caso hemos escrito No\, para enfatizar la respuesta y el comando \, nos da un espacio que es necesario para distinguir
las diferentes comillas.
Los smbolos - (gui
on sencillo), (guion medio) y (guion largo) los
hemos usado algunas veces en este manual y los obtenemos de una manera
sencilla: - para el primero, -- para el que sigue y --- para el u
ltimo de ellos.
En [1], Knuth nos dice: Si miras de cerca en la mayora de los libros
bien impresos, encontrar
as que ciertas combinaciones de letras son tratadas
como una unidad . . . Tales combinaciones son llamadas ligaduras . . . . Las
combinaciones de letras que TEX toma como ligaduras son ff, fi, fl, ffi y
ffl. En LATEX, estas combinaciones de letras tambien se consideran como
ligaduras. Esto tiene sentido pues en palabras tales como filosofa,fino y
flujo, por ejemplo, el no considerar ligaduras producira filosofa, fino y
flujo, que no se ven muy bien que digamos.
Por u
ltimo, es posible que alguna vez necesitemos de los logotipos TEX,
EX, etcetera, los cuales se muestran en la siguiente tabla junto con la
sintaxis que los produce.

LAT

\TeX
TEX

\LaTeX
LATEX

\LaTeXe
LATEX 2

\AmS-\TeX
AMS-TEX

\AmS-\LaTeX
AMS-LATEX

Tabla 2.1: Logotipos

Aqu conviene hacer notar que si escribimos \TeX es un excelente


programa y \LaTeX es muy f\acil de usar, entonces obtenemos
TEXes un excelente programa y LATEXes muy facil de usar, lo cual seguramente no era lo que queramos.
Para evitarlo podemos escribir \TeX\ es un excelente programa
y nos produce:TEX es un excelente programa. Sin embargo, no siempre
es conveniente usar esta forma para dar espacio pues notemos que la frase
el logo de \LaTeX\. da por resultado algo chistoso: el logo de LATEX.
Una manera de evitar lo anterior es usar \LaTeX{} es muy f
acil de
usar, lo cual nos da: LATEX es muy facil de usar. Del mismo modo,
el logo de \LaTeX{}. nos resulta en: el logo de LATEX.

20

2.3

Un primer recorrido por LATEX

Algunos smbolos especiales

Hemos mencionado que todo comando de LATEX siempre comienza con el


caracter \ cual se llama backslash en la terminologa TEX. Ahora tendremos
oportunidad de ver m
as de cerca algunos comandos que nos seran muy u
tiles
en lo que sigue. Una lista de los comandos LATEX y de AMS-LATEX se
presenta en el apendice A.
En LATEX existen diez caracteres especiales que se obtienen directamente
del teclado de nuestra computadora personal y se usan en conjuncion con
algunos comandos; estos caracteres nos sirven para dar instrucciones al programa y es recomendable que siempre los tengamos presentes:
\

&

Como ya dijimos, el uso de estos caracteres esta reservado para ciertos


comandos y es necesario poner especial atencion para no hacer uso de ellos
en texto ordinario.
Por ejemplo, si necesitamos escribir $ 250.00 pesos M.N., y simplemente lo mecanografiamos como
$ 250.00 pesos M.N.
en el editor de texto, entonces LATEX genera el siguiente mensaje de error:
! Missing $ inserted.
<inserted text>
$
l.350
La raz
on de esto es que el smbolo $ esta reservado en TEX y LATEX para
el modo matem
atico y un ejemplo de su uso es: $ ax + by = c$, lo cual
nos produce la ecuaci
on ax + by = c.
De esta manera, cuando aparecen los smbolos $...$ en pares, LATEX
interpreta esto como modo matematico y trata a la expresion que aparece
entre ellos como una expresion matematica. As, en el ejemplo anterior,
LATEX encuentra el primer $ y se prepara para el modo matematico, pero al
no encontrar un segundo $ que delimite la expresion nos genera el mensaje
de error y nos dice que en $ 250.00 pesos M.N. falta otro smbolo $.
Como se puede ver en A.1.4 del apendice A, para producir el caracter
$ necesitamos escribir \$, por lo que \$ 250.00 pesos M.N. nos da el
resultado que deseamos: $ 250.00 pesos M.N.

2.3 Algunos smbolos especiales

21

Otro de los caracteres especiales que es muy usado en un documento


LATEX es % pues su aparici
on en una lnea causa que LATEX ignore todo el
contenido de esa lnea despues de %. En consecuencia, si deseamos escribir
El 10% de 1500 es 150 y el 20% de 150 es 30, entonces la forma correcta
de hacerlo es por medio de
El 10\% de 1500 es 150 y el 20\% de 150 es 30
ya que si tecleamos: El 10% de 1500 es 150 y el 20% de 150 es 30, el
rsultado que se obtiene es: El 10
pues el resto de la lnea despues de % es ignorado!
Adem
as, % es muy u
til para hacer comentarios en un documento y para
desactivar alg
un comando. Un ejemplo de esto lo vemos en lo que sigue:
%Este es un documento para mostrar que \% es muy \util.
% Comentario: Este es el pre\ambulo del documento
\documentclass{article}
\title{Este es un ejemplo}
\author{Fulano de Tal}
\date{13 de Febrero de 2003}
% Comentario: Aqui comienza el documento
\begin{document}
%\maketitle
Estamos ejemplificando el uso del caracter \% en un\
documento \LaTeX{}.
%Si ponemos uno s\olo o muchos de ellos,
%%%%%% el resultado es el mismo %%%%%%%%%
\end{document}
Si compilamos este documento, entonces el ttulo del documento no se
imprime en el archivo de salida pues % inhibe la ejecucion del comando
\maketitle ya que LATEX ignora el contenido de la lnea despues de caracter
%. Notemos tambien que en este ejemplo hemos incluido algunos comentarios.
El uso de los dem
as caracteres especiales & # { }
se ira
aprendiendo poco a poco, en la medida que avancemos en este manual. Para

22

Un primer recorrido por LATEX

generar estos en texto ordinario debemos hacerlo por medio de los comandos
\& \# \{ \} \_ \^{} \~{} (ver seccion A.1.4), y estamos seguros
que el lector pronto se acostumbrara a su uso.
Por otra parte, otros dos tipos de caracteres, diferentes a los ya descritos,
los obtenemos directamente del teclado de la computadora y podemos llamarlos invisibles, aunque son de particular importancia. Nos referimos a
los caracteres de espaciado, que se producen por medio de la barra espaciadora, y a los caracteres que indican el final de una lnea, que usualmente
se obtienen por medio de la tecla enter o return (  ).
TEX trata exactamente igual a ambos caracteres y tambien en LATEX se
tratan simplemente como un caracter de espaciado. Esto implica que para
LATEX un espacio, o una sucesion de ellos, son manejados de la misma manera
por lo que es irrelevante si dejamos uno o veinte espacios entre dos palabras:
para LATEX s
olo se trata de uno. Sin embargo, surge una pregunta Como
es que TEX y LATEX distinguen cuando termina un parrafo y empieza otro?
Esto no representa problema alguno pues una lnea en blanco es interpretada
por TEX como el fin de un parrafo.
Damos ahora un ejemplo para ilustrar lo anterior, el cual hemos adaptado directamente de [2] pues Lamport lo explica muy claramente. En este
caso, el texto de la izquierda se produjo con el escrito que aparece a la
derecha:

Para TEX y LATEX, las terminaciones de las palabras y oraciones


se marcan por medio de espacios
y no importa si hay un solo espacio o diez de ellos.
El final de un p
arrafo se distingue
por una o m
as lineas en blanco,
como en este ejemplo.

Para \TeX{} y \LaTeX{}, las


terminaciones de las
palabras y oraciones se
marcan por medio de
espacios y no importa
si hay un
s\olo
espacio
o
diez
de
ellos.
El final de un p\arrafo
se distingue por una o
m\as lineas en blanco,
como en este ejemplo.

Para dar el espacio apropiado entre las palabras y los caracteres en un


documento, TEX no s
olo toma en cuenta lo ancho de cada caracter de acuerdo
con el tama
no de la tipografa usada en el escrito, sino que tambien influyen

2.3 Algunos smbolos especiales

23

las alteraciones que se producen por las combinaciones de los caracteres.


Por ejemplo, si en nuestro documento aparece una A seguida de una W,
entonces lo que se obtiene en la impresion es AW y no AW, pues en esta
combinaci
on de las letras A y W, TEX las junta un poco en aras de que sea
visualmente m
as atractiva.
De hecho, TEX siempre da el mejor formato posible a una lnea de texto
en concordancia a reglas bien establecidas en el arte de la impresion. En
particular, el espacio entre las palabras en una lnea de texto es uniforme
y es calculado de tal manera que el inicio y el final de la lnea concuerden
exactamente con los m
argenes laterales que se le dieron al documento, ya
sea que se usen los predeterminados para esa clase o bien, que uno los haya
definido.
Adem
as, en la medida de lo posible, TEX siempre trata de mantener igual
el espacio entre las palabras de las diferentes lneas de un parrafo. Mas aun,
TEX considera cada p
arrafo como una sola unidad y trata de organizar el
texto que lo conforma en varias lneas del mismo ancho, para lo cual toma
en cuenta los requerimientos de espacio entre palabras y caracteres. As,
el texto se corta entre palabras para formar cada lnea, tratando de que
no haya ruptura de las palabras. Sin embargo, esto no siempre es posible
de lograr y TEX debe buscar puntos de quiebre en las palabras para que el
parrafo en su conjunto tenga una buena apariencia.
En en caso del idioma espa
nol, las palabras no se pueden cortar de forma
arbitraria pues debemos obedecer a la estrucutra sil
abica de las mismas y
esto es algo que debemos tomar muy en cuenta en nuestro documento. Por
ejemplo:
Aqu tenemos un peque
no parrafo que nos muestra algunas palabras que no se cortan de manera correcta, como puede apreciar cualquiera que conozca un
poco de espa
nol.

Pero en este caso, podemos notar que todas las palabras s


se cortan de una manera adecuada, atendiendo a su estructura silabica.

TEX tiene un algoritmo para cortar palabras que es bastante eficiente


(ver [1]), aunque en algunas ocasiones es necesario instruirle como seccionar
ciertas palabras. En el primero de los ejemplos anteriores, los cortes se
provocaron de manera deliberada para ilustrar una situacion extrema y TEX
no intervino en el seccionamiento. Sin embargo, en el segundo parrafo, los
cortes s fueron realizados por TEX.

24

Un primer recorrido por LATEX

Para eliminar los casos en que algunas palabras de uso frecuente en un


documento se corten de forma incorrecta, es necesario hacer una lista en la
que damos la manera adecuada de seccionar esas palabras. Esto se logra si
en el pre
ambulo de nuestro documento hacemos la declaracion:
\hyphenation{lista}
donde la lista es el conjunto de las palabras que requieren un seccionado
adecuado. La forma de hacerlo es como sigue:
\hyphenation{com-pu-ta-do-ra len-gua-je do-cu-men-to pa-la-bra
pa-la-bras al-go-rit-mo re-co-men-da-ble ... }
Podemos notar que en la lista anterior no hemos incluido palabras que
tengan acentos u otros caracteres; eso se debe a que en este comando solo
nos est
a permitido usar la forma natural de las letras a-z.

2.4

Tipografa disponible

A estas alturas del juego, el lector ya habra notado la variedad de tipos que
hemos usado a todo lo largo de este documento, algunos de los cuales son
texto en negritas, ademas de texto enfatizado que es diferente de texto en
it
alicas pues esto es enfatizado dentro de enfatizado.
Tambien hemos escrito con tipos inclinados y con formato de m
aquina
de escribir. M
as aun, la familia sans-serif esta disponible en LATEX y es
posible es
ibir co tipografa de diferente
manos, aunque esto
no se ve muy bien que digamos y es muy difcil de leer.
Sorprendido eh! Aun no? Bueno, quiza en lo que sigue logremos interesar al lector con las bondades de LATEX, que van mucho mas alla de esto
que acabamos de hacer pues, en realidad, no hemos explotado las muchas
posibilidades que este sistema nos ofrece.
Por otra parte, los comandos que utilizamos arriba para producir los
diferentes tipos de letras y sus tama
nos, se pueden consultar en las secciones
A.1.2 y A.1.3 del apendice A.
Por ejemplo, \textsf{el tipo sans-serif} produce el tipo sans-serif,
aunque se obtiene el mismo resultado con

cr

s ta

{\sffamily el tipo sans-serif}

2.4 Tipografa disponible

25

solo que en el primer caso usamos el comando con argumento y en el segundo


como una declaraci
on. Asimismo, el formato de m
aquina de escribir
se produjo con la instrucci
on
\texttt{el formato de m\aquina de escribir}
que tiene el mismo efecto que
{\ttfamily el formato de m\aquina de escribir}
Por otra parte, podemos anidar varios tipos de letras:
Este es un ejemplo de texto en negritas dentro de un enfatizado, el cual
se produjo mediante
\emph{Este es un \emph{ejemplo} de texto \textbf{en negritas}
dentro de un \textnormal{enfatizado}}
Mas aun:

Aqu, aparte de cambiar de tamano se cambian estilos.


La sintaxis que nos produjo esta lnea es la siguiente:
\large{\textsl{Aqu\ia{}, aparte de }\textsf{cambiar} de\
{\small tama\~no} {\em se cambian} {\bf estilos}}\
\normalsize{}
Tambien en algunas ocasiones necesitaremos subrayar alg
un texto en
un escrito pero eso no es problema para LATEX pues lo podemos hacer de
distintas formas:
Este es subrayado normal, el cual se produjo con la instruccion
\underline{Este es subrayado normal}
Esto es subrayado y enfatizado, el cual se obtuvo con la instruccion
\underline{\em Esto es subrayado y enfatizado}
Como vemos, se tienen muchas posibilidades para la escritura de texto
ordinario y ya depender
a de las necesidades de cada usuario el usar determinada tipografa, as como los tama
nos de esta.
Diremos ahora unas palabras con respecto a las declaraciones. Una
declaraci
on es un comando que cambia los valores o significados de ciertos par
ametros o de otros comandos sin que inmediatamente se imprima
texto alguno. En [2], Lamport nos explica esto de manera muy clara con un
ejemplo:

26

Un primer recorrido por LATEX


A diferencia de otros comandos que has encontrado hasta ahora,
el comando \em no produce texto alguno y tampoco espacio;
en vez de eso, este afecta la manera en que TEX imprime el
texto que le sigue. Tal comando es llamado una declaraci
on.
La mayora de los aspectos de la manera en que TEX da formato a un documentoel estilo de los tipos, que tan amplios
son los m
argenes, etc.son determinados por declaraciones. La
declaraci
on \em instruye a TEX a cambiar el estilo de los tipos
de roman a italic, o viceversa. Las llaves delimitan el alcance de
la declaraci
on; cuando TEX encuentra }, revierte el estilo de los
tipos en uso justo antes de {.

Para esta cita de Lamport hemos utilizado el ambiente de LATEX:


\begin{quote}
..
.
\end{quote}
y nos produce cierto efecto en el texto el cual se trata de manera diferente,
de acuerdo a los par
ametros definidos para ese ambiente.

2.5

Unidades de longitud y espacios

En LATEX se manejan las siguientes unidades de longitud:


cm centmetros,
mm milmetros,
in pulgadas (1in=2.54cm),
pt punto (1in=72.27pt),
bp punto grande(1in=72bp),
pc pica (1pc=12pt),
dd punto did
ot (1157dd=1238pt),
cc cicero (1cc=12dd),
em lo ancho de la letra may
uscula M
ex lo alto de la letra x
Estas unidades se usan como argumentos en la mayora de los comandos
que utilizaremos para insertar espacios horizontales y verticales en nuestro
texto.
Antes de hablar de estos comandos, introduzcamos un smbolo especial
para denotar un espacio en blanco: . As, cuando escribimos

2.5 Unidades de longitud y espacios

27

Creo observar ...


lo que realmente tecleamos es
Creo observar ...
De esta manera, si en alguna situacion es necesario especificar que se
requiere un espacio en blanco, entonces podemos usar este smbolo.
Los comandos de LATEX que se usan frecuentemente para insertar un
espacio horizontal los damos en la siguiente tabla, en la cual, la columna
izquierda nos muestra la sintaxis del comando y la columna derecha el espacio que estos nos generan; en este caso lo mostramos con dos barras verticales:
\,
\
\quad
\qquad

||
||
| |
|
|

El primero de ellos \, ya lo hemos usado en varias ocasiones, y es


u
til para separar comillas como en este caso: Ella dijo No , para lo cual
tecleamos Ella dijo No\,, pues es necesario dar un poco de espacio
entre y .
El siguiente comando es \ ; este es el espacio normal que se deja entre palabras y puede resultarnos u
til para prevenir que LATEX considere un
punto como el fin de una oraci
on, como en el ejemplo:
Knuth et al. consideran que es
facil aprender TEX.

Knuth et al.\ consideran que


es f\acil aprender \TeX{}.

El comando \quad, crea un espacio de 1 em, mientras que \qquad nos da


un espacio de 2 em.
Otros dos comandos de espaciado horizontal son:
\hspace{espacio}
\hspace*{espacio}
los cuales nos permiten insertar espacios horizontales de cualquier longitud
y son de mucha utilidad.
Es muy importante que especifiquemos la magnitud del espacio al igual
que sus unidades, tal como ahora mostramos:
Este es un espacio\hspace{2cm}de 2 cent\ia{}metros.
Este es un espacio\hspace{1.35in}de 1.35 pulgadas.

28

Un primer recorrido por LATEX

Este espacio\hspace{-3.5pt}es negativo pues es de -2.5 puntos.


nos produce:
Este es un espacio
de 2 centmetros.
Este es un espacio
de 1.35 pulgadas.
Este espacioes negativo pues es de -2.5 puntos.
El comando \hspace no produce efecto alguno al comienzo o al final de
una lnea por lo que en esos casos es necesario usar \hspace*, pues este
inserta un espacio de la longitud que se especifique, sin importar en donde
ocurre.
Especial atenci
on merecen los comandos
\hfill
\dotfill
\hrulefill
pues nos permiten llenar espacios horizontales como se muestra en los casos
siguientes:
Izquierda

Derecha

4. Historia del Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Pagina 37


ABCDEF

UVWXYZ

los cuales se obtuvieron por medio de:


Izquierda \hfill Derecha
4. Historia del Algebra \dotfill P\agina 37
ABCDEF \hrulefill UVWXYZ
Estos comandos nos ofrecen muchas posibilidades pues podemos lograr
bastantes cosas con ellos:
Izquierda
Nombre

Centro

Derecha
Grupo

Horario

2.6 Sangras y Notas de Pi


e de P
agina
Hora de Llegada

13:30 P.M.

29

Hora de Partida . . . . . . 14:30 P.M.

Para estos ejemplos se escribio lo siguiente:


Izquierda \hfill Centro \hfill Derecha
Nombre \hrulefill\hrulefill\hrulefill\hrulefill Grupo \hrulefill
\hspace{2pt}Horario \hrulefill
Hora de Llegada \hrulefill 13:30 P.M. \hfill Hora de Partida
\dotfill 14:30 P.M.
Aparte de los espacios horizontales, LATEX tambien maneja espacios verticales y un comando muy u
til es
\vspace{espacio}
el cual trabaja en forma parecida a \hspace, solo que en este caso, el espacio
que se inserta es uno vertical.
Por ejemplo aqu dimos
un espacio vertical de 0.6
centmetros.

Por ejemplo aqu\ia{} dimos


un espacio vertical de
\vspace{0.6cm}
0.6 cent\ia{}metros.

Tambien en este caso se tiene la variante \vspace* y el espacio creado


por este comando no es eliminado por LATEX aunque aparezca al principio
de la p
agina o al final de ella, como s lo hara con \vspace.
Otros comandos de espaciado vertical son:
\smallskip
\medskip
\bigskip
los cuales, a diferencia de \vspace, son fijos, en el sentido de cada uno
genera un espacio vertical que s
olo depende de la clase del documento que
se este escribiendo.

2.6

Sangras y Notas de Pi
e de P
agina

Seguramente el lector ya habr


a notado que el primer parrafo, al inicio de
cada captulo o secci
on, no comienza con sangra, como s ocurre con los

30

Un primer recorrido por LATEX

dem
as p
arrafos. Esta es la forma predeterminada de LATEX para la clase
book, pero podemos hacer cambios de acuerdo con nuestras preferencias.
El comando de LATEX que controla las sangras es \indent y si no deseamos una sangra podemos suprimirla usando el comando \noindent.
Veamos un ejemplo:
Aqu comienza un parrafo que lo hemos resaltado con \textsl y tenemos
sangra como es lo usual para la clase de documento que estamos usando.
Otro p
arrafo sigue aqu y debiera tener sangra pero en este caso la hemos
eliminado para mostrar el uso del comando \noindent.
para lo cual hemos escrito:
\textsl{Aqu\ia{} comienza un p\arrafo que lo hemos resaltado
con \textnormal{\texttt{\symbol{92}textsl}} y tenemos
sangr\ia{}a como es lo usual para la clase de documento que
estamos usando.}
\noindent \textsl{Otro p\arrafo sigue aqu\ia{} y debiera
tener sangr\ia{}a pero en este caso la hemos eliminado para
mostrar el uso del comando
\textnormal{\texttt{\symbol{92}noindent}}.}
Pero es posible cambiar la longitud de la sangra al inicio de cada parrafo
ya que esta es controlada por el comando \parindent, el cual esta definido
como una longitud. As, para establecer una nueva medida para este comando hacemos la declaracion
\setlength{\parindent}{espacio}
en el pre
ambulo del documento.
Observaciones 2.2. El primer p
arrafo de una secci
on no tiene sangra y
no es posible cambiar esto aun si usamos \indent. Sin embargo, con el
paquete indentfirst s es posible hacerlo.
Otro comando relacionado con el manejo de los parrafos es \parskip,
el cual controla el espacio que LATEX deja entre dos parrafos consecutivos.
Esta distancia debe ser dada en unidades ex. Por ejemplo, para este manual
hemos definido:
\setlength{\parskip}{0.5ex plus0.2ex minus0.1ex}

2.6 Sangras y Notas de Pi


e de P
agina

31

lo cual significa que el espacio adicional extra entre parrafos sera de la mitad
de la altura de x y que puede incrementarse hasta 0.7ex o puede reducirse
a 0.4ex.
Con respecto a las notas de pie de pagina2 , LATEX nos provee el comando
\footnote{Nota}, y es muy f
acil producir estas anotaciones. La numeracion
que se usa para estas es ar
abiga y por captulos para la clase book; es decir al
comenzar cada captulo, el contador de las notas de pie de pagina se inicializa
a cero y se incrementa en uno por cada nota. Para la clase article, la
numeraci
on se incrementa a lo largo de todo el documento.
Presentamos un ejemplo usando el ambiente minipage y en este caso la
nota aparece al fondo de la peque~
na p
agina:
Este es un ejemploa del uso
del comando que nos genera
notas al pie de la p
aginab .
Notemos c
omo es la numeraci
on en este ambiente,
distinta a la usual.

Este es un ejemplo\footnote{
Y es el primero de su tipo}
del uso del comando que nos
genera notas al pi\e de la
p\agina\footnote{En este
caso la p\agina es muy
peque\~na.}.

Y es el primero de su tipo.
En este caso la p
agina es muy
peque
na.
b

Notemos c\omo es la
numeraci\on en este ambiente,
distinta a la usual.

Es posible cambiar el estilo de numeracion para las notas de pie de pagina


y el comando para hacerlo es el siguiente:
\renewcommand{\thefootnote}{estilo{footnote}}
donde los estilos son:
\arabic

\roman

\Roman

\alph

\Alph

Otras opci
on es que nuestras notas de pie de pagina se impriman con el
comando \fnsymbol para el que se tienen los siguientes smbolos:
*

**

a los cuales les corresponde, en ese orden, un n


umero de 1 a 9. De esta
manera, si definimos
2

Este es un ejemplo de una nota al pie de la p


agina.

32

Un primer recorrido por LATEX


\renewcommand{\thefootnote}{\fnsymbol{footnote}}

entonces para escribir las notas de pie de pagina usando estos smbolos,
procedemos en la forma siguiente:
En este ejemplo\footnote[3]{Muy sencillo pero ilustrativo.}\
usamos \verb+\fnsymbol+ para escribir nuestros pi\es de\
p\agina\footnote[8]{N\otese los s\ia{}mbolos que\
estamos usando.}.
y se obtiene:
En este ejemplo usamos \fnsymbol para escribir nuestros pies de pagina .

2.7

Ambientes en LATEX

En LATEX se tienen disponibles varios tipos de ambientes que nos permiten


darle estructura a un documento y en los cuales es posible alterar de manera
temporal algunas caractersticas tales como sangras, el tipo de letra, el
ancho de la lnea de texto, etcetera, y esos cambios ocurriran solamente
dentro del ambiente en el que tienen lugar.
Algunos de los ambientes a nuestra disposicion son:
un ambiente de citas que se define por
\begin{quote} ... \end{quote}
el ambiente de enlistados, de los que se tienen tres opciones:
itemize y se define por
\begin{itemize}... \end{itemize}
enumerate
\begin{enumerate}... \end{enumerate}
description
\begin{description}... \end{description}
el ambiente de poesa que esta definido por

Muy sencillo pero ilustrativo.


N
otese los smbolos que estamos usando.

2.7 Ambientes en LATEX

33

\begin{verse} ... end{verse}


el ambiente de arreglos queda definido por
\begin{array}[posici
on]{columnas} ... \end{array}
el ambiente de mini-p
agina esta dado por
\begin{minipage}[posici
on]{ancho} ... \end{minipage}
el ambiente de ecuaciones etiquetadas por n
umero queda definido por
\begin{equation} ... \end{equation}
un ambiente para hacer figuras en LATEX queda definido por
\begin{picture}(x dimen,y dimen) ... \end{picture}
LATEX provee muchos m
as ambientes y aqu se han mencionado solo
unos cuantos, pero poco a poco nos iremos familiarizando con ellos a lo
largo de estas notas. Adem
as, una caracterstica de LATEX es que podemos
crear nuestros propios ambientes, lo cual nos dara una gran cantidad de
posibilidades.
Vamos a ilustrar ahora el uso de algunos de ellos. El primero es para
hacer listas y para este, LATEX provee tres tipos de ambientes: itemize,
enumerate y description, de los cuales presentamos varios ejemplos de su
uso en lo que sigue.
Un ejemplo del uso de itemize:
Cada entrada de esta lista
es marcada con una vi
neta.
Aqu anidamos la lista.
Primera entrada del
segundo nivel.
Segunda entrada del
segundo nivel.
Esta es la tercera entrada
del primer nivel.

La lista se produjo as:


\begin{itemize}
\item Cada ... vi\~neta.
\item Aq\ia{} anidamos ...
\begin{itemize}
\item Primera entrada ...
\item Segunda entrada ...
\end{itemize}
\item Esta es ... nivel.
\end{itemize}

34

Un primer recorrido por LATEX

Ahora se tiene otro ejemplo de uso de enlistados pero esta vez con
n
umeros
Un ejemplo del uso de enumerate:
1. Esta es una entrada
2. Esta es la segunda
(a) entrada
(b) entrada
3. La tercera es la vencida, dicen.

La lista se produjo as:


\begin{enumerate}
\item Esta es una ...
\item Esta es la ...
\begin{enumerate}
\item entrada
\item entrada
\end{enumerate}
\item La tercera es...
\end{enumerate}

Finalmente, con el ambiente description es posible dar nuestras propias


etiquetas:
Una lista con description:

La lista se produjo as:

uno Esta es una entrada

\begin{description}
\item[uno] Esta ...
\item[dos] Esta ...
\begin{description}
\item[\dag] una entr...
\item[\ddag] otra entr...
\end{description}
\item[tres] La tercera
\end{description}

dos Esta es la segunda


una entrada
otra entrada
tres La tercera

Notemos que este ambiente es adecuado para hacer algo como esto:
Pit
agoras La ecuaci
on a2 + b2 = c2 se asocia con este nombre.
Euclides Famoso ge
ometra que escribio Los Elementos.
Arqumedes Encontro formulas para areas y vol
umenes.
Este ejemplo se produjo as:
\begin{description}
\item[Pit\agoras] La ecuaci\on $a^2+b^2=c^2$ se asocia

2.7 Ambientes en LATEX

35

con este nombre.


\item[Euclides] Famoso ge\ometra que escribi\o
\textsl{Los Elementos}.
\item[Arqu\ia{}medes] Encontr\o f\ormulas para \areas y
vol\umenes.
\end{description}
Por otra parte, es posible anidar cualesquiera de estos ambientes como
se muestra en el ejemplo:

1. Esta es la primera entrada del ambiente enumerate.


2. Esta es una segunda entrada.
Esta entrada de itemize esta anidada.
Otro Nivel Esto es en ambiente description.
Este es otro nivel de profundidad.
Esto es el segundo nivel
3. Pero esta es la tecera entrda de enumerate
Este ejemplo se produjo con las siguientes instrucciones:
\begin{enumerate}
\item Esta es la primera entrada del ambiente \emph{enumerate}.
\item Esta es una segunda entrada.
\begin{itemize}
\item Esta entrada de \emph{itemize} est\a anidada.
\begin{description}
\item[Otro Nivel] Esto es en ambiente \emph{description}.
\begin{itemize}
\item Este es otro nivel de profundidad.
\end{itemize}
\end{description}
\item Esto es el segundo nivel
\end{itemize}
\item Pero esta es la tecera entrda de \emph{enumerate}
\end{enumerate}

36

Un primer recorrido por LATEX

El otro ambiente que ejemplificamos ahora es el de verse, con el cual


podemos escribir poesa. Veamos:

Para escribir unos versos


en un ambiente de LATEX
pedimos ayuda a hackers
y a connotados expertos.

\begin{verse}
Para escribir estos versos\\
en un ambiente de \LaTeX{}\\
pedimos ayuda a \emph{hackers}\\
y a connotados expertos.

Y aunque ninguno de ellos


era Knuth o Leslie Lamport,
publicamos unos cuantos
que nos parecieron bellos.

Y aunque ninguno de ellos\\


era Knuth o Leslie Lamport,\\
publicamos unos cuantos\\
que nos parecieron bellos.

Pero los grandes letrados


han dicho que no son tersos
y que nuestra poesa
es m
as juego de perversos.

Pero los \emph{grandes letrados}\\


han dicho que no son tersos \\
y que nuestra poes\ia a\\
es m\as juego de perversos.

Oh Se
nores de las Letras!
de celo siempre dispuesto
haremos lo que nos gusta
aunque no sea perfecto.

2.8

!Oh Se\~nores de la Letras!\\


de celo siempre dispuesto \\
haremos lo que nos gusta\\
aunque no sea perfecto.
\end{verse}

C
omo definir nuevos comandos

En muchas ocasiones, un comando, un nombre o una secuencia de comandos


se repiten muchas veces en un mismo documento. Por ejemplo, en estas
notas se utilizan mucho las palabras Emacs o LATEX y otros comandos que
nos toma tiempo mecanografiar por lo que redefiniendo estos podramos
ahorrar tiempo a la hora de escribir el texto.
Un ejemplo de esto es el comando \{\i} que nos produce la i con
acento: . En este caso, el comando se descompone en dos partes: primero
es necesario quitar el punto de la i: ; esto se logra con \i. Luego debemos
ponerle el acento, lo cual se produce con \, por lo que el comando completo
es \{\i}.
Pero el lector estara de acuerdo en que escribir esto cada vez que necesitemos la , es tedioso; esto tiene remedio si creamos un nuevo comando que
haga lo mismo que \{\i}. As, definimos

2.8 C
omo definir nuevos comandos

37

\newcommand{\ia}{\{\i}}
De esta manera, el nuevo comando \ia nos produce .
Usualmente, es en el pre
ambulo del documento donde se definen los
nuevos comandos aunque \newcommand lo podemos usar en cualquier parte
del texto.
Por otra parte, nosotros hemos definido el comando \ema que nos produce
Emacs, de la siguiente manera:
\newcommand{\ema}{\texttt{Emacs}}
Otro comando que podramos definir es \lt para que nos escriba LATEX.
La forma en que lo haramos es
\newcommnad{\lt}{\LaTeX}
y al ejecutar el comando \lt obtenemos LATEX.
Pero la verdadera fuerza de \newcommand la podemos apreciar en el ambiente matem
atico, del cual explicaremos un poco aqu, aunque abordaremos
esto m
as ampliamente en el siguiente captulo.
Ya hemos dicho que LATEX interpreta una expresion delimitada por los
smbolos $...$ como un ambiente matematico por lo que $a^2+b^2=c^2$ es
una expresi
on matem
atica para LATEX y en este caso nos produce a2 +b2 = c2 .
Si, por otra parte, escribimos
\[
a^2 + b^2 = c^2
\]
entonces obtenemos la misma f
ormula anterior, pero en forma desplegada:
a2 + b2 = c2
Supongamos ahora que en nuestro documento utilizamos con mucha frecuencia expresiones del tipo v1 , v2 , . . . , vn , que pudieran ser las componentes
de un vector v; claramente, tener que escribir $v_1,v_2, \ldots ,v_n$
cada vez que lo necesitamos en el texto, nos hara perder bastante tiempo.
Pero podemos definir un nuevo comando que nos simplifique este trabajo.
Por ejemplo, podramos intentar con

38

Un primer recorrido por LATEX


\newcommand{\vecv}{v_1,v_2,\ldots,v_n}

Pero si lo invocamos como \vecv, obtenemos el siguiente mensaje de error:


! Missing $ inserted.
<inserted text>
$
l.456 Pero si lo invocamos como \vecv
, obtenemos el siguien...
?
La raz
on de esto es que v_1, v_2, etcetera, le indican al programa que
se est
a aplicando un comando propio de un ambiente matematico pues
el comando se usa para escribir subndices; as, estas son expresiones
matem
aticas para LATEX por lo que espera el par de smbolos $...$ para
este tipo de expresiones; al no encontrarlo, produce el error mencionado.
La forma como remediamos esto es cambiando al modo matematico cada
vez que invocamos este comando, es decir, debemos ejecutarlo en la forma
$\vecv$; al hacerlo obtenemos v1 , v2 , . . . , vn . De esta manera, podra parecernos bastante l
ogico incluir el cambio a un ambiente matematico en la
definici
on misma y tratar de definir el comando como
\newcommand{\vecv}{$v_1,v_2,\ldots,v_n$}
Al ejecutarlo como \vecv, tambien se obtiene la expresion deseada:
v1 , v2 , . . . , vn .
Sin embargo, supongamos que deseamos definir el vector v = (v1 , v2 , . . . , vn )
y se hace uso del comando en una expresion matematica como la siguiente:
Consideremos el vector
\[
\mathbf{v}=(\vecv)
\]
Al compilar, aparece de inmediato un mensaje de error:
! Display math should end with $$.
<to be read again>
v
l.475 mathbf{v}=(\vecv
)

2.8 C
omo definir nuevos comandos

39

el cual nos dice que las expresiones matematicas desplegadas deben terminar
con $$. Lo que pasa aqu es que el comando \vecv solo puede aplicarse en
modo de texto y nunca en un ambiente matematico.
La manera de remediar esto es por medio de la siguiente definicion:
\newcommand{\vecv}{\ensuremath{\v_1,v_2,\ldots,v_n}}
lo que nos asegura que podemos ejecutar el comando \vecv, tanto en modo
de texto como en modo matem
atico.
Cuando uno escribe un texto de matematicas, es muy frecuente el uso
de expresiones de la forma:
1. Sea k Z . . .
2. Si x R, entonces . . .
3. Consideremos z C . . .
las cuales significan que el n
umero k es un entero, que x es un n
umero real
y z es un n
umero complejo, pues en la terminologa matematica moderna es
costumbre denotar por Z, R y C a los enteros, a los reales y a los complejos,
respectivamente.
Esos smbolos especiales para referirse a estos sistemas numericos no
formaban parte del LATEX original, aunque s estaban definidos en AMSLATEX, el cual es un formato desarrollado por la American Mathematical
Society. Con el advenimiento de LATEX 2 en 1994, todos los comandos de
AMS-LATEX se incorporaron a esta nueva version como paquetera adicional.
De esta manera, para ejecutar los comandos de AMS-LATEX en un documento
que utilice LATEX 2 , es necesario decirle al programa que incluya los paquetes
que se requieren.
Por ejemplo, los smbolos A, B, C, D, . . . , X, Y, Z, forman parte del paquete amssymb y para poder tener acceso a ellos debemos incluir el uso
de este paquete en nuestro documento, lo cual se logra con el comando
\usepackage{amssymb}, que se declara en el preambulo:
\documentclass[twoside,11pt]{article}
\usepackage{amssymb}
Una vez incluido este paquete, el comando $\mathbb{R}$ nos produce
R. Recuerde que esta es una expresion en modo matematico y por eso debemos delimitarla por los smbolos $
$. Aqu se nos presenta de nuevo el

40

Un primer recorrido por LATEX

problema de escribir todo el comando \mathbb{} cada ocasion que necesitemos la notaci
on anterior; sin embargo, esto es facil de remediar si defnimos
un nuevo comando, por ejemplo:
\newcommand{\R}{\mathbb{R}}
hara bien el trabajo. En este caso no es necesario la instruccion \ensuremath{},
como en el caso que vimos anteriormente.
Observaciones 2.3. En este manual hemos definido los siguientes comandos con el auxilio de amssymb
Comando
\N
\Z
\Q
\R
\C

Definici
on
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}

Resultado de su uso
N
Z
Q
R
C

Le recomendamos al lector tener esto presente pues estos comandos se usar


an
frecuentemenete en lo que sigue.

Captulo 3

Matem
aticas en LATEX
En el captulo anterior se dieron varios ejemplos en los cuales vimos como
escribir algunas ecuaciones y f
ormulas matematicas. En esta parte se abundara m
as al respecto y tendremos oportunidad de comprobar una de las
muchas virtudes de LATEX, a saber, su especial orientacion hacia el manejo
de ambientes matem
aticos.
Esta caracterstica de LATEX es heredada de TEX pues este sistema fue
inventado por Donald Knuth con el proposito de escribir documentos con
alto contenido de f
ormulas matematicas, un proceso en general muy complicado en cualquier imprenta o sistema de impresion.
No exageramos al decir que TEX es la mejor herramienta disponible
para la composici
on de documentos cientficos que incluyan muchas formulas
matem
aticas y en LATEX se tiene toda la potencia de TEX a nuestra disposicion para tal prop
osito; sin embargo, debemos recalcar que el objetivo
de LATEX es el dise
no de documentos.
En el presente captulo aprenderemos como incluir ecuaciones, teoremas, matrices, arreglos de ecuaciones, etcetera, en nuestros documentos,
y al mismo tiempo, veremos que la manera en la cual estos ambientes
matem
aticos son tratados por LATEX, hace que sea muy facil numerarlos
y citarlos en un documento.
Tambien incluiremos el manejo de simbologa disponible en AMS-LATEX,
lo cual es s
olo cuesti
on de declarar unas pocas instrucciones de uso de la pa-

42

Matem
aticas en LATEX

quetera adecuada en el preambulo del documento, pues como ya apuntaba


mos en la Introducci
on, la version actual de LATEX, LATEX 2 , incluye el formato AMS-TEX.

3.1

Ambientes matem
aticos

Para escribir una f


ormula matematica en un documento LATEX, es necesario
advertirle al programa que esa parte del texto es un ambiente matem
atico.
Por tal raz
on, debemos indicarle en que punto comienza la formula y cuando
termina; esto se logra al cambiar del modo de texto al modo matem
atico y
hay varias maneras de hacerlo.
Por ejemplo, una f
ormula puede aparecer en la lnea de texto como aqu:
sen2 + cos2 = 1, o bien en forma desplegada como
ei + 1 = 0.
Una f
ormula o una ecuacion en lnea se logra con alguna de las siguientes
opciones y todas producen el mismo resultado:
\begin{math} f
ormula o ecuaci
on \end{math}
\( f
ormula o ecuaci
on \)
$ f
ormula o ecuaci
on $
Por ejemplo, al escribir
Si $ \lambda \in \C $ es una ra\ia{}z \( n \)-\esima
de la unidad, entonces
\begin{math} 1 + \lambda + \cdots + \lambda^{n-1}=0 \end{math}.
se obtiene (ver observaciones 2.3:
Si C es una raz n-esima de la unidad, entonces 1 + + + n1 = 0.
Podemos observar varias cosas en este ejemplo. Primeramente, notemos
que aunque las instrucciones se dieron en varias lneas, el resultado solo
requiri
o de una sola lnea de texto; esto es as pues en el parrafo anterior

3.1 Ambientes matem


aticos

43

no le indicamos a LATEX que haba saltos de renglones y todo este parrafo


es tratado como un s
olo rengl
on. Ademas, los espacios que dejamos con el
editor en el modo matem
atico, son ignorados por LATEX y no se produce
efecto alguno si est
an presentes o no lo estan.
Para enfatizar esto u
ltimo, es facil ver que tanto
$ ( a + b) ^

2 = a^2 + 2 a b + b^2 $

como
$(a+b)^2=a^2+2ab+b^2$
producen el mismo resultado: (a + b)2 = a2 + 2ab + b2 .
En el caso de las f
ormulas desplegadas, podemos escribirlas usando una
de las opciones siguientes:
$$ f
ormula o ecuaci
on $$

\[ f
ormula o ecuaci
on \]

\begin{displaymath} f
ormula o ecuaci
on \end{displaymath}

De esta manera, cualesquiera de las instrucciones


$$ z=R^{1/n}\exp^{i \frac{\varphi + 2\pi k}{n}} $$
\[
z=R^{1/n}\exp^{i \frac{\varphi + 2\pi k}{n}}
\]
\begin{displaymath}
z=R^{1/n}\exp^{i \frac{\varphi + 2\pi k}{n}}
\end{displaymath}
nos producen
z = R1/n expi

+2k
n

Es posible que al lector le parezca que hay que hacer mucho trabajo para
escribir una simple f
ormula y, ademas, la manera de hacerlo pudiera parecerle un tanto confusa. Al respecto debemos confesar que en nuestros inicios

44

Matem
aticas en LATEX

en este mundo de LATEX, tambien tenamos sentimientos de ese tipo. Sin


embargo, una vez que se empiezan a manejar los comandos y a entender su
l
ogica, uno pronto se familiariza con la idea central de LATEX: la estrucutra
l
ogica que le da a un documento. Esto hace que sea bastante facil aprender
muchos de los comandos de uso frecuente, en particular, aquellos con los que
escribimos f
ormulas matematicas.
Por otra parte, otros dos ambientes matematicos de mucha utilidad son
\begin{equation}
f
ormula o ecuaci
on
\end{equation}
y
\begin{eqnarray}
arreglo de f
ormulas o ecuaciones
\end{eqnarray}
El primero nos produce una formula desplegada pero etiquetada con un
n
umero como se muestra ahora:
I
1
f (z)
f 0 (z0 ) =
dz
(3.1)
2i z z0
la cual se produjo de la siguiente manera:
\begin{equation}
f(z_0)= \frac{1}{2 \pi i}\oint_{\gamma} \frac{f(z)}{z-z_0} \,
\mathrm{d}z
\end{equation}
Notemos que el n
umero de esta ecuacion especifica que es la primera
f
ormula numerada del captulo 3; la manera en la que LATEX asigna los
n
umeros a las f
ormulas esta determinada por la clase del documento. Abordaremos esto con m
as detalle en un captulo posterior y veremos que es
posible hacer algunas modificaciones sobre la forma en la que aparecen estos
etiquetas en las f
ormulas. Con respecto a los comandos \, y \mathrm, que

3.1 Ambientes matem


aticos

45

aparecen en la f
ormula anterior, ver subseccion 3.2.5.
El segundo de estos ambientes nos es muy u
til cuando necesitamos desplegar varias f
ormulas como si fueran un arreglo o cuando una formula es
demasiado larga y no cabe en un solo renglon. Los siguientes ejemplos nos
ilustran esto.
Para producir el arreglo
a + b = 3k c

(3.2)

k + m 7b 2a + x + 3y z
3a + 2b 5k 11x + 13y + 17m

(3.3)
(3.4)
(3.5)

usamos el ambiente eqnarray de la siguiente manera:


\begin{eqnarray}
a + b & = & 3k - c \\
k + m & \leq & 7b - 2a + x + 3y - z \\
3a + 2b - 5k & \geq & 11x + 13y + 17m
\end{eqnarray}
Aqu podemos notar varias cosas: Primeramente, el uso del smbolo &
que sirve para separar las columnas del arreglo; en segundo lugar, el comando \\ que nos indica un corte lnea, y en tercer lugar, las tres formulas
que aparecen en el arreglo se enumeran.
Otro ejemplo muy ilustrativo se tiene al escribir
\begin{eqnarray}
x^n - 1 & = & x^n - 1^n \nonumber \\
& = & (x - 1)(x^{n-1} + x^{n-2} + \cdots + x + 1) \\
(x + y)^3 & = & x^3 + 3x^2 y + 3xy^2 + y^3
\end{eqnarray}
pues obtenemos
xn 1 = xn 1n
(x + y)

= (x 1)(xn1 + xn2 + + x + 1)

(3.6)

= x + 3x y + 3xy + y

(3.7)

46

Matem
aticas en LATEX

y notamos que el comando \nonumber evita que se numere la formula o


ecuaci
on en la que aparece.
En el caso de una formula muy larga, tal como
(x1 , x2 , x3 , x4 ) = x1 + x2 + x3 + x4
+x1 x2 + x1 x3 + x1 x4 + x2 x3 + x2 x4 + x3 x4
+x1 x2 x3 + x1 x2 x4 + x1 x3 x4 + x2 x3 x4
+x1 x2 x3 x4

(3.8)

el ambiente eqnarray nos facilita las cosas pues la podemos lograr con las
instrucciones
\begin{eqnarray}
\sigma(x_1,x_2,x_3,x_4) & = & x_1 + x_2 + x_3 + x_4 \nonumber \\
&
& + x_1 x_2 + x_1 x_3 + x_1 x_4 + x_2 x_3
+ x_2 x_4 + x_3 x_4 \nonumber\\
&
& + x_1 x_2 x_3 + x_1 x_2 x_4 + x_1
x_3 x_4 + x_2 x_3 x_4 \nonumber \\
&
& + x_1 x_2 x_3 x_4
\end{eqnarray}
Una variante del ambiente eqnarray es eqnarray* y la diferencia es que
en este caso no se produce numeracion alguna para las formulas del arreglo,
tal como se ve en el ejemplo que sigue:
1 (x1 ) = x1
2 (x1 , x2 ) = x1 + x2 + x1 x2
3 (x1 , x2 , x3 ) = x1 + x2 + x3 + x1 x2 + x1 x3 + x2 x3 + x1 x2 x3
el cual se produjo de la siguiente manera:
\begin{eqnarray*}
\sigma_1(x_1)
& = & x_1 \\
\sigma_2(x_1,x_2)
& = & x_1 + x_2
\sigma_3(x_1,x_2,x_3) & = & x_1 + x_2
+ x_1 x_2
+ x_1 x_2
\end{eqnarray*}

+ x_1 x_2 \\
+ x_3
+ x_1 x_3 + x_2 x_3
x_3

3.2 Elementos del modo matem


atico

3.2

47

Elementos del modo matem


atico

3.2.1

Variables y constantes

Una conclusi
on importante que es posible derivar de los distintos ejemplos
presentados hasta aqu tiene que ver con el tipo de letra usado por LATEX
en el modo matem
atico. Por ejemplo, si ponemos atencion a las formulas
3.2, 3.3 y 3.4 del arreglo de la p
agina 45, vemos que las letras que aparecen
en ellas, i.e. las variables, est
an en tipo it
alico mientras que los n
umeros,
i.e. las constantes, tienen en el tipo roman. De hecho, esta es la practica
universal para la escritura matematica.
Pero el tipo de letra predeterminado que usa TEX en el modo matematico
es math italic, el cual es diferente del tipo it
alico en texto ordinario y lo
mismo sucede en LATEX. En efecto, podemos comparar ambos:
Este es el tipo it
alico en modo
Esto es el tipo italico en texto
matem
atico:
ordinario:
abcdef gh . . . stuvwxyz

abcdefgh . . . stuvwxyz

que se obtuvo con

que se obtuvo con

\begin{center}
$abcdefgh \ldots stuvwxyz$
\end{center}

\begin{center}
\textit{abcdefgh \ldots stuvwxyz}
\end{center}

y claramente podemos percibir las diferencias entre ellos. De esta manera,


no debemos usar $...$ como sustituto de \textit{...}.
Este ejemplo nos muestra que LATEX tiene una manera propia de manejar
los espacios entre variables, constantes y los smbolos que intervienen en el
modo matem
atico, tales como +, =, <, , >, etcetera.

3.2.2

Indices y exponentes

En la escritura de documentos con contenido matematico, es muy frecuente


el uso de ndices y exponentes, mismos que tipograficamente son equivalentes a los subndices y superndices, respectivamente.

48

Matem
aticas en LATEX

Con TEX y LATEX es muy sencillo realizar esta tarea y solo debemos
recordar que el caracter especial se usa para los subndices y el caracter ^
se utiliza para los superndices.
Para ilustrar la manera de hacerlo, presentamos a continuacion varios
ejemplos junto con su sintaxis:
xk
Xjk
cnk
r,s
i,j

$x_k$
$X_j^k$
$c_{n_k}$
$\Gamma_{i,j}^{r,s}$

yn
a
q loga b
2p
An

j pq

$\xi_{j_{3k}^{pq}}$

Ml

$y^n$
$a^{\lambda - \mu}$
$q^{\log_a b}$
$A^{n^{2p}}$

3k

Ymnj

kmij

$Y_{m_{n_{j_i}}}$

r
pq

$M^{k_{m_j}^{n_i}}_{l}$

$C^{p^{q^{r^s}}}$

Como podemos observar, es necesario usar las llaves { } cuando el ndice


o el exponente constan de mas de un solo caracter.

3.2.3

Fracciones

Si se requiere escribir en lnea una fraccion sencilla del tipo (a + b)/2, es


f
acil obtenerla pues basta simplemente con teclear $(a+b)/2$. En el caso
de fracciones m
as complicadas, debemos usar el comando
\frac{numerador }{denominador }
y enseguida se presentan varios ejemplos:
$$\frac{\psi + 2k\pi}{n+m}$$
nos da

+ 2k
n+m
$$\sen z = \frac{e^{i z} - e^{-i z}}{2 i}$$

nos da

eiz + eiz
2
Todava podemos hacerlo un poco mas complicado:
cos z =

x+y
uz
x2

xy
1
1
u+z
=

,
y2
uz u+z

3.2 Elementos del modo matem


atico

49

ecuaci
on que se obtuvo mediante
\[
\frac{\frac{x+y}{u-z} - \frac{x-y}{u+z}}{x^2-y^2}
= \frac{1}{u-z} - \frac{1}{u+z},
\]
Mas aun, es f
acil escribir fracciones como
A=B

a+b
x+

1
y+

z+

1
1
w+1/2

pues basta con teclear


\[
A=B-\frac{a+b}{x+ \frac{1}{y + \frac{1}{z + \frac{1}{w + 1/2}}}}
\]
para lograrlo.

3.2.4

Radicales

Para escribir una expresi


on bajo un signo de radical, usaremos el comando
\sqrt[n]{expresi
on}
y damos ahora algunos ejemplos sobre su uso.
Algunas veces tendremos que escribir expresiones tales como x = b
b2 4ac/2a, la cual se obtiene de $x = -b \pm \sqrt{b^2 - 4 a c}/2a$.
Adem
as f
ormulas del tipo
s
r
a2 b2
3
+ab
(a2 + b2 ) +
a3 + 2ab + b3
son pan comido para LATEX ya que simplemente lo hacemos como
\[
\sqrt[3]{(a^2 + b^2)+ \sqrt{\frac{a^2 - b^2}{a^3 + 2ab
+ b^3} + a-b}}
\]

50

Matem
aticas en LATEX
Es claro que, podemos desplegar formulas mas complicadas:
s
2
n
(x + 1)n
n a0 + a1 x + a2 x + + an x

+
k
(x 1)k
1 + x + 2x2 + + kxk

para lo cual tuvimos que teclear:


\[
\sqrt[n]{\frac{a_0 + a_1 x + a_2 x^2 + \cdots + a_n x^n}
{\sqrt[k]{1 + x + 2x^2 + \cdots + kx^k}}
+ \frac{(x+1)^n}{(x-1)^k}}
\]

3.2.5

Sumas e Integrales

P
Escribir Rf
ormulas en las cuales estan presentes los smbolos de suma
e
A
integral nunca ha sido un problema para L TEX y le aseguramos al lector
que es imposible encontrar un procesador de texto que lo haga mejor.
Se tienen varias formas de incluir sumas y/o integrales en un documento
y el tama
no de los smbolos para ambos casos dependera de como aparecen
las f
ormulas, ya sea en la lnea de texto o en forma desplegada. Los ejemplos
nos ilustrar
an esto.
Los comandos b
asicos que usaremos para este proposito son \sum e
\int; adem
as, es muy frecuente que nuestras sumatorias e integrales tengan
lmites y con la experiencia que adquirimos en la subseccion 3.2.2, nos sera
f
acil escribirlos.
P
Notemos que los lmites para expresiones en lnea del tipo kn=1 n2 aparecen
R b a la derecha del smbolo de suma y lo mismo sucede para integrales:
ormulas estan desplegadas, como en los sia f (x) dx. En cambio, si las f
guientes ejemplos, entonces vemos que se marca una diferencia:
a + ar + ar2 + =

arn1

(3.9)

n=1

Z
0

xm xn
dx = ln
ln x

m+1
n+1

(3.10)

3.2 Elementos del modo matem


atico

51

Otra manera de escribir los lmites de integracion es directamente abajo


y arriba de smbolo de integral y para ello es necesario usar el comando
\limits inmediatamente despues de \int:
x=2
Z
x=0

dx
2
=
2 + sen x
3

(3.11)

Podra el lector escribir estas formulas en un documento LATEX? Estamos seguros de que a estas alturas del juego, ya habra hecho algunas pruebas
por s mismo y le habr
an funcionado satisfactoriamente. En caso de sentirse
un poco inseguro, reproducimos la manera en la que estas formulas se produjeron.
Para el caso de las dos f
ormulas en lnea, se realizaron por medio de
$\sum_{n=1}^k n^2$ y $\int_a^b f(x) \, \mathrm{d}x$, respectivamente. En los casos de las ecuaciones 3.9, 3.10 y 3.11, se hizo lo siguiente:
Para 3.9:
\begin{equation}
a + ar + ar^2 + \cdots = \sum_{n=1}^\infty ar^{n-1}
\end{equation}
para 3.10:
\begin{equation}
\int_0^1 \frac{x^m - x^n}{\ln x} \, \mathrm{d}x
= \ln\left( \frac{m+1}{n+1} \right)
\end{equation}
y para 3.11:
\begin{equation}
\int\limits_{x=0}^{x=2 \pi} \frac{\mathrm{d}x}{2+\sen x}
= \frac{2 \pi}{\sqrt{3}}
\end{equation}
Es necesario decir algunas palabras con respecto a los comandos \, y
\mathrm que aparecen repetidas veces en las expresiones anteriores. Ya
hemos mencionado que los espacios que dejamos con el editor de texto en

52

Matem
aticas en LATEX

modo matem
atico no son tomados en cuenta por LATEX; as, para producir
un peque
no espacio entre el integrando y el smbolo dx es necesario usar
\, el cual nos provee de ese espacio en el modo matematico. Con respecto
al comando \mathrm{}, este significa math roman y solo afecta a la letra d
pues esta debe imprimirse en tipo roman cuando se trata del diferencial en
una integral y as distinguirla de las variables que intervienen en la expresion.
Esta regla ha sido establecida por la International Standards Organization
(ISO), organismo que tambien ha definido otras reglas para la escritura de
simbologa matem
atica.
Ademas, recordemos que TEX y LATEX siguen reglas tipograficas bien
especficas para la escritura de documentos matematicos, de manera tal que
estos tengan una excelente calidad de impresion.
Por otra parte, debemos se
nalar que a
un en una lnea de texto, una sumatoria o una integral pueden escribirse de tal manera que sus lmites aparezcan
como en el caso desplegado y para ello usamos el comando \displaystyle.

X
xk
Por ejemplo, la f
ormula ex =
se obtiene por medio de
k!
k=0

$\displaystyle e^x = \sum_{k=0}{\infty} \frac{x^k}{k!}$


Z 2
t
y en forma an
aloga, la integral
sen dt = 4 se pudo lograr mediante
2
0
$\displaystyle \int_0^{2\pi}\sen\frac{t}{2} \, \mathrm{d}t=4$

3.3

Simbologa matem
atica

3.3.1

Letras griegas y caligr


aficas

A lo largo del presente captulo hemos podido ver que en algunas de las
f
ormulas y ecuaciones introducidas se han usado varias letras del alfabeto
griego y en la secci
on A.2 del apendice A, el lector podra encontrar una
versi
on completa de este alfabeto. En LATEX, las letras griegas no estan
disponibles en texto ordinario ya que se usan solo en el modo matematico.
De hecho, si escribimos \alpha para tratar de obtener la letra , se genera
el siguiente error:
! Missing $ inserted.

3.3 Simbologa matem


atica

53

<inserted text>
$
l.497 \alpha
para tratar de obtener la letra ...
?
lo cual nos indica que las letras griegas solo las podemos usar en modo
matem
atico.
Es muy f
acil recordar los comandos que nos producen este tipo de letras
pues se componen de \ seguido del nombre de la letra (en ingles). En el caso
de las may
usculas, simplemente damos el nombre de la letra con el primer
caracter en may
uscula; as, $\gamma$ nos da , y con $\Gamma$ se obtiene
; asimismo, $\delta$ nos produce y $\Delta$ nos da .
Otra observaci
on que es oportuno se
nalar tiene que ver con el hecho de
que algunas letras may
usculas griegas son identicas a las de nuestro alfabeto. Por ejemplo la letra Alfa may
uscula, A, no se obtiene con el comando
$\Alpha$ pues este no existe en LATEX ya que la Alfa may
uscula griega es la

misma que nuestra A. Igualmente B es la Beta may


uscula, E es la Epsilon,
H es la Eta, etcetera.
Por otra parte, el tipo de las letras may
usculas griegas es roman, pero
el comando \mathnormal nos produce una variacion al tipo it
alico, esto es,
se obtiene por medio de $\mathnormal{\Sigma\Phi\Omega}$.
Otro tipo de letras que s
olo estan disponibles en un ambiente matematico
son las letras caligr
aficas, las cuales se enlistan a continuacion:
A, B, C, D, E, F, G, H, I, J , K, L, M, N , O, P, Q, R, S, T , U, V, W, X , Y, Z
y la forma de producirlas es $\mathcal A$ para A, $\mathcal B$ para
B, etcetera. Debemos recalcar que LATEX solamente maneja la version en
may
usculas de estas letras, es decir, no existe su contraparte en min
usculas.

3.3.2

Una variedad de smbolos

En LATEX se tiene una gran variedad de smbolos para representar operaciones binarias; smbolos de relacion, as como sus negaciones; diferentes

54

Matem
aticas en LATEX

tipos de flechas, y smbolos diversos que usamos con mucha frecuencia. Remitimos al lector al apendice A para una lista completa de ellos.
En cuanto al uso de algunos de estos smbolos, presentamos varios ejemplos y le recordamos al lector que todos ellos funcionan solo en modo matematico.
1. se obtiene con \times y podemos darle diferentes usos: para representar el producto vectorial de dos vectores en R3 : vw, o simplemente
para indicar una multiplicacion de dos n
umeros: 3 7.
2. , cuya sintaxis es \oplus, y , que tiene sintaxis \otimes, son de
mucha utilidad para representar operaciones binarias: Si R+ = {x
R : x > 0} y fijamos q R+ con q 6= 1, entonces las operaciones
def

def

a b = ab (producto de dos n
umeros reales) y a b = alogq b , hacen
de R+ un campo.
3. Otro de mucho uso es , cuya sintaxis es \wedge, pues es el smbolo
que usamos para representar el producto de dos formas diferenciales:
(1 + 2 ) = 1 + 2
4. De entre los smbolos de relacion, uno que se usa con mucha frecuencia
es pues representa la relacion de pertenencia de un elemento con
alg
un conjunto que lo contiene: Si a es un elemento del conjunto A,
lo representamos por a A, que se obtiene de $a \in \mathcal A$.
5.
/ se obtiene con el comando \notin y es la negacion de : Si a no es
un elemento del conjunto B, entonces lo representamos por a
/ B.
6. El smbolo de contencion para conjuntos, , lo obtenemos por medio
de \subset y A B nos indica que A es un subconjunto de B.
7. La negaci
on de se representa por 6 y la expresion A 6 C nos dice
que A no es un subconjunto de B.
8. Tambien damos uso frecuente a ( \le ) y ( \ge ), siendo sus
negaciones 6 ( \not\le ) y 6 ( \not\ge ), respectivamente.
9. Las flechas que mas se usan son , cuya sintaxis es \longrightarrow,
y 7, que se obtiene con \mapsto, pues con mucha frecuencia definimos

3.4 Operadores

55

funciones:
f : R R
x

x3

Notemos que aqu valdra la pena introducir un nuevo comando para


facilitarnos el trabajo: \newcommand{\lra}{\longrightarrow}. En
este caso el arreglo anterior se obtuvo por medio de
\begin{eqnarray*}
f: \R & \longrightarrow & \R \\
x & \mapsto & x^3
\end{eqnarray*}
10. En lo que respecta a otros smbolos, uno muy conocido es , (\aleph),
que es la primera letra del alfabeto hebreo y nos es familiar pues la
expresi
on 0 la usamos para denotar la cardinalidad de los n
umeros
naturales N, desde que George Cantor la introdujo hacia finales del
siglo XIX.
11. Muchos otros smbolos tales como , , , , , etcetera, pueden
consultarse en el apendice A.

3.4

Operadores

Una formula de uso frecuente en matematicas es


cos2 + sen2 = 1
la cual se obtiene as:
\[
\cos^{2} \theta + \sen^{2} \theta =1
\]
y notemos que cos y sen, al ser precedidos por el caracter \ act
uan como
comandos, y se les llama operadores; esto hace que el tipo de letra en
que ambos aparecen sea roman, el cual es el estilo correcto en que deben
imprimirse. Compare esta identidad con
cos2 + sen2 = 1
que se obtuvo por medio de

56

Matem
aticas en LATEX

\[
cos^{2} \theta + sen^{2} \theta = 1
\]
sin prestar atenci
on a los detalles mencionados y que viene a ser la forma
incorrecta de las funciones seno y coseno.
Pero aqu nos topamos con un problema ya que el operador \sen no
existe en LATEX pues lo que se tiene es la version en ingles de la funcion sine:
\sin; as, \sin^2 \theta nos produce sin2 .
Esto podemos remediarlo si declaramos sen como un operador. En estas notas hemos declarado en el preambulo del documento la instruccion
siguiente:
\DeclareMathOperator{\sen}{sen}
y nuestro problema queda resuelto.
Una situaci
on an
aloga se tiene al escribir
\[
lim_{x\rightarrow 0} \frac{\sen x}{x} = 1
\]
pues se obtiene

sen x
=1
x
y de nuevo surge el problema de que el operador de lmite debe imprimirse
en tipo roman y no en it
alicas. De esta manera, la forma correcta es
limx0

\[
\lim_{x\rightarrow 0} \frac{\sen x}{x} = 1
\]
que nos produce

sen x
=1
x0 x
lim

Otras expresiones en las que intervienen operadores son:


loga x = y

si y solo si

ay = x

3.5 Acentos matem


aticos
a b (mod p)

57

si y s
olo si
a b = kp

2
exp(x ) dx =
2
0

para alg
un

kZ

las cuales obtuvimos por medio de las siguientes instrucciones:


\[
\log_a x = y \qquad \mbox{si y s\olo si} \qquad a^y=x
\]
\[
a \equiv b \pmod p \qquad \mbox{si y s\olo si} \qquad
a-b = kp \quad \mbox{para alg\un} \quad k \in \Z
\]
\[
\int_{0}^{\infty} \exp(-x^2) \, \mathrm{d}x
= \frac{\sqrt{\pi}}{2}
\]
El lector podr
a encontrar una lista completa de operadores en el apendice
A.

3.5

Acentos matem
aticos

Es muy com
un ver expresiones matematicas en las cuales las variables que
se usan se distinguen por tener caracteres sobre ellas, como por ejemplo, x
,
y, z, ~v , x,
x
, . . .
Estos acentos que est
an disponibles en el modo matematico son en verdad muy f
aciles de poner y LATEX nos ofrece una gran variedad de estilos.
La tabla siguiente nos muestra como es la sintaxis para los diferentes
casos:
x

z
x

\hat{x}
\acute{a}
\bar{z}
\ddot{x}

c`
~v

\check{u}
\grave{c}
\vec{v}
\mathring{x}

y
x

\breve{a}
\tilde{y}
\dot{x}

58

Matem
aticas en LATEX

Se tienen m
as smbolos disponibles los cuales son tambien faciles de
manejar:
x[
y =x
y
\widehat{x-y} = \hat{x}-\hat{y}

x
]
1 x2 = x1 x2
\widetilde{x_1 x_2}=\tilde{x_1}\tilde{x_2}

z+w
\overline{\overline{z}+\overline{w}}

z }| {
u + v + w + x +y +z
|
{z
}
\underbrace{u+v+ \overbrace{w+x}+y}+z

z }| {
a
+

+
a
+
b
+ + b
| {z }
k

\underbrace{a+ \cdots +a}_{k}+\overbrace{b+ \cdots +b}^{j}


f1

f2

X Y Z
X \stackrel{f_1}{\lra} Y \stackrel{f_2}{\lra} Z
Nota: Recuerde que \lra es el comando que definimos previamente y que
corresponde a \longrightarrow.
def

v = (v1 , v2 , . . . , vn )
\mathbf{v} \stackrel{\mathrm{def}}{=} (v_1,v_2, \ldots,v_n)

3.6 Arreglos y matrices

3.6

59

Arreglos y matrices

Para producir arreglos con LATEX se hace uso del ambiente array el cual
trabaja solamente en modo matematico; su sintaxis es de la forma
\begin{array}{columnas y alineaci
on}
..
.
\end{array}
y se requiere especificar el total de columnas por medio de las letras l (left),
c (center) y r (right), las cuales indicaran la posicion de las entradas del
arreglo en cada columna. Por ejemplo, el arreglo de la izquierda se produjo
con las instrucciones que aparecen a la derecha:

pos1, 1 pos1, 2 pos1, 3


pos2, 1 pos2, 2 pos2, 3
pos3, 1 pos3, 2 pos3, 3

\begin{math}
\begin{array}{lcr}
pos 1,1 & pos 1,2
pos 2,1 & pos 2,2
pos 3,1 & pos 3,2
\end{array}
\end{math}

&
&
&

pos 1,3
pos 2,3
pos 3,3

\\
\\

Este es un arreglo que tiene 3 columnas: {lcr}; la primera de ellas esta


alineada a la izquierda, la segunda esta centrada y la tercera esta alineada
por la derecha. Notemos que las entradas se introducen por renglones y las
entradas de columnas adyacentes se separan con el caracter &; ademas, el
comando \\ es necesario para terminar cada renglon.
Presentamos ahora ejemplos mas especficos:

a b c d
a2 b2 c2 d2
a3 b3 c3 d3

\begin{math}
\begin{array}{cccc}
a
& b
& c & d \\
a^2 & b^2 & c^2 & d^2 \\
a^3 & b^3 & c^3 & d^3
\end{array}
\end{math}

60

Matem
aticas en LATEX

f1 (x)
f2 (x)
fn (x)
0
0
0
f1 (x)
f2 (x)
fn (x)
00
00
00
fn (x)
f2 (x)
f1 (x)
..............................
(n)
(n)
(n)
f1 (x) f2 (x) fn (x)

\[
\begin{array}{llll}
f_1(x)
& f_2(x)
&
f_1^{}(x)
& f_2^{}(x) &
f_1^{}(x) & f_2^{}(x) &
\multicolumn{4}{c}{\dotfill}
f_1^{(n)}(x) & f_2^{(n)}(x)&
\end{array}

\cdots&f_n(x)
\\
\cdots&f_n^{}(x) \\
\cdots&f_n^{}(x)\\
\\
\cdots&f_n^{(n)}(x)

\]

Es claro ahora que podemos usar este ambiente de arreglos para escribir matrices, s
olo que necesitamos hablar de delimitadores, esto es, de los
corchetes o parentesis con los que usualmente escribimos matrices.
En las palabras de Lamport [2], Un delimitador es un smbolo que act
ua
l
ogicamente, con un par de delimitadores que encierran una expresi
on.
Adem
as, estos deben ajustrse a la longitud de la formula o arreglo que
encierran. Con LATEX tenemos los comandos
\leftparentesis izquierdo

expresion

\rightparentesis derecho

Los siguientes ejemplos nos ilustran su uso.


Podemos escribir
2
si x < 1
x
1
si 1 xle1
f (x) =

x si x > 1

\[f(x)=\left\{\begin{array}{ll}
x^2 & \mbox{si $x<-1$}\\
1 & \mbox{si $-1\le x\le 1$}\\
\sqrt{x} & \mbox{si $x>1$}
\end{array}
\right. \]

3.7 Matrices con AMS-LATEX


Tambien es posible lo siguiente:



~x + ~y + ~z =

61
\vec{x} + \vec{y}+ \vec{z}
= \left( \begin{array}{c}
\alpha \\
\beta
\end{array}
\right[ \]

Ahora estamos en condiciones de escribir cualquier tipo de arreglo matricial que queramos, como por ejemplo:

Este es un ejemplo de
una matriz:

\[
\left( \begin{array}{c}
\left| \begin{array}{cc}
\alpha & \beta \\
\gamma & \delta
\end{array}
\right| \\
\Delta \\
\Pi
\end{array}
\right)
\]

\[
M = \left[ \begin{array}{cccc}
\alpha&\beta&\gamma&\delta \\
\pi&\theta&\lambda&\mu
\\
\xi&\zeta &\rho
& \tau \\
\end{array}
\right]

M=

\]

3.7

Matrices con AMS-LATEX

Con AMS-LATEX podemos hacer distintos tipos de matrices; pero necesitamos incluir el paquete amsmath en el preambulo del documento para poder
escribir los siguientes ejemplos.

62

Matem
aticas en LATEX

El arreglo que sigue


a+b+c
uv
x y 27
a+b
u+v
z
134
se produce con las siguientes instrucciones:

\[
\begin{matrix}
a+b+c & uv & x-y & 27\\
a+b & u+v & z & 134
\end{matrix}
\]
Tambien es posible escribir matrices en esta forma


a+b+c
uv
a+b
u+v
por medio de
\[
\begin{pmatrix}
a+b+c & uv \\
a+b & u+v
\end{pmatrix}
\]
o bien, arreglos como este:


30 43 55


det A =
32 44 21
que se obtiene de
\[ \det A =
\begin{vmatrix}
30 & 43 & 55\\
-32 & 44 & 21
\end{vmatrix}
\]

3.8 Teoremas y cosas parecidas


Pero notemos si damos la instruccion \phantom:


30 43 55


32 44 21
la cual se usa como se muestra:
\[
\begin{vmatrix}
\phantom{-}30 & 43 & 55\\
-32 & 44 & 21
\end{vmatrix}
\]
Pero otra instrucci
on muy interesante nos permite hacer algo como

1
3
1
1
1
A= 2
2
2 1
lo cual se obtuvo de la siguiente manera:
\[
A= \begin{pmatrix}
\phantom{-}1 & \phantom{-}3 & \phantom{-}1\\
\phantom{-}2 & \phantom{-}1 & \phantom{-}1\\
-2 & \phantom{-}2 &
-1
\end{pmatrix}
\]

3.8

Teoremas y cosas parecidas

Es muy f
acl enunciar teoremas, lemas, proposiciones, etc. Si escribimos:
\begin{theorem} Si aceptamos esto y esto otro, entonces\
sucede lo dicho
\end{theorem}
Y la demostraci\on es como sigue:
\begin{proof}

63

64

Matem
aticas en LATEX

La prueba se har\a por reducci\on al absurdo


\end{proof}

obtenemos:
Teorema 3.1. Si aceptamos esto y esto otro, entonces sucede lo dicho
Y la demostraci
on es como sigue:
Demostraci
on: La prueba se hara por reduccion al absurdo
Y para citar la bibliografdonde podemos encontrar este resultado escribiramos:
Ver este resultado en \cite{paz:sol} y en \cite{gabo:cien}
Ver este resultado en [8] y [9]; en este caso las entradas de la bibliografa
que se est
an citando son las siguientes:
\bibitem{paz:sol}Autor Imaginario, textsl{El Libro de lo Absurdo},
Editorial No Existe, 2003.
\bibitem{gabo:cien}Autor Inventado, textsl{El Libro de los Deseos
No Cumplidos}, Editorial Inventada, 2003.
Corolario 3.2. Si se supone lo dicho, entonces estamos muy mal
Demostraci
on: La prueba es obvia
Se tiene ahora la siguiente:
Definici
on 3.1. Diremos que a es b, cuando suceda a tambien sucede b y
viceversa
que se produjo en el ambiente definition
\begin{definition}
Diremos que a es b, cuando suceda a tambien sucede b y viceversa
\end{definition}

3.9 Citas y referencias

3.9

65

Citas y referencias

Podemos hacer citas de teoremas, lemas, definiciones, ejemplos, etcetera.


Veamos:
Teorema 3.3. Si un gnu es u
nico, entonces no se parece a ning
un otro gnu.
Demostraci
on: La prueba es trivial
Ahora citamos el teorema:
Por el teorema 3.3 se tiene que si dos gnus existen, entonces son diferentes.
\begin{theorem} \label{teo1}
Si un gnu es \unico, entonces no se parece a ning\un otro gnu.
\end{theorem}
\begin{proof}
La prueba es trivial
\end{proof}
Ahora citamos el teorema:
Por el teorema \ref{teo1} se tiene que si dos gnus existen,\
entonces son diferentes.
Pero tambien es posible hacer esto
Ejemplo 3.4. Un gnu es de color negro
Notemos que los teoremas y esas cosas tienen una numeracion independiente por secci
on
Teorema 3.5. Si a es b y b es c, entonces a es c
Veamos algunos ejemplos:
Ejemplo 3.6. Si a = 1 y b = 1, se tiene que a = b
Este es otro ejemplo:
Ejemplo 3.7. Sea a Q con a 3, entonces a > 0
De acuerdo con el ejemplo 3.4, vemos que los gnus no tienen smbolos
matem
aticos.

66

Matem
aticas en LATEX

Captulo 4

Algunos t
opicos adicionales
4.1

C
omo hacer tablas

En LATEX se pueden hacer diferentes tipos de tablas, con diferentes estilos


seg
un la necesidad que presente cada autor. Como un primer ejemplo podemos presentar la siguiente tabla con el siguiente formato.
Nombre
Primer calif. Segunda calif. Promedio
Juan Perez
70
77
79
Jose Garca
67
59
76
La cual carece de ciertas propiedades, como las que le agregaremos mas adelante. Los comando usados para hacer la tabla anterior son los siguientes:

\begin{tabular}{|l|c|c|r|}
\hline
Nombre & Primer calif. & Segunda calif. & Promedio \\
\hline
Juan P\erez & 70 & 77 & 79 \\
\hline
Jos\e Garc\ia{}a & 67 & 59 & 76 \\
\hline
\end{tabular}
Ahora modificaremos la tabla anterior de tal manera que le daremos una
mejor presentaci
on en el dise
no de la pagina. le agregaremos algunas propiedades
como centrado y lo colocaremos dentro de un abiente de tablas, lo cual se
hace con los comandos \begin{table} y \end{table}.

68

Algunos t
opicos adicionales

Esta u
ltima tabla, bajo este ambiente, tiene la particularidad que LATEX la
colocar
a donde m
as conveniente lo considere, es decir sera como un objeto
flotante al cual le buscara el lugar mas indicado. Dadas ciertas preferencias, nosotros podemos indicar lo contario con un comando opcional (para
una mejor presentaci
on), por esta razon es recomendado usar una nota o
pie bajo cada tabla para referirnos a una tabla en especfico, cuidando que
este pie de tabla solo puede ser usado dentro del ambiente \begin{table}
y \end{table}. Los comando usados para esta nueva tabla son:
\begin{table}[h]
\begin{center}
\begin{tabular}{|l|c|c|r|}
\hline
Nombre & Primer calif. & Segunda calif. & Promedio \\
\hline
Juan P\erez & 70 & 77 & 79 \\
\hline
Jos\e Garc\ia{}a & 67 & 59 & 76 \\
\hline
\end{tabular}
\caption{Ejemplo de Tabla en ambiente $\backslash$\textt{table}.}
\end{center}
\end{table}
y la tabla aparecer
a con el siguiente formato:
Nombre
Juan Perez
Jose Garca

Primer calif.
70
67

Segunda calif.
77
59

Promedio
79
76

Tabla 4.1: Ejemplo de Tabla en ambiente \table.


El comando opcional entre corchetes [h] significa para LATEX here, y
lo que hace es poner inmediatamente la tabla en ese lugar, este comando
tambien puede ser usado en figuras y ademas no son los u
nicos comandos.
Los argumentos opcionales que se pueden usar en el ambiente de tablas
o figuras son:
p, una p
agina separada.

4.1 C
omo hacer tablas

69

h, inmediatamente despues de donde aparece el ambiente.


t, en la parte de arriba de la pagina.
b, en la parte de abajo de la pagina.
Tambien es muy com
un poner combinaciones de estas letras como argumento, por ejemplo [tp] que pone la figura o la tabla en la parte de arriba
y en una p
agina separada.
Ahora veremos ejemplos de tablas que combinan renglones, para esto usaremos el comando \multicolumn. Un ejemplo de como usar este comandos
es como lo muestra la siguiente tabla con sus respectivas instrucciones:
Producto marca 1
Verdura
23
sopas
20
frutas
10
no hay

marca 2 marca 3
22
15
no existe
5
2
no hay

Tabla 4.2: Tabla con \multicolumn.

\begin{table}[th]
\begin{center}
\begin{tabular}{|l|c|c|r|}
\hline
Producto & marca 1 & marca 2 & marca 3 \\ \hline
Verdura & 23
& 22
& 15
\\ \hline
sopas
& 20
& \multicolumn{2}{c |}{no existe} \\ \hline
frutas
& 10
& 5
& 2
\\ \hline
\multicolumn{2}{| c |}{No hay} & \multicolumn{2}{c |}{No hay} \\
\hline
\end{tabular}
\caption{Tabla con $\backslash$\texttt{multicolumn}.}
\end{center}
\end{table}
Otro dise
no de tablas que se necesitan con frecuencia son cuando se
combinan columnas, para esto se utiliza el comando \cline, el cual tiene
la particularidad de mezclar las columnas necesarias. un ejemplo de como

70

Algunos t
opicos adicionales
Nombre
Pedro

Materia
Fisica

Examen
ex. 1
ex. 2
ex. 3

Promedio

calif.
90
80
70
80

Tabla 4.3: Tabla con \cline.

utilizar este comando lo muestra la siguiente tabla con sus respectivas instrucciones:
\begin{table}[h]
\begin{center}
\begin{tabular}{| c c | c | r |}
\hline
Nombre & Materia & Examen & calif. \\ \hline
Pedro & Fisica & ex. 1 & 90
\\ \cline{3-4}
&
& ex. 2 & 80
\\ \cline{3-4}
&
& ex. 3 & 70
\\ \cline{2-4}
& \multicolumn{2}{|l}{Promedio} & 80 \\
\hline
\end{tabular}
\caption{Tabla con $\backslash$\texttt{cline}.}
\end{center}
\end{table}
Ahora presentaremos un arreglo que contiene el triangulo de Pascal.
Mostraremos el arreglo con su respectiva lista de instrucciones.
\begin{table}[h]
\begin{center}
\begin{tabular}{ c c c c c c c c
& & & &
&
&
&
& 1 &
& & & &
&
&
& 1 &
&
& & & &
&
& 1 &
& 2 &
& & & &
& 1 &
& 3 &
&
& & & & 1 &
& 4 &
& 6 &
& & & 1&
& 5 &
& 10&
&
& & 1& & 6 &
& 15&
& 20&

c c
&
1 &
&
3 &
&
10&
&

c c c c c c c }
&
&
& & &
&
&
& & &
1 &
&
& & &
& 1 &
& & &
4 &
& 1 & & &
& 10&
& 1& &
15&
& 6 & & 1&

&
&
&
&
&
&
&

\\
\\
\\
\\
\\
\\
\\

4.2 C
omo escribir una carta

71
1
1

1
1
1
1
1
1
1

3
4

5
6

15

1
4

10
20

35
56

1
3

10

21
28

1
2

1
10

15
35

70

1
6

21
56

1
7

28

1
8

Tabla 4.4: Triangulo de Pascal.

& 1& & 7&


& 21&
& 35&
& 35&
& 21&
& 7& & 1& \\
1& & 8& & 28&
& 56&
& 70&
& 56&
& 28& & 8& & 1\\
\end{tabular}
\caption{Tri\angulo de Pascal.}
\end{center}
\end{table}

4.2

C
omo escribir una carta

Si es el caso que necesitamos escribir una carta, con LATEX eso es tarea facil.
De hecho podemos definir nuestros propios formatos de cartas y darle un
toque de elegancia a nuestros oficios, comunicados, memorandos, etcetera.
Por ahora presentamos ejemplos sencillos y en los captulos siguientes
veremos que tenemos un mundo de posibilidades.
Supongamos pues que necesitamos escribir una carta. Para ello es necesario utilizar la clase letter de LATEX y una carta ta pica es algo como lo
siguiente:
\documentclass[letterpaper,12pt]{letter}
\newcommand{\ia}{\{i}}
\signature{
Genio Brillante Incomprendido\\
Departamento de Invenciones sin Aplicaci\on\\

72

Algunos t
opicos adicionales

Calle de los Absurdos No. 666\\


Ciudad de Geniolandia}
\date{Ciudad de Geniolandia, a 18 de Febrero de 2003.}
\begin{document}
\vspace{1.0cm}
\begin{letter}{\textbf{Sr. Fulano de Tal} \\
Director de la Oficina Nacional de Empleos}
\opening{P r e s e n t e.-}
\vspace{0.5cm}
Por este medio, le hago saber de mis intenciones de conseguir una\
chamba, la que sea para poder comer \ldots
Le anexo mis distinciones y mis t\ia tulos, as\ia{} como\
una descripci\on\
de los inventos que he realizado.
Mis \ultimos trabajos han sido los siguiente:
\begin{itemize}
\item Iventor titular de la compa\~n\ia{}a Genios y Genios S.A.
\item Investigador de la Universidad de Geniolandia
\item Inventor visitante en la compa\~\ia{}a La Genial, S.A.
\end{itemize}
Espero su respuesta y le agradezco su atenci\on a la presente,\
quedo de Usted,
\vspace{0.25in}
\begin{center}
\closing{A t e n t a m e n t e}
\end{center}
\end{letter}
\end{document}

4.3 C
omo hacer una bibliografa

4.3

73

C
omo hacer una bibliografa

Generalmente, todo trabajo escrito incluye una bibliografa y como hacerla


es una tarea f
acil para LATEX.
Por ejemplo en este manual se hizo lo siguiente:

\begin{thebibliography}{222}
\bibitem{knu:tex} Knuth D.E., \textsl{The \TeX book},
Adisson-Wesley, Reading, Massachusetts, 1984.
\bibitem{lam:lat} Lamport, L., \textsl{\LaTeX. A Document
Preparation System}, Addison-Wesley, Reading,
Massachusetts, 1986.
.
.
.
\end{thebibliography}
En este caso, {222} es un n
umero arbitrario que nos da un lmite para
el n
umero de entradas de la bibliografa.
Adem
as, {knu:tex} y {lam:lat} son claves que le damos a cada entrada
de la bibliografa con el prop
osito de citarlas. Por ejemplo, para citar [1],
simplemente debemos escribir
\cite{knu:tex}
y se obtiene la referencia deseada.

74

Algunos t
opicos adicionales

Ap
endice A

Tablas de Comandos
A.1
A.1.1

Smbolos de texto
Acentos y smbolos de puntuaci
on

Nombre
agudo
circunflejo
grave
caron
cedilla
anillo
sobrepunto
barra inferior
i sin punto
i con acento
a eslava
aesc
ethel
eszett
l polaca
o eslava
interrogaci
on

Comando
\u
\^{o}
\{e}
\v{o}
\c{c}
\r{u}
\.{g}
\b{o}
\i
\{\i}
\aa
\ae
\oe
\ss
\l
\o
?

Resultado
u

o
`e
o
c

u
g
o

Nombre
breve
tilde
doble agudo
dieresis
macron
liga
bajopunto

Comando
\u{o}
\~n
\H{o}
\"{u}
\={o}
\t{oo}
\d{m}

j sin punto
j con caron

\j
\v{\j}
\AA
\AE
\OE
\SS
\L
\O
!

admiracion

Resultado
o
n

o
u

o
o o
m
.

SS
L

76

A.1.2

Tablas de Comandos

Tama
no de los tipos de texto
Comando
\tiny
\scriptsize
\footnotesize
\small
\normalsize
\large
\Large
\LARGE
\huge
\Huge

A.1.3

Texto de Muestra
Esto es lo m
as peque
nito

Esto es muy peque


no

Esto es a
un peque
no

Esto es peque
no

Esto es normal

Esto es grande

A
un mas grande

Y mucho mas grande

Esto es grandsimo

Esto es enorme

Comandos para las familias de tipos de texto

Comando con argumento


\textnormal{Familia tipog...}
\emph{Esto es enfatizado}
\textrm{Familia de tip...}
\textsf{Familia de tip...}
\texttt{Tipos de m\aqui...}
\textup{Forma recta}
\textit{Formato de it\alicas}
\textsl{Formato inclinado}
\textsc{May\usculas peque\~nas}
\textbf{Formato en negritas}

Resultado de su uso
Familia tipografica del documento
Esto es enfatizado
Familia de tipos roman
Familia de tipos sans-serif
Tipos de m
aquina de escribir
Forma recta
Formato de it
alicas
Formato inclinado
sculas pequen
as
Mayu
Formato en negritas

A.1 Smbolos de texto

77

Declaraci
on de comando
{\normalfont Familia tipog...}
{\em Esto es enfatizado}
{rmfamily Familia de tip..}
{\sffamily Familia de tip...}
{\ttfamily Tipos de m\aqui...}
{\upshape Forma recta}
{\itshape Formato de it\alicas}
{\slshape Formato inclinado}
{\scshape May\usculas peque\~nas}
{\bfseries Formato en negritas}

A.1.4

Resultado de su uso
Familia tipografica del documento
Esto es enfatizado
rmfamily Familia de tipos roman
Familia de tipos sans-serif
Tipos de m
aquina de escribir
Forma recta
Formato de it
alicas
Formato inclinado
sculas pequen
as
Mayu
Formato en negritas

Smbolos adicionales

Nombre del comando


ampersand
vi
neta de asterisco
diagonal invertida
barra vertical
llave izquierda
llave derecha
vi
neta
copyright
marca registrada
dollar
daga
doble daga
dolar
comillas izquierdas
comillas derechas
barra horizontal
barra corta horizontal
mayor que
menor que
gui
on bajo
punto centrado
n
umero
porcentaje
par
agrafo
secci
on

Comando
\&
\textasteriskcentered
\textbackslash
\textbar
\{
\}
\textbullet
\copyright
\textregistered
\$
\dag
\ddag
\$
\textquotedblleft or
\textquotedblright or
\textemdash or --\textendash or -\textgreater
\textless
\_
\textperiodcentered
\#
\%
\P
\S

Resultado
&

\
|
{
}

c

R

$

>
<

#
%

78

Tablas de Comandos

A.2

Simbologa Matem
atica

A.2.1

Letras Hebreas y Griegas.

Letras Hebreas
Fuente
LATEX
Paquete amssymb

Comando
\aleph
\beth
\daleth
\gimel

Resultado

i
k

Alfabeto griego
Fuente
LATEX

Min
usculas
Comando Resultado
\alpha

\beta

\gamma

\delta

\epsilon

\zeta

\eta

\theta

\iota

\kappa

\lambda

\mu

\nu

\xi

\pi

\rho

\sigma

\tau

\upsilon

\phi

\chi

May
usculas
Comando Resultado

\Gamma
\Delta

\Theta

\Lambda

\Xi
\Pi

\Sigma

\Upsilon
\Phi

Contin
ua en la siguiente p
agina...

A.2 Simbologa Matem


atica

79

Viene de la p
agina anterior

Min
usculas
Comando
Resultado
\psi

\omega

Fuente

May
usculas
Comando
Resultado
\Psi

\Omega

Variantes LATEX
\varepsilon
\vartheta
\varpi
\varrho
\varsigma
\varphi

$
%

\varkappa

Paquete amssymb

Paquete
amsmath

A.2.2

\digamma

\varGamma
\varDelta
\varTheta
\varLambda
\varXi
\varPi
\varSigma
\varUpsilon
\varPhi
\varPsi
\varOmega

Relaciones Binarias

Relaciones Binarias en LATEX


Fuente
LATEX

El Comando
<
=
:
\leq

& \le

Nos da
<
=
:

El Comando
>
\ni & \owns
\in
\geq & \ge

Nos da
>
3

Contin
ua en la siguiente p
agina...

80

Tablas de Comandos
Viene de la p
agina anterior

Fuente

El Comando
\ll
\gg
\preceq
\sim
\approx
\equiv
\subset
\supset
\sqsubseteq
\smile
\frown
\mid
\vdash
\dashv
\bowtie

Nos da




v
^
_
|
`
a
./

El Comando
\succ
\prec
\succeq
\cong
\simeq
\doteq
\supseteq
\subseteq
\sqsupseteq
\models
\perp
\parallel
\asymp
\propto

Nos da


=
'
.
=

w
|=

k


LATEX sym
\sqsubset
\Join

@
o
n

\sqsupset

Relaciones Binarias en AMS-LATEX


Fuente
Paquete
amsmath

El comando
\leqq
\leqslant
\eqslantless
\lesssim
\lessapprox
\approxeq
\gtrdot
\ggg
\gtrless
\gtreqless
\gtreqqless
\eqcirc
\triangleq

Nos da
5
6
0
.
/
u
m

R
T
P
,

El comando
\geqq
\geqslant
\eqslantgtr
\gtrsim
\gtrapprox
\lessdot
\lll
\lessgtr
\lesseqgtr
\lesseqqgtr
\doteqdot
\circeq
\risingdotseq

Nos da
=
>
1
&
'
l

Q
S
+
$
:

Contin
ua en la siguiente p
agina...

A.2 Simbologa Matem


atica

81

Viene de la p
agina anterior

Fuente

El comando
\fallingdotseq
\thicksim
\thickapprox
\succcurlyeq
\curlyeqsucc
\succsim
\succapprox
\supseteqq
\Supset
\vartriangleright
\trianglerighteq
\Vdash
\smallsmile
\shortmid
\bumpeq
\between
\varpropto
\blacktriangleleft
\therefore

Nos da
;

<
3
%
v
k
c
B
D

`
p
l
G

El comando
\backsim
\backsimeq
\preccurlyeq
\curlyeqprec
\precsim
\precapprox
\subseteqq
\Subset
\vartriangleleft
\trianglelefteq
\vDash
\Vvdash
\smallfrown
\shortparallel
\Bumpeq
\pitchfork
\backepsilon
\blacktriangleright
\because

Negaci
on de Relaciones Binarias
Fuente
LATEX
Paquete
amssymb

El comando
\neq o ne
\nless
\nleq
\nleqslant
\nleqq
\lneq
\lneqq
\lvertneqq
\lnsim
\lnapprox
\nprec

Nos da
6=







El comando
\notin
\ngtr
\ngeq
\ngeqslant
\ngeqq
\gneq
\gneqq
\gvertneqq
\gnsim
\gnapprox
\nsucc

Nos da











Contin
ua en la siguiente p
agina...

Nos da
v
w
4
2
w
j
b
C
E


a
q
m
t

I

82

Tablas de Comandos

Viene de la p
agina anterior

Fuente

A.3

El comando
\npreceq
\precneqq
\precnsim
\precnapprox
\nsim
\nshortmid
\nmid
\nvdash
\nVdash
\ntriangleleft
\ntrainglelefteq
\nsubseteq
\nsbseteqq
\subsetneq
\varsubsetneq
\subsetneqq
\varsubsetneqq

Nos da





.
0
1
6
5
*
"
(
$
&

El comando
\nsucceq
\succneqq
\succnsim
\succnapprox
\ncong
\nshortparallel
\nparallel
\nvDash
\nVDash
\ntriangleright
\ntrianglerighteq
\nsupseteq
\nsupseteqq
\supsetneq
\varsupsetneq
\supsetneqq
\varsupsetneqq

Nos da





/

2
3
7
4
+
#
)
!
%
'

Operaciones Binarias

Fuente
LATEX

El comando
+
\pm
\times
\circ
\div
\cap
\sqcap
\wedge or \land
\triamgleleft
\bigtriangleup
\oplus
\otimes
\odot
\dagger

Nos da
+

/
4

El comando
\mp
\cdot
\bigcirc
\bmod
\cup
\sqcup
\vee or \lor
\triangleright
\bigtriangledown
\ominus
\oslash
\bullet
\ddagger

Nos da


mod

.
5

Contin
ua en la siguiente p
agina...

A.4 Flechas

83

Viene de la p
agina anterior

Fuente

LATEX sym
Paquete
amssymb

Paquete
amsmath

A.4

El comando
\setminus
\wr
\ast
\diamond
\lhd
\unlhd
\dotplus
\ltimes
\leftthrretimes
\circleddash
\barwedge
\curlywedge
\veebar
\doublecap or \Cap
\circledast
\boxminus
\boxdot
\divideontimes
\And

Nos da
\
o


C
E
u
n
h

Z
f
Y
e
~

>
&

El comando
\uplus
\amalg
\star

Nos da
]
q
?

\rhd
\unrhd
\centerdot
\rtimes
\rightthreetimes
smallsetminus
\doublebarwedge
\curlyvee
\intercal
\doublecup or \Cup
\circledcirc
\boxtimes
\boxplus
\vartriangle

Flechas

Fuente
LATEX

El comando
\leftarrow
\longleftarrow
\Leftarrow
\Longleftarrow
\leftrightarrow
\Leftrightarrow
\uparrow
\Uparrow
\updownarrow
\nearrow
\swarrow

Nos da

l
%
.

El comando
\rightarrow or \to
\longrightarrow
\Rightarrow
\Longrightarrow
\longleftrightarrow
\Longleftrightarrow
\downarrow
\Downarrow
\Updownarrow
\searrow
\nwarrow

Nos da

m
&
-

Contin
ua en la siguiente p
agina...

B
D

o
i
r
[
g
|
d
}


M

84

Tablas de Comandos

Viene de la p
agina anterior

Fuente

LATEX sym
Paquete
amssymb

A.5

El comando
\iff
\mapsto
\hookleftarrow
\leftharpoonup
\leftharpoondown
\leadsto
\leftleftarrows
\leftrightarrows
\Lleftarrow
\twoheadleftarrow
\leftarrowtail
\looparrowleft
\upuparrows
\upharpoonleft
\downharpoonleft
\leftrightsquigarrow
\multimap
\nleftarrow
\nLeftarrow
\nleftrightarrow
\dashleftarrow
\curvearrowleft
\circlearrowleft
\leftrightharpoons
\Lsh

Nos da

7
(
)

El comando
\mapstochar
\longmapsto
\hookrighrarrow
\rightharpoonup
\rightharpoondown

Nos da
7
7
,
*
+


W


"



!
(
8
:
=
L99
x




\rightrightarrows
\rightleftarrows
\Rrightarrow
\twoheadrightarrow
\rightarrowtail
\looparrowright
\downdownarrows
\upharpoonright
\downharpoonright
\rightsquigarrow


V


#




\nrightarrow
\Nrightarrow
\nLeftrightarrow
\dashrightarrow
\curvearrowright
\circlearrowright
\rightleftharpoons
\Rsh

9
;
<
99K
y


Smbolos Variados
Fuente
LATEX

El comando
\hbar
\imath
\wp
\Im
\infty
\emptyset

Nos da
~

El comando
\ell
\jmath
\partial
\Re
\prime
\neg or \lnot

Nos da
`

<
0

Contin
ua en la siguiente p
agina...

A.6 Delimitadores

85

Viene de la p
agina anterior

Fuente

LAT

EX sym

Paquete
amssymb

A.6

El comando
\forall
\smallint
\top
\P
\dag
\flat
\sharp
\clubsuit
\heartsuit
\surd
\pounds
\Box
\mho
\hslash
\backprime
\Bbbk
\diagup
\blacktriangle
\triangledown
\square
\lozenge
\measuredangle
\circledS
\Finv

Nos da

>

[
]


f
}
8
k

N
O


]
s
`

El comando
\exists
\triangle
\bot
\S
\ddag
\natural
\angle
\diamonsuit
\spadesuit
\nabla

Nos da

\Diamond

\complement
\nexists
\varnothing
\diagdown
\blacktriangledown
\Game
\blacksquare
\blacklozenge
\sphericalangle
\bigstar
\eth

{
@


H
a


^
F

Delimitadores
Fuente
LATEX

El comando
(
\lbrack or [
\{ or \lbrace
\backslash
\langle
\vert or |
\lfloor

Nos da
(
[
{
\
h
|
b

El comando
)
\rbrack or ]
\} or \rbrace
/
\rangle
\Vert or \|
\rfloor

Nos da
)
]
}
/
i
k
c

Contin
ua en la siguiente p
agina...

86

Tablas de Comandos
Viene de la p
agina anterior

Fuente

Paquete
amsmath

A.7
A.7.1

Nos da
d

l
p
x

El comando
\rceil
\Uparrow
\Downarrow
\Updownarrow
\urcorner
\lrcorner

Nos da
e

m
q
y

Operadores
Funciones Trigonom
etricas

El comando
\arccos
\arg
\cot
\deg
\hom
\ln
\sin
\tanh

A.7.2

El comando
\lceil
\uparrow
\downarrow
\updownarrow
\ulcorner
\llcorner

Nos da
arccos
arg
cot
deg
hom
ln
sin
tanh

El comando
\arcsin
\cos
\coth
\dim
\ker
\log
\sinh

Nos da
arcsin
cos
coth
dim
ker
log
sinh

El comando
\arctan
\cosh
\csc
\exp
\lg
\sec
\tan

Nos da
arctan
cosh
csc
exp
lg
sec
tan

Operadores con Lmite


Fuente
LATEX

Paquete
amsmath

El comando
\det
\gcd
\inf
\lim
\liminf
\injlim
\varliminf
\varinjlim

Nos da
det
gcd
inf
lim
lim inf
inj lim
lim
lim

El comando
\limsup
\max
\min
\Pr
\sup
\projlim
\varlimsup
\varprojlim

Nos da
lim sup
max
min
Pr
sup
proj lim
lim
lim

A.7 Operadores

A.7.3

87

Integrales, Sumas, Uniones, etc.


Comando
\int_{a}^{b}

Usado en lnea
Rb

\oint_{a}^{b}

Hb

\prod_{i=1}^{n}

Qn

n
Y

\coprod_{i=1}^{n}

`n

n
a

\bigcap_{i=1}^{n}

Tn

i=1
n
\

\bigcup_{i=1}^{n}

Sn

i=1
n
[

\bigwedge_{i=1}^{n}

Vn

i=1
n
^

\bigvee_{i=1}^{n}

Wn

i=1
n
_

\bigsqcup_{i=1}^{n}

Fn

i=1
n
G

\biguplus_{i=1}^{n}

Un

i=1
n
]

\bigotimes_{i=1}^{n}

Nn

n
O

\bigoplus_{i=1}^{n}

Ln

n
M

\bigodot_{i=1}^{n}

Jn

n
K

\sum_{i=1}^{n}

Pn

n
X

Desplegado
Z b
Ia b

i=1
i=1

i=1

i=1

i=1

i=1

i=1

i=1

i=1
i=1

i=1
i=1

i=1
i=1

i=1
i=1

i=1
i=1

88

Tablas de Comandos

Bibliografa
[1] Knuth D.E., The TEXbook, Adisson-Wesley, Reading, Massachusetts,
1984.
[2] Lamport, L., LATEX. A Document Preparation System, AddisonWesley, Reading, Massachusetts, 1986.
[3] Kopka, H., Daly, P. W. A Guide to LATEX, Addison-Wesley, Oxford,
Third Edition 1999.
[4] Downes, M., TEX and LATEX 2 , Notices, American Mathematical Society, Volume 49, Number 11, pp.1384-1391, December 2002.
[5] Stallman. R., GNU Emacs Manual, Seventth Edition, The Free Software Foundation, Cambridge, Massacuhusetts, USA, 1992.
[6] Knuth, D. All Questions Answered, Notices, American Mathematical
Society, Volume 49, Number 3, pp. 318-324, March, 2002.
[7] Oetiker, T., Partl, H., Hyna, I., Schlegl, E. The Not So Short Guide to
LATEX 2 or LATEX 2 in 87 minutes, Version 3.3, Free Software Foundation, 1999.
[8] Autor Imaginario, El Libro de lo Absurdo, Editorial No Existe, 2003.
[9] Autor Inventado, El Libro de los Deseos No Cumplidos, Editorial Inventada, 2003.