formatting fix

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index be6d4759945ccdbfacbe46ab9527357abb874df4..4c5f6751682c83a13e478fdb11d64496abd1bd22 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -248,12 +248,12 @@ by the LHS.  And $A \le A''$.
 \[ \eqn{Calculation Of Ends:}{
   \bigforall_{C \hasparents \set A}
     \pendsof{C}{\set P} =
 \[ \eqn{Calculation Of Ends:}{
   \bigforall_{C \hasparents \set A}
     \pendsof{C}{\set P} =

-       \Bigl\{ E \Big|
+       \left\{ E \Big|

            \Bigl[ \Largeexists_{A \in \set A} 
                        E \in \pendsof{A}{\set P} \Bigr] \land
            \Bigl[ \Largenexists_{B \in \set A} 
                        E \neq B \land E \le B \Bigr]
            \Bigl[ \Largeexists_{A \in \set A} 
                        E \in \pendsof{A}{\set P} \Bigr] \land
            \Bigl[ \Largenexists_{B \in \set A} 
                        E \neq B \land E \le B \Bigr]

-       \Bigr\}
+       \right\}

 }\]
 XXX proof TBD.
 
 }\]
 XXX proof TBD.
 


@@ -449,9 +449,9 @@ Merge commits $L$ and $R$ using merge base $M$ ($M < L, M < R$):
    \end{cases}
 }\]
 
    \end{cases}
 }\]
 

-\subsection{Merge Results}
+\subsection{No Replay}

 
 

-As above.
+See No Replay for Merge Results.

 
 \subsection{Unique Base}
 
 
 \subsection{Unique Base}