some alternative formulations of \merge

diff --git a/article.tex b/article.tex
index 1735ffc75a9c72b194b2d0a7bcb09ef86c633048..71e09608bcb95d8147f06340e81461a70437cdd3 100644 (file)
--- 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}