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 57e9b4c9f54c3ba39bede6bf4cb47caaf2d751d1..143a371bf839fe36d10121588fa4bef340e85027 100644 (file)
@@ -83,4 +83,4 @@ Not applicable.
 \subsection{Bases' Children}
 
 Trivial, by Ingredients.
-
+$\qed$