notation: we have defined \setmerge now

[topbloke-formulae.git] / ranking.tex

diff --git a/ranking.tex b/ranking.tex
index c5aa008dd9fe893607a6d58be207c6180b42b2ce..1dfb63a3d183031eb95989fa0d08c5c6e1898295 100644 (file)
--- a/ranking.tex
+++ b/ranking.tex
@@ -64,8 +64,6 @@ $$
   }
 $$
 
-TODO define $\setmerge$
-
 \item Finalise our putative direct dependencies
 $
 \Gamma \assign g(\pc, \Gamma)