2

I want to typeset a hooked right arrow (i.e. \hookrightarrow) with two hooks at the beginning (a notation for a compact embedding), but was unable to find it in the comprehensive symbol list. Is there a package providing such a symbol or what's a good way to create such a symbol myself?

1 Answer 1

3

My own attempt (with original spacing of \hookrightarrow as reference):

compiled output

\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}
1
  • 1
    I don't think you'll get a much better answer than the one you've already provided; this seems like the correct way to define this symbol. Jan 8, 2019 at 20:19

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .