用于过滤余限和限值的新命令

Question

我想为过滤余极限（有时也称为直接极限......）定义一个新命令（称为 colim），与 amsmath 包中的命令 $\varinjlim$ 一样好。

到目前为止，我尝试了 $\newcommand{\colim{\operatornamewithlimits{\underset{\longrightarrow{colim}}$

但我发现箭头太细，与 $\varinjlim$ 相比位置太低。如何才能获得与此命令完全相同（且居中）的箭头？

编辑：有了 egreg 的答案，显然也很容易获得一个用于过滤限制的新命令（称为 colim，下面带有左箭头）

Answer 1

调整定义\varinjlim：

\documentclass{article}
\usepackage{amsmath}

\makeatletter
\newcommand{\colim@}[2]{%
  \vtop{\m@th\ialign{##\cr
    \hfil$#1\operator@font colim$\hfil\cr
    \noalign{\nointerlineskip\kern1.5\ex@}#2\cr
    \noalign{\nointerlineskip\kern-\ex@}\cr}}%
}
\newcommand{\colim}{%
  \mathop{\mathpalette\colim@{\rightarrowfill@\textstyle}}\nmlimits@
}
\makeatother

\begin{document}

\[
\colim_{\delta\in\Delta}F_\delta=F
\]

\end{document}

Manuel 建议使用较小的箭头。但是，为了统一，这也需要重新定义\varprojlim和：\varinjlim

\documentclass{article}
\usepackage{amsmath}

\makeatletter
\newcommand{\colim@}[2]{%
  \vtop{\m@th\ialign{##\cr
    \hfil$#1\operator@font colim$\hfil\cr
    \noalign{\nointerlineskip\kern1.5\ex@}#2\cr
    \noalign{\nointerlineskip\kern-\ex@}\cr}}%
}
\newcommand{\colim}{%
  \mathop{\mathpalette\colim@{\rightarrowfill@\scriptscriptstyle}}\nmlimits@
}
\renewcommand{\varprojlim}{%
  \mathop{\mathpalette\varlim@{\leftarrowfill@\scriptscriptstyle}}\nmlimits@
}
\renewcommand{\varinjlim}{%
  \mathop{\mathpalette\varlim@{\rightarrowfill@\scriptscriptstyle}}\nmlimits@
}
\makeatother

\begin{document}

\[
\colim_{\delta\in\Delta}F_\delta
\quad
\varinjlim_{\delta\in\Delta}F_\delta
\quad
\varprojlim_{\delta\in\Delta}F_\delta
\]

\end{document}