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: 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