重新定义 \varprojlim 和 \varinjlim 以获得更美观的箭头

Question

我在 LuaLaTeX 下使用kpfonts-otf作为数学字体。使用 时，和\footnotesize的箭头看起来很奇怪：\varprojlim\varinjlim

我假设这里的问题是\varprojlim和\varinjlim不是 的内置符号unicode-math。查阅“字形列表”后，我找到了\underleftarrow并\underrightarrow支持unicode-math，然后尝试重新定义\varprojlim和\varinjlim使用它们。到目前为止，我可以实现的是：

\documentclass{article}
\usepackage{kpfonts-otf}
\begin{document}

\footnotesize

\( \varprojlim D \)
\renewcommand*{\varprojlim}{\mathop{\underleftarrow{\lim}}}
\( \varprojlim D \)

\( \varinjlim D \)
\renewcommand*{\varinjlim}{\mathop{\underrightarrow{\lim}}}
\( \varinjlim D \)

\end{document}

但是，我不知道如何\lim像原始版本一样在和箭头之间添加一些垂直间距（我试图添加\mathstrut，但这似乎会导致额外的水平间距，从而使箭头更长）。

有没有什么方法可以改善这个结果？

Answer 1

添加一个小支柱，这里的深度是 0.2ex，请调整以适应。周围的括号\lim是必要的，以避免 TeX 插入空格。

\documentclass{article}
\usepackage{kpfonts-otf}

\newcommand{\limstrut}{\vrule depth0.2ex width 0pt}

\AtBeginDocument{%
  \renewcommand{\varprojlim}{\mathop{\underleftarrow{{\lim}\limstrut}}}%
  \renewcommand{\varinjlim}{\mathop{\underrightarrow{{\lim}\limstrut}}}%
}
\begin{document}

\( \varprojlim D \)
\( \varinjlim D \)

\end{document}