foreign notation: replace "D \text{ s.t. } \isforeign{D}" with "D \in \foreign"

[topbloke-formulae.git] / pseudomerge.tex

diff --git a/pseudomerge.tex b/pseudomerge.tex
index 9318c30cd6e4d72d21d6907631a0ec7ee16e6fe8..0decb5f023c73c701f4d940c0ffc28d923791f54 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. } \isforeign{D} }
+ \bigforall_{ D \in \foreign }
   \left[ \bigexists_{A \in \set A} D \le A \right]
    \implies
   D \le L