From 3cc3c13f76a610502166a3f79deb0654987228c9 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Mon, 27 May 2024 21:49:35 +0200
Subject: [PATCH] fixed symbenc 0001

---
 symbolic_encoding/0001.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/symbolic_encoding/0001.tex b/symbolic_encoding/0001.tex
index b6db9ee..9d44116 100644
--- a/symbolic_encoding/0001.tex
+++ b/symbolic_encoding/0001.tex
@@ -2,5 +2,5 @@
 \begin{itemize}[itemsep=-0.9em, leftmargin=0.8em]
 \item $S = \{s_1, s_2, s_3, s_4\}, $\\
 \item $S_0 = \{s_2\}, $\\
-\item $R = \{\{s_1, s_2\}, \{s_1, s_1\}, \{s_2, s_4\}, \{s_2, s_3\}, \{s_3, s_1\}, \{s_4, s_2\}, \{s_4, s_3\}\}, $
+\item $R = \{(s_1, s_2), (s_1, s_1), (s_2, s_4), (s_2, s_3), (s_3, s_1), (s_4, s_2), (s_4, s_3)\}, $
 \end{itemize}