In this answer, I got the following nice solution for categorical limits with smaller arrows. My only issue with this solution is that the spacing between the “lim” and the arrows is too big. This is the case with Computer Modern, but even more clear with some other fonts (e.g. with kpfonts
, used below). I wonder how I could best raise the arrow to get it closer to the symbol? I could of course try using \raisebox
, but I assume this is not the best or most robust solution. How would you accomplish this?
\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}
:-)
but the solution is very easy, the line\noalign{\nointerlineskip\kern1.5\ex@}
is suppressing the standard line spacing and introducing manually a vertical space of1.5\ex@
. Just reduce the number to something which pleases you.:-)
Few solutions are perfect in all fonts, and adjustments can sometimes be necessary to fit somebody’s tastes.:-)
Anyway,0
spacing fits me perfectly well. Is there any issue then with completely removingkern1.5\ex@
?:-)