From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 11 Mar 2012 08:58:18 +0000 (+0000)
Subject: some alternative formulations of \merge
X-Git-Tag: f0.2~113
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=f7c24d718e10f4673853f9495b57701a24d25e94

some alternative formulations of \merge
---

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}