Usuario:Arkin/Tests/Fuente.tex
\documentclass{book}
\usepackage{amsmath,amsfonts,amssymb,amsthm}
\newcommand{\termino}[1]{\textbf{#1}} \newcommand{\MW}[1]{\textit{MediaWiki}}
% Comandos de naturaleza matemática \newcommand{\T}{\mathcal{T}}
\renewcommand{\chaptername}{Capítulo}
\newtheorem{theorem}{Teorema}[section] \newtheorem{definition}[theorem]{Definición} \newtheorem{proposition}[theorem]{Proposición} \newtheorem{corollary}[theorem]{Corolario} \newtheorem{axiom}{Axioma}[section]
\newtheorem*{proof}{Proof}
\title{Conversión de \LaTeX a formato MediaWiki} \author{Rubén Maguregui} \date{Última modificación: \today}
\newcommand{\T}{\mathcal{T}}
\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}
Como puede observarse, las listas mixtas no funcionan por el momento. El código generado por la conversión es:
--NOWIKI \begin{enumerate}
\item Primer apartado
\item Segundo apartado
\begin{itemize}
\item Primer punto
\item Segundo punto
\end{itemize}
\item Apartado final
\end{enumerate} NOWIKI--
\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:
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 Error al representar (función desconocida «\T»): {\displaystyle \T} se obtiene con el comando \verb+\T+, pues el preámbulo del documento define \verb+\newcommand{\T}{\mathcal{T}}+
\begin{definition}
Sea un conjunto no vacío. Una \termino{topología} de es un conjunto Error al representar (función desconocida «\T»): {\displaystyle \T} de subconjuntos de que verifica las propiedades siguientes: \begin{enumerate} \item Error al representar (función desconocida «\T»): {\displaystyle X\in\T} y Error al representar (función desconocida «\T»): {\displaystyle \emptyset\in\T} . \item La unión de una familia arbitraria de conjuntos de Error al representar (función desconocida «\T»): {\displaystyle \T} es un conjunto de Error al representar (función desconocida «\T»): {\displaystyle \T} . \item La intersección finita de conjuntos de Error al representar (función desconocida «\T»): {\displaystyle \T} es un conjunto de Error al representar (función desconocida «\T»): {\displaystyle \T} . \end{enumerate}
\end{definition}
Ejemplo de un entorno teorema:
\begin{theorem}[Teorema de Lagrange]
Si es un grupo de orden finito y , entonces \[ |G| = |H|[G:H]. \]
\end{theorem}
He aquí el código fuente de \LaTeX\ para producir esta página:
\section{Código fuente \LaTeX}\label{sec:código fuente}
\{\{/Fuente\}\}
\end{document}