Primeros pasos con LaTeX

LaTeX es un lenguaje para edición de textos científicos. Yo conocía de su existencia desde hace mucho pero nunca había intentado usarlo, sin embargo decidí probarlo para un documento para mi clase de métodos formales en ingeniería de software y quedé bastante satisfecho.

Los primeros pasos fueron un suplicio. Empezé editando a mano todo, buscando cada vez la etiqueta que necesitaba (era una tarea sobre teoría de conjuntos) pero después de un rato mi profesor me recomendó TeXmacs que es un editor WYSISYG (lo que ves es lo que obtienes) y me gustó bastante.

Para que se den una idea de como es un documento LaTeX vean mi tarea (solo es un fragmento)

\item Ejercicio 6

$n \in \mathbbm{N}, 4| (5^n – 1)$

$m = nk$ donde $m = 5^5 – 1$ y $n = 4$ \

Entonces $5^n – 1 = 4 k$, $k \in \mathbbm{N}$

…….

\item Ejercicio 7

$\sum_{i = 0}^n i^3 = \frac{n^2 (n + 1)^2}{4}$

Para n=0: 0=0.

Nuestra H.I: $\sum_{i = 0}^n i^3 = \frac{n^2 (n + 1)^2}{4}$

Por demostrar: $\sum_{i = 0}^{n + 1} i^3 = \frac{(n + 1)^2 (n + 2)^2}{4}$

$\frac{n^2 (n + 1)^2}{4} + (n + 1)^3 = \frac{(n + 1)^2 (n + 2)^2}{4}$

…

$A \cup (B \cap C) = (A \cup B) \cap (A \cup C)$

Si $x \subseteq A$ entonces $x \subseteq (A \cup B)$ y $x \subseteq (A \cup
C)$.

Como esta en ambos entonces $x \subseteq (A \cup B) \cap (A \cup C)$.

Si $x \subseteq (B \cap C)$ entonces $x \subseteq (A \cup B)$ y $x \subseteq
(A \cup C)$, asi que $x \subseteq (A \cup B) \cap (A \cup C)$.

Por estas dos afirmaciones demostramos que $A \cup (B \cap C) \subseteq (A
\cup B) \cap (A \cup C)$.

Si $x \subseteq A$ entonces $x \subseteq A \cup (B \cap C)$.

Si $x \subseteq B$ entonces $x \subseteq C$, por lo que x$\subseteq (B \cap
C)$.

Por lo tanto $A \cup (B \cap C) \supseteq (A \cup B) \cap (A \cup C)$.

As\’{\i} que $A \cup (B \cap C) = (A \cup B) \cap (A \cup C)$.

Parece complicado, y al principio lo es, pero después de un rato empieza a ser intuitivo y es mucho mas rápido que usar algun otro editor al estilo word.