From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 7 Jul 2012 16:59:17 +0000 (+0100)
Subject: notation: we have defined \setmerge now
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=504314d4eb8beba3ea97850f02e89500bfd9b2bf;ds=sidebyside

notation: we have defined \setmerge now
---

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