chiark / gitweb /
create-tip: Add a $\qed$
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 18:56:21 +0000 (19:56 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 18:56:21 +0000 (19:56 +0100)
create-tip.tex

index 57e9b4c..143a371 100644 (file)
@@ -83,4 +83,4 @@ Not applicable.
 \subsection{Bases' Children}
 
 Trivial, by Ingredients.
-
+$\qed$