From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 14:37:47 +0000 (+0000)
Subject: add missing []
X-Git-Tag: f0.2~56
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=fdef305ee960acf0c492160291ea6e26459c714e;p=topbloke-formulae.git

add missing []
---

diff --git a/article.tex b/article.tex
index 3efe2f2..bb050ae 100644
--- a/article.tex
+++ b/article.tex
@@ -549,7 +549,7 @@ Ingredients Prevent Replay applies.  $\qed$
 
 \subsection{Unique Base}
 
-Trivially, $\pendsof{C}{\pqn} = \{B\}$ so $\baseof{C} = B$.
+Trivially, $\pendsof{C}{\pqn} = \{B\}$ so $\baseof{C} = B$.  $\qed$
 
 \subsection{Tip Contents}