   (make-context base-set base-set =))
 
 (defn adiag-context
-  "Returns $\\neq$ on base-set as context."
+  "Returns not= on base-set as context."
   [base-set]
   (make-context base-set base-set not=))
 
 (defn context-sum
   "Computes the context sum of ctx-1 and ctx-2, that is
-  \\begin{multline}
-    (G_1,M_1,I_1) + (G_2,M_2,I_2) := \\\\
-      (G_1\\cup G_2, M_1\\cup M_2, I_1\\cup I_2
-      \\cup (G_1\\times M_2) \\cup (G_2\\times M_1)
-  \\end{multline}
+
+    (G_1,M_1,I_1) + (G_2,M_2,I_2) :=
+      (G_1 dunion G_2, M_1 dunion M_2, I_1 dunion I_2
+       dunion (G_1 x M_2) dunion (G_2 x M_1))
+
   where all set unions are disjoint set unions."
   [ctx-1 ctx-2]
   (let [new-objs (union (set-of [g_1 1] [g_1 (objects ctx-1)])


(defn context-subposition
  "Returns context subposition of ctx-1 and ctx-2, that is
  \\[
     \\frac{(G_1,M_1,I_1)}{(G_2,M_1,I_2)} := (G_1\\cup G_2,M_1,I_1\\cup I_2).
  \\]"
  [ctx-1 ctx-2]
  (if (not= (attributes ctx-1) (attributes ctx-2))
    (illegal-argument "Cannot do context subposition, since attribute sets are not equal."))


(defn context-apposition
  "Returns context apposition of ctx-1 and ctx-2, that is

   (G_1,M_1,I_1) | (G_1,M_2,I_2) := (G_1,M_1 dunion M_2,I_1 dunion I_2).
  "
  [ctx-1 ctx-2]
  (if (not= (objects ctx-1) (objects ctx-2))
    (illegal-argument "Cannot do context apposition, since object sets are not equal."))
