I'm test driving luametatex. My needs usually extend to expressing formulas in TLA+ using nested display math formulas. Although I have suitable templates for doing this in Mark IV, I can't reproduce these satisfactorily in luametatex. For example, here's a formula from Leslie Lamport's 2006 "Lower Bounds for Asynchronous Consensus": ~~~~~~~~~~~ transitive_reduction.tex ~~~~~~~~~~~~~ \define\lbr {\lbrace \mkern 0.9mu} \define\rbr {{}\mkern 0.9mu \rbrace} \define\∀ {∀\mkern1mu} \define\∃ {∃\mkern2mu} \startdocument \startplaceformula \startformula [split=yes, align=flushleft, margin=standard, interlinespace=1ex] \bgroup \setupinterlinespace [line=1ex] \startalign [n=1, align={left,left}] \NC \text{\it TransitiveClosure}(R) ≜ \NR \NC \quad \bgroup \setupinterlinespace [line=1ex] \startalign [n=2, align={left,left,left}, location=top] \NC \text{\sc let} \quad \NC \bgroup \setupinterlinespace [line=1ex] \startalign [n=1, align={left,left}, location=top] \NC \text{\it Dom} ≜ \lbr r[1]: r ∈ R \rbr \NR \NC \text{\it Rng} ≜ \lbr r[2]: r ∈ R \rbr \NR \NC \text{\it TC}[i ∈ ℕ] ≜ \NR \NC \quad \bgroup \setupinterlinespace [line=1ex] \startalign [n=1, align={left,left}, location=top] \NC \text{\sc if}\ i = 0\ \bgroup \setupinterlinespace [line=1ex] \startalign [n=2, align={left,left,left}, location=top] \NC \text{\sc then}\ \NC R \NR \NC \text{\sc else}\ \NC \bgroup \setupinterlinespace [line=1ex] \startalign [n=1, align={left,left}, location=top] \NC \lbr 〈d, e 〉∈ \text{\it Dom} × \text{\it Rng}: \NR \NC \quad \∃ c ∈ \text{\it Dom} ∩ \text{\it Rng}: \bgroup \setupinterlinespace [line=1ex] \startalign [n=1, align={left,left}, location=top] \NC ∧ 〈d, c〉∈ \text{\it TC}[i-1] \NR \NC ∧ 〈c, e〉∈ R \,\rbr \NR \stopalign \egroup \NR \stopalign \egroup \NR \stopalign \egroup \NR \stopalign \egroup \NR \stopalign \egroup \NR \NC \text{\sc in}\ \NC \text{\sc union}\ \lbr \text{\it TC}[i] : i ∈ ℕ \rbr \NR \stopalign \egroup \NR \stopalign \egroup \stopformula \stopplaceformula \stopdocument ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The command $ context --luatex transitive_reduction.tex produces the desired result, but $ context transitive_reduction.tex rejects the alignments and centers the lines instead. Can anyone suggest how I might adapt such nesting of alignments to luametatex?