\Twoheadleftrightarrow 存在吗？如何编写自己的？

Question

我是 LaTeX 新手。我正在写一个文档，其中需要一个双向箭头。双向像\twoheadleftarrow，双向像\leftrightarrow。

有没有提供类似功能的软件包？如果没有，我该如何“自己动手”？

万分感谢！

Answer 1

\twoheadleftarrow并可\twoheadrightarrow组合为\twoheadleftrightarrow：

\documentclass{article}
\usepackage{amssymb}

\newcommand*{\twoheadleftrightarrow}{%
  \twoheadleftarrow
  \mathrel{\mkern-15mu}%
  \twoheadrightarrow
}

\begin{document}
\[
  \twoheadleftrightarrow
  \scriptstyle \twoheadleftrightarrow
  \scriptscriptstyle \twoheadleftrightarrow
\]
\end{document}

符号也可以使用 组合\joinrel，这是一些负空间，可以抵消侧边距。但是，我发现\scriptscriptstyle类选项中有一个小间隙10pt，因此我删除了另一个-0.5mu。而 new\longtwoheadleftrightarrow有一个可选参数，可以在必要时进行进一步调整。

\documentclass{article}
\usepackage{amssymb}

\newcommand*{\longtwoheadleftrightarrow}[1][.5]{%
  \twoheadleftarrow
  \joinrel
  \mathrel{\mkern-#1mu}%
  \twoheadrightarrow
}

\begin{document}
\[
  \longtwoheadleftrightarrow
  \scriptstyle \longtwoheadleftrightarrow
  \scriptscriptstyle \longtwoheadleftrightarrow
\]
\end{document}

\relbar中间可以创作一个更长的版本。

还可以构建一个可扩展的版本，类似于\xrightarrow：

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

\makeatletter
\newcommand*{\xtwoheadleftrightarrow}[2][]{%
  \ext@arrow 99{10}{10}\twoheadleftrightarrowfill@{#1}{#2}%
}
\newcommand*{\twoheadleftrightarrowfill@}{%
  \arrowfill@\twoheadleftarrow\relbar\twoheadrightarrow
}
\makeatother

\begin{document}
\[
  \xtwoheadleftrightarrow[\text{under}]{\text{over}}
\]
\end{document}