doc: fix typo

diff --git a/doc/implementation.tex b/doc/implementation.tex
index 98a159f..cec0874 100644 (file)
--- a/doc/implementation.tex
+++ b/doc/implementation.tex
@@ -365,7 +365,7 @@ A_3 \vec x + B_3 \vec s + \vec c_3 \geq \vec 0
 such that for each row $j$ and for all $\vec s$,
 $$
 \Delta_i'(\vec s) \cap
-\{\, \vec x' \to \vec y' \mid B_{3,j} \vec s + c_{3,j} > 0 \,\}
+\{\, \vec \delta' \mid B_{3,j} \vec s + c_{3,j} > 0 \,\}
 = \emptyset
 $$
 \item positive mixed constraints
@@ -375,7 +375,7 @@ $$
 such that for each row $j$, there is at least one $\vec s$ such that
 $$
 \Delta_i'(\vec s) \cap
-\{\, \vec x' \to \vec y' \mid B_{4,j} \vec s + c_{4,j} > 0 \,\}
+\{\, \vec \delta' \mid B_{4,j} \vec s + c_{4,j} > 0 \,\}
 \ne \emptyset
 $$
 \end{enumerate}