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.
_______________________________________________
Om mailing list
[email protected]
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om
