Clarification that R in the G&S notation represents a range, based on advice from @shahrr3

Lectures/L08_MathematicsForMIS/MathematicsForMIS.tex

@@ -303,8 +303,8 @@ $\rightarrow$, $\leftrightarrow$
 \item Bound variables appear in the scope of the quantifier
 \item Free variables are not bound to any quantifier
 \item Free variables in an expression often mean that we cannot determine the truth value of the expression
-\item Gries and Schneider use the following notation $(\forall x: t | R : P)$ where $R$ is a predicate and $P$ is a
-predicate
+\item Gries and Schneider use the following notation $(\forall x: t | R : P)$
+  where $R$ is a predicate (for the range) and $P$ is a predicate
 \item $\forall$ is applied to the values $P$ for all $x$ in $t$ for which range $R$ is true
 \end{itemize}
 \end{frame}