add missing []

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 3efe2f28afecbb0a804a5fd83938b33c70819cd8..bb050ae6273ad9cba01131a4131c4b4ba75e1622 100644 (file)
--- 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}