From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 1 Mar 2012 13:58:57 +0000 (+0000)
Subject: a wrapper for gather
X-Git-Tag: f0.2~181
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=1bd4718fef57ea9276c2b38a27848b036d43963d;ds=sidebyside

a wrapper for gather
---

diff --git a/article.tex b/article.tex
index 32164de..ad68c2c 100644
--- a/article.tex
+++ b/article.tex
@@ -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