重新定義 \varprojlim 和 \varinjlim 以獲得更漂亮的箭頭

Question

我kpfonts-otf在 LuaLaTeX 下用作數學字體。對於，和\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}