remove spurious .

[topbloke-formulae.git] / create-base.tex

diff --git a/create-base.tex b/create-base.tex
index b429e40b931681edfdefe822de1429a7f00ae37c..e564623868465dc31ec2739dcc54f3d7b7bd3d43 100644 (file)
--- a/create-base.tex
+++ b/create-base.tex
@@ -44,7 +44,7 @@ and $D \le B \equiv D \le L$.
 Thus $L \haspatch \p \implies B \haspatch P$
 and $L \nothaspatch \p \implies B \nothaspatch P$.
 
 Thus $L \haspatch \p \implies B \haspatch P$
 and $L \nothaspatch \p \implies B \nothaspatch P$.
 

-$\qed$.
+$\qed$

 
 \subsection{Foreign Inclusion}
 
 
 \subsection{Foreign Inclusion}