A

Curso bsico de generacin de documentos en LTEX

Esther de Ves

Xaro Benavent

11 de febrer de 2010

ndice
1. Frmulas y expresiones matemticas

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

1.2. Entorno displaymath . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3. Entorno equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4. Entorno eqnarray . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4.1. El comando nonumber . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5. Los espacios en las frmulas matemticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2. Estructuras especiales

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

2.2. Superposicin de smbolos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3. Algunos nombres de funciones y smbolos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4. Sumatorios, productorios e integrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.5. Fracciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.6. Raz cuadrada y otras races . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.7. Elipsis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.8. Delimitadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.9. Disposicin vertical de la informacin en una frmula . . . . . . . . . . . . . . . . . . . . . . . . .

2.9.1. Ecuaciones largas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3. Tipos de letras

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

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

4. Teoremas, lemas, corolarios ...

Latex Bsico
Frmulas matemticas

1.

Dept. d'Informtica
Universitat de Valncia

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:
(1)

+=2

1.4.

Entorno

begin{equation}label{eq:suma}

a+b=2

end{equation}

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.
+ =

+7+ = ++
7 + 6 =

42

(2)

begin{eqnarray}label{eq:sistemaeq}
a+b & = & 2 nonumber
a+7+c & = & d+e+fnonumber
7+6c &= & 42
end{equation}

Pgina: 2

Latex Bsico
Frmulas matemticas

1.4.1.

El comando

Dept. d'Informtica
Universitat de Valncia

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
A
L TEX. Si se quieren poner espacios dentro de cualquier entorno matemtico se deben usar las siguientes rdenes:
,
!

espacio pequeo
espacio pequeo negativo

: espacio mediano
; 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
. Un poco ms de complejidad:

o , y si ahora intentamos este otro:

2.2.

Veamos algunos ejemplos

$a_i$ o $aj$. Un poco ms de
complejidad:
$_{}
{}$
o
$A_{n_m}{q_{ij}}$,

y si
ahora intentamos este otro:
[2{{
}}]

Superposicin de smbolos

Subrayado: underline y overline

++++ ++

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

Delimitacin con llaves: underbrace y overbrace

+ + + + + +

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

Delimitacin con llaves e ndices: underbrace y overbrace

+ + + + + +

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

Un objeto encima

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

2 + 1

$stackrel{ }{rightarrow} + 1$
2

Pgina: 3

Latex Bsico

Dept. d'Informtica

Frmulas matemticas

2.3.

Universitat de Valncia

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.
=<> +

=
mx m
a
n
log exp
cos sin tan
l
m

2.4.

=<> +
forall
infty
nelege
max min
log exp
cos sin tan
lim
prime

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}
{} _{}

prod_{1le ile n} _{}

=1

int_{infty} infty} ()cos t dt

{

() cos

2.5.

Fracciones

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

+

2.6.

1
2

(en una lnea aparte).

frac{ + }{ }

Raz cuadrada y otras races

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

+ +

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

+ 1/2

Pgina: 4

Latex Bsico

Dept. d'Informtica

Frmulas matemticas

2.7.

Universitat de Valncia

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)

(
:

1+
+3
2

\begin{eqnarray}
A= \left\{
x \in R:
\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,

(

1
2

1
2

\[
\left(
\begin{array}{cc}
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 verticalmente la informacin en una frmula como nos apetezca.
{
() =

0, si > 0,
1, en otro caso.

(3)

\begin{equation}
f(x)= \left\{
\begin{array}{ll}
0, & \textrm{si } x>0, \\
1, & \textrm{en otro caso.}
\end{array}
\right.
\end{equation}

Pgina: 5

Latex Bsico
Frmulas matemticas

Dept. d'Informtica
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.

cos = 1
+

3.

2
+
2!

6
+
6!

(4)

Tipos de letras

3.1.

Alfabetos matemticos

En el entorno matemtico las letras en estilo cursiva, pero esto se puede modicar.
italic
roman
boldface
lineal

mecanografica

f (z ) = xa log
f(z) = xa log
f (z) = xa log
f(z) = xa log
f(z) = xa log

$\mathit{italic}$
$\mathrm{roman}$
$\mathbf{boldface}$
$\mathsf{lineal}$
$\mathcal{CALIGRA}$
$\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

A
en L TEX

$\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
Frmulas matemticas

Dept. d'Informtica
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