From f37f5921918bb8b2af6f617844370ce3a7441992 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 7 Jul 2012 17:12:36 +0100
Subject: [PATCH] internal notation: break out \mergeof

---
 article.tex | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/article.tex b/article.tex
index 8cb19b2..12d7bbc 100644
--- a/article.tex
+++ b/article.tex
@@ -106,9 +106,12 @@
 \newcommand{\iassign}{\leftarrow}
 %\newcommand{\assign}{' =}
 
+\newcommand{\mergeof}[3]{\left\langle #1 \;\middle\langle #2 \middle\rangle\; #3 \right\rangle}
+
 \newcommand{\alg}[1]{\text{\bf #1}}
 \newcommand{\setmerge}{\alg{merge}}
-\newcommand{\setmergeof}[3]{\setmerge\left\langle #1 \;\middle\langle #2 \middle\rangle\; #3 \right\rangle}
+\newcommand{\setmergeof}[3]{\setmerge\mergeof{#1}{#2}{#3}}
+
 %\newcommand{\setmergeof}[3]{\setmerge\left\lgroup #1 \;\middle\lmoustache\; #2 \;\middle\rmoustache\; #3 \right\rgroup}
 %\newcommand{\setmergeof}[3]{\setmerge\left\rmoustache #1 \middle\rmoustache #2 \middle\lmoustache #3 \right\lmoustache}
 %\newcommand{\setmergeof}[3]{\setmerge\left\lfloor #1 \middle\lfloor #2 \middle\rfloor #3 \right\rfloor}
-- 
2.30.2