chiark / gitweb /
remove spurious .
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Mar 2012 22:40:45 +0000 (22:40 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Mar 2012 22:40:45 +0000 (22:40 +0000)
create-base.tex

index b429e40..e564623 100644 (file)
@@ -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}