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}