aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/mappkg.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/mappkg.spad.pamphlet')
-rw-r--r--src/algebra/mappkg.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/mappkg.spad.pamphlet b/src/algebra/mappkg.spad.pamphlet
index 133f28fe..17f1dab3 100644
--- a/src/algebra/mappkg.spad.pamphlet
+++ b/src/algebra/mappkg.spad.pamphlet
@@ -112,7 +112,7 @@ MappingPackage1(A:SetCategory): MPcat == MPdef where
id: A -> A
++\spad{id x} is \spad{x}.
- "**": (A->A, NNI) -> (A->A)
+ **: (A->A, NNI) -> (A->A)
++\spad{f**n} is the function which is the n-fold application
++ of \spad{f}.
@@ -220,7 +220,7 @@ MappingPackage3(A:SetCategory, B:SetCategory, C:SetCategory):_
++\spad{twist(f)} is the function \spad{g}
++ such that \spad{g (a,b)= f(b,a)}.
- "*": (B->C, A->B) -> (A->C)
+ *: (B->C, A->B) -> (A->C)
++\spad{f*g} is the function \spad{h}
++ such that \spad{h x= f(g x)}.