如何让箭更长

Question

多年来，我一直在使用\longmapsto和\longrightarrow以及它们的兄弟和姐妹。在这个网站上，我找到了以下命令来获取单射和单射的箭头： \newcommand{\surj}{\mathrel{\mathrel{\mathrlap{\relbar\joinrel\rightarrow}\mkern1mu\rightarrow}}}和 \newcommand{\inj}{\lhook\joinrel\longrightarrow}。

不过，我对箭的长度不太满意，我觉得它们太短了。

这是摘录自教学大纲由法国数学家 Michèle Audin 所作。我非常喜欢这里箭头的长度。

上述四种箭是否可以有这样长度的变体？是否也可以有这种长度的箭并且\stackrel{}{}与之兼容？

Answer 1

您可以继续添加，\joinrel\relbar直到达到所需的长度。

但不要这样。

\documentclass{article}
\usepackage{amsmath}

\DeclareRobustCommand{\loongrightarrow}{%
  \DOTSB\relbar\joinrel\relbar\joinrel\rightarrow
}
\DeclareRobustCommand{\loongmapsto}{\DOTSB\mapstochar\loongrightarrow}

\DeclareRobustCommand{\looongrightarrow}{%
  \DOTSB\relbar\joinrel\relbar\joinrel\relbar\joinrel\rightarrow
}
\DeclareRobustCommand{\looongmapsto}{\DOTSB\mapstochar\looongrightarrow}

\begin{document}

\begin{gather}
\begin{aligned}[t]
\varphi\colon
\mathcal{O}(U) &\rightarrow \mathcal{O}(D) \\
f              &\mapsto     f|_D
\end{aligned}\tag{good}
\\
\begin{aligned}[t]
\varphi\colon
\mathcal{O}(U) &\longrightarrow \mathcal{O}(D) \\
f              &\longmapsto     f|_D
\end{aligned}\tag{bad}
\\
\begin{aligned}[t]
\varphi\colon
\mathcal{O}(U) &\loongrightarrow \mathcal{O}(D) \\
f              &\loongmapsto     f|_D
\end{aligned}\tag{worse}
\\
\begin{aligned}[t]
\varphi\colon
\mathcal{O}(U) &\looongrightarrow \mathcal{O}(D) \\
f              &\looongmapsto     f|_D
\end{aligned}\tag{ugly}
\end{gather}

\end{document}

我添加了随机标签，以便您在讨论它们时参考箭头。它们与我对它们的实际感受没有任何联系。