如何将多个事物置于限制之下？

Question

我正在阅读有关逆极限的文章，有时符号需要某种索引或集合来取逆极限。它看起来像这样：

我该如何正确地将其 TeX 化？我尝试了类似的方法 {\lim_{\longleftarrow}}_{H\in\mathscr{F}} ，但箭头和集合并排，而不是一个在另一个之上。

Answer 1

在这种情况下不需要\substack：有\varinjlim和\varprojlim宏分别处理直接和逆极限，现在放置下标会导致您正在寻找的行为（并且每个人都在模仿使用\substack）。

Answer 2

无需过多了解字体细节，您可以使用该\mathop{<stuff>}命令在数学模式下对几乎任何内容进行操作。例如，这是对您最初尝试的一个小修改：

\mathop{\lim_{\longleftarrow}}_{i}G/H_i \approx
  \mathop{\lim_{\longleftarrow}}_{H\in\mathcal{F}}G/H

但是，您可能还对使用以下方法将项目堆叠在一起感兴趣\stackrel{<top>}{<bottom>}：

\lim_{\stackrel{\longleftarrow}{i}}G/H_i \approx
  \lim_{\stackrel{\longleftarrow}{H\in\mathcal{F}}}G/H

考虑浏览Herbert Voß 的数学模式文档。里面充满了mathmode中的排版信息。

Answer 3

你可以\substack使用amsmath：

\lim_{\substack{\longleftarrow\\H\in\mathscr{F}}}

Answer 4

您可以使用包定义一个新的运算符\DeclareMathOperator，amsmath如下所示：

\documentclass{article}

\usepackage{mathtools}

\DeclareMathOperator*{\ulalim}{\underleftarrow\lim}

\begin{document}

\[\ulalim_{i}G/H_{i}\approx\smashoperator{\ulalim_{H\in\mathcal{F}}}G/H\]

\end{document}

输出结果为：

注意使用 来\smashoperator删除等式右侧运算符和操作数之间的冗余空格。