我有一个方程,它非常大,需要跨越几行。但是,我还想要一种特定的对齐方式,因此我使用了 flalign 环境来按我想要的方式布局它。但是,我最终给每行都编了号,而我只想要整个方程只有一个数字:
\begin{flalign} \label{soundness:goal}
& \gamma \tdash \{p\}\cmd\{q\} \implies \forall \sigma \in \TStore. \; \forall h \in \THeap. \; \forall \rho. \\
& \quad (\sigma, h) \vDash_{\rho} p \implies \forall t \in Trace_{\gamma}(\state{\cmd}{[\sigma]}{ h}). \; \exists n \in \mathbb{N}. \; length(t) < n
\end{flalign}
有什么办法可以让我拥有一个 flagn 环境或类似的环境,但只对最后一行进行编号?
答案1
为您想要取消编号的行添加\nonumber
或\notag
。顺便问一下,您确定flalign
这是最佳选择吗?我问这个问题是因为这种环境很少使用。