独立对齐嵌套的公式

Question

我有公式

我用代码创建

\begin{align}
\WKernSub[\x]{sub} &\defas \bigsumshort \sum_{j=1\ |\ j\in\J}^{\card\Ob} \mhsp \frac{\massSub[j]{subA}}{\sqrt{ (2\m\pi\m\gwp)^{\nbFeat} }} \m \exp{ \frac{    \left(\x-\ob[j]\right)^\trnsp \m \left(\x-\ob[j]\right)   }{-2 \m \gwp} }  \mhspE,
\end{align}
\begin{align}
\J = \big\{\mhsp l \mhsp\big|\mhsp      &(  \ob\in\Obrd \AND l=i  ) \\
                                    \OR &(  \ob\in\Obru \AND \ob[l]\in\Obvd \AND \ob[l]\primderL\ob[i]  ) \mhsp\big\}  \mhspE,  \nn
\end{align}
\begin{align}
\WFctSub[\x]{sub} &\defas \bigsumshort \sum_{j=1\ |\ \ob[j]\in\Obr}^{\card\Ob} \WKernSub[\x]{sub} \label{eq:WKernSub}
\end{align}

我希望的是，让公式对齐，这样 = 和 := 就对齐了。我不想让第二个公式的对齐受到影响。我确实签出了嵌套对齐环境之间的对齐，但我无法将其转移到我的问题上，多个对齐符号。我不想为了对齐而“打开”一个新的列。

我怎样才能实现这个目标？

一个最小的工作示例是（其他符号）：

\documentclass[twocolumn]{article}
\usepackage{amsmath}

\begin{document}

\begin{align}
W_{sub,i} &= asdf
\end{align}

\begin{align}
J = \big\{ l \quad\big|\quad    &(  o \in O ) \nonumber\\
                    \vee\quad   &(  o \in O \wedge o \in O  ) \big\}  , \nonumber
\end{align}

\begin{align}
W_{sub} &= some long formula without any meaning
\end{align}

\end{document}

导致

Answer 1

这是一个临时解决方案。如果您提供了所使用的宏的定义，那就简单多了。这里的定义和其他编码只是近似值。

就像大卫的回答一样，这将一个aligned块嵌套在主要对齐中。的定义:=稍微调整了一下，以改善其相对于简单=符号的对齐。

\documentclass[leqno]{article}
\usepackage{mathtools}
\usepackage{bm}

\newcommand{\card}{\#}
\newcommand{\defas}{\;\mathrel{\!\!{:}{=}\,}}
\newcommand{\bigsumshort}{}
\newcommand{\gwp}{\omega}
\newcommand{\J}{\mathcal{J}}
\newcommand{\Ob}{\mathcal{O}}
\newcommand{\Obr}{\mathcal{O}_{\mathrm{r}}}
\newcommand{\Obrd}{\mathcal{O}_{\mathrm{rd}}}
\newcommand{\Obru}{\mathcal{O}_{\mathrm{ru}}}
\newcommand{\ob}{\bm{o}_{i}}
\newcommand{\m}{\cdot}
\newcommand{\mhsp}{}
\newcommand{\mhspE}{\;}
\newcommand{\massSub}[1]{m_{\mathrm{subA,v,#1}}}
\newcommand{\nbFeat}{F}
\newcommand{\trnsp}{\top}
\newcommand{\x}{\bm{x}}

\begin{document}

\begin{align}
\mathbf{W}_{\mathrm{sub}j} (\bm{x})
 &\defas \bigsumshort \sum_{j=1\ |\ j\in\J}^{\card\Ob} \mhsp
  \frac{\massSub{j}}{\sqrt{ (2\m\pi\m\gwp)^{\nbFeat} }} \m
  \exp \left( \frac{    \left(\x-\ob[j]\right)^\trnsp \m \left(\x-\ob[j]\right)   }{-2 \m \gwp} \right) \mhspE,\\
%
J &= \bigl\{ l \; \bigl| \;
           \begin{aligned}[t]
                  &( \ob \in \Obrd \wedge l = i ) \\
               \mathllap{\vee\,}   &( \ob \in \Obru \wedge \ob \in \Obrd
               \wedge \ob \leftarrow \ob  ) \bigr| \bigr\}  ,
           \end{aligned} \nonumber\\
%\J &= \big\{\mhsp l \mhsp\big|\mhsp      &(  \ob\in\Obrd \AND l=i  ) \\
%%                                    \OR &(  \ob\in\Obru \AND \ob[l]\in\Obvd \AND \ob[l]\primderL\ob[i]  ) \mhsp\big\}  \mhspE,  \nn\\
%
\mathbf{WF}_{\mathrm{sub}}(\x) &\defas \bigsumshort \sum_{j=1\ |\ \ob[j]\in\Obr}^{\card\Ob} \mathbf{W}_{\mathrm{sub}j}(\x) \label{eq:WKernSub}\\
%
W_{sub,i} &= asdf\\
%
W_{sub} &= some long formula without any meaning
\end{align}

\end{document}

Answer 2

我使用嵌套aligned（最好不要让一个数学显示接在另一个数学显示后面，TeX 不会真正尝试正确地间隔开）

\documentclass[twocolumn]{article}
\usepackage{amsmath}

\begin{document}

\begin{align}
W_{\mathrm{sub},i} &= asdf\\
&\begin{aligned}
J = \big\{ l \quad\big|\quad    &(  o \in O ) \nonumber\\
                    \vee\quad   &(  o \in O \wedge o \in O  ) \big\}  , \nonumber
\end{aligned}\\
W_{\mathrm{sub}} &= some long formula without any meaning
\end{align}

\end{document}