如何防止宽方程式有太大的垂直空间？

Question

我有一系列方程，其中一个方程可能略大于某个阈值。这不知何故导致该方程在其上方比其他方程获得更多的垂直空间。

我该怎么做才能使这个方程在垂直空间方面表现得像其他方程一样？

我正在使用 XeTeX，版本 3.1415926-2.5-0.9999.3（MiKTeX 2.9 64 位）（预加载格式=xelatex 2015.4.29）。

以下是最小工作示例。

\documentclass[12pt,a4paper]{article}

\usepackage{fullpage}

\begin{document}

\begin{equation}
\sum_{e \in \mathcal{E}}\sum_{f \in \mathcal{F}} k_{ef} + \sum_{d \in \mathcal{D}} x_{abcd} + T_{abc} \leq 1 \quad \forall a \in \mathcal{A}, b \in \mathcal{B}, c \in \mathcal{C}
\end{equation}

\begin{equation}
w_{abc} \leq \sum_{g \in \mathcal{G}} g_{abcg} \quad \forall a \in \mathcal{A}, b \in \mathcal{B}, c \in \mathcal{C}
\end{equation}

\begin{equation}
X_{abcd} - \Delta^{+}_{abcd} + \Delta^{-}_{abcd} - x_{abcd} = 0 \quad \forall a \in \mathcal{A}, b \in \mathcal{B}, c \in \mathcal{C}, d \in \mathcal{D}
\end{equation}

\begin{equation}
Y_{abcdef} - \Delta^{-}_{abcdef} + \Delta^{+}_{abcdef} - y_{abcdef} = 0 \quad \forall a \in \mathcal{A}, b \in \mathcal{B}, c \in \mathcal{C}, d \in \mathcal{D}, e \in \mathcal{E}, f \in \mathcal{F}
\end{equation}

\end{document}

输出结果如下。请注意 (3) 和 (4) 之间的垂直间距过大。

Answer 1

我建议您使用单个gather环境（由软件包提供amsmath），而不是四个单独的equation环境。为了使方程 3 和方程 4 之间的距离大致等于方程 2 和方程 3 之间的距离，您可以\vphantom在第三个方程中插入一个（“垂直幻影”），如下面的代码所示。

\documentclass[12pt,a4paper]{article}
\usepackage{amsmath} % for "gather" environment
\usepackage{fullpage} %für inch Abstände??

\begin{document}

\begin{gather}
\sum_{e \in \mathcal{E}}\sum_{f \in \mathcal{F}} k_{ef} 
   + \sum_{d \in \mathcal{D}} x_{abcd} + T_{abc} \leq 1 
   \quad \forall a \in \mathcal{A}, b \in \mathcal{B}, c \in \mathcal{C}\\
w_{abc} \leq \sum_{g \in \mathcal{G}} g_{abcg} 
   \quad \forall a \in \mathcal{A}, b \in \mathcal{B}, c \in \mathcal{C}\\
X_{abcd} - \Delta^{+}_{abcd} + \Delta^{-}_{abcd} - x_{abcd} = 0 
   \quad \forall a \in \mathcal{A}, b \in \mathcal{B}, c \in \mathcal{C}, 
   d \in \mathcal{D} \vphantom{\sum_{g \in \mathcal{G}}}\\ % <-- note the "\vphantom"
Y_{abcdef} - \Delta^{-}_{abcdef} + \Delta^{+}_{abcdef} - y_{abcdef} = 0 
   \quad \forall a \in \mathcal{A}, b \in \mathcal{B}, c \in \mathcal{C}, 
   d \in \mathcal{D}, e \in \mathcal{E}, f \in \mathcal{F}
\end{gather}

\end{document}

Answer 2

为什么不使用gather来自的环境amsmath？

\documentclass[12pt,a4paper]{article}

\usepackage{fullpage}
\usepackage{amsmath}

\begin{document}

\begin{gather}
  \sum_{e \in \mathcal{E}}\sum_{f \in \mathcal{F}} k_{ef} + \sum_{d \in \mathcal{D}} x_{abcd} + T_{abc} \leq 1 \quad \forall a \in \mathcal{A}, b \in \mathcal{B}, c \in \mathcal{C}\\
  w_{abc} \leq \sum_{g \in \mathcal{G}} g_{abcg} \quad \forall a \in \mathcal{A}, b \in \mathcal{B}, c \in \mathcal{C}\\
  X_{abcd} - \Delta^{+}_{abcd} + \Delta^{-}_{abcd} - x_{abcd} = 0 \quad \forall a \in \mathcal{A}, b \in \mathcal{B}, c \in \mathcal{C}, d \in \mathcal{D}\\[1.5ex]
  Y_{abcdef} - \Delta^{-}_{abcdef} + \Delta^{+}_{abcdef} - y_{abcdef} = 0 \quad \forall a \in \mathcal{A}, b \in \mathcal{B}, c \in \mathcal{C}, d \in \mathcal{D}, e \in \mathcal{E}, f \in \mathcal{F}
\end{gather}

\end{document}