☰

带点的箭头（自然变换）

tag-icon • tag-icon math-mode arrows accents
带点的箭头（自然变换）

在 Mac Lane 的《工作数学家的分类》中，我看到了一个箭头，上面有一个点，表示自然变换。我没有找到现有的符号来表示这个。它看起来像

$$\overset{\bullet}{\longrightarrow}$$

但点较小且靠近箭头。如果可能的话，我想避免构建自定义符号。有类似的东西吗？DeteXify 找不到。

答案1

这与 Mico 的类似，但不使用\ooalign，因为没有重叠规则的方法似乎更好：

\documentclass{article}
\usepackage{amsmath}
\usepackage{graphicx}
\newcommand{\naturalto}{%
  \mathrel{\vbox{\offinterlineskip
    \mathsurround=0pt
    \ialign{\hfil##\hfil\cr
      \normalfont\scalebox{1.2}{.}\cr
%      \noalign{\kern-.05ex}
      $\longrightarrow$\cr}
  }}%
}
\begin{document}
$F\naturalto G\overset{\text{\normalsize.}}\longrightarrow H$
\end{document}

这不会在下标/上标中缩放，但我认为这不是一个真正的限制。注释行显示了在何处操作以升高或降低点。第二个箭头仅用于比较。

在此处输入图片描述

答案2

修改后的建议（在收到@egreg 的更多详细信息和建议，并在网上找到“工作数学家的类别”的副本后）：

在此处输入图片描述

\documentclass{article}
\usepackage{graphicx,newtxtext,newtxmath}
\newcommand{\dotarrow}{% to be used in math mode...
   \mathrel{\ooalign{\hss\raise.65ex\hbox{\scalebox{1.25}{\normalfont .}}%
   \kern0.35ex\hss\cr$\longrightarrow$}}}
\begin{document}
$\tau^{-1}: T \dotarrow S$ 
\end{document}

评论：在这本书的同一页（第 24 页）上，至少有两个不同版本的“顶部有一个大圆点的箭头”符号。（这可能部分是由于我发现这本书的扫描分辨率较低……）上面显示的形式是圆点位于箭头顶部。在另一个版本中，圆点略微浮在箭头上方。如果您喜欢这种外观，请在确定圆点的垂直位置时使用\raise0.75ex而不是。\raise0.65ex

相关内容