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/ore.spad.pamphlet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/algebra/ore.spad.pamphlet b/src/algebra/ore.spad.pamphlet
index 87268627..e026440c 100644
--- a/src/algebra/ore.spad.pamphlet
+++ b/src/algebra/ore.spad.pamphlet
@@ -52,7 +52,7 @@ UnivariateSkewPolynomialCategory(R:Ring):
           ++ given by \spad{x m = c sigma(m) + delta(m)}.
         if R has CommutativeRing then Algebra R
         if R has IntegralDomain then
-          "exquo": (%, R) -> Union(%, "failed")
+          exquo: (%, R) -> Union(%, "failed")
             ++ exquo(l, a) returns the exact quotient of l by a, 
             ++ returning \axiom{"failed"} if this is not possible.
           monicLeftDivide:   (%, %) -> Record(quotient: %, remainder: %)
-- 
cgit v1.2.3