X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=create-tip.tex;h=382cd0c69a516e431b51289e421398ac3cb9a33e;hp=3e8876021c23c08b0d46c5b7a86d8378a428c38a;hb=c497f56e8a7f09c4c328bd7560631d8773b7e676;hpb=6fb34df9c3b69dadfead7027667e2db17e7b4004 diff --git a/create-tip.tex b/create-tip.tex index 3e88760..382cd0c 100644 --- a/create-tip.tex +++ b/create-tip.tex @@ -68,6 +68,10 @@ and $D \le C \equiv D \le B$. $\qed$ +\subsection{Unique Tips:} + +Single Parent Unique Tips applies. $\qed$ + \subsection{Foreign Inclusion} Simple Foreign Inclusion applies. $\qed$