[Om] Om Digest, Vol 143, Issue 8

[David Carlisle]

On 05/06/2018 09:30, Richard Kaye wrote:
> binding(B,v1..vn,C)
> 
> can only have a symbol B in this position (and presumably the same: not
> attributed)

No B and C can be any openmath object which is what it says in 2.1.3 of 
the spec and also the  relax schema, which allows "omel" as the first 
child of OMBIND (which is the same as the first (all) arguments of OMA.

OMBIND = element OMBIND { compound.attributes, omel, OMBVAR, omel }

David

Disclaimer

The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses and malware, and may have been automatically archived by Mimecast Ltd, an innovator in Software as a Service (SaaS) for business. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om/attachments/20180606/6c8862a7/attachment.html>