正确排版下方的限制

正确排版下方的限制

有没有一种好的排版方法

在此处输入图片描述

(不是红色的,而是左右都有空格)。我第一次尝试的是

\documentclass{amsart}

\begin{document}
    \begin{equation}
        \lim_{R \uparrow 1} f_R(\varphi)
    \end{equation}
\end{document}

不会产生空格。我希望有类似的东西\to

答案1

正如其他人已经解释的那样,TeX 在下标中不会添加数学间距,这有充分的理由。但是,由于数学模式下普通字母是斜体的,因此该\uparrow符号似乎与它们发生冲突。

您可以为“下方限制”定义一个新符号:

\documentclass{article}
\usepackage{amsmath}

\newcommand{\toup}{%
  \mathrel{\nonscript\mkern-1.2mu\mkern1.2mu{\uparrow}}%
}

\begin{document}

\begin{gather*}
R\uparrow 1 \qquad \lim_{R\uparrow 1} \\
R\toup 1 \qquad \lim_{R\toup 1}
\end{gather*}

\end{document}

奇怪的是\nonscript\mkern-1.2mu\mkern1.2mu? 后面的间距\nonscript仅在 TeX 处于显示或文本样式时插入;因此,在这些情况下,负字距会补偿正字距,净量为零;在脚本或 scriptscript 样式中,不会考虑负字距,因此只有正字距会起作用。

在此处输入图片描述

您可以清楚地看到,如此小的空间(1mu 是 em 的 1/18,因此,在 Computer Modern 的 10pt 大小下,1.2mu 只是 2/3 点)在输出中变得非常明显。切勿对字距过大。

答案2

\to这里的问题是,这种方法实际上是正确的。我准备了一个例子来向你展示和的行为\uparrow在这里是相同的。唯一的问题是,由于斜体R和向上箭头的形状,这看起来很愚蠢。

% arara: lualatex

\documentclass{amsart}
\usepackage{lua-visual-debug}

\begin{document}
\begin{gather}
    \lim_{R\mathrel{\uparrow} 1}\\  
    \lim_{R\mathrel{\to} 1}\\       
    R\mathrel{\uparrow} 1\\
    R\mathrel{\to} 1
\end{gather}
\end{document}

我已经将关系符号放入了\mathrel。这有点重复,但在下面的屏幕截图中显示了小框。

在此处输入图片描述

由于这里没有什么需要“纠正”的,所以只需要调整一下:正如 Johannes 的评论所示,您可以在这里添加一点空间。在我看来,\lim_{R\mkern 1.8mu\uparrow 1}看起来还不错。确保为此定义一个命令,因为您可能希望在之后更改它。

答案3

\uparrow只是稍微扩展一下@LaRiFaRi 的回答:您遇到的问题——在 的参数中符号周围缺少空格\lim——实际上是 TeX 的故意设置。也就是说,参数\thickmuskip控制着在 类型的数学原子周围插入的空格量,只有当数学原子出现在或数学模式mathrel中时才应用。相反,在和数学设置中——想想一阶和二阶下标和上标—— (和,与 类型的数学原子相关)默认情况下不插入。textstyledisplaystylescriptstylescriptscriptstyle\thickmuskip\medmuskipmathrel

\lim我认为选择这种设置是因为从印刷角度来说,尽量减少诸如、\max和 等运算符参数所占用的空间几乎总是一个好主意\min

\uparrow如果您坚持要在 的参数中出现 时在 的两侧插入一些空格\lim,那么我只会插入\,,即所谓的“细空格”;请查看以下屏幕截图的最后一行。(更好的是,只插入\mkern1.5mu,即半个细空格。)

在此处输入图片描述

\documentclass{article}
\begin{document} 
\obeylines % just for this example

% textstyle is default for inline math
$R\uparrow1$
$R{\uparrow}1$
$R\mathrel{\uparrow}1$ % note restoration of whitespace

\smallskip % scriptstyle: first-order subscript mode
$\scriptstyle R\uparrow1$
$\scriptstyle R{\uparrow}1$
$\scriptstyle R\,\uparrow\,1$ % explicit thinspaces on both sides of \uparrow

\smallskip % scriptscriptstyle: second-order subscript mode
$\scriptscriptstyle R\uparrow1$
$\scriptscriptstyle R{\uparrow}1$
$\scriptscriptstyle R\mathrel{\uparrow}1$ % no restoration of whitespace

$\displaystyle\lim_{R\uparrow1}$ vs.\ $\displaystyle\lim_{R\,\uparrow\,1}$
\end{document} 

相关内容