[Om3] calculus function difference application

[Jan Willem Knopper]

Dear CD editors,

There is an elementary calculus symbol I would like to use in my formula
editor, and I would like to know whether it has been considered in the
past for inclusion in OpenMath, and if not, whether it might be useful
to include it in the future. It is not currently present in content
MathML.

In calculus with definite integration one often writes:

\int^b_a f'(x)dx = [f(x)]^b_a = f(b)-f(a)

Semantically the right form means, for a lambda function lambda
x.f(x), and an interval1.interval [a,b], the difference of the
application in b and a : f(b)-f(a). 

To show the binding x, it might be better to write [f(x)]^b_{x=a},
although this might be confusing for some.

This is used in highschool here (and also used for example in
http://en.wikipedia.org/wiki/Integration_by_parts) and I would like to
be able to express it in OpenMath. I could not find such a symbol in the
calculus CDs (or in any other CD).

Any comments on this would be appreciated,

Jan Willem Knopper
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 195 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20080922/da284c3a/attachment.pgp