From 7d498a2db452023c9590560953fbf8fef7955dd9 Mon Sep 17 00:00:00 2001 From: Daniel Plagge <plagge@cs.uni-duesseldorf.de> Date: Tue, 12 Mar 2013 11:51:24 +0000 Subject: [PATCH] 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 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/org.rodinp.handbook.feature/latex/reference-03.tex b/org.rodinp.handbook.feature/latex/reference-03.tex index 1f54367..e6886de 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)$ -- GitLab