foreign notation: change \bot to \foreign everywhere

[topbloke-formulae.git] / pseudomerge.tex

diff --git a/pseudomerge.tex b/pseudomerge.tex
index 1e9422c447b6f143837553c40a9afefe2cfeeed4..d884be84896b2ded5681bf2026f093c8f45db009 100644 (file)
--- a/pseudomerge.tex
+++ b/pseudomerge.tex
@@ -25,7 +25,7 @@ but whose contents are exactly those of $L$.
 }\]
 
 \[ \eqn{ Foreign Unaffected }{
- \bigforall_{ D \text{ s.t. } \patchof{D} = \bot }
+ \bigforall_{ D \text{ s.t. } \patchof{D} = \foreign }
   \left[ \bigexists_{A \in \set A} D \le A \right]
    \implies
   D \le L
@@ -34,7 +34,7 @@ but whose contents are exactly those of $L$.
 
 \subsection{Lemma: Foreign Identical}
 
-$\patchof{D} = \bot \implies \big[ D \le C \equiv D \le L \big]$.
+$\patchof{D} = \foreign \implies \big[ D \le C \equiv D \le L \big]$.
 
 \proof{
 If $D \le L$, trivially $D \le C$; so conversely