[Om3] calculus function difference application

[Professor James Davenport]

On Mon, 22 Sep 2008, Jan Willem Knopper wrote:
> Professor James Davenport wrote:
> > A good question.
> Thank you for your quick reply,
> ...
> > Presumably what you want is something like
> > <OMA>
> >   <OMBIND>
> >     <OMS name="eval_difference" cd="calculus2"/>
> >     <!-- hypothetical symbol -->
> >     <OMBVAR>
> >       <OMV name="x"/>
> >     </OMBVAR>
> >     <OMV name="f"/>
> >   </OMBIND>
> >   <OMV name="a"/>
> >   <OMV name="b"/>
> > </OMA>
> > 
> > Is this correct?
> This was what I am looking for. 
> 
> In this case it is easier to make a good default context-free
> notation/display (no conflicts with calculations with lambda functions)
> and it is easier to parse (only a single OMBIND, and easy to check if an
> expression is in this form).
> 
Michael is currently looking at various issue sof binding etc. with 
calculus-like operators, but once that converges, I will add "something 
like" this to the list. Though it's not intrinsically calculus, because of 
the use it probably belongs there in practice, as Chris was implying.
James