strategy: notational fix

diff --git a/strategy.tex b/strategy.tex
index 1e8ee0156f5846bec3d54e4852396c703c432564..c870cfbcfe4f77ecf430531d585f51712146076f 100644 (file)
--- a/strategy.tex
+++ b/strategy.tex
@@ -74,7 +74,7 @@ All the input commits to the update algorithm.  (See below.)
 The topmost patch which we are trying to update.  This and
 all of its dependencies will be updated.
 
 The topmost patch which we are trying to update.  This and
 all of its dependencies will be updated.
 

-\item[ $h : \pc^{+/-} \mapsto \set H_{\pc^{+/-}}$ ]
+\item[ $h : \pc^{+/-} \mapsto \set H^{\pc^{+/-}}$ ]

 Function for getting the existing heads $\set H$ of the branch $\pc^{+/-}$.
 These are the heads which will be merged and used in this update.
 This will include the current local and remote git refs, as desired.
 Function for getting the existing heads $\set H$ of the branch $\pc^{+/-}$.
 These are the heads which will be merged and used in this update.
 This will include the current local and remote git refs, as desired.