diff --git a/cool2tatl/cool2tatl.sh b/cool2tatl/cool2tatl.sh
index cfbe03fdca8badc3e65a04e37755cdef5e963f47..a8e14ff84a7d95c07e179c76c01c8a69ec822060 100755
--- a/cool2tatl/cool2tatl.sh
+++ b/cool2tatl/cool2tatl.sh
@@ -10,10 +10,10 @@ cat \
 	| sed 's:\&:/\\:g' \
 	| sed 's:=>:->:g' \
 	| sed 's:|:\\/:g' \
-	| sed 's:\[{[ ]*:<<:g' \
-	| sed 's:[ ]*}\]:>>X :g' \
-	| sed 's:<{[ ]*:~<<:g' \
-	| sed 's:[ ]*}>:>>X ~:g' \
+	| sed 's:\[{[ ]*:~<<:g' \
+	| sed 's:[ ]*}\]:>>X ~:g' \
+	| sed 's:<{[ ]*:<<:g' \
+	| sed 's:[ ]*}>:>>X :g' \
 	| sed -e :a -e 's:<<\([^ >]*\) [ ]*:<<\1,:g;ta' \
 	| sed 's,^,(,' \
 	| sed 's:$:) /\\ <<'"$aglist"'>>X(p \\/ ~p):'