From: Ian Jackson 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?a=commitdiff_plain;h=504314d4eb8beba3ea97850f02e89500bfd9b2bf;hp=504314d4eb8beba3ea97850f02e89500bfd9b2bf;p=topbloke-formulae.git notation: we have defined \setmerge now ---