strategy: define W in Notation

[topbloke-formulae.git] / merge.tex

diff --git a/merge.tex b/merge.tex
index e62282073f7d109da371696ff8fc37dfc1c58320..ba7f0f84962b25b5da791f7508388de2c7e87124 100644 (file)
--- a/merge.tex
+++ b/merge.tex
@@ -354,3 +354,4 @@ Other possibilities for $L \in \pn$ are excluded by Base Merge.
 
 If $L \in \foreign$: not applicable for $L$; nor for $R$, by Foreign Merge.
 
+$\qed$