I have an equation that is so large that it needs to span over several lines. However I also have a particular alignment that I want, so I used the flalign environment to lay it out as I want it to be. However, I end up with each line being numbered, when I only want one number for the whole equation:
\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}
Is there anyway that I can have an flalgn environment or similar, but only have the last line numbered?
\nonumberor\notagfor the lines you want unnumbered. – Gonzalo Medina Apr 19 '14 at 03:04alignenvironment, how to number only one of the lines?; Selective numbering of equations withalign– Werner Apr 19 '14 at 03:53\tdash,TStore, and\THeapmacros defined? – Mico Apr 19 '14 at 04:03