X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;ds=sidebyside;f=create-base.tex;h=e564623868465dc31ec2739dcc54f3d7b7bd3d43;hb=5860d628a539a0cf1b5d2f540d715291261ec2c0;hp=b429e40b931681edfdefe822de1429a7f00ae37c;hpb=7dc335c17ae313c006e2283a35ca214b213ffcd9;p=topbloke-formulae.git

diff --git a/create-base.tex b/create-base.tex
index b429e40..e564623 100644
--- 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$.
 
-$\qed$.
+$\qed$
 
 \subsection{Foreign Inclusion}