From 9ad96b436e0c1ddc5c4fb5074c588644e88c0bae Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Thu, 12 Jul 2012 23:57:57 +0100 Subject: [PATCH] notation: fixes from annotations --- notation.tex | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/notation.tex b/notation.tex index 82a2e64..19cf243 100644 --- a/notation.tex +++ b/notation.tex @@ -31,20 +31,20 @@ are respectively the base and tip git branches. $\p$ may be used where the context requires a set, in which case the statement is to be taken as applying to both $\py$ and $\pn$. All of these sets will be disjoint by construction -(see Invariants, below). Hence: +(see Invariants, below). \item[ $\foreign$ ] The set of all commits which are not part of a Topbloke branch. We -call these foreign commits. - -\item[ $\set A$, $\set P$, $\ldots$ ] -Arbitrary sets of commits. Maybe $\set P = \p$ i.e.\ some $\py$ or $\pn$, but -maybe not. +call these foreign commits. Hence: \item[ $ \patchof{ C } $ ] Either $\p$ s.t. $ C \in \p $, or $\foreign$. A function from commits to patches' sets $\p$. +\item[ $\set A$, $\set P$, $\ldots$ ] +Arbitrary sets of commits. Maybe $\set P = \p$ i.e.\ some $\py$ or $\pn$, but +maybe not. + \item[ $ \pancsof{C}{\set P} $ ] $ \{ A \; | \; A \le C \land A \in \set P \} $ i.e. all the ancestors of $C$ -- 2.30.2