diff --git a/org.rodinp.handbook.feature/latex/reference-03.tex b/org.rodinp.handbook.feature/latex/reference-03.tex
index 1f54367e9a0ee7547d81cdcaa63e2ab25ae693a1..e6886dedd4d20d62e029224c6da7f4c99381e3fa 100644
--- a/org.rodinp.handbook.feature/latex/reference-03.tex
+++ b/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)$