aligned我在环境内部使用环境align*进行一些自定义对齐。我希望环境的行间距align*大于aligned环境的行间距，但似乎\jot在环境内部更改长度不会产生效果align*。即，以下操作不会产生所需的结果。
\documentclass{article}
\usepackage{amsmath}
\begin{document}
\setlength{\jot}{1em}
\begin{align*}
True &\mapsto [true] && \text{\small{\textsc{Rule 1}}} \\
e_1 \operatorname{or} e_2 &\mapsto
\setlength{\jot}{0.1em}\begin{aligned}[t]
\textbf{let }&e_1 \mapsto [a], \\
&e_2 \mapsto [b] \\
\textbf{in }&[a \lor b]
\end{aligned} && \text{\small{\textsc{Rule 2}}}
\end{align*}
\end{document}
结果：
的行间距与和Rule 2之间的间距相同。有没有办法做到这一点，而不必在每一行都手动设置长度？Rule 1Rule 2\\[-0.9em]
答案1
\jot之前设置\begin{aligned}似乎太晚了。您可以改用\openup。
\documentclass{article}
\usepackage{amsmath}
\begin{document}
\setlength\jot{2ex}
\begin{align*}
\mathit{True} &\mapsto [\mathit{true}] && \textsc{\small Rule 1} \\
e_1 \operatorname{or} e_2 &\mapsto
\openup-0.5\jot
\begin{aligned}[t]
\textbf{let }&e_1 \mapsto [a], \\
&e_2 \mapsto [b] \\
\textbf{in }&[a \lor b]
\end{aligned} && \textsc{\small Rule 2}
\end{align*}
\end{document}
几点说明。如果您希望“True”和“true”为斜体，请使用\mathit如下所示的方式；对于“规则 1”和“规则 2”，输入要简单得多。