☰

带有较小箭头的分类限制，已更新

tag-icon • tag-icon arrows
带有较小箭头的分类限制，已更新

在这个答案，我得到了以下不错的解决方案，用于带有较小箭头的分类极限。我对此解决方案的唯一问题是“lim”和箭头之间的间距太大。Computer Modern 就是这种情况，但使用其他一些字体（例如kpfonts，下面使用的）会更清晰。我想知道如何才能最好地提高箭头以使其更靠近符号？我当然可以尝试使用\raisebox，但我认为这不是最佳或最可靠的解决方案。您将如何实现这一点？

\documentclass{article}

\usepackage{amsmath,kpfonts}

\makeatletter

\def\varlim@@#1#2{%
  \vtop{\m@th\ialign{##\cr
    \hfil$#1\operator@font lim$\hfil\cr
    \noalign{\nointerlineskip\kern1.5\ex@}
    \expandafter#2\ifx#1\scriptscriptstyle\scriptscriptstyle\else\scriptstyle\fi\cr
    \noalign{\nointerlineskip\kern-\ex@}\cr}}%
}
\newcommand\dirlim{\mathop{\mathpalette\varlim@@\rightarrowfill@}\nmlimits@}
\newcommand\invlim{\mathop{\mathpalette\varlim@@\leftarrowfill@}\nmlimits@}

\makeatother

\begin{document}

\parskip=\medskipamount

$\varinjlim_{\varinjlim_{\varinjlim}}$

$\dirlim_{\dirlim_{\dirlim}}$

\end{document}

在此处输入图片描述

答案1

\ialign 是围绕 TeX 基元的薄包装，\halign没有列间距。\noalign在行之间插入垂直材料，并且

\noalign{\nointerlineskip\kern1.5\ex@}

基本上是在说 (1) 在此处抑制正常的行间距，以及 (2) 添加垂直间距1.5\ex@。长度\ex@定义为amsgen(加载为amsmath) 并大致与当前大小成比例。在链接的答案中，我采用了该值，因为这是预定义的值，并且对于 CM 箭头来说或多或少是必要的，因为它们的头部相当大。当然，您可以减少数字或完全删除kern1.5\ex@(尽管这对我来说有点太接近了)。

相关内容