From 7bd82b57975bbc1ff5b87fed0739815c620ecdcc Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 11 Jun 2009 21:51:23 +0000
Subject: 	* algebra/: Remove quotes from operator namaes in signatures.

---
 src/algebra/naalgc.spad.pamphlet | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/algebra/naalgc.spad.pamphlet')

diff --git a/src/algebra/naalgc.spad.pamphlet b/src/algebra/naalgc.spad.pamphlet
index cae5d5ea..9593ca63 100644
--- a/src/algebra/naalgc.spad.pamphlet
+++ b/src/algebra/naalgc.spad.pamphlet
@@ -28,7 +28,7 @@
 ++  with a binary operation.
 Monad(): Category == SetCategory with
     --operations
-      "*": (%,%) -> %
+      *: (%,%) -> %
         ++ a*b is the product of \spad{a} and b in a set with
         ++ a binary operation.
       rightPower: (%,PositiveInteger) -> %
@@ -39,7 +39,7 @@ Monad(): Category == SetCategory with
         ++ leftPower(a,n) returns the \spad{n}-th left power of \spad{a},
         ++ i.e. \spad{leftPower(a,n) := a * leftPower(a,n-1)} and
         ++ \spad{leftPower(a,1) := a}.
-      "**": (%,PositiveInteger) -> %
+      **: (%,PositiveInteger) -> %
         ++ a**n returns the \spad{n}-th power of \spad{a},
         ++ defined by repeated squaring.
     add
-- 
cgit v1.2.3