Ayuda:Usando TeX

De Wikipedia, la enciclopedia libre

Desde enero de 2003, MediaWiki soporta TeX markup para escribir fórmulas matemáticas. A partir del código TeX se generan imágenes PNG o texto HTML, dependiendo de las preferencias del usuario y la complejidad de la fórmula. En el futuro, cuando los navegadores sean más inteligentes, será posible generar HTML mejorado o incluso MathML en muchos casos. La generación de la notación matemática a partir del código TeX se realiza con la herramienta libre Texvc.

Las expresiones matemáticas escritas en TeX deben encerrarse entre etiquetas <math> y </math>. Para ello puedes seleccionar el código TeX y pulsar el botón que aparece en la barra de botones que está encima de la caja de edición (es posible que no aparezca en tu navegador).

Las imágenes PNG son generadas en negro sobre fondo blanco no transparente. Estos colores, así como los tamaños y tipos de fuente, son independientes de la configuración del navegador y del CSS aplicado. Los tamaños y tipos de fuente diferirán a menudo de los usados por el navegador para mostrar el HTML. El selector CSS de las imágenes es img.tex.

En el caso de una página con otro color de fondo, el blanco de las fórmulas las resalta eficazmente, lo que puede ser una ventaja o una desventaja.

Puede que se desee evitar usar código TeX como parte de una línea de texto normal, pues las fórmulas no se alinean apropiadamente y el tamaño y tipo de fuente, como se ha dicho, normalmente no coincide.

El atributo alt de las imágenes TeX (el texto que se muestra en la caja de ayuda flotante al dejar el cursor sobre ella) es el texto wiki a partir de la que se generó, excluyendo las etiquetas <math> y </math>.

[editar] General

Los espacios y saltos de línea se aceptan, y no se muestran, siendo útiles para dejar el código TeX más ordenado (por ejemplo, un salto de línea después de cada término o de cada fila de una matriz). Excepto los nombres de funciones y los operadores, como es habitual en las matemáticas para las variables, las letras se muestran en cursiva y los dígitos no. Para evitar que un texto se muestre en cursivas como las variables, se debe usar \mbox: <math>\mbox{abc}</math> da abc en lugar de abc. La sintaxis de cada característica va precedida de \. El espacio vacío por / y no pertenece a la sintaxis de la característica.

[editar] Funciones, símbolos y caracteres especiales

Para generar caracteres especiales sin usar la etiqueta <math>, véase Caracteres especiales Wiki.

Comparación:

• α da α, <math>\alpha</math> da (adviértase el uso de «&» y «;» frente a «\» junto a la palabra reservada, en este caso «alpha»)
• √2 da √2, <math>\sqrt{2} \,\!</math> da (igual que en el caso anterior, pero con palabras reservadas diferentes: «radic» frente a «sqrt» más las llaves TeX)
• √(1-''e''²) da √(1-e²), <math>\sqrt{1-e^2}</math> da (adviértase el uso de paréntesis frente a llaves, «''e''» frente a «e» y «²» frente a «^2»)

Característica	Sintaxis	Cómo se ve renderizado
Acentos y marcas diacríticas	\acute{a} \quad \grave{a} \quad \breve{a} \quad \check{a} \quad \tilde{a}
Funciones estándar (bien)	\sin x + \ln y + \operatorname{sgn} z
	\sin a + \cos b + \tan c + \cot d + \sec e + \csc f
	\sinh g + \cosh h + \tanh i + \coth j
	\arcsin k + \arccos l + \arctan m
	\lim n + \limsup o + \liminf p
	\min q + \max r + \inf s + \sup t
	\exp u + \lg v + \log w
	\ker x + \deg x + \gcd x + \Pr x
	\det x + \hom x + \arg x + \dim x
Funciones estándar (mal)	sin x + ln y + sgn z
Aritmética modular	s_k \equiv 0 \pmod{m} \quad a \bmod b
Derivadas	\nabla \; \partial x \; dx \; \dot x \; \ddot y
Conjuntos	\forall \; \exists \; \empty \; \emptyset \; \varnothing \; \in \; \ni \; \not\in \; \notin
	\subset \; \subseteq \; \supset \; \supseteq \; \cap \; \bigcap \; \cup \; \bigcup \; \biguplus
	\sqsubset \; \sqsubseteq \; \sqsupset \; \sqsupseteq \; \sqcap \; \sqcup \; \bigsqcup
Lógica	p \land \wedge \; \bigwedge \; \bar{q} \to p\lor \vee \; \bigvee \; \lnot \; \neg q \; \setminus \; \smallsetminus
Raíces	\sqrt{2}\approx 1.4
	\sqrt[n]{x}
Relaciones	\sim \; \approx \; \simeq \; \cong \; \le \; \ge \; \equiv \; \not\equiv \; \ne \; \propto \; \pm \; \mp
Geometría	\Diamond \Box \triangle \angle \perp \mid \; \nmid \| \; 45^\circ
Flechas	\leftarrow \; \gets \; \rightarrow \; \to \; \leftrightarrow \quad \longleftarrow \; \longrightarrow \quad \mapsto \; \longmapsto \; \hookrightarrow \; \hookleftarrow
	\nearrow \; \searrow \; \swarrow \; \nwarrow \quad \uparrow \; \downarrow \; \updownarrow
	\rightharpoonup \; \rightharpoondown \; \leftharpoonup \; \leftharpoondown \; \upharpoonleft \; \upharpoonright \; \downharpoonleft \; \downharpoonright
	\Leftarrow \; \Rightarrow \; \Leftrightarrow \; \Longleftarrow \; \Longrightarrow \; \Longleftrightarrow \; \iff \quad \Uparrow \; \Downarrow \; \Updownarrow
Símbolos especiales	\eth \; \S \; \P \; \% \; \dagger \; \ddagger \; \star \; * \; \ldots
	\smile \; \frown \; \wr \; \oplus \; \bigoplus \; \otimes \; \bigotimes
	\times \; \cdot \; \circ \; \bullet \; \bigodot \; \triangleleft \; \triangleright \; \infty \; \bot \; \top \; \vdash \; \vDash \; \Vdash \; \models \; \lVert \; \rVert
	\imath \; \hbar \; \ell \; \mho \; \Finv \; \Re \; \Im \; \wp \; \complement \quad \diamondsuit \; \heartsuit \; \clubsuit \; \spadesuit \; \Game \quad \flat \; \natural \; \sharp
\mathcal con minúscula produce algunos extras	\mathcal {45abcdenpqstuvwx}

[editar] Subíndices, superíndices e integrales

Característica	Sintaxis	Cómo se ve renderizado
Superíndice	a^2	a2
Subíndice	a_2	a2
Agrupación	a^{2+2}	a2 + 2
	a_{i,j}	ai,j
Combinando sub y súper	x_2^3
Precediendo de sub y súper	{}_1^2\!X_3^4
Derivadas (bien)	x', y''	x',y''
Derivadas (mal en HTML)	x^\prime, y^{\prime\prime}
Derivadas (mal en PNG)	x\prime, y\prime\prime
Puntos de derivada	\dot{x} \; \ddot{x}
Subrayado, sobrerrayado, vectores	\hat a \; \bar b \; \vec c \; \overrightarrow{a b} \; \overleftarrow{c d} \; \widehat{d e f} \; \overline{g h i} \; \underline{j k l}
Llaves superiores	\begin{matrix} 5050 \\ \overbrace{ 1+2+\cdots+100 } \end{matrix}
Llaves inferiores	\begin{matrix} \underbrace{ a+b+\cdots+z } \\ 26 \end{matrix}
Sumatorios	\sum_{k=1}^N k^2
Productorios	\prod_{i=1}^N x_i
Coproductos	\coprod_{i=1}^N x_i
Límites	\lim_{n \to \infty}x_n
Integrales	\int_{-N}^{N} e^x\, dx
Integrales dobles	\iint_{D}^{W} \, dx\,dy
Integrales triples	\iiint_{E}^{V} \, dx\,dy\,dz
Integrales cuádruples	\iiiint_{F}^{U} \, dx\,dy\,dz\,dt
Integrales cerradas	\oint_{C} x^3\, dx + 4y^2\, dy
Intersecciones	\bigcap_1^{n} p
Uniones	\bigcup_1^{k} p

[editar] Fracciones, matrices y multilíneas

Característica	Sintaxis	Cómo se ve renderizado
Fracciones	\frac{2}{4} o {2 \over 4}
Coeficientes binomiales	{n \choose k}
Fracciones pequeñas	\begin{matrix} \frac{2}{4} \end{matrix}
Matrices	\begin{matrix} x & y \\ z & v \end{matrix}
	\begin{vmatrix} x & y \\ z & v \end{vmatrix}
	\begin{Vmatrix} x & y \\ z & v \end{Vmatrix}
	\begin{bmatrix} 0 & \cdots & 0 \\ \vdots & \ddots & \vdots \\ 0 & \cdots & 0\end{bmatrix}
	\begin{Bmatrix} x & y \\ z & v \end{Bmatrix}
	\begin{pmatrix} x & y \\ z & v \end{pmatrix}
Definiciones por tramos	f(n) = \begin{cases} n/2, & \mbox{si }n\mbox{ es par} \\ 3n+1, & \mbox{si }n\mbox{ es impar} \end{cases}
Ecuaciones multilínea	\begin{matrix}f(n+1) & = & (n+1)^2 \\ \ & = & n^2 + 2n + 1 \end{matrix}
Método alternativo usando tablas	{| |- |<math>f(n+1)</math> |<math>=(n+1)^2</math> |- | |<math>=n^2 + 2n + 1</math> |}
Sistemas de ecuaciones mal	\left . \begin{matrix} 4 \cdot \frac{2x^3+7}{5x^2+2y+5}=2 \\ \frac{2x^y+8xy}{5x^2+2yz^2+17z}=43\end{matrix} \right \}
Sistemas de ecuaciones bien (usando \cfrac)	\left . \begin{matrix} 4 \cdot \cfrac{2x^3+7}{5x^2+2y+5}=2 \\ \cfrac{2x^y+8xy}{5x^2+2yz^2+17z}=43\end{matrix} \right \}

[editar] Fuentes

Característica	Sintaxis	Cómo se ve renderizado
Alfabeto griego (adviértase la ausencia de ómicron, y también que algunas mayúsculas griegas se representan iguales a sus equivalentes latinas)	\Alpha\ \Beta\ \Gamma\ \Delta\ \Epsilon\ \Zeta\ \Eta\ \Theta\ \Iota\ \Kappa\ \Lambda\ \Mu\ \Nu\ \Xi\ \Pi\ \Rho\ \Sigma\ \Tau\ \Phi\ \Chi\ \Psi\ \Omega
	\alpha\ \beta\ \gamma\ \delta\ \epsilon\ \zeta\ \eta\ \theta\ \iota\ \kappa\ \lambda\ \mu\ \nu\ \xi\ \pi\ \rho\ \sigma\ \tau\ \phi\ \chi\ \psi\ \omega
	\varepsilon\ \digamma\ \vartheta\ \varkappa\ \varpi\ \varrho\ \varsigma\ \varphi
«Blackboard bold»	x\in\mathbb{R}\sub\mathbb{C}
Negrita (vectores)	\mathbf{x}\cdot\mathbf{y} = 0
Negrita (griego)	\boldsymbol{\alpha} + \boldsymbol{\beta} + \boldsymbol{\gamma}
Cursivas (itálica)	\mathit{ABCDE abcde 1234}
Fuente romana	\mathrm{ABCDE abcde 1234}
Fuente Fraktur	\mathfrak{ABCDE abcde 1234}
Caligrafía	\mathcal{ABCDE abcde 1234}
Alfabeto hebreo	\aleph \beth \gimel \daleth
Caracteres no cursivos	\mbox{abc}	abc
Mezclar cursivas (mal)	\mbox{si} n \mbox{es par}	sines par
Mezclar cursivas (bien)	\mbox{si } n \mbox{ es par}	si n es par

[editar] Poniendo expresiones grandes entre paréntesis, corchetes, etcétera

Característica	Sintaxis	Cómo se ve renderizado
Mal	( \frac{1}{2} )
Bien	\left ( \frac{1}{2} \right )

Pueden usarse varios delimitadores con \left y \right:

Característica	Sintaxis	Cómo se ve renderizado
Paréntesis	\left ( \frac{a}{b} \right )
Corchetes	\left [ \frac{a}{b} \right ] \quad \left \lbrack \frac{a}{b} \right \rbrack
Llaves	\left \{ \frac{a}{b} \right \} \quad \left \lbrace \frac{a}{b} \right \rbrace
Ángulos (<, >)	\left \langle \frac{a}{b} \right \rangle
Barras simples y dobles	\left | \frac{a}{b} \right \vert \left \Vert \frac{c}{d} \right \|
Redondeo inferior y superior	\left \lfloor \frac{a}{b} \right \rfloor \left \lceil \frac{c}{d} \right \rceil
Barras inclinadas e invertidas	\left / \frac{a}{b} \right \backslash
Flechas simples y dobles	\left \uparrow \frac{a}{b} \right \downarrow \quad \left \Uparrow \frac{a}{b} \right \Downarrow \quad \left \updownarrow \frac{a}{b} \right \Updownarrow
Los delimitadores puede mezclarse, siempre que cada \left vaya cerrado por un \right	\left [ 0,1 \right ) \quad \left \langle \psi \right |
Usa \left . y \right . si no quieres que se muestre un delimitador	\left . \frac{A}{B} \right \} \to X
Tamaño de los delimitadores	\big( \Big( \bigg( \Bigg( ... \Bigg] \bigg] \Big] \big]
	\big\{ \Big\{ \bigg\{ \Bigg\{ ... \Bigg\rangle \bigg\rangle \Big\rangle \big\rangle
	\big\| \Big\| \bigg\| \Bigg\| ... \Bigg| \bigg| \Big| \big|
	\big\lfloor \Big\lfloor \bigg\lfloor \Bigg\lfloor ... \Bigg\rceil \bigg\rceil \Big\rceil \big\rceil
	\big\uparrow \Big\uparrow \bigg\uparrow \Bigg\uparrow ... \Bigg\Downarrow \bigg\Downarrow \Big\Downarrow \big\Downarrow

[editar] Espaciado

Adviértase que TeX ajusta casi todo el espaciado automáticamente, pero a veces se necesita un control manual.

Característica	Sintaxis	Cómo se ve renderizado
Espacio óctuple	a \qquad b
Espacio cuádruple	a \quad b
Espacio de texto	a\ b
Espacio de texto sin conversión PNG	a \mbox{ } b	a b
Espacio grande	a\;b
Espacio medio	a\>b	(no soportado)
Espacio pequeño	a\,b
Sin espacio	ab
Espacio negativo	a\!b

[editar] Alineación con el flujo del texto normal

Debido al estilo CSS por defecto

img.tex { vertical-align: middle; }

una expresión en línea como debería quedar bien.

Si se necesita alinearla de otra forma, usa <span style="vertical-align:-100%;"><math>...</math></span> y juega con el parámetro de vertical-align hasta que obtengas el resultado deseado. Sin embargo, el resultado final depende de la configuración del navegador.

[editar] Forzar la generación de imágenes PNG

Para forzar que la fórmula se muestre como una imagen PNG, añade \, (espacio pequeño) al final de la fórmula (donde no será representado). Esto forzará la generación del PNG si el usuario está en el modo «HTML si es muy simple, si no PNG», pero no si está en «HTML si es posible, si no PNG» (sección «Cómo se muestran las fórmulas» de las preferencias de usuario).

También puedes usar \,\! (espacio pequeño y espacio negativo, que se cancelan) en cualquier lugar dentro de las etiquetas <math>...</math>. Esto sí fuerza la generación del PNG incluso si el usuario está en el modo «HTML si es posible, si no PNG», a diferencia de \,.

Esto puede ser de utilidad para obligar la generación de fórmulas en una demostración consitente, por ejemplo, o para corregir fórmulas que se muestran incorrectamente en HTML (en un momento dado, a^{2+2} se generaba con un subrayado sobrante), o para demostrar cómo algo se ve en PNG cuando normalmente se mostraría como HTML (como en los ejemplos anteriores).

Por ejemplo:

Sintaxis	Cómo se ve renderizado
a^{c+2}	ac + 2
a^{c+2} \,
a^{\,\!c+2}
a^{b^{c+2}}	(¡Mal con la opción «HTML si es posible, si no PNG»!)
a^{b^{c+2}} \,	(¡Mal con la opción «HTML si es posible, si no PNG»!)
a^{b^{c+2}} \,\!	(¡Bien en todos los casos»!)
a^{b^{c+2}}\approx 5	(debido a \approx, no se necesita \,\!)
a^{b^{\,\!c+2}}
\int_{-N}^{N} e^x\, dx
\int_{-N}^{N} e^x\, dx \,
\int_{-N}^{N} e^x\, dx \,\!

Esto ha sido probado con la mayoría de las fórmulas de esta página, y parece funcionar perfectamente.

Puede que quieras incluir un comentario en el código HTML para que otros usuarios no «corrijan» la fórmula quitándolo:

<!-- \,\! es para obligar a que la fórmula se muestre como PNG en vez de como HTML. Por favor no lo borres. -->

[editar] Ejemplos

[editar] Enlaces externos (en español)

• CervanTeX, grupo de usuarios de TeX hispanohablantes
• LaTeX para inexpertos
• Explicación sencilla para instalar LaTeX
• Recetario de LaTeX

[editar] Enlaces externos (en inglés)

• Documento PDF sobre TeX
• Lista de entidades de TeX
• AMS-LaTeX

[editar] Enlaces externos (en japonés)

• Permite compilar en línea un documento en TeX