chiark / gitweb /
a wrapper for gather
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 13:58:57 +0000 (13:58 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 13:58:57 +0000 (13:58 +0000)
article.tex

index 32164de..ad68c2c 100644 (file)
@@ -63,6 +63,9 @@
 \newcommand{\qed}{\square}
 \newcommand{\proof}[1]{{\it Proof.} #1 $\qed$}
 
+\newcommand{\gathbegin}{\begin{gather} \tag*{}}
+\newcommand{\gathnext}{\\ \tag*{}}
+
 \begin{document}
 
 \section{Notation}
@@ -215,12 +218,15 @@ by the LHS.  And $A \le A''$.
 \section{Commit annotation}
 
 We annotate each Topbloke commit $C$ with:
-\begin{gather}
-\tag*{} \patchof{C} \\
-\tag*{} \baseof{C}, \text{ if } C \in \py \\
-\tag*{} \bigforall_{\pa{Q}} 
-        \text{ either } C \haspatch \pa{Q} \text{ or } C \nothaspatch \pa{Q} \\
-\tag*{} \bigforall_{\pay{Q} \not\ni C} \pendsof{C}{\pay{Q}}
+\gathbegin
+ \patchof{C}
+\gathnext
+ \baseof{C}, \text{ if } C \in \py
+\gathnext
+ \bigforall_{\pa{Q}} 
+   \text{ either } C \haspatch \pa{Q} \text{ or } C \nothaspatch \pa{Q}
+\gathnext
+ \bigforall_{\pay{Q} \not\ni C} \pendsof{C}{\pay{Q}}
 \end{gather}
 
 We do not annotate $\pendsof{C}{\py}$ for $C \in \py$.  Doing so would