An embedded and charset-unspecified text was scrubbed... Name: not available Url: http://openmath.org/pipermail/om/attachments/20120508/ea72c458/attachment.txt