convert unique base to equation display

diff --git a/article.tex b/article.tex
index 3538cc827b48e7bb1fadb5d83eb5df7bd5aa5c39..703f4d23c510f31f01a49a7938531d8bbcb6f1f3 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -96,7 +96,7 @@ i.e. all $\le$-maximal commits in $\pancs{C}{\set P}$.
 
 \[ C \has D \implies C \ge D \tag*{\mbox{No replay:}} \]
 
-Unique base: \[ \mathop{\forall}_{C \in \py} \pends{C}{\pn} = \{ B \} \]
+\[ \mathop{\forall}_{C \in \py} \pends{C}{\pn} = \{ B \} \tag*{\mbox{Unique base:}} \]
 
 \section{Test more symbols}