如何使每个对齐部分都有自己独立的编号?
如何才能使行号不延续到下alignat一部分? 代码如下: \subsubsection*{Answer} \begin{alignat}{2} \forall x (P(x) \to Q(x)), \forall xP(x) &\vdash \forall x (P(x) \to Q(x)) &\text{ by } (\in) \\ \forall x (P(x) \to Q(x)), \forall xP(x) &\vdash (P(x) \to Q(x)) &\text{ by } (\...