align* 的对齐和行距

APPSYZY

每个绿色方框里的公式都是一个整体，但因为太长了，一行写不下，只能换行。如果想要绿色方框里两行的距离更紧凑，从而区别 align* 模式的其他行，有没有比较漂亮的解决方案呢？请教大家！
\begin{align*}
    A\ne\emptyset \land B\ne\emptyset\iff{} & \forall x(\neg a_x)\land\forall y(\neg b_y)                       \\
    \iff{}                                  & \forall x\forall y(\neg a_x\land\neg b_y)                         \\
    \implies{}                              & \forall x\forall y(((a_x\land b_y)\to(c_x\land d_y))              \\
                                            & \hphantom{\forall x\forall y(}\to((a_x\to c_x)\land(b_y\to d_y))) \\
    \iff{}                                  & \forall x\forall y((a_x\land b_y)\to(c_x\land d_y))               \\
                                            & \to\forall x\forall y((a_x\to c_x)\land(b_y\to d_y))              \\
    \iff{}                                  & \forall x\forall y((a_x\land b_y)\to(c_x\land d_y))               \\
                                            & \to(\forall x(a_x\to c_x)\land\forall y(b_y\to d_y))              \\
    \iff{}                                  & A\times B\subseteq C\times D\to(A\subseteq C\land B\subseteq D)
\end{align*}

爪机专用

如果这种情况不多，那在相应的 \\\\ 后加个 [负距离] 呗

APPSYZY

爪机专用 发表于 2024-8-10 22:42
如果这种情况不多，那在相应的 \\\\ 后加个 [负距离] 呗

感谢，第一次知道 \\ 后面能加 []。不过我还发现了一个新问题：换行后 $\to$ 前面残余了一些间距，如何消除这部分间距，从而使得 $\to$ 顶格呢？

kuing

APPSYZY 发表于 2024-8-11 18:02
感谢，第一次知道 \\ 后面能加 []。不过我还发现了一个新问题：换行后 $\to$ 前面残余了一些间距，如何消 ...

还是和上次这帖一样的原因：
kuing.cjhb.site/forum.php?mod=viewthread&tid=12555
用 { } 把整个包裹起来即可。