[Om3] Om3 Digest, Vol 18, Issue 5

[Paul Libbrecht]

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 defined
> mechanism 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.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2203 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20090323/ac94c589/attachment.bin