\varprojlím 和 \varinjlím

Question

我正在用西班牙语输入一些文本，我需要分别使用逆极限和正极限的符号——\varprojlim和\varinjlim。问题是这些符号看起来像“lim”，下面有一个箭头，但我需要“l我m" 在 i 上加重音。有没有简单的方法来定义这样的东西？

我想我找到了定义在 amsmath 来源中：

\def\varinjlim{%
  \mathop{\mathpalette\varlim@{\rightarrowfill@\textstyle}}\nmlimits@
}
\def\varprojlim{%
  \mathop{\mathpalette\varlim@{\leftarrowfill@\textstyle}}\nmlimits@
}

但我不确定如何正确地修改它。

感谢您的帮助。

Answer 1

您可以使用一个简单的补丁来解决它，这可能也应该是的默认设置amsmath：由于babel-spanish已经解决了的问题\lim，我们可以只使用命令，而不是lim定义中的显式命令\varlim@。

\documentclass[a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[spanish]{babel}

\usepackage{amsmath}
\usepackage{etoolbox}

\makeatletter
\patchcmd{\varlim@}{lim}{\lim}{}{}
\makeatother

\begin{document}

$\displaystyle\lim\varinjlim\varprojlim$

\end{document}

这是添加后的输出\usepackage[sc]{mathpazo}：

对于 “colimit”：

\documentclass[a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[spanish]{babel}
\usepackage[sc]{mathpazo}

\usepackage{amsmath}
\usepackage{etoolbox}

\DeclareMathOperator*{\colim}{co{\lim}}
\makeatletter
\patchcmd{\varlim@}{lim}{\lim}{}{}
\makeatother


\begin{document}

$\lim\colim\varinjlim\varprojlim$

\end{document}

Answer 2

您必须重新定义\varlim@：

\documentclass[ a4paper, leqno]{article}

\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{amssymb, amsfonts, mathtools}

\makeatletter\def\varlim@#1#2{%
\vtop{\m@th\ialign{##\cr
\hfil$#1\operator@font l\'{i}m$\hfil\cr
\noalign{\nointerlineskip\kern1.5\ex@}#2\cr
\noalign{\nointerlineskip\kern-\ex@}\cr}}%
}
\makeatother

\begin{document}

\[ \varinjlim( E_{α},f_{α\,β}),\quad\varprojlim( E_{α},f_{β\,α}),\]%

\end{document}​