fixed two typos

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@15516 1434b563-b632-4741-aa49-43a3a8374d2e

org.rodinp.handbook.feature/latex/reference-03.tex

@@ -683,7 +683,7 @@ The following reference subsections will have the form the form: \\[2em]
     $\exprs\cprod \exprt$ denotes the set of pairs where the first element is a member of $\exprs$ and
     second element is a member of $\exprt$.
   \rrdef
-    $\exprs\cprod \exprt \defi \{~x\mapsto y~|~x\in \exprs\land y\in Y~\}$
+    $\exprs\cprod \exprt \defi \{~x\mapsto y~|~x\in \exprs\land y\in \exprt~\}$
   \rrtypes
     $\expre\mapsto\exprf\in\alpha\cprod\beta$ with $\expre\in\alpha$ and $\exprf\in\beta$.\\
     $\exprs\cprod \exprt\in\pow(\alpha\cprod\beta)$ with $\exprs\in\pow(\alpha)$ and $\exprt\in\pow(\beta)$.
@@ -716,7 +716,7 @@ The following reference subsections will have the form the form: \\[2em]
   \rrdef
     $\exprs \rel \exprt \defi \pow(\exprs\cprod \exprt)$\\
     $\exprs \trel \exprt \defi \{~r~|~r\in \exprs\rel \exprt\land \dom(r) = \exprs~\}$\\
-    $\exprs \srel \exprt \defi \{~r~|~r\in \exprs\rel \exprt\land \ran(r) = \exprs~\}$\\
+    $\exprs \srel \exprt \defi \{~r~|~r\in \exprs\rel \exprt\land \ran(r) = \exprt~\}$\\
     $\exprs \strel \exprt \defi (\exprs \trel \exprt) \land (\exprs \srel \exprt)$
   \rrtypes
     For $\exprs\in\pow(\alpha)$ and $\exprt\in\pow(\beta)$