Função sobrejetora em LaTeX (\twoheadrightarrow)

Onde é usado

Seta de ponta dupla, que marca uma aplicação ou morfismo sobrejetor.

Algebristas escrevem f\colon A \twoheadrightarrow B para dizer que f é sobrejetora, por exemplo a aplicação quociente G \twoheadrightarrow G/N. Ela faz par com \hookrightarrow para injeções, de modo que uma sequência exata curta 0 \to A \hookrightarrow B \twoheadrightarrow C \to 0 mostra as duas de relance. Há uma versão para a esquerda, \twoheadleftarrow, para aplicações desenhadas no sentido oposto. A seta é uma relação, então o espaçamento em volta é automático. Evite usá-la para indicar convergência ou implicação; ali o padrão é \to e \implies.

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Símbolos relacionados

• Seta para a esquerda e para a direita\leftrightarrow
• Seta com gancho para a direita\hookrightarrow
• Restriçãof|_A
• Conjunto imagem (range)\text{range}(f)
• Avaliação de funçãof(x) = y
• Contradomínio\text{cod}(f)

Perguntas frequentes

Como escrever Função sobrejetora em LaTeX?

Digite \twoheadrightarrow no modo matemático, por exemplo $\pi\colon G \twoheadrightarrow G/N$. Carregue antes amssymb com \usepackage{amssymb}.

Qual pacote é necessário para \twoheadrightarrow?

\twoheadrightarrow precisa de amssymb: adicione \usepackage{amssymb} ao preâmbulo antes do início do documento.

Posso usar \twoheadrightarrow no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\twoheadrightarrow$. Se você só precisa do glifo no texto, cole o caractere Unicode ↠ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).