Re: negate and sections

[Zhanyong Wan]

"Jeffrey R. Lewis" wrote:

> Jan Skibinski wrote:
>
> > On Thu, 1 Jun 2000, Jeffrey R. Lewis wrote:
> >
> > > No so, of course.  (- x) means `negate x'.  Bummer.  What an unpleasant bit of
> > > asymmetry!
> >
> >         How about ((-) x) ?
>
> That, regrettably, is the wrong function.  That function is \y -> x - y.  I wanted
> \y -> y - x.

How about (+ -x) ?

-- Zhanyong