diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
commit | 7bd82b57975bbc1ff5b87fed0739815c620ecdcc (patch) | |
tree | 4cf4d2b4af144e87a86cc1ac2f85a5f4148cb8fb /src/algebra/outform.spad.pamphlet | |
parent | fb75980589a0611aee3b8e5e25408725a5c5a531 (diff) | |
download | open-axiom-7bd82b57975bbc1ff5b87fed0739815c620ecdcc.tar.gz |
* algebra/: Remove quotes from operator namaes in signatures.
Diffstat (limited to 'src/algebra/outform.spad.pamphlet')
-rw-r--r-- | src/algebra/outform.spad.pamphlet | 38 |
1 files changed, 19 insertions, 19 deletions
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}. |