Curso bsico de generacin de documentos en LATEX

Esther de Ves Xaro Benavent

11 de febrer de 2010

ndice

1. Frmulas y expresiones matemticas 2

1.1. Entornos matemticos insertados en el texto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

1.2. Entorno displaymath . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3. Entorno equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.4. Entorno eqnarray . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.4.1. El comando nonumber . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.5. Los espacios en las frmulas matemticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2. Estructuras especiales 3

2.1. ndices y suprandices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2.2. Superposicin de smbolos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.3. Algunos nombres de funciones y smbolos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.4. Sumatorios, productorios e integrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.5. Fracciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.6. Raz cuadrada y otras races . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.7. Elipsis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.8. Delimitadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.9. Disposicin vertical de la informacin en una frmula . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.9.1. Ecuaciones largas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

3. Tipos de letras 6

3.1. Alfabetos matemticos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

3.2. Tildes entorno matemtico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

4. Teoremas, lemas, corolarios ... 6

1
 Latex Bsico Dept. d'Informtica

Frmulas matemticas Universitat de Valncia

1. Frmulas y expresiones matemticas

Cualquier expresin matemtica se ha de escribir en modo matemtico, ya que el tipo de letras es diferente,
existen smbolos matemticos especcos que no se usan en otro contexto.

1.1. Entornos matemticos insertados en el texto

Para escribir una frmula matemtica insertada en un prrafo tenemos varios tipos de entorno:

Entre $ $
Entre ( )
Entorno math: begin{math} end{math}

Es lo mismo + = 2 utilizando el entorno $ que + = 2, ahora he usado el entorno (, que con el entorno
math que quedara + = 2

1.2. Entorno displaymath

Cuando queremos escribir frmulas o expresiones matemticas que no queden insertadas en el texto, que
queden en una lnea independiente y no numerada usaremos los siguientes entornos:

Entre [ ]
Entorno displaymath: begin{displaymath} end{displaymath}

Utilizando el primer entorno tendra:

+=2
y el segundo
+=2

1.3. Entorno equation

Este entorno lo usamos cuando queremos escribir una expresin matemtica en un prrafo independiente,
ecuacin numerada y en una lnea:

begin{equation}label{eq:suma}
+=2 (1) a+b=2
end{equation}

1.4. Entorno eqnarray

Este entorno lo usamos cuando queremos escribir una lista de expresiones matemticas en formato tabular
de ms de una lnea y adems queremos alinearlas. La marca & indica salto de columna y la marca salto de
lnea.
begin{eqnarray}label{eq:sistemaeq}
a+b & = & 2 nonumber
+ = 2 a+7+c & = & d+e+fnonumber
+7+ = ++ 7+6c &= & 42
7 + 6 = 42 (2) end{equation}

Pgina: 2
 Latex Bsico Dept. d'Informtica

Frmulas matemticas Universitat de Valncia

1.4.1. El comando nonumber

hace que la lnea actual no se numere. Funciona en el entorno eqnarray.

1.5. Los espacios en las frmulas matemticas

Todos los espacios introducidos con la barra de espacios o tabulador en el chero .tex son ignorados por
LATEX. Si se quieren poner espacios dentro de cualquier entorno matemtico se deben usar las siguientes rdenes:
, espacio pequeo : espacio mediano
! espacio pequeo negativo ; espacio grande
Veamos un ejemplo del uso de espacios en una frmula matemtica

.. (!!, ..)

2. Estructuras especiales

2.1. ndices y suprandices

Utilizamos _ para los subndices y para los suprandices. Si el ndice tiene ms de un carcter, se debe
delimitar entre llaves { }.

Veamos algunos ejemplos simples o Veamos algunos ejemplos

. Un poco ms de complejidad: $a_i$ o $aj$. Un poco ms de
o , y si ahora intentamos este otro: complejidad: $_{}{}$
2


o $A_{n_m}{q_{ij}}$, y si
ahora intentamos este otro:
[2{{}}]

2.2. Superposicin de smbolos

Subrayado: underline y overline

++++ ++ $ + underline{ + + + overline{ + } + }$

Delimitacin con llaves: underbrace y overbrace

z }| {
+ + + + + + $ + underbrace{ + + + overbrace{ + } + }$
| {z }

Delimitacin con llaves e ndices: underbrace y overbrace

$ + underbrace{ + + + overbrace{ + } + }_$

z }| {
+ + + + + +
| {z } Un objeto encima

de otro: stackrel{elemento superpuesto}{elemento principal}

2 + 1 $stackrel{ }{rightarrow} 2 + 1$

Pgina: 3
 Latex Bsico Dept. d'Informtica

Frmulas matemticas Universitat de Valncia

2.3. Algunos nombres de funciones y smbolos

En el entorno matemtico del editor winedt podis ver estos smbolos y ms. Tambin se puede consultar
un manual de para el uso de smbolos.
=<> + =<> +
forall
infty
= nelege
m ax mn max min
log exp log exp
cos sin tan cos sin tan
lm lim
prime

2.4. Sumatorios, productorios e integrales

Los comandos sum, prod y int son los utilizados para crear estos smbolos especiales muy importantes
en el ambiente matemtico. Veamos algunos ejemplos:

sum_{ = 1}{} _{}


=1

prod_{1le ile n} _{}

1

() cos int_{infty}{infty} ()cos t dt

2.5. Fracciones

Dos formas de escribir fracciones: 1/2 (conviene dentro del texto) y 1

2 (en una lnea aparte).

+
frac{ + }{ }

2.6. Raz cuadrada y otras races

Comando sqrt[]{radicando}
AB = \sqrt{a+b} \sqrt[3]{a+b}

3
= + +

\sqrt{\sqrt[m]{a^{b+\sqrt{1/2}}}}


+ 1/2

Pgina: 4
 Latex Bsico Dept. d'Informtica

Frmulas matemticas Universitat de Valncia

2.7. Elipsis

Las frmulas matemticas requieren de tipos especiales de puntos suspensivos:

Bajos ldots . . .
Centrados cdots
.
Verticales vdots ..
.
Diagonales ddots . .

2.8. Delimitadores

Tenemos los distintos delimitadores que se usan en el entorno matemtico: ()[]{}/. Para generar
delimitadores ms grandes, que encierren a una frmula completa o expresiones grandes, existen los comandos
left(, y right)

\begin{eqnarray}
{ ( )} A= \left\{
1+
= : +3 x \in R:
2 \left(
\frac{1+x}{a-x^2}+3
\right)
\right\}
\nonumber \\
\end{eqnarray}
Como necesitamos saber explcitamente donde comienza y acaba cada expresin a delimitar, los delimitadores
han de ir siempre en parejas. Cuando se necesita solo uno de los delimitadores se puede utilizar los delimitadores
invisibles: left., y right.

2.9. Disposicin vertical de la informacin en una frmula

Si queremos escribir vectores o matrices usaremos el entorno array dentro de un entorno matemtico.
Veamos un ejemplo de cmo escribiramos una matriz,
\[
( ) \left(
1 1 \begin{array}{cc}
2 2 x_1 & y_1 \\
x_2 & y_2
\end{array}
\right)
\]
En este otro ejemplo podemos observar que el entorno array tambin nos sirve para poder organizar verti-
calmente la informacin en una frmula como nos apetezca.
\begin{equation}
f(x)= \left\{
0, si > 0,
{
() = (3) \begin{array}{ll}
1, en otro caso. 0, & \textrm{si } x>0, \\
1, & \textrm{en otro caso.}
\end{array}
\right.
\end{equation}

Pgina: 5
 Latex Bsico Dept. d'Informtica

Frmulas matemticas Universitat de Valncia

El entorno eqnarray que hemos visto en el apartado 1.4 tambin nos sirve para alinear la informacin
verticalmente en una frmula.

2.9.1. Ecuaciones largas

Cuando tenemos una ecuacin larga que ocupa ms de una la es difcil que se corte automticamente de la
forma que ms nos gustara. Para conseguir frmulas largas bien dispuestas podemos usar la rden eqnarray.

2
cos = 1 +
2!
6
+ + (4)
6!

3. Tipos de letras

3.1. Alfabetos matemticos

En el entorno matemtico las letras en estilo cursiva, pero esto se puede modicar.
italic f (z ) = xa log $\mathit{italic}$
roman f(z) = xa log $\mathrm{roman}$
boldface f (z) = xa log $\mathbf{boldface}$
lineal f(z) = xa log $\mathsf{lineal}$
$\mathcal{CALIGRA}$
mecanografica f(z) = xa log $\mathtt{mecano}$
Estos comando slo afectan a las letras (pero no a las funciones estanda), a los dgitos y a las letras griegas
maysculas. Las letras caligrcas solo estn denidas sobre maysculas.

3.2. Tildes entorno matemtico

Es posible generar tildes a las letras en entorno matemtico.

Ejemplo en LATEX

$\hat{x}$

$\check{x}$

$\breve{x}$

$\tilde{x}$

$\bar{x}$
$\vec{x}$

$\acute{x}$

` $\grave{x}$
$\dot{x}$

$\ddot{x}$

Los comandos \widehat y \widetilde son variantes de los acentos anteriores.

4. Teoremas, lemas, corolarios ...

Son entornos autonumerados tiles para estructuras como teoremas, lemas, corolarios, proposiciones, etc.
Todos estos enunciados se engloban en el concepto genrico de nuevos teoremas:

Pgina: 6
 Latex Bsico Dept. d'Informtica

Frmulas matemticas Universitat de Valncia

newtheorem{miteorema}{Teorema}
dene el entorno miteorema: los enunciados redactados bajo este entorno se titulan con el nombre de Teorema
y se numeran automticamente. Se suelen denir en el prembulo y una vez declarados se puden utilizar como
cualquier otro entorno.
En el prembulo:
newtheorem{teorema}{Teorema}
newtheorem{corolario}{Corolario}
newtheorem{definicin}{Definicin}

En el cuerpo del programa:

Teorema 1 Enunciado teorema: y aqu va el teorema

y el cdigo es:
begin{teorema}label{teo:xy}
Enunciado teorema: y aqu va el teorema
end{teorema}

Pgina: 7