David,as a guy having supported authors to write QMath markup that writes OpenMath, I promise that thinking in terms of lambda is a torture so accepting that more lambdas are natural is, to me, wrong. I sure know QMath may have been enhanced to avoid it but it is not that easy at all!
paul Le 23-mars-09 à 14:33, David Carlisle a écrit :
So I don't think this is really a problem in practice, so long as there is a well definedmechanism to go from what is meant to what must be encoded in OpenMath,adding a few suchthat and lambda symbols at the same time as adding the XML markup is just "stuff" which needs to be done but shouldn't affect the way you think or talk about or teach the original expression.
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
