W3C home > Mailing lists > Public > www-math@w3.org > October 2012

Re: MathML 3.0 conflict with <apply>

From: David Carlisle <davidc@nag.co.uk>
Date: Tue, 02 Oct 2012 00:48:34 +0100
Message-ID: <506A2BD2.6030101@nag.co.uk>
To: Jim Michaels <jmichae3@yahoo.com>
CC: "www-math@w3.org" <www-math@w3.org>
On 02/10/2012 00:36, Jim Michaels wrote:
> http://www.w3.org/TR/MathML3/chapter4.html#contm.apply
> http://www.w3.org/TR/MathML3/chapter4.html#contm.bind.apply
> can you explain these two differing instances? if document needs to
> be corrected, please correct and hopefully get back tome,or I will
> just wait for an update. thanks.

The sections that you refer to try to explain the two usages.
In particular the second one says

> Use of the apply element to bind variables is allowed in two
> situations. First, when the operator to be applied is itself a
> binding operator, the apply element merely substitutes for the bind
> element

This use of <apply> as a synonym for <bind> where the usage is
determined by the context is mainly for compatibility with MathML2
(which didn't have a bind element). It is very rarely ambiguous in
practice, if the <apply> use introduces a bound variable with bvar then
it is really a binding. However in MathML3 we introduced the new bind
element for this use to make the distinction between binding and
application more explicit, however <apply> is still valid for
compatibility (and for ease of authoring in some contexts where
mathematical precision is hard to enforce).

Received on Monday, 1 October 2012 23:48:58 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:45 UTC