minor change to tic tac toe spec

Tutorials/T11-FinalReview/document.tex

@@ -8,12 +8,12 @@
 \newcommand\tab[1][0.8cm]{\hspace*{#1}}
 
 \begin{document}
-	 \begin{eqnarray*}
-		\lefteqn{\forall (i, j: \mathbb{N} | 0 \leq i < 2 \wedge 0 \leq j < 2 :}\\
-		&& \exists(k, l: \mathbb{N} | 0 \leq k < 2 \wedge 0 \leq l < 2 \wedge (k \neq i \wedge l \neq j) : \\
-		&& \tab \exists(m, n: \mathbb{N} | 0 \leq m < 2 \wedge 0 \leq n < 2 
-			\wedge (m \neq k \wedge n \neq j) \\
-		&& \tab	\wedge  i - k  = -( i - m) \wedge  j - l  = -( j - n) ) : \\
-		&& \tab \tab board[i][j] = board[k][l] = board[m][n] )
-	\end{eqnarray*}
+     \begin{eqnarray*}
+	\lefteqn{\forall (i, j: \mathbb{N} | 0 \leq i < SIZE \wedge 0 \leq j < SIZE :}\\
+	&& \exists(k, l: \mathbb{N} | 0 \leq k < SIZE \wedge 0 \leq l < SIZE \wedge (k \neq i \wedge l \neq j) : \\
+	&& \tab \exists(m, n: \mathbb{N} | 0 \leq m < SIZE \wedge 0 \leq n < SIZE 
+	\wedge (m \neq k \wedge n \neq j) \\
+	&& \tab \wedge  i - k  = -( i - m) \wedge  j - l  = -( j - n) ) : \\
+	&& \tab \tab board[i][j] = board[k][l] = board[m][n] )
+\end{eqnarray*}
 \end{document}
\ No newline at end of file