Manual Básico de LaTeX

( )
Resumen

Este mini tutorial pretende ser una guía básica de LaTeXpara usuarios que son nuevos en esta forma de editar textos científicos. Además se ha intentado no hacer referencias visuales salvo en aquellos puntos donde es necesario explicar el por qué de un comando. Hay que tener en cuenta que LaTeXes un código para crear un documento imprimible en tinta y por tanto muchos de sus comandos sirven para configurar una impresión adecuada. Sin embargo la filosofía de LaTeXes precisamente que uno no debe preocuparse por estos detalles sino más bien uno debe enfocarse solo en el contenido del documento. Por este último hecho es que creemos que LaTeXes una herramienta excelente para personas con deficiencia visual que deseen crear documentos que puedan presentar a un público vidente, y con un formato con diseño profesional.

Debemos mencionar también que este manual no es, ni pretende serlo, una guía completa de LaTeX. Se pueden encontrar excelentes guías de LaTeX, como por ejemplo las de sus propios creadores [1, 2], o en español [3], aunque también se encuentran excelentes tutoriales en internet [4] que son mucho más exhaustivas y completas que el lector puede consultar para temas concretos y avanzados.

1 Introducción

LaTeXes un lenguaje de edición de textos. La idea es que el archivo fuente (con extensión TEX) es un archivo de texto simple (sin formato) con una serie de instrucciones que permiten a un compilador de LaTeXcrear un documento en formato DVI, PS o PDF. Estos archivos de salida son esencialmente representaciones gráficas del documento, que se imprimen en pantalla o por medio de una impresora en papel y tinta.

LaTeXposee una vasta cantidad de comandos para realizar la edición lo más precisa posible.Sin embargo, la idea de LaTeXes que uno mismo se preocupe solamente del contenido y él realizará el resto.

Con LaTeXes posible introducir contenido especializado dentro de diversas areas como las matemáticas, música, lingüística, etc Aunque la idea original y su verdadero potencial está en la edición de texto matemático la verdad es que las posibilidades de edición de LaTeXson casi ilimitadas. Es posible incluir archivos de imágenes para ser visualizadas en el archivo de salida, hacer los propios dibujos dentro del código LaTeX, incluir animaciones, scripts en distintos lenguajes de programación, incluir diagramas de flujos, etc.

Cuando se compila un archivo fuente (e.g. filename.tex) el resultado es generalmente un archivo PDF con el mismo nombre y en la misma ubicación que el archivo fuente (filename.pdf). Pero además suelen resultar otros archivos de salida que tienen distintas funciones, que suelen servir de forma interna o bien a la hora de seguir la pista a algún error de compilación. Generalmente uno como usuario no tiene que fijarse en dichos archivos y se pueden borrar una vez generado correctamente el PDF. Algunas extensiones comunes de estos archivos son:

  •  

    filename.aux: En este archivo se suelen escribir las referencias cruzadas, números de paginas, etc que el constructor del pdf va a usar para poder armar correctamente el archivo.

  •  

    filename.log: Aqui se suele escribir los errores o advertencias que el compilador detecta.

  •  

    filename.toc: cuando en el archivo fuente damos la orden de realizar un índice de contenidos el compilador recoge aquí la información necesaria para construirlo. Ya que antes de construirlo el pdf debe generarse primero para saber en que páginas estará cada capítulo o sección del documento. Es necesario compilar más de una vez para que se genere la tabla de contenidos correctamente.

Para editar un archivo fuente solo necesitamos un editor de textos simple, como por ejemplo el bloc de notas de Windows o cualquier otro. No sirve Word de Office u otro procesador de textos ya que estos dan formato al archivo y el compilador no entenderá dicho formato. Hay en internet diversos editores que son muy útiles ya que entre sus opciones añaden utilidades que hacen más sencilla la memorización de comandos en LaTeX o incluso permiten hacer que el compilador trabaje sobre el texto que estamos editando sin necesidad de cerrar el editor. Muchos compiladores traen uno de estos editores por defecto y son muy recomendables.

Los compiladores de LaTeX más usados son:

  •  

    MiKTeX: funciona bajo Windows, es gratuito y trae un editor llamado TeXWorks.

  •  

    TeXLive: funciona en los sistemas Unix como Linux y Mac. Es gratuito y trae el editor TeXShop.

Para instalar MiKTeX basta con ir a la pagina de miktex.org y bajarse el instalador apropiado. Para un sistema de 64 bits el instalador es:

https://miktex.org/download/ctan/systems/win32/miktex/setup
/basic-miktex-2.9.6520-x64.exe

La instalación es automática aunque exige algunos pasos. Es recomendable usar la instalación y opciones que vienen por defecto.

2 Edición de un documento

Si abrimos la aplicación TeXWorks (o TeXShop en Mac o Linux) que está en la carpeta “MiKTeX” en “Programas” del menú “Inicio”, aparecerá un editor de textos, con las opciones “File”, “Edit”?entre otras. Si lo que queremos es abrir un archivo ya creado lo buscamos con el menú “Open” en la barra “File” como es habitual. Si escribimos uno nuevo es necesario que antes de compilarlo lo guardemos con un nombre especifico en el menú “Save” de la barra “File”.

Para compilar el archivo vamos a la barra “Typeset” (en TeXShop sería el menú “Componer”) y seleccionamos “PDFLaTeX” (en TeXShop el submenú “Componer”) o simplemente pulsamos “Ctrl+t” (en Mac “Comando+t”) y si hemos escrito bien el archivo fuente debería generar un PDF con nuestro documento. Además TexWorks muestra una previsualización del PDF. Es posible configurar TeXWorks para que use un visor predeterminado de PDF’s.

3 Comandos en LaTeX

La estructura típica de un comando en LaTeX es la siguiente:

\comando[opcion1,opcion2,...]{argumento1}{argumento2}{...}

donde “comando” es el nombre del comando en cuestión. Notar que siempre va precedido del símbolo “\” (barra invertida o “back slash”). Este símbolo suele sacarse con la tecla justo a la izquierda del “1” y presionando “Ctrl” o “Alt”, según la configuración de teclado que se tenga. Las opciones del comando van entre corchetes, “[” y “]”, y separadas por comas. Finalmente escribimos los argumentos del comando entre llaves, “{” y “}”, de forma consecutiva.

Se debe notar que el compilador distinguirá entre mayúsculas y minúsculas, Así que habrá que escribir los comandos tal y como son. También es importante darse cuenta que los espacios en blanco son generalmente obviados por el compilador. Por ejemplo el resultado de estos dos comandos es el mismo:

\comando{hola}
\comando { hola}

En estos ejemplos no se puede escribir un espacio entre “\” y “comando”.

4 Estructura de un documento

Un documento LaTeXtiene dos partes: el preámbulo y el cuerpo del documento.

4.1 Preámbulo

- El preámbulo es donde se definen parámetros globales, título, etc. La línea más importante de un documento LaTeX es la primera línea del preámbulo que tiene la estructura:

\documentclass[letter,12pt]{article}

El compilador leerá a partir de esta línea. Las opciones que hemos escrito son “letter” y “12pt”.La opción “letter” indica que vamos a usar una página tamaño carta y “12pt” indica que la letra normal será de un tamaño de 12 puntos. Hay muchas otras opciones como “a4paper”, “10pt”, “11pt”, “twocolumn”, que indican propiedades del documento. El argumento de “documentclass” es “article” que indica que vamos a escribir un artículo. También podríamos haber puesto como argumento “book” si lo que queremos es un libro, “report” si queremos escribir un informe, “slides” si queremos hacer una presentación, “beamer” si queremos una presentación con más opciones.

Por ahora diremos que la diferencia entre “article” y “book” es que en el primero el nivel de encabezado mayor es el de sección y en el segundo es el de capítulo.

En el preámbulo también añadiremos paquetes que el compilador usará para enriquecer el documento. Los más importantes de momento son los que permiten cargar fuentes apropiadas, que puedan ahcer que el documento se escriba con acentos y eñes, y que traduzca al español los encabezados especiales:

\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[spanish,es-tabla]{babel}
\usepackage{amsmath,amssymb,amsfonts}

Así el primer comando indica que cargue el paquete que permita escribir con acentos y que reconozca la “ñ”. La opción “utf8” es el código de caracteres que va a reconocer. A veces este código dependerá del sistema operativo que se use para compilar. Por ejemplo en Mac se suele usar “applemac”, en windows “utf8” o “latin1” y otros, pero el que suele ser común a todos es “utf8”. Esto es importante a tener en cuenta cuando alguien te envía un archivo fuente y lo deseas editar. Tienes que fijarte en esta linea y adaptarla al sistema tuyo.

A veces si quieres que el documento se pueda compilar en cualquier sistema no debes poner esta línea, pero en el documento cada vez que vayas a poner un acento debes hacerlo con comandos:

Comando Acento Comando Acento
\’{a} á \’{A} Á
\’{e} é \’{E} É
\’{\i} í \’{I} Í
\’{o} ó \’{O} Ó
\’{u} ú \’{U} Ú
\"{u} ü \"{U} Ü
\~{n} ñ \~{N} Ñ
Tabla 1: escritura de acentos en LaTeXsin especificar el código extendido.

El segundo comando carga las fuentes que se usarán en el pdf. La opción “T1” es necesaria para que los acentos queden como un único símbolo y así el lector de pantalla pueda leer bien las palabras con acentos. Mucha gente no usa esta opción y el PDF generado hace que palabras como: “Título” se lea en un lector de pantalla como “T iacute tulo”.

El tercer comando carga el idioma español para los encabezados especiales. Por ejemplo cuando queremos incluir una bibliografía el título de esta será “Referencias”. De no incluir esta opción en el preámbulo diría “References”. Además de “spanish” hemos incluido la opción “es-tabla” que hace que cuando pongamos una leyenda en una tabla, esta tenga el título “Tabla” en vez de “Cuadro” como está por defecto.

Finalmente, el último comando carga el paquete creado por la American Mathematical Society (AMS), para incluir símbolos especiales matemáticos. Este comando también incluye las fuentes propias de la AMS.

También en el preámbulo incluimos título y author:

\title{La Importancia del Agua en la Navegacin Martima}
\author{Rogelio Rojas Izquierdo}
\date{31 de Diciembre de 2017}

Si no se escribe el comando de la fecha \date, el documento aparecerá automáticamente con la fecha del día en que se compiló. Si no deseamos incluir fecha simplemente escribimos, \date{\quad}, ya que \quad es simplemente un comando que imprime un espacio en blanco.

Con esto hemos escrito un preámbulo sencillo. A parte de lo dicho anteriormente, en el preámbulo podemos definir parámetros globales del documento como el interlineado o los márgenes, podemos definir macros que nos ahorren en la escritura, o podemos cargar diversos paquetes especializados.

4.2 Macros definidos por el usuario

Una herramienta muy útil es la posibilidad de definir macros personalizadas en el preámbulo. Esto es, podemos definir comandos personales que nos permiten automatizar una serie de comandos que usamos con frecuencia en un documento. Esto nos sirve para ahorrar tiempo en la escritura y para hacernos más sencilla la lectura del archivo fuente.

Tenemos varias formas de definir macros.

Macros simples:

Este tipo de macro consiste en un nuevo comando que no necesita argumentos. La sintaxis de la definición de dicho macro se puede hacer de dos formas:

\def\nuevoComando{serie de comandos}

O también,

\newcommand{\nuevoComando}{serie de comandos}

donde \nuevoComando es el nuevo comando definido por el usuario. Es importante no nombrar un nuevo comando con el nombre de otro ya existente, sobre todo cuando este comando existente se usa en el documento ya que puede confundir al intérprete de LaTeX. La serie de comandos que van en el segundo argumento entre llaves, es una colección de comandos que serán ejecutados en el lugar donde se incluya el nuevo comando definido por el usuario. Veamos un par de ejemplos:

\def\beq{\begin{equation}}
\def\eeq{\end{equation}}
\def\medio{\frac{1}{2}}
\newcommand{\iagudo}{\’\{i}}

Notar que es posible definir comandos que actúan en modo matemático o textual.

Macros complejas:

También es posible definir macros que representan comandos con uno o más argumentos. La sintáxis es la siguiente:

\def\nuevoComando#1...#n{serie de comandos con args #1, #2, ...,#n}
\newcommand{\comandoNuevo}[n]{serie de comandos con args #1, #2, ..., #n}

En estas macros, los nuevos comandos definidos requieren n argumentos (encerrados entre llaves) que son sustituidos en los sitios donde aparecen el símbolo numeral “#”, con el número correspondiente a la posición del argumento después del comando. Por ejemplo, si definimos la macro,

\def\derivada#1#2{\frac{d#1}{d#2}}

o con la otra sintaxis,,

\newcommand{\derivadaN}[3]{\frac{d^{#3}#1}{d#2^#3}}

En el cuerpo del documento, estas macros funcionan del siguiente modo,

$$
f(x+h)= f(x) + h\derivada{f(x)}{x}+ \frac{h^2}{2!}\derivadaN{f(x)}{x}{2}+ \dots
$$

Para las macros complejas se recomienda la segunda sintaxis, es decir, la que usa \newcommand.

4.3 Comentarios

Antes de seguir es util notar que si escribimos el símbolo % (tanto por ciento) el compilador ignorará lo que haya después en dicha línea. Esto sirve para hacer comentarios para que la persona que esté editando el archivo pueda entender algunos comandos o para que en vez de borrar un pedazo de documento, lo tenemos escrito en el archivo fuente por si acaso lo necesitamos luego. Por ejemplo:

%% Esta lnea no es leda por el compilador
%% Esta tampoco
%% Esto sirve para recordar cosas o simplemente
%% para borrarlas en el archivo final pero no en el fuente

4.4 Cuerpo del documento

El siguiente paso es escribir el cuerpo del documento: Este empieza con el comando:

\begin{document}

y termina con:

\end{document}

El compilador leerá solo lo que está en el preámbulo y lo que está entre estos dos comandos. Si escribimos después de \end{document} el compilador no hará caso.

Nota: Si se nos olvida escribir \end{document} el compilador lanzará un error y el documento no se generará. Por esto es útil escribir los dos comandos al principio y seguir escribiendo entre medio de modo que así no se nos olvida cerrar el documento.

Los trozos de código entre los comandos \begin y \end se denominan entornos. Así “document” es un entorno. Veremos que hay diversos entornos en LaTeXcomo el de ecuaciones “equation”, listas “enumerate” etc.

4.5 Estructuras en el cuerpo del documento

El primer comando en el cuerpo podría ser escribir el título

\maketitle

Esto imprime el título, autor y fecha definido en el preámbulo.

Ahora escribiremos un resumen o abstract. Esto lo podemos hacer con el entorno “abstract”. Por ejemplo:

\begin{abstract}
  En este trabajo resaltaremos la vital
  importancia del agua en la   navegacin martima.
\end{abstract}

Esto hará que aparezca un breve resumen al principio del artículo, justo después del título. LaTeXhace que este resumen se centre automáticamente y se escriba con una tipografía más pequeña. Además pone un título que se llama “resumen”. Notar que si no hubiéramos puesto la línea \usepackage[spanish]{babel} en el preámbulo, el título de este resumen habría sido directamente “abstract”.

Ahora incluiremos una sección:

\section{Introduccin}

Lo que hace este comando es poner el encabezado de una nueva sección. También lo enumera convenientemente y pone la tipografía adecuada. El título de la sección es el parámetro que incluimos en el comando.

Si quisiéramos incluir subsecciones usamos el comando

\subsection{Esto es una subseccin}

Y lo mismo con

 \subsubsection{Una subseccin de la subseccin}

Cada vez que añadamos una sección o subsección nueva, el compilador enumera convenientemente. Lo mismo ocurre con \chapter{Este es un nuevo capítulo}, que se usa cuando escribimos un libro(\documentclass{book}).

4.5.1 Párrafos

Para escribir texto, se hace sin necesidad de ningún comando a no ser que queramos introducir símbolos especiales.(recordar que si no hubieramos añadido la linea \usepackage[latin1]{inputenc} en el preámbulo, los acentos y la ñ serían símbolos especiales que deben introducirse con comandos). Hay que tener en cuenta que LaTeXignora los espacios en blanco sobrantes, es decir si entre dos palabras ponemos dos espacios en blanco, él solo tendrá en cuenta un solo espacio. Para añadir espacios en blanco adicionales necesitaremos comandos especiales como \quad u otros.

Lo mismo ocurre con los párrafos. Los saltos de linea en el documento fuente serán ignorados salvo si van dos o más seguidos. En tal caso LaTeXinterpreta que hay un cambio de párrafo. Ejemplo:

Prrafo.
Esto est en el mismo prrafo.

Esto ya est en otro prrafo distinto.

Otra forma de cambiar al siguiente párrafo es incluir el comando \par.Ejemplo:

Prrafo 1.
Esto es el mismo prrafo.\par
Este ya es otro prrafo.

4.5.2 Tipografía

En el texto podemos cambiar la tipografía de una porción de texto con los comandos \textrm ( para texto normal o recto), \textit( para texto itálico o cursiva) o \textbf (para texto en negrita). Por ejemplo:

Escribimos un texto en \textrm{ texto romano normal}. Y ahora
lo escribimos \textit{ en itlica o cursiva}. Y
finalmente lo haremos en \textbf{ negrilla o negrita}.

los términos rm significan roman, it significa itálica y bf significa bold face o negrita en inglés. Hay otros muchos tipos que se pueden incluir, pero estos son los más usados. Otra forma de escribir esto es mediante la sintaxis siguiente:

  Esto es un texto en {\rm romano normal}. Ahora
   escribimos en {\it itlico o cursivo}. Y
   finalmente en {\bf negrilla o negrita}.

5 Texto Matemático

En general el texto matemático se incluye en un documento en dos formas posibles: en línea y en modo display.

Modo en línea:

significa que los símbolos matemáticos se incluyen dentro de las líneas de un párrafo formando parte del texto, sin ocupar un espacio especial. En LaTeX esto se hace escribiendo la ecuación o simbolos matemáticos entre dos símbolos de peso o dólar $:

  Segn Albert Einstein $E=m c^{2}$.
  

En el texto matemático hemos usado letras normales, el símbolo = y el acento circunflejo o signo de intercalación ^ que se suele escribir con “Shift+`” (la tecla acento está justo a la derecha de la ?“p”, y después se añade un espacio para que el acento circunflejo no se escriba sobre ninguna letra). Después se puede borrar el espacio. Este acento circunflejo indica que lo que viene después entre llaves es un superíndice o es la potencia de lo que se encuentra a la izquierda.

Modo Display:

A veces el tamaño de una ecuación o su importancia es tal que es necesario escribir la ecuación a parte de la linea del texto. Generalmente este modo centra la ecuación y puede o no, enumerar la ecuación para una futura referencia. Esto en LaTeX se hace mediante el entorno “equation”.

Segn Einstein la masa de un cuerpo
depende de su velocidad, de modo que,
\begin{equation}
m=\frac{m_{0}}{\sqrt{1-\frac{v^{2}}{c^{2}}}},
\label{masa}
\end{equation}
donde $m_{0}$ es la masa en reposo del cuerpo
y $c$ es la velocidad de la luz en el vaco.\par
Como indica la ecuacin (\ref{masa}),
la velocidad del cuerpo no puede superar a la de la luz.

Notemos en la ecuación introducida varias cosas:

  1. 1.

    El entorno equation enumera la ecuación automáticamente. Al final de la misma hemos escrito el comando que no hace nada en la ecuación, pero sirve para que si en el futuro nos queremos referir a esta ecuacion la podremos citar internamente con su etiqueta que nosotros mismos le asignamos, que en este caso es “masa”. Esto lo vemos mediante el comando \ref{masa}, escrito en el siguiente párrafo del ejemplo.

  2. 2.

    Hemos incluido dos fracciones en la ecuación. Esto se hace con el comando \frac seguido de dos argumentos encerrados entre llaves:

     \frac{numerador}{denominador}
     
    

    El primero siempre será el numerador y el segundo el denominador.

  3. 3.

    Hemos introducido una raíz cuadrada mediante el comando \sqrt (square root), que espera un argumento entre llaves que será el radicando,

    \sqrt{radicando}
    

    Se pueden incluir raíces arbitrarias con la opción [n], es decir,

    \sqrt[n]{3}
    

    representa la raíz enésima de 3.

  4. 4.

    Subíndices: al igual que los superíndices, los subíndices se incluyen con el guión bajo _ seguido del subíndice entre llaves.

  5. 5.

    Si no deseamos enumerar la ecuación se escribe la ecuación simplemente entre dos pares de símbolos de peso o dólar $$, es decir:

    $$m=\frac{m_{0}}{\sqrt{1-\frac{v^{2}}{c^{2}}}},$$
    
Observación:

Para casi todos los comandos que esperan argumentos estos se deben escribir entre llaves como se dijo más arriba. Sin embargo cuando dichos argumentos son simples no es necesario las llaves. Así por ejemplo m_{0} se puede escribir m_0, o c^{2} se puede escribir simplemente como c^2 . También con los comandos que esperan dos argumentos, \frac{1}{2} se puede escribir simplemente como \frac 1 2 , etc Hay que tener cuidado de no pegar un carácter alfabético al nombre del comando ya que el compilador mal interpretará dicho comando:

\frac{a}{2}  (correcto)
\frac a 2 (correcto
\fraca 2 (incorrecto)
\sqrt{b} (correcto
\sqrt b (correcto
\sqrtb (incorrecto

Si el argumento es un dígito, no hay problema en juntarlo con el nombre del comando,

\sqrt{2} correcto
\sqrt 2 correcto
\sqrt2 correcto

5.1 Matrices y arreglos

Para escribir matrices o arreglos (pequeñas tablas alineadas), se usa el ambiente “array”. A continuación de la declaración del comienzo del entorno se indica la alineación de las columnas entre llaves (ver más abajo), y a continuación se escriben los distintos elementos de la primera fila, separados por el símbolo & (“ampersand”), y cuando se finaliza la fila se cierra con la doble barra invertida \\. La última fila no se debe cerrar con esta doble barra invertida, sino que se cierra el entorno simplemente.

Un ejemplo :

$$
A=\left(
\begin{array}{c c}
3 & 2 \\
-1 & 0
\end{array}
\right)
$$

Como se verá en la sección siguiente los comandos \left( y \right) son paréntesis grandes que engloban a la matriz que hemos definido.

Si quisiéramos alinear las columnas de nuestra matriz o arreglo, es posible indicarlo justo después de la declaración del comienzo del entorno “array” entre llaves.

$$
A=\left(
\begin{array}{c l}
2 & 3\\
-1 &\alpha\beta\gamma
\end{array}
\right)
$$

Nótese que debemos ser consistentes y escribir el mismo número de elementos en cada fila, así como indicar la alineación de todas las columnas con las letras “r” (derecha), “c” (centrado) o “l” (izquierda), separadas por un espacio. También se pueden insertar lineas que dividan las distintas columnas insertando el símbolo (línea vertical) entre la alineación de las mismas. De igual modo podemos insertar lineas horizontales entre las filas añadiendo el comando \hline después del corte de linea
?.

\begin{equation}
A=\left[
\begin{array}{c|c|}
3 & 2 & -1 \\
\hline
-2 & 0 & -2 \\
\hline 5 & 8 & -2
\end{array}
\right]
\end{equation}

5.2 Delimitadores

En el formalismo matemático es muy común usar delimitadores como paréntesis, corchetes, llaves, paréntesis angulares, etc. Estos tienen un sentido matemático concreto según el tema donde se usen. Sin embargo, hay que tener en cuenta que el propio código LaTeXusa tanto llaves como corchetes para delimitar bloques de código. Por tanto es necesario tener en cuenta cuando se usan como partes del código y cuando se usan para que se impriman en el documento para significar contenido matemático.

Las llaves, como el resto de delimitadores en LaTeX, pueden ser ?normales? o grandes. El segundo caso se usa para delimitar expresiones con objetos ?grandes?, es decir, que ocupan más de el alto de una línea, como por ejemplo fracciones, matrices, integrales, sumatorias, etc. Los primeros , son para expresiones con símbolos normales como variables , números, símbolos simples, etc.

Llaves normales:

\{ y \} son los comandos para imprimir llave izquierda y derecha, respectivamente. Los paréntesis ( y )y corchetes [ y ] se escriben tal cual.

Llaves grandes:

\left\{ y \right\} son los comandos para insertar llaves grandes izquierdas y derechas, respectivamente. Los paréntesis y corchetes grandes se imprimen como \left(, \right), \left[ y \right], respectivamente (ver tabla 9 para más delimitadores). En este caso, y como en todos los delimitadores grandes, es necesario cerrar las llaves que se abran de forma anidada. No es posible encadenar distintos tipos de delimitadores grandes (por ejemplo:“abre llaves abre paréntesis cierra llaves cierra paréntesis”, o escrito en latex:

\left\{ \left( \right\} \right)

Esto dará un error de compilación.

Si quisiéramos hacer esto, se necesita cerrar con \left. o abrir con \right.. Este es una especie de delimitador comodín que cierra o abre, respectivamente, el último, o siguiente, delimitador grande que encuentre, pero no imprime nada. Esto es muy útil por ejemplo cuando se define una función a trozos, donde se escribe una llave que se abre, pero no se cierra, englobando las distintas piezas de la función.

\begin{equation}
f(x)=\left\{
\begin{array}{c r}
-1&\text{si $x<0$,}\\
1&\text{ si $x\geq 0$.}
\end{array}
\right.
\end{equation}

Notar que si hubiéramos puesto \right. en seguida de \left\{ las llaves no habrían abarcado las dos ramas de la función, que están escritas en un arreglo. Notar también que hemos usado la tipografía de texto normal dentro de un entorno matemático con el comando \text.

Esta forma de cerrar delimitadores grandes es útil cuando se escribe una expresión y no cabe en una única línea del documento impreso y se necesita cerrar la fórmula para seguir en la siguiente línea. Y también cuando usamos una linea vertical a la derecha de una derivada parcial para indicar que dicha derivada se toma a ciertos valores de variables tomados como constantes:

$$A=\left.\frac{\partial L}{\partial x}\right\vert_{y=3}$$

(en este caso el símbolo \vert imprime una linea vertical como \|, pero con \right\vert se imprime la linea vertical alargada de forma que abarca la altura de la derivada parcial).

5.3 Símbolos grandes

En matemáticas a veces se usan símbolos que admiten texto u otros símbolos en su parte inferior o superior. Los motivos y significado de dicho contenido puede ser muy variado y depende del contexto en el que se usa. A estos símbolos se les denomina “símbolos grandes” y LaTeXlos trata de igual modo independientemente de su contexto. Ejemplos típicos de estos símbolos son la integral, sumatoria, productoria , unión, intersección, etc. En la mayoría de los casos, el contenido inferior se refiere a una familia de índices, o bien al comienzo de dicho índice, mientras que el contenido superior indica el tope del valor del índice al que se refiere el contenido inferior.

En LaTeXsimplemente se indica el contenido inferior poniendo un guión bajo seguido del contenido entre llaves, y un acento circunflejo seguido del contenido superior. En un símbolo grande, ambos contenidos son opcionales y no importa el orden en que se especifican. Algunos ejemplos:

  \begin{equation}
  A = \int_0^\infty f(x)\,dx
  = \sum_{n=1}^{\infty} \frac{s_n}{n^2+1},
  \end{equation}
  

Notar que el contenido inferior o superior de los símbolos grandes pueden ir o no entre llaves, dependiendo de si este contenido es simple o complejo. Notar también que el comando \, sirve para introducir un espacio en blanco en el entorno matemático (equivalente en longitud a una “M” en tamaño normal).

Se puede consultar más símbolos grandes en los apéndices (ver la tabla 7).

5.4 Paquetes de la AMS

La American Mathematical Society o AMS contribuye de forma crucial en el desarrollo de LaTeX, y por tanto, tiene una variedad de paquetes que incluyen macros muy usadas para la escritura de todo tipo de símbolos matemáticos. Para indicar al intérprete de LaTeXque vamos a usar algunos de sus símbolos y para que cargue las fuentes adecuadas es necesario incluir la siguiente instrucción en el preámbulo:

\usepackage{amsmath,amssymb,amsfonts}

Por ejemplo los símbolos de números reales, complejos, racionales, enteros y naturales son símbolos propios de estos paquetes y se incluyen con: \mathbb{R},\mathbb{C},\mathbb{Q},\mathbb{Z},\mathbb{N}. O por ejemplo, dentro del entorno matemático en modo “display” podemos incluir una matriz simplemente con el entorno “matrix” sin necesidad de especificar el tipo de alineación de las columnas, a diferencia del entorno “array”:

\begin{equation}
A=\left(
\begin{matrix}
3 & -1 \\
0 & 2
\end{matrix}
\right)
\end{equation}

6 Listas

6.1 Listas de texto

Para hacer listas fuera del entorno matemático, se usan tres tipos de entornos: “itemize”, “enumerate” y “description”. La primera genera una lista sin enumerar, anteponiendo algún símbolo a cada item de la lista (viñieta, punto grueso o bullet, guión grande, etc), mientras que la segunda genera una lista enumerada (bien con números arábigos, romanos, letras, etc), y la última genera una lista de descripción donde los ítems son palabras o grupos de palabras. En los primeros dos casos, cada item de la lista debe comenzar con el comando \item. LaTeXenumera o pone el símbolo adecuado en el lugar adecuado. Un ejemplo: Esta es una lista no ordenada:

\begin{itemize}
\item Tres kilos de manzanas.
\item Media docena de huevos.
\item Un cuarto de libra  de azcar.
\end{itemize}

Y ahora una lista enumerada:

\begin{enumerate}
\item lgebra.
\item Anlisis.
\item Geometra.
\item Lgica.
\end{enumerate}

Las listas de descripción necesita especificar las palabras o grupos de las palabras que etiquetan los diferentes ítems. Esto se hace con el comando,

 \item[Palabra o grupo de palabras]
 

donde la palabra o grupo de palabra se encierra entre corchetes. Un ejemplo:

\begin{description}
\item[Francia:] Es un pas situado al norte de Espaa donde se habla el francs. Su capital es Pars.
\item[Portugal:} Es un pas situado al oeste de Espaa y se habla el portugus. Su capital es Lisboa.
\item[Marruecos:] Es un pas que queda al sur de Espaa y se habla rabe y francs.  Su capital es Rabat.
\item[Italia:] Es un pas que queda al este de Espaa y se habla el italiano. Su capital es Roma.
\end{description}

También es posible hacer listas dentro de listas, y LaTeX automáticamente asignará números, letras, símbolos, etc a los distintos subítems de las sublistas. Un ejemplo:

Una  lista con sublistas:
\begin{enumerate}
\item lgebra.
Ψ\begin{enumerate}
Ψ\item grupos y Anillos.
Ψ\item Cuerpos.
Ψ\item Espacios Vectoriales.
Ψ\end{enumerate}
\item Anlisis.
Ψ\begin{enumerate}
Ψ\item Anlisis real.
Ψ\item Anlisis complejo.
Ψ\item Anlisis funcional.
Ψ\end{enumerate}
\item Geometra.
Ψ\begin{itemize}
Ψ\item Geometra Eucldea.
ΨΨ\begin{itemize}
ΨΨ\item En el plano.
ΨΨ\item En el Espacio.
ΨΨ\end{itemize}
Ψ\item  Geometra rimaniana.
ΨΨ\begin{itemize}
ΨΨ\item Geometra extrnseca.
ΨΨ\item Geometra intrnseca.
ΨΨ\end{itemize}
Ψ\end{itemize}
\item Lgica.
Ψ\begin{enumerate}
Ψ\item Teora de conjuntos.
Ψ\item Teora de modelos.
Ψ\end{enumerate}
\end{enumerate}

Dos observaciones respecto del ejemplo:

  •  

    No podemos ?cruzar? dos tipos de listas, deben estar anidadas. El siguiente ejemplo daría un error:

    \begin{itemize}
      \item Coches.
    Ψ\begin{enumerate}
    Ψ\item Wolfsvagen.
    Ψ\item Ford.
    \end{itemize}
    Ψ\end{enumerate}
    
  •  

    La segunda observación es que LaTeX usa el mismo tipo de enumeración o símbolos para los mismos niveles de sublistas, lo cual es consistente. En el ejemplo, la lista de ramas de la matemática está enumerada con números arábigos, mientras que la sublista de ramas del álgebra se hace con letras (a,b,c, etc), de igual modo que las ramas del análisis, puesto que ambas están en un segundo nivel.

    Si deseamos personalizar la forma de enumerar o asignar símbolos a los items de las listas y sublistas, se puede hacer en LaTeX, pero esto no entra en los objetivos principales de este tutorial.

6.2 Listas de ecuaciones alineadas

A veces nos interesa escribir un grupo de ecuaciones de la misma naturaleza en una lista con el mismo formato, es decir, que por ejemplo los signos “=” (igual a) queden a la misma altura. También puede ocurrir que una fórmula sea demasiado larga para escribirla en una única línea, pero queremos que se distinga bien el miembro derecho del izquierdo, aún cuando se continúe en la línea siguiente. Por ejemplo, el signo “=” deja a la izquierda en la primera línea el miembro de la izquierda, pero el miembro de la derecha queda a la derecha del “=” incluso después de continuar en lineas siguientes. Esto se consigue con el entorno “eqnarray”.(esto sustituye al entorno “equation”).

Este entorno es en realidad un entorno mezclado de ecuaciones y de arreglos o matrices, de modo que estructura la ecuación en una especie de arreglo matricial para que quede alineada. Por este motivo las distintas partes de la ecuación se separan con el símbolo “&”, y se pasa a la fila siguiente con “\\”. Veamos un par de ejemplos:

  Las siguientes transformaciones se denominan transformaciones de Lorentz:
\begin{eqnarray}
t^\prime &=&\gamma\left(t+ \frac{v}{c^2} x\right),\\
x^\prime&=&\gamma\left(x+ v t\right),
\end{eqnarray}
donde $\gamma=\left[1-\frac{v^2}{c^2}\right]^{-\frac{1}{2}}$ es el factor relativista.

Notar en el ejemplo que como hacíamos en las matrices, no quebramos la línea en la última fila. En el ejemplo hacemos un arreglo de 3 columnas por 2 filas, donde la columna central queda centrada y alineada (en este entorno solo se suelen usar tres columnas, la primera justificada a la derecha, la segunda centrada y la tercera justificada a la izquierda. Lo que se pretende es que los signos “=” se alineen y las fórmulas queden simétricas y parejas). Notar también que al compilar el ejemplo, cada línea será enumerada ya que corresponden a dos ecuaciones. Si quisiéramos etiquetarlas convenientemente para referirlas posteriormente, debemos añadir \label{nombreEcuacion} al final de la linea (pero antes de \\ en el caso de la primera ecuación). Por otro lado si no queremos que, por ejemplo la primera línea sea enumerada debemos poner el comando \nonumber al final, pero antes de \\. Finalmente si no queremos enumerar ninguna de las líneas simplemente usamos el entorno “eqnarray*”, o bien ponemos \nonumber al final de cada línea. Veamos unos ejemplos:

Ecuaciones etiquetadas para su posterior referencia:

\begin{eqnarray}
t^\prime &=&\gamma\left(t+ \frac{v}{c^2} x\right),\label{tiempo}\\
x^\prime&=&\gamma\left(x+ v t\right),\label{espacio}
\end{eqnarray}

Ecuaciones que sólo se enumera la primera:

\begin{eqnarray}
t^\prime &=&\gamma\left(t+ \frac{v}{c^2} x\right),\\
x^\prime&=&\gamma\left(x+ v t\right)\nonumber,
\end{eqnarray}

Dos ejemplos equivalentes donde no se enumera ninguna ecuación:

\begin{eqnarray}
t^\prime &=&\gamma\left(t+ \frac{v}{c^2} x\right),\nonumber\\
x^\prime&=&\gamma\left(x+ v t\right)\nonumber,
\end{eqnarray}

O también:

\begin{eqnarray*}
t^\prime &=&\gamma\left(t+ \frac{v}{c^2} x\right),\\
x^\prime&=&\gamma\left(x+ v t\right),
\end{eqnarray*}

Otra situación donde es útil el entorno ?eqnarray? es el del ejemplo citado donde la ecuacíon es muy larga y debemos quebrar la línea para seguir en la siguiente línea pero queremos seguir escribiendo a la derecha del símbolo “=”. Un ejemplo:

Sumemos todas las letras del abecedario:
\begin{eqnarray}
A&=& a + b + c + d + e + f\nonumber\\
&&+g + h + g + i + j + \dots+\nonumber\\
&& + x + y + z.\label{abecedario}
\end{eqnarray}

Notar que en la segunda y tercera fila no se ha escrito nada en el primer y segundo elemento del arreglo. Esto hace que aparezca las letras sumadas siempre a la derecha (y renglón abajo) del signo “=”. Notar también que no hemos permitido la numeración de las dos primeras líneas ya que no son ecuaciones completas, y hemos etiquetado el número de la ecuación en la tercera línea que es donde aparecerá el número de la ecuación.

7 Tablas y figuras

En un documento LaTeXtambién podemos incluir tablas y figuras. Estos dos objetos son tratados por LaTeXcomo .objetos flotantes", es decir, LaTeXlos trata como objetos indivisibles y por tanto los debe colocar en un lugar adecuado que no interrumpa el texto o que se ajuste bien a la página donde se va a imprimir. Por defecto, LaTeXcoloca estos objetos en el mejor lugar posible, sin embargo nosotros podemos indicarle a LaTeXnuestra preferencia.

7.1 Tablas

Para introducir una tabla debemos incluir el entorno “table” con la siguiente sintaxis:

 \begin{table}[Posicion]
 \centering
Tabla
 \caption{Leyenda de la tabla}
 \label{referenciaDeTabla}
\end{table}
 

El entorno “table” admite la opción “posición’ ’ que pueden ser los valores “h” (aquí o here), “t” (arriba o top), “b”(abajo o bottom) o “p” (página a parte o page). La opción ’ ’ h” indica que nuestra preferencia es poner la tabla lo más cerca posible de donde se creó en el documento. Las opciones “t” y “b” indican nuestra preferencia en poner la tabla en la parte superior o inferior de la página donde fue creada, respectivamente. Y la opción “p” indica nuestra preferencia en poner la tabla en una página especialmente dedicada a estos objetos y posterior a la página donde fue creada. Si se especifican varias opciones, LaTeXintentará poner la tabla en alguna de las opciones especificadas.

El siguiente comando \centering sirve para centrar la tabla que crearemos. Después creamos la tabla. Para ello LaTeXtiene muchas opciones dependiendo del estilo o complejidad requerida. Más abajo explicamos la forma más sencilla de crear una tabla en LaTeX. Después escribimos una leyenda mediante el comando \caption. Después escribimos una etiqueta con \label para hacer referencia a la tabla en el texto mediante el comando \ref tal y como lo hacíamos con las fórmulas matemáticas. Y finalmente cerramos el entorno “table”.

Para realizar tablas sencillas, simplemente lo hacemos con el entorno “tabular”, que funciona exactamente como el entorno “array” en el modo matemático. Es decir, indicamos la alineación de las columnas mediante las letras “l”, “c” y “r” (izquierda, centro y derecha, respectivamente), con lineas verticales “|” insertadas en las posiciones adecuadas. para delimitar dichas columnas. Los distintos elementos de una fila son separados por el símbolo ampersand “&”, y cerramos la fila con doble barra invertida “\\”, salvo en la última fila. Las líneas horizontales que separan las filas las introducimos con \hline, al principio de cada fila. Veamos un ejemplo:

\begin{table}[h]
   \centering
   \begin{tabular}{|c|c|l|}
   \hline
   Pas & Capital & Idioma\\
   \hline
   \hline
   Francia & Pars & francs\\
   \hline
   Espaa & Madrid & espaol\\
   \hline
   Italia & Roma & italiano\\
   \hline
   Colombia & Bogot & espaol\\
   \hline
   \end{tabular}
   \caption{Lista de pases con sus capitales}
   \label{paises}
\end{table}

Notar que hemos introducido una doble línea vertical que separa la primera de la segunda columna, y una doble línea horizontal entre la primera y la segunda fila. De este modo recalcamos la importancia de la cabecera y la lista de países. Notar también que en la última fila solo hemos colocado una línea horizontal y ningún elemento ni separador “&”.

7.2 Figuras

Las figuras son otro tipo de objetos flotantes y como tales se colocarán en posiciones adecuadas. Del mismo modo que con las tablas LaTeXtrata de situarlas en el mejor lugar. Sin embargo podemos indicarle nuestra preferencia con la opción de la posición “h”, “t”, “b” o “p”. El entorno para incluir figuras es el de “figure”. El esquema es el siguiente:

 \begin{figure}[Posicion]
 \centering
 Figura
 \caption{Leyenda de la figura}
 \label{referenciaFigura}
 \end{figure}

La estructura es muy similar a la de las tablas vista en la subsección anterior, con el comando \centering para centrar la imagen, \caption para introducir una leyenda explicativa, y \label para etiquetar la imagen para su referencia en el texto. Para incluir la figura como tal debemos tener en cuenta que el dibujo puede ser un mapa de bits o un gráfico vectorial.

Los mapas de bits son imágenes formadas por un retículo de pixeles donde se guardan datos como el color de cada punto. Los formatos típicos para los mapas de bits son JPG, GIF, PNG, BMP, etc. Las imágenes de fotografías, escaneadas, pantallazos, etc, son ejemplos típicos de mapas de bits.

Los gráficos vectoriales están compuestos de comandos y coordenadas. LaTeXes capaz de hacer gráficos vectoriales dentro de su código. Sin embargo, hay programas que también producen tales gráficos como “Mathematica”, “MatLab”, etc. Ejemplos típicos de gráficos vectoriales son gráficos de funciones generados por algún programa específico, esquemas de experimentos, gráficos de barras, etc.

A veces reescalar un mapa de bits puede hacer que el dibujo no salga del todo bien y se deforme. Para evitar eso, una posible solución puede ser encapsularlo como PDF. Los gráficos vectoriales deben estar en formato EPS o bien en PDF. Si el gráfico está en formato EPS, es mejor compilar nuestro archivo TEX a PS. También notar que si encapsulamos un archivo de mapa de bits en el formato EPS éste puede ocupar mucho espacio del disco. En cualquier caso, a veces el compilador compila bien con imágenes con formato de mapa de bits, y estas precauciones son meras complicaciones gratuitas.

En el caso en que tengamos una imagen de mapa de bits o gráfico vectorial encapsulado en un archivo, por ejemplo archivoImagen, debemos cargar el paquete “graphicx” en el preámbulo,

 \usepackage{graphicx}

Para que se incluya la imagen debemos escribir, dentro del entorno “figure”, lo siguiente:

 \includegraphycs[\width= 0.4\textwidth]{archivoImagen}
 

donde “archivoImagen” es el nombre (y formato) del archivo que contiene la imagen. Este archivo lo debemos situar en la misma carpeta que el archivo fuente de LaTeXa la hora de compilar. El comando \includegraphics incrusta la imagen. La opción

\width=0.4\textwidth

ajusta la imágen a una anchura de 0,4 veces la anchura de la línea del texto (es decir un 40% del texto). LaTeXajusta convenientemente la altura si esta no se especifica. Si la opción no se incluye, LaTeXajusta el tamaño adecuadamente, o si solo se incluye la altura, LaTeXajusta la anchura. Un ejemplo:

\begin{figure}[htb]
\centering
\includegraphics[ width=0.2\textwidth]{mapa.jpg}
\caption{Esto es un ejemplo de mapa de bits}
\label{fig:mapadebits}
\end{figure}

Como hemos dicho más arriba, también es posible incluir una imagen vectorial mediante comandos propios de LaTeX. Para hacer esto hay que incluir el entorno “picture” dentro del entorno “figure” y usar comandos que van dibujando líneas mediante coordenadas. Justo después de abrir el entorno “picture” incluimos entre paréntesis y separadas por comas la anchura y altura del dibujo en pixeles. Aquí incluimos un ejemplo donde se muestra un triángulo rectángulo, con texto incluido. No explicaremos los comandos introducidos ya que se sale del objetivo de este tutorial:

\begin{figure}
\centering
\begin{picture}(300,100)
\put(20,20){\line(1,0){150}}\put(20,20){\line(2,1){150}}
\put(170,20){\line(0,1){75}}
\put(50,24){$\theta$}\put(85,60){$a$}
\put(85,5){$\sqrt{a^2-b^2}$}\put(180,50){$b$}
\put(160,20){\line(0,1){10}}\put(160,30){\line(1,0){10}}
\put(48,20){\line(-1,4){3}}
\put(220,70){$\displaystyle\mathrm{sen}\theta=\frac ba$}
\put(220,30){$\displaystyle\cos\theta=\frac{\sqrt{a^2-b^2}}{a}$}
\end{picture}
\caption{ Este es un grfico vectorial generado con \LaTeX.}
\label{picture}
\end{figure}

8 Incluyendo una bibliografía

Un elemento esencial de un documento científico es la bibliografía. En LaTeXtanto la inclusión de bibliografía como la referencia en el texto a dicha bibliografía es muy sencilla. La inclusión de la bibliografía se hace con el entorno “thebibliography”, y los distintos items de la misma se introducen con el comando \bibitem. Este último comando tiene como argumento un nombre para la referencia interna. Las referencias en el texto se hacen con el comando \cite cuyo argumento es el nombre que etiqueta internamente la referencia citada. Veamos un ejemplo:

En este texto hemos hecho uso del fantstico
libro sobre \Latex  editado por la ADI~\cite{imprenta}. Este es un
 manual muy completo y en espaol.
\begin{thebibliography}{99}
\bibitem{imprenta} {\it \LaTeX: Una Imprenta en sus Manos}. Editorial ADI.
\bibitem{otra} Esta es otra referencia interesante...
\end{thebibliography}

Notar que es necesario incluir el argumento {99} para el entorno “thebibliography”. La bibliografía se suele incluir al final del documento, justo antes del comando \end{document}, aunque se puede colocar donde deseemos. Si hemos cargado el paquete “babel” con la opción “spanish”, el título que LaTeXda a la bibliografía es el de “Referencias”. LaTeXproporciona otras formas más sofisticadas de incluir referencias. Por ejemplo, es posible escribir las referencias en un archivo a parte, de modo que desde el archivo fuente vamos llamando las referencias necesarias, y él incluirá en el documento solamente las referencias que hayan sido referenciadas. Esto es muy util cuando tenemos nuestra propia base de datos de referencias sobre un determinado tema, y cuando escribimos un documento sólo tenemos que llamarlas apropiadamente. Además en el ejemplo hemos usado el símbolo ~ que une la última palabra del texto, en el ejemplo era la palabra “ADI”, con la propia referencia imprenta. Esto se hace para que al justificar las líneas, LaTeXno separe en líneas distintas la última palabra de la referencia.

Referencias

  • [1] D.E. Knuth, “The TeXBook”. Addison Wesley, (1986).
  • [2] L. Lamport. “LaTeX: A Document Preparation System”. Addison Wesley 2ed, (1994).
  • [3] B. Cascales et al.LaTeX: Una imprenta en sus manos”. Editorial Aula Documental e Investigación, ADI, (2000).
  • [4] http://www.cervantex.org: Una página web en castellano donde encontramos ayudas, manuales, foros, etc para escribir LaTeXen español.
  • [5] http://es.wikibooks.org: Otra página útil.

Apéndices

A Tablas de símbolos matemáticos comunes

Símbolo Comando LaTeX Traducción
α \alpha alfa
β \beta beta
γ \gamma gama
δ \delta delta
ϵ \epsilon epsilun
ε \varepsilon var epsilun
ζ \zeta zita
η \eta eta
θ \theta teta
ϑ \vartheta var teta
ι \iota yota
κ \kappa kapa
λ \lambda lamda
μ \mu mu
ν \nu nu
ξ \xi ji
π \pi pi
ϖ \varpi varpi
ρ \rho ro
ϱ \varrho var ro
σ \sigma sigma
ς \varsigma var sigma
τ \tau tao
υ \ipsilon ipsilon
ϕ \phi fi
φ \varphi varfi
χ \chi chi
ψ \psi psi
ω \omega omega
Γ \Gamma gama mayúscula
Δ \Delta delta mayúscula
Θ \Theta teta mayúscula
Λ \Lambda Lamda mayúscula
Ξ \Xi ji mayúscula
Π \Pi pi mayúscula
Σ \Sigma sigma mayúscula
Υ \Upsilon ipsilon mayúscula
Φ \Phi fi mayúscula
Ψ \Psi psi mayúscula
Tabla 2: Alfabeto griego
Símbolo Comando LaTeX Traducción
\aleph alef
\hbar hache barra
ı \imath i caligráfica
ȷ \jmath jota caligráfica
\ell ele caligráfica
\vp pé caligráfica
\Re parte real
\Im parte imaginaria
\partial parcial
\infty infinito
\prime prima
\emptyset conjunto vacío/cero digital
\nabla nabla
\surd chequeado/raíz
\top traspuesto
\bot perpendicular/trasversal
\| paralelo/norma
\angle ángulo
\triangle triángulo/laplaciano
\ \backslash barra invertida
\forall para todo
\exists existe
¬ \neg negación
\flat bemol
\natural becuadro
\sharp sostenido
\clubsuit trébol
\diamondsuit diamante
\heartsuit corazón
\spadesuit pica
¬ \lnot negación lógica
Tabla 3: Símbolos ordinarios

] Símbolo Comando LaTeX Traducción + + más - - menos * \* multiplicado por / / dividido por - sobre ± \pm más o menos \mp menos o más \setminus menos (conjuntos) \cdot producto punto × \times producto cruz \ast asterisco \star estrella \diamond diamante \circ círculo \bullet círculo relleno ÷ \div dividido por \cap intersección \cup unión \uplus suma unión \sqcap intersección cuadrada \sqcup unión disjunta - unión cuadrada \triangleleft triángulo hacia la izqierda \triangleright triángulo hacia la derecha \wr virgulilla vertical \bigcirc círculo grande \bigtriangleup triángulo grande hacia arriba \bigtriangledown triángulo grande hacia abajo \vee Producto copa \wedge producto cuña \oplus y - conjunción \ominus suma directa - más en circulo \otimes menos en círculo \oslash slash en círculo \odot Producto punto en circulo \dagger daga \ddagger doble daga \amalg \lor o - diayunción \land y - conjunción

Tabla 4: Operadores binarios
Símbolo Comando LaTeX Traducción
= = Igual a
< < menor que
> > mayor que
\leq menor o igual a
\geq mayor o igual a
\equiv equivalente a
\prec precede a
\succ sucede a
\sim relacionado con - birgulilla
\preceq precede o es igual a
\succeq sucede o es igual a
\simeq homotópico a
\ll mucho menor que
\gg mucho mayur que
\asymp asintotico a
\subset subconjunto propio de
\supset superconjunto propio de
\approx aproximadamente
\subseteq subconjunto de
\supseteq supercojunto de
\cong homeomorfo a
\sqsubseteq subconjunto cuadrado de
\sqsupseteq superconjunto cuadrado de
\bowtie moño
\in pertenece a
\ni tiene a
\propto proporcional a
\vdash
\dashv
\models
\smile
\mid
\doteq
\frown
\parallel paralelo a
\perp perpendicular a
\neq diferente de
\notin no pertenece a
\ne diferente de
\le
\ge
\owns
Tabla 5: Relaciones binarias
Símbolo Comando LaTeX Traducción
arccos \arccos arcocoseno
arcsin \arcsin arcoseno
arctan \arctan arcotangente
arg \arg argumento
cos \cos coseno
cosh \cosh coseno hiperbólico
cot \cot cotangente
coth \coth cotangente hiperbólica
csc \csc cosecante
deg \deg grado
det \det determinante
dim \dim dimensión
exp \exp exponencial
gcd \gcd máximo común divisor
hom \hom hom
ı´nf \inf infimo
ker \ker kernel
lg \lg logaritmo decimal
lı´minf \liminf limite inferior
lı´msup \limsup limite superior
ln \ln logaritmo natural
log \log logaritmo
ma´x \max máximo
mı´n \min mínimo
Pr \Pr probabilida de
sec \sec secante
sin \sin seno
sinh \sinh seno hiperbólico
sup \sup supremo
tan \tan tangente
tanh \tanh tangente hiperbólica
Tabla 6: Funciones
Símbolo Comando LaTeX Traducción
\sum sumatoria
\prod productoria
\coprod coproductoria
\int integral
\oint integral de contorno
\iint integral doble
\iiint integral triple
\bigcap intersección grande
\bigcup union grande
\bigsqcup union disjunta grande
\bigvee producto copa grande
\bigwedge producto cuña grande
\bigodot producto punto en cirgulo grande
\bigotimes producto directo grande
\bigoplus suma directa grande
\biguplus suma union grande
Tabla 7: Operadores grandes
Símbolo Comando LaTeX Traducción
\leftarrow fleacha a izquieda
\Leftarrow fleacha doble a izquieda
\rightarrow fleacha a derecha
\Rightarrow fleacha doble a derecha
\leftrightarrow fleacha bilatera
\Leftrightarrow fleacha doble bilatera
\mapsto es enviado en - flecha a derecha con barra
\hookleftarrow
\leftharpoonup
\leftharpoondown
\rightleftharpoons
\longleftarrow fleacha larga a izquieda
\Longleftarrow fleacha doble larga a izquieda
\longrightarrow fleacha larga a derecha
\Longrightarrow fleacha doble larga a derecha
\longleftrightarrow fleacha larga bilatera
\Longleftrightarrow fleacha doble larga bilatera
\longmapsto flecha larga a derecha con barra
\hookrightarrow
\rightharpoonup
\rightharpoondown
\uparrow flecha hacia arriba
\Uparrow flecha doble hacia arriba
\downarrow flecha hacia abajo
\Downarrow flecha doble hacia abajo
\updownarrow flecha vertical bilatera
\Updownarrow flecha doble vertical bilatera
\nearrow
\searrow
\swarrow
\nwarrow
\to
\gets
\iff si y sólo si
Tabla 8: Flechas
Símbolo Comando LaTeX Traducción
| | barra vertical
\lfloor abre parte entera inferior
\rfloor cierra parte entera inferior
\lceil abre parte entera superior
\rceil cierra parte entera superior
\langle abre parentesis angular
\rangle cierra parentesis angular
\ \backslash barra invertida
Tabla 9: Delimitadores
Símbolo Comando LaTeX Traducción
a^ \hat a gorro
aˇ \check
a˘ \breve
a´ \acute a con tilde agúda
a` \grave a con tilde grave
a~ \tilde a tilde
a¯ \bar a barra
a \vec a vector
a˙ \dot a punto
a¨ \ddot a doble punto
a^ \widehat a gorro largo
a~ \widetilde a tilde larga
Tabla 10: Acentos
Símbolo Comando LaTeX Traducción
a \mathit a cursiva
a \mathrm a normal
𝐚 \mathbf a negrita
𝖺 \mathsf
𝚊 \mathtt
𝒶 \mathcal
a \boldmath
Tabla 11: Estilos
Símbolo Comando LaTeX Traducción
\dots puntos suspensivos a derecha
\ldots puntos suspensivos a izquierda
\cdots puntos suspensivos centrales
\vdots puntos suspensivos verticales
\ddots puntos suspensivos diagonales
Tabla 12: Puntos