cut/paste vs batch vs pipe -- inconsistent results

They should operate the same way, unless one of them
is doing case changing.  e.g. PLUS is not the same as plus
in one version, somehow.  I don't know enough about the
command interface vs. batch interface to say more.

At least that's my best guess.  Try converting the whole
file to upper case (yech, but try it..)


steve@horne.homelinux.net wrote:
> I am trying to use "let" rules to manipulate
> limits of integrals.
>
>
> 
>