\xrightarrow 的双头版本

Question

\xrightarrow我想要一个类似于的双向可扩展右箭头amsmath。

我尝试使用\xtwoheadrightarrowfrom extpfeil，但结果\xrightarrow在三个方面不同：

• 箭头的样式不同
• 箭头本身比我想要的要长
• 箭头上方的文字太高

实现双头版本的最直接的方法是什么\xrightarrow？

\documentclass{article}
\usepackage{extpfeil}

\begin{document}
\begin{align*}
  & \xrightarrow{ABCD} \\
  & \xtwoheadrightarrow{ABCD}
\end{align*}
\end{document}

Answer 1

我会排版\xrightarrow，稍微备份并添加\rightarrow：

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

\newcommand{\rightarrowdbl}{\rightarrow\mathrel{\mkern-14mu}\rightarrow}

\newcommand{\xrightarrowdbl}[2][]{%
  \xrightarrow[#1]{#2}\mathrel{\mkern-14mu}\rightarrow
}

\begin{document}
$A \rightarrowdbl B$

$A \xrightarrow[\beta]{\alpha} B$

$A \xrightarrowdbl[\beta]{\alpha} B$

$A \xrightarrowdbl{\text{overlong text}} B$
\end{document}

Answer 2

与 egreg 的答案中的原理相同，仅使用低级命令\ooalign放置箭头。

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

\newcommand\dhrightarrow{%
  \mathrel{\ooalign{$\rightarrow$\cr%
  $\mkern3.5mu\rightarrow$}}
}

\newcommand\dhxrightarrow[2][]{%
  \mathrel{\ooalign{$\xrightarrow[#1\mkern4mu]{#2\mkern4mu}$\cr%
  \hidewidth$\rightarrow\mkern4mu$}}
}

\begin{document}
\begin{alignat*}{3}
  A \rightarrow B    &&\qquad A \xrightarrow[C]{D} B    &&\qquad A \xrightarrow{\text{long text}} B    & \\
  A \dhrightarrow B  &&\qquad A \dhxrightarrow[C]{D} B  &&\qquad A \dhxrightarrow{\text{long text}} B  &
\end{alignat*}
\end{document}