Capítulo 1: Conversión de LaTeX a formato MediaWiki

El contenido de esta página se generó automáticamente a partir de un documento de LaTeX mediante LaTeXML. La sección 1.4 contiene el código fuente.

1.1. Motivación

Aunque el formato MediaWiki es bastante sucinto y efectivo para escribir artículos de Wikipedia, resulta inconveniente para producir material de mayor tamaño y, sobre todo, obras donde la conexión lógica del contenido es mucho más compleja. En particular, no es muy ameno para elaborar libros en este sitio, y, honestamente, es un desafío a la determinación humana componer libros de matemáticas en ese formato. Pensando en que, tal vez, con la herramienta adecuada, me resultaría posible mantener la motivación para contribuir con la composición de un libro completo, me he dado a la tarea de idear la forma de escribirlo en LaTeX para después convertirlo al formato MediaWikiGracias a LaTeXML, lograr ese propósito es muchísimo más fácil (nadie se imagina a sí mismo desarrollando un parser de TeX sólo para poder contribuir placenteramente a Wikilibros). Me ha bastado con unos cuantos ratos libres para desarrollar las hojas de estilo XSLT que procesan la salida de LaTeXML para producir resultados considerables (todo este texto proviene del código de LaTeX mostrado en la sección 1.4 y almacenado en la subpágina /Fuente). Por ejemplo, desde ya es posible establecer referencias entre diversos elementos del contenido, como la referencia \ref{eq:fórmula cuadrática}, que nos da el enlace a la ecuación (1.1) de más abajo.

Las secciones siguientes prueban la efectividad de la conversión.

1.2. Formato básico

Formato básico de la fuente:

Texto en negritas.

Texto en itálicas.

Texto en negritas e itálicas.

Los párrafos de LaTeX se convierten automáticamente en párrafos de MediaWiki, que consisten en secciones de texto separados por dos cambios de línea.

Aunque no es apreciable en la forma renderizada, el código fuente generado respeta los cambios de línea del documento LaTeX.

Lista de viñetas:

Primera
Segunda
Tercera
- Primera anidada
- Tercera anidada
Cuarta

Lista ordenada

Primer apartado
Segundo apartado
Tercer apartado
1. Apartado 3.1
2. Apartado 3.2
Cuarto apartado

Listas mixtas

Primer apartado
Segundo apartado
- Primer punto
- Segundo punto
Apartado final

1.3. Contenido matemático

Una de las razones más importantes por las cuales es deseable mantener el código fuente en formato LaTeX es la facilidad de ingresar fórmulas matemáticas con la sintáxis típica de LaTeX. Las pruebas siguientes determinan el estado actual de la conversión para fórmulas matemáticas.

Formulas en línea: $x={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}$

Fórmulas en modo display:

ax^{2}+bx+x=0\qquad \Leftrightarrow \qquad x={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}

Fórmulas numeradas, con contadores anidados bajo el contador de capítulo:

x={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}.

(1.1)

La ecuación anterior contiene el etiquetado \label{eq:fórmula cuadrática}. Con ella podemos hacer referencias mediante \ref{eq:fórmula cuadrática}, que nos da (1.1).

Ejemplo de una definición. En ella, el símbolo ${\mathcal {T}}$ se obtiene con el comando \T, pues el preámbulo del documento define \newcommand{\T}{\mathcal{T}}

Definición 1.3.1. Sea $X$ un conjunto no vacío. Una topología de $X$ es un conjunto ${\mathcal {T}}$ de subconjuntos de $X$ que verifica las propiedades siguientes:

$X\in {\mathcal {T}}$ y $\emptyset \in {\mathcal {T}}$ .
La unión de una familia arbitraria de conjuntos de ${\mathcal {T}}$ es un conjunto de ${\mathcal {T}}$ .
La intersección finita de conjuntos de ${\mathcal {T}}$ es un conjunto de ${\mathcal {T}}$ .

Ejemplo de un entorno teorema:

Teorema 1.3.2 (Teorema de Lagrange). Si $G$ es un grupo de orden finito y $H<G$ , entonces

|G|=|H|[G:H].

Demostración: Se sigue inmediatamente de los lemas anteriores.

\blacksquare

Entorno de ejemplo

Ejemplo 1.3.3. El conjunto $\mathbb {Z}$ de los números enteros es un grupo respecto respecto de la suma ordinaria.

1.4. Código fuente LaTeX

He aquí el código fuente de LaTeX para producir esta página:

\documentclass{book}

\usepackage{amsmath,amsfonts,amssymb,amsthm}

\usepackage{wiki}

\begin{pdfonly}
  \usepackage{tikz}
\end{pdfonly}

\newcommand{\termino}[1]{\textbf{#1}}
\newcommand{\MW}[1]{\textit{MediaWiki}}

% Comandos de naturaleza matemática
\newcommand{\T}{\mathcal{T}}
\newcommand{\Z}{\mathbb{Z}}

\renewcommand{\chaptername}{Capítulo}


\theoremstyle{definition}
\newtheorem{theorem}{Teorema}[section]
\newtheorem{proposition}[theorem]{Proposición}
\newtheorem{corollary}[theorem]{Corolario}
\newtheorem{axiom}{Axioma}[section]

\newtheorem{definition}[theorem]{Definición}
\newtheorem{example}[theorem]{Ejemplo}

\newtheorem*{proof}{Demostración}

\title{Conversión de \LaTeX a formato MediaWiki}
\author{Wikibooks}
\date{Última modificación: \today}


\begin{document}

\chapter{Conversión de \LaTeX\ a formato MediaWiki}

El contenido de esta página se generó automáticamente a partir de un documento 
de \LaTeX\ mediante \LaTeX{}ML. La sección~\ref{sec:código fuente} contiene el código fuente.

\section{Motivación}

Aunque el formato \MW{} es bastante sucinto y efectivo para escribir artículos de Wikipedia, resulta inconveniente para producir material de mayor tamaño y, sobre todo, obras donde la conexión lógica del contenido es mucho más compleja. En particular, no es muy ameno para elaborar libros en este sitio, y, honestamente, es un desafío a la determinación humana componer libros de matemáticas en ese formato. Pensando en que, tal vez, con la herramienta adecuada, me resultaría posible mantener la motivación para contribuir con la composición de un libro completo, me he dado a la tarea de idear la forma de escribirlo en \LaTeX{} para después convertirlo al formato \MW.Gracias a \LaTeX{ML}, lograr ese propósito es muchísimo más fácil (nadie se imagina a sí mismo desarrollando un \textit{parser} de \TeX\ sólo para poder contribuir placenteramente a Wikilibros). Me ha bastado con unos cuantos ratos libres para desarrollar las hojas de estilo XSLT que procesan la salida de \LaTeX{ML} para producir resultados considerables (todo este texto proviene del código de \LaTeX\ mostrado en la sección~\ref{sec:código fuente} y almacenado en la subpágina [[/Fuente]]). Por ejemplo, desde ya es posible establecer referencias entre diversos elementos del contenido, como la referencia \verb+\ref{eq:fórmula cuadrática}+, que nos da el enlace a la ecuación~\ref{eq:fórmula cuadrática} de más abajo.

Las secciones siguientes prueban la efectividad de la conversión. 

\section{Formato básico}

Formato básico de la fuente:

\textbf{Texto en negritas}. 

\textit{Texto en itálicas}. 

\textbf{\textit{Texto en negritas e itálicas}}.

Los párrafos de \LaTeX\ se convierten automáticamente en párrafos de MediaWiki,
 que consisten en secciones de texto separados por dos cambios de línea.

Aunque no es apreciable en la forma renderizada, el código fuente generado respeta los cambios de línea del documento \LaTeX.

Lista de viñetas:
\begin{itemize}
  \item Primera
  \item Segunda
  \item Tercera
  \begin{itemize}
    \item Primera anidada
    \item Tercera anidada
  \end{itemize}
  \item Cuarta
\end{itemize}

Lista ordenada
\begin{enumerate}
  \item Primer apartado
  \item Segundo apartado
  \item Tercer apartado
  \begin{enumerate}
    \item Apartado 3.1
    \item Apartado 3.2
  \end{enumerate}
  \item Cuarto apartado
\end{enumerate}

Listas mixtas
\begin{enumerate}
  \item Primer apartado
  \item Segundo apartado
  \begin{itemize}
    \item Primer punto
    \item Segundo punto
  \end{itemize}
  \item Apartado final
\end{enumerate}

\section{Contenido matemático}

Una de las razones más importantes por las cuales es deseable mantener el código fuente en formato LaTeX es la facilidad de ingresar fórmulas matemáticas con la sintáxis típica de LaTeX. Las pruebas siguientes determinan el estado actual de la conversión para fórmulas matemáticas.

Formulas en línea: <math>x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}</math>

Fórmulas en modo \emph{display}:

\[
  ax^2 + bx + x = 0 \qquad\Leftrightarrow\qquad x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}
\]

Fórmulas numeradas, con contadores anidados bajo el contador de capítulo:

\begin{equation}\label{eq:fórmula cuadrática}
  x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}.
\end{equation}

La ecuación anterior contiene el etiquetado \verb+\label{eq:fórmula cuadrática}+. Con ella podemos hacer referencias mediante \verb+\ref{eq:fórmula cuadrática}+, que nos da \ref{eq:fórmula cuadrática}.

Ejemplo de una definición. En ella, el símbolo <math>\T</math> se obtiene con el comando \verb+\T+, pues el preámbulo del documento define \verb+\newcommand{\T}{\mathcal{T}}+

\begin{definition}
  Sea <math>X</math> un conjunto no vacío. Una \termino{topología} de <math>X</math> es un conjunto <math>\T</math> de subconjuntos de <math>X</math> que verifica las propiedades siguientes:
  \begin{enumerate}
    \item <math>X\in\T</math> y <math>\emptyset\in\T</math>.
    \item La unión de una familia arbitraria de conjuntos de <math>\T</math> es un conjunto de <math>\T</math>.
    \item La intersección finita de conjuntos de <math>\T</math> es un conjunto de <math>\T</math>.
  \end{enumerate}
\end{definition}

Ejemplo de un entorno teorema:

\begin{theorem}[Teorema de Lagrange]
  Si <math>G</math> es un grupo de orden finito y <math>H < G</math>, entonces
  \[
    |G| = |H|[G:H].
  \]
\end{theorem}
\begin{proof}
  Se sigue inmediatamente de los lemas anteriores.
\end{proof}

Entorno de ejemplo

\begin{example}
  El conjunto <math>\Z</math> de los números enteros es un grupo respecto respecto de la suma ordinaria.
\end{example}

\section{Código fuente \LaTeX}\label{sec:código fuente}

He aquí el código fuente de \LaTeX\ para producir esta página:

\{\{/Fuente\}\}

\end{document}