From 740adccbd7f1d3bc9e6ac8e68311a247808d3f31 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 25 Mar 2010 16:21:08 +0100
Subject: [PATCH] doc: fix transitive closure example

---
 doc/implementation.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/implementation.tex b/doc/implementation.tex
index 87d8e58..338ec07 100644
--- a/doc/implementation.tex
+++ b/doc/implementation.tex
@@ -548,7 +548,9 @@ $$
 R_1 \cup R_2
 \right)^+
 =
-R_2^+ \circ R_1^+
+\left(R_2^+ \circ R_1^+\right)
+\cup R_1^+
+\cup R_2^+
 .
 $$
 \end{example}
-- 
2.7.4