![重新定义 \varprojlim 和 \varinjlim 以获得更美观的箭头](https://linux22.com/image/461988/%E9%87%8D%E6%96%B0%E5%AE%9A%E4%B9%89%20%5Cvarprojlim%20%E5%92%8C%20%5Cvarinjlim%20%E4%BB%A5%E8%8E%B7%E5%BE%97%E6%9B%B4%E7%BE%8E%E8%A7%82%E7%9A%84%E7%AE%AD%E5%A4%B4.png)
我在 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
,但这似乎会导致额外的水平间距,从而使箭头更长)。
有没有什么方法可以改善这个结果?
答案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}