多条线路的 Bigwedge

Question

我有一个很长的等式，我想把它放在一列中。我用了一个大楔形，想把它放在多行中。当我换行时，对齐不正确。你可以在下一行看到两个大楔形之间的小楔形。理想情况下，我希望像这样对齐 -

                    line 1
 bigwedge bigwedge    ^
                    line 2

我尝试使用 align 环境，但它没有提供所需的对齐方式。显示方程式的代码是 -

\documentclass[11pt,twocolumn]{article}

\usepackage{blindtext}
\usepackage{amsmath}

\begin{document}
\begin{gather*}
  \bigwedge_{\substack{\hat{e}=(v,v') \\ \in E_{\Delta Z}^M}} \bigwedge_{0 \le h < c(v)}
   s({I_{wr}}_{\,h}(\hat{e}))  + I = s({G_{wr}}_{\,h}(\hat{e}))) %\\ 
       \wedge~ \mu({I_{wr}}_{\,h}(\hat{e}))) = \mu({G_{wr}}_{\,h}(\hat{e}))) \\
       \bigwedge_{\hat{e}=(v,v') \in E_{\Delta Z}^M} ~~ \bigwedge_{0 \le h' < c(v')}
   s({I_{rd}}_{\,h'}(\hat{e}))  + I = s({I_{rd}}_{\,h'}(\hat{e}))) \\
        \wedge~ \mu({I_{rd}}_{\,h'}(\hat{e}))) = \mu({G_{rd}}_{\,h'}(\hat{e}))) 
\end{gather*}
\Blindtext
\end{document}

接近的东西 -

\begin{spreadlines}{-0.5em}% tweak
\begin{align*}
   & s({I_{wr}}_{\,h}(\hat{e}))  + I = s({G_{wr}}_{\,h}(\hat{e}))) \\
  \bigwedge_{\substack{\hat{e}=(v,v') \\ \in E_{\Delta Z}^M}} \bigwedge_{0 \le h < c(v)} & \phantom{invisible text} \wedge \\ 
  & \mu({I_{wr}}_{\,h}(\hat{e}))) = \mu({G_{wr}}_{\,h}(\hat{e}))) \\
\end{align*}
\begin{align*}
       \bigwedge_{\hat{e}=(v,v') \in E_{\Delta Z}^M} ~~ \bigwedge_{0 \le h' < c(v')}
   s({I_{rd}}_{\,h'}(\hat{e}))  + I = s({I_{rd}}_{\,h'}(\hat{e}))) \\
        \wedge~ \mu({I_{rd}}_{\,h'}(\hat{e}))) = \mu({G_{rd}}_{\,h'}(\hat{e}))) 
\end{align*}
\end{spreadlines}

顺便说一下，我使用的是 IEEE 双列格式。

谢谢 ！

Answer 1

gathered这是使用和移动有关限制的信息至文本的尝试。

\documentclass[11pt,twocolumn]{article}
\usepackage{amsmath}
\begin{document}
\begin{gather*}
       \bigwedge_{\hat{e}}
       \,
       \bigwedge_{h'}
       \;
       \begin{gathered} 
        s({I_{rd}}_{\,h'}(\hat{e}))  + I = s({I_{rd}}_{\,h'}(\hat{e}))) \\
         {}\wedge{}\\
         \mu({I_{rd}}_{\,h'}(\hat{e})))   = \mu({G_{rd}}_{\,h'}(\hat{e})))\\
         \end{gathered}
\end{gather*}
where $\hat{e}=(v,v')\in E^M_{\Delta Z}$ and $0\le h'< c(v')$.
\end{document}

如果要对齐等号和小楔子，可以使用环境aligned代替gathered，但由于表达式不太对称，结果可能看起来有点不平衡。我还在这里展示了略微更紧密的间距，并更正了)原始中的多余尾随 s。

\documentclass[11pt,twocolumn]{article}
\usepackage{amsmath}
\begin{document}
\begin{gather*}
       \bigwedge_{\hat{e}}
       \,
       \bigwedge_{h'}
       \;
       \begin{aligned} 
           s({I_{rd}}_{\,h'}(\hat{e}))  + I &= s({I_{rd}}_{\,h'}(\hat{e}))) \\[-2pt]
                                            &\mkern2mu\wedge{}\\[-6pt]
           \mu({I_{rd}}_{\,h'}(\hat{e})))   &= \mu({G_{rd}}_{\,h'}(\hat{e})))\\
         \end{aligned}
\end{gather*}
where $\hat{e}=(v,v')\in E^M_{\Delta Z}$ and $0\le h'< c(v')$.
\end{document}

Answer 2

我提出了对之前解决方案的改进。它使用empheq代替amsmath和 选项overload。我设法使 (small)\ wedge与=符号对齐，rd并使h'下标对齐（不知道为什么这些是不同的下标）并减少行之间的间距：

\documentclass[11pt,twocolumn]{article}
\usepackage[overload]{empheq}

\begin{document}

    \begin{gather*}[left =\displaystyle\bigwedge_{\hat{e}}\, \bigwedge_{h'}\enspace ]%
        \begin{aligned}
                s({I_{rd}}_{\,h'}(\hat{e})) + I & = s({I_{rd}}_{\,h'}(\hat{e})) \\[-4pt]
                   & {\ \wedge}\\[-4pt]
         \mu(I_{rd\:h'}(\hat{e}))
        & = \mu(G_{rd\:h'}(\hat{e}))
        \end{aligned}
    \end{gather*}
where $\hat{e}=(v,v')\in E^M_{\Delta Z}$ and $0\le h'< c(v')$.

\end{document}