X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=create-tip.tex;fp=create-tip.tex;h=3e8876021c23c08b0d46c5b7a86d8378a428c38a;hp=076f866a78424ebbad651657712cc5364ab3f96a;hb=6fb34df9c3b69dadfead7027667e2db17e7b4004;hpb=8382189875aa969a251efc900a568a09e7b64c02

diff --git a/create-tip.tex b/create-tip.tex
index 076f866..3e88760 100644
--- a/create-tip.tex
+++ b/create-tip.tex
@@ -1,11 +1,11 @@
 \section{Create Tip}
 
 Given a Topbloke base $B$ for a patch $\pq$,
-create a tip branch initial commit B.
+create a tip branch initial commit $C$.
 \gathbegin
  C \hasparents \{ B \}
 \gathnext
- \patchof{B} = \pqy
+ \patchof{C} = \pqy
 \gathnext
  D \isin C \equiv D \isin B \lor D = C
 \end{gather}