From 34242eeff03e07900f75dc57542b23702a134251 Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Mon, 12 Aug 2013 15:48:51 +0000
Subject: [PATCH] Fixed bug #636: Copy'n Paste-error in the definition of range
restriction, S<->T is an abbreviation for POW(S**T), not POW(S<->T).
git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@15847 1434b563-b632-4741-aa49-43a3a8374d2e
---
org.rodinp.handbook.feature/latex/reference-03.tex | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/org.rodinp.handbook.feature/latex/reference-03.tex b/org.rodinp.handbook.feature/latex/reference-03.tex
index e6886de..83f7aae 100644
--- a/org.rodinp.handbook.feature/latex/reference-03.tex
+++ b/org.rodinp.handbook.feature/latex/reference-03.tex
@@ -707,7 +707,7 @@ The following reference subsections will have the form the form: \\[2em]
\rrdesc
$\exprs\rel \exprt$ is the set of relations between the two sets $\exprs$ and $\exprt$.
A relation consists of pairs where the first element is of $\exprs$ and the
- second of $\exprt$. $\exprs\rel \exprt$ is just an abbreviation for $\pow(\exprs\rel \exprt)$.
+ second of $\exprt$. $\exprs\rel \exprt$ is just an abbreviation for $\pow(\exprs\cprod\exprt)$.
A total relation is a relation which relates each element of $\exprs$ to at least one element of $\exprt$.
@@ -768,8 +768,8 @@ The following reference subsections will have the form the form: \\[2em]
\begin{rrnames}
$\domres$ & \texttt{<|} & Domain restriction\\
$\domsub$ & \texttt{<}\texttt{<|} & Domain subtraction\\
- $\domres$ & \texttt{|>} & Range restriction\\
- $\domsub$ & \texttt{|>>} & Range subtraction
+ $\ranres$ & \texttt{|>} & Range restriction\\
+ $\ransub$ & \texttt{|>>} & Range subtraction
\end{rrnames}
\begin{rodinrefentry}
\rrdesc
--
GitLab