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/outform.spad.pamphlet | 38 +++++++++++++++++++-------------------
 1 file changed, 19 insertions(+), 19 deletions(-)

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

diff --git a/src/algebra/outform.spad.pamphlet b/src/algebra/outform.spad.pamphlet
index fff28e68..a1993fcb 100644
--- a/src/algebra/outform.spad.pamphlet
+++ b/src/algebra/outform.spad.pamphlet
@@ -431,43 +431,43 @@ OutputForm(): SetCategory with
           ++ blankSeparate(l) creates the form separating the elements of l
           ++ by blanks.
         --% Specific applications
-        "=":     (%, %) -> %
+        =:     (%, %) -> %
           ++ f = g creates the equivalent infix form.
-        "~=":    (%, %) -> %
+        ~=:    (%, %) -> %
           ++ f ~= g creates the equivalent infix form.
-        "<":     (%, %) -> %
+        <:     (%, %) -> %
           ++ f < g creates the equivalent infix form.
-        ">":     (%, %) -> %
+        >:     (%, %) -> %
           ++ f > g creates the equivalent infix form.
-        "<=":    (%, %) -> %
+        <=:    (%, %) -> %
           ++ f <= g creates the equivalent infix form.
-        ">=":    (%, %) -> %
+        >=:    (%, %) -> %
           ++ f >= g creates the equivalent infix form.
-        "+":     (%, %) -> %
+        +:     (%, %) -> %
           ++ f + g creates the equivalent infix form.
-        "-":     (%, %) -> %
+        -:     (%, %) -> %
           ++ f - g creates the equivalent infix form.
-        "-":     (%)    -> %
+        -:     (%)    -> %
           ++ - f creates the equivalent prefix form.
-        "*":     (%, %) -> %
+        *:     (%, %) -> %
           ++ f * g creates the equivalent infix form.
-        "/":     (%, %) -> %
+        /:     (%, %) -> %
           ++ f / g creates the equivalent infix form.
-        "**":    (%, %) -> %
+        **:    (%, %) -> %
           ++ f ** g creates the equivalent infix form.
-        "div":   (%, %) -> %
+        div:   (%, %) -> %
           ++ f div g creates the equivalent infix form.
-        "rem":   (%, %) -> %
+        rem:   (%, %) -> %
           ++ f rem g creates the equivalent infix form.
-        "quo":   (%, %) -> %
+        quo:   (%, %) -> %
           ++ f quo g creates the equivalent infix form.
-        "exquo": (%, %) -> %
+        exquo: (%, %) -> %
           ++ exquo(f,g) creates the equivalent infix form.
-        "and":   (%, %) -> %
+        and:   (%, %) -> %
           ++ f and g creates the equivalent infix form.
-        "or":    (%, %) -> %
+        or:    (%, %) -> %
           ++ f or g creates the equivalent infix form.
-        "not":   (%)    -> %
+        not:   (%)    -> %
           ++ not f creates the equivalent prefix form.
         SEGMENT: (%,%)  -> %
           ++ SEGMENT(x,y) creates the infix form: \spad{x..y}.
-- 
cgit v1.2.3