双钩右箭头

Question

我想排版一个带钩的右箭头（即\hookrightarrow），开头有两个钩（紧凑嵌入的符号），但在综合符号列表中找不到它。是否有提供此类符号的包，或者有什么好方法可以自己创建此类符号？

Answer 1

我自己的尝试（以原来的间距为\hookrightarrow参考）：

\documentclass{article}
\usepackage{amsmath}
\usepackage{mathtools}

% double hooked arrow with length of normal hooked arrow
\newcommand{\doublehookrightarrow}{%
    \mathrel{\mathrlap{{\mspace{4mu}\lhook}}{\hookrightarrow}}
}

% double hooked arrow with length of hook + \hookrightarrow
\newcommand{\doublehookrightarrowalt}{%
    \lhook\joinrel\relbar\mspace{-12mu}\hookrightarrow
}

\begin{document}

$A \doublehookrightarrow B$, $\iota_{A \doublehookrightarrow B}$

$A \doublehookrightarrowalt B$, $\iota_{A \doublehookrightarrowalt B}$

% for spacing reference:
$A \hookrightarrow B$, $\iota_{A \hookrightarrow B}$

\end{document}