特殊类型的钩箭

Question

有人知道 TeX 中与这个相匹配的特定箭头吗？它表示 K 的自同构？

这个符号在20世纪初被数学家广泛使用，并且在某些圈子里仍在使用。

Answer 1

堆叠您自己的。 \Hookarrowleft如果您不需要它来扩展到较小的数学样式，或者\SHookarrowleft如果您需要。照原样，使用作为\hbox定义的一部分，它可以在文本或数学模式下使用。如果您只想在数学模式下使用它，您可以从定义中删除和\hbox{$。$}我也没有应用任何\mathbin或任何这样的关系，因为我不知道它应该是什么。

\documentclass{article}
\usepackage{stackengine}
\def\Hookarrowleft{\hbox{$\ensurestackMath{\stackanchor[.42pt]{%
  \scriptscriptstyle-\mkern-10mu-}{\scriptscriptstyle\leftarrow}}\mkern-6mu%
  \raisebox{1.82pt}{$\scriptscriptstyle\supset$}$}}
%% IF YOU NEED IT TO SCALE WITH MATH STYLE
\usepackage{scalerel}
\def\SHookarrowleft{\scalerel*{\Hookarrowleft}{X}}
%%
\begin{document}
$T: K \Hookarrowleft$xyz\par
$T: K \SHookarrowleft$xyz\par
$\scriptstyle T: K \SHookarrowleft$xyz\par
$\scriptscriptstyle T: K \SHookarrowleft$xyz\par
\end{document}

编辑：如果 OP 图中钩箭头左侧的微小垂直支柱是符号的一部分，那么可以轻松将其包含在内：

\documentclass{article}
\usepackage{stackengine}
\def\Hookarrowleft{\hbox{$%
  \raisebox{1pt}{\scalebox{1}[.8]{\rotatebox{90}{$\scriptscriptstyle-$}}}\mkern-2mu%
  \ensurestackMath{\stackanchor[.42pt]{%
  \scriptscriptstyle-\mkern-10mu-}{\scriptscriptstyle\leftarrow}}\mkern-6mu%
  \raisebox{1.82pt}{$\scriptscriptstyle\supset$}$}}
%% IF YOU NEED IT TO SCALE WITH MATH STYLE
\usepackage{scalerel}
\def\SHookarrowleft{\scalerel*{\Hookarrowleft}{X}}
%%
\begin{document}
$T: K \Hookarrowleft$xyz\par
$T: K \SHookarrowleft$xyz\par
$\scriptstyle T: K \SHookarrowleft$xyz\par
$\scriptscriptstyle T: K \SHookarrowleft$xyz\par
\end{document}