如何将文本放在单态和全态箭头上？

Question

我似乎无法让文本精确地位于箭头上方，只能位于特定箭头的右上角，我知道我可以使用来$\xrightarrow^{f}$让文本位于这种类型的箭头上方，但我找不到使用$\rightarrow tail$和执行此操作的方法$\twoheadrightarrow$

Answer 1

您可以使用\overset：

\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}

  \[
     X \overset{f}\rightarrow Y \qquad
     U \overset{g}\twoheadrightarrow V.
  \]

\end{document}

得出的结果为：

这与使用的区别在于，\xrightarrow这\xrightarrow将延长箭头的长度，以便它足够长，可以容纳箭头上方放置的任何内容。在上面的代码中，箭头的长度是固定的。

Answer 2

也许\xhookrightarrow和下面定义的\xdbheadrightarrow就是您想要的？

\documentclass[12pt]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
 \usepackage{amssymb}
\usepackage{lmodern, mathtools}
\usepackage{old-arrows} 

\makeatletter
\newcommand{\xdbheadrightarrow}[2][]{%
  \ext@arrow 0099\xdbheadfill@{#1}{#2}}%
\newcommand{\xdbheadfill@}{%
  \arrowfill@\relbar\relbar{\mathrel{\vphantom{\rightarrow}\smash{\twoheadrightarrow}}}}
\makeatother

\begin{document}

\[ 0 \longrightarrow M \xhookrightarrow[\text{monomorphism}]{f} N \xdbheadrightarrow[\text{epimorphism}]{g} P \longrightarrow 0 \]

\end{document}