From 624f316755fce94880513a38b2f9f9308139d83c Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Wed, 21 Mar 2012 18:16:42 +0000 Subject: [PATCH] wip exclusive haspatch - reorder notation --- notation.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/notation.tex b/notation.tex index 04f8c2e..e5212fa 100644 --- a/notation.tex +++ b/notation.tex @@ -49,6 +49,10 @@ $ \pendsof{C}{\pn} = \{ \baseof{C} \} $ where $ C \in \py $. A partial function from commits to commits. See Unique Base, below. +\item[ $ C \nothaspatch \p $ ] +$\displaystyle \bigforall_{D \in \py} D \not\isin C $. +~ Informally, $C$ has none of the contents of $\p$. + \item[ $ C \zhaspatch \p $ ] $\displaystyle \bigforall_{D \in \py} D \isin C \equiv D \le C $. ~ Informally, $C$ has all the reachable contents of $\p$. @@ -57,10 +61,6 @@ $\displaystyle \bigforall_{D \in \py} D \isin C \equiv D \le C $. $\displaystyle C \zhaspatch \p \land \exists_{D \in \py} D \le C $. ~ Informally, $C$ nontrivially has all the reachable contents of $\p$. -\item[ $ C \nothaspatch \p $ ] -$\displaystyle \bigforall_{D \in \py} D \not\isin C $. -~ Informally, $C$ has none of the contents of $\p$. - Note that $\zhaspatch$ and $\nothaspatch$ are not mutually exclusive. $\haspatch$ and $\nothaspatch$ are. -- 2.30.2