Сюръекция в LaTeX (\twoheadrightarrow)

Где используется

Стрелка с двойным наконечником, обозначающая сюръективное отображение или морфизм («на»).

Алгебраисты пишут f\colon A \twoheadrightarrow B, чтобы сказать, что f — отображение «на», например факторотображение G \twoheadrightarrow G/N. Она образует пару с \hookrightarrow для инъекций, так что в короткой точной последовательности 0 \to A \hookrightarrow B \twoheadrightarrow C \to 0 видно и то и другое с первого взгляда. Есть и вариант, направленный влево, \twoheadleftarrow, для отображений, нарисованных в обратную сторону. Стрелка — знак отношения, поэтому интервалы вокруг неё расставляются автоматически. Не используйте её для обозначения сходимости или импликации: там стандартны \to и \implies.

Минимальный компилируемый пример

Вставьте это в пустой файл .tex и скомпилируйте с pdfLaTeX, XeLaTeX или LuaLaTeX.

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

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

Похожие символы

• Двусторонняя стрелка\leftrightarrow
• Стрелка вправо с крючком\hookrightarrow
• Сужение функцииf|_A
• Множество значений\text{range}(f)
• Значение функцииf(x) = y
• Область прибытия\text{cod}(f)

Частые вопросы

Как написать «Сюръекция» в LaTeX?

Наберите \twoheadrightarrow в математическом режиме, например $\pi\colon G \twoheadrightarrow G/N$. Сначала подключите amssymb: \usepackage{amssymb}.

Какой пакет нужен для \twoheadrightarrow?

Для \twoheadrightarrow нужен amssymb: добавьте \usepackage{amssymb} в преамбулу до начала документа.

Можно ли использовать \twoheadrightarrow в текстовом режиме или только в математическом?

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\twoheadrightarrow$. Если нужен только сам знак в тексте, вставьте символ Unicode ↠ (с XeLaTeX или LuaLaTeX и шрифтом, в котором он есть).