问题是关于在text包含一些数学运算的段落中保持一致的垂直间距subscripts。
具体来说，在示例中，我觉得第 1 行和第 2 行之间没有足够的内容vertical space，因为subscript第 1 行上的数学运算和第 2 行上也有一些数学运算。
一般来说，我不想在本地修复这个问题，而是希望在整个段落中始终保留更多的垂直空间（只要这种情况在段落中至少出现一次）。
因为我有相当多的段落出现这种情况，所以如果我不必对每个段落都提出这样的要求，那将会很有用，但如果这可以作为默认设置。
谢谢阅读。
\documentclass[draft,11pt]{article}
\sloppy
\usepackage{amssymb}
\begin{document}
\newcommand{\diam}[1]{\ensuremath{\langle #1 \rangle}}
\newcommand{\model}{\mathbb{M}}
\newcommand{\N}{\ensuremath{\mathsf{N}}}
Assume $\model|_{\N(w_0)\cap\ldots\cap\N(w_n)},w\models \diam{a}\psi$.
It follows that there is a state $v\in \N(w_0)\cap\ldots\cap\N(w_n)$
with $w R_a v$ (1) and $\model|_{\N(w_0)\cap\ldots\cap\N(w_n)},v\models
\psi$ (2). Hence by IH $\model| _{\N(w_0)\cap\ldots\cap\N(w_n)},v\models
\psi$ (3). From (1) and the fact that $\model'$ is an $A$-generated
submodel of $\model$ we have $w R'_a v$, hence by (3) $\model'| _{\N(w_0)
\cap\ldots\cap\N(w_n)},w\models \diam{a}\psi$. The other direction is
trivial.
\end{document}
答案1
在您的示例中，基线的距离是恒定的，如下图所示，其中水平规则是独立于文本绘制的，\baselineskip彼此之间有一定距离：
如果你的文本有很多下标，增加行距是个好主意；这并不坏本身，只有当增加幅度太大时才会出现这种情况。以下是相同文本在正常行距下、增加 5% 后和增加 10% 后的示例。您可以尝试介于两者之间的值；将文本设置为 11/15（即使用\linespread{1.1}）并不是严重的错误：排版决策取决于文本的性质。当然，整个文档的行距应该相同，因此\linespread{...}（没有\selectfont）应该放在序言中。
以下是生成图像的代码
\documentclass[draft,11pt]{article}
\usepackage{amssymb}
\newcommand{\diam}[1]{\ensuremath{\langle #1 \rangle}}
\newcommand{\model}{\mathbb{M}}
\newcommand{\N}{\ensuremath{\mathsf{N}}}
\newcommand{\ruler}{%
\leavevmode
\llap{%
\smash{%
\raise\baselineskip\vtop to 5\baselineskip{
\xleaders\rlap{%
\vrule height\baselineskip width 0.1pt
\vrule width \textwidth height 0.1pt}\vfill
}%
}\kern\parindent
}%
}
\begin{document}
\newcommand{\sampletext}{%
Assume $\model|_{\N(w_0)\cap\ldots\cap\N(w_n)},w\models \diam{a}\psi$.
It follows that there is a state $v\in \N(w_0)\cap\ldots\cap\N(w_n)$
with $w R_a v$ (1) and $\model|_{\N(w_0)\cap\ldots\cap\N(w_n)},v\models
\psi$ (2). Hence by IH $\model| _{\N(w_0)\cap\ldots\cap\N(w_n)},v\models
\psi$ (3). From (1) and the fact that $\model'$ is an $A$-generated
submodel of $\model$ we have $w R'_a v$, hence by (3) $\model'| _{\N(w_0)
\cap\ldots\cap\N(w_n)},w\models \diam{a}\psi$. The other direction is
trivial.}
\noindent\textsf{The text has equally spaced baselines}\par
\medskip
\ruler\sampletext
\medskip
\noindent\textsf{The same text without a ruler}\par
\medskip
\sampletext
\medskip
\noindent\textsf{With slightly taller baseline skip, increased 5\%}\par
\medskip
\linespread{1.05}\selectfont
\sampletext
\medskip
\noindent\textsf{With slightly taller baseline skip, increased 10\%}\par
\medskip
\linespread{1.1}\selectfont
\sampletext
\end{document}