\newcommand{\qed}{\square}
\newcommand{\proof}[1]{{\it Proof.} #1 $\qed$}
+\newcommand{\gathbegin}{\begin{gather} \tag*{}}
+\newcommand{\gathnext}{\\ \tag*{}}
+
\begin{document}
\section{Notation}
\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