Aplicación sobreyectiva en LaTeX (\twoheadrightarrow)

Dónde se usa

Flecha de doble punta que indica una aplicación o un morfismo sobreyectivo.

Los algebristas escriben f\colon A \twoheadrightarrow B para indicar que f es sobreyectiva, por ejemplo la aplicación cociente G \twoheadrightarrow G/N. Se combina con \hookrightarrow para las inyecciones, de modo que una sucesión exacta corta 0 \to A \hookrightarrow B \twoheadrightarrow C \to 0 muestra ambas de un vistazo. Existe una versión hacia la izquierda, \twoheadleftarrow, para aplicaciones dibujadas en el otro sentido. La flecha es una relación, así que el espaciado a su alrededor es automático. Evita usarla para indicar convergencia o implicación; ahí lo estándar es \to y \implies.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Surjective: $\twoheadrightarrow$

\[ \pi\colon G \twoheadrightarrow G/N \]
\end{document}

Símbolos relacionados

• Flecha bidireccional\leftrightarrow
• Flecha con gancho a la derecha\hookrightarrow
• Restricciónf|_A
• Rango de una función\text{range}(f)
• Evaluación de una funciónf(x) = y
• Codominio\text{cod}(f)

Preguntas frecuentes

¿Cómo escribo Aplicación sobreyectiva en LaTeX?

Escribe \twoheadrightarrow en modo matemático, por ejemplo $\pi\colon G \twoheadrightarrow G/N$. Carga antes amssymb con \usepackage{amssymb}.

¿Qué paquete necesito para \twoheadrightarrow?

\twoheadrightarrow necesita amssymb: añade \usepackage{amssymb} al preámbulo antes de que empiece el documento.

¿Puedo usar \twoheadrightarrow en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\twoheadrightarrow$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ↠ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).