From f7c24d718e10f4673853f9495b57701a24d25e94 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 11 Mar 2012 08:58:18 +0000
Subject: [PATCH] some alternative formulations of \merge

---
 article.tex | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/article.tex b/article.tex
index 1735ffc..71e0960 100644
--- a/article.tex
+++ b/article.tex
@@ -168,6 +168,18 @@ $\displaystyle D \isin C \equiv
   \end{cases}
 $ 
 
+Some (overlapping) alternative formulations:
+
+$\displaystyle D \isin C \equiv
+  \begin{cases}
+    D \isin L \equiv D \isin R     : & D = C \lor D \isin L \\
+    D \isin L \equiv D \isin R     : & D = C \lor D \isin R \\
+    D \isin L \nequiv D \isin R  : & D = C \lor D \not\isin M \\
+    D \isin M \equiv D \isin L     : & D = C \lor D \isin R \\
+    D \isin M \equiv D \isin R     : & D = C \lor D \isin L \\
+  \end{cases}
+$
+
 \end{basedescript}
 \newpage
 \section{Invariants}
-- 
2.30.2