From 1bd4718fef57ea9276c2b38a27848b036d43963d Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 1 Mar 2012 13:58:57 +0000
Subject: [PATCH] a wrapper for gather

---
 article.tex | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

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
-- 
2.30.2