chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
foreign notation: change \bot to \foreign everywhere
[topbloke-formulae.git]
/
notation.tex
diff --git
a/notation.tex
b/notation.tex
index bee8eff2615d1937d73e44f305921410f392306b..bae94bbafa3534d093f2846ddcb005855340b893 100644
(file)
--- a/
notation.tex
+++ b/
notation.tex
@@
-38,7
+38,7
@@
Arbitrary sets of commits. Maybe $\set P = \p$ i.e.\ some $\py$ or $\pn$, but
maybe not.
\item[ $ \patchof{ C } $ ]
-Either $\p$ s.t. $ C \in \p $, or $\
bot
$.
+Either $\p$ s.t. $ C \in \p $, or $\
foreign
$.
A function from commits to patches' sets $\p$.
\item[ $ \pancsof{C}{\set P} $ ]