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
pgpiYTTct7D5s.pgp
Description: PGP signature
_______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
