Re: comments re draft version 2.0

----- Original Message -----
From: William F. Hammond <hammond@csc.albany.edu>
To: <hutch@psfc.mit.edu>
Cc: <www-math@w3.org>
Sent: Tuesday, April 11, 2000 8:16 PM
Subject: Re: comments re draft version 2.0

> Ian Hutchinson writes:
> \declaremathsymbol{D}{operator}
> \declaremathsymbol{y}{function}

Note that in the current spec, you can write:

<declare type="operator"><ci>D</ci></declare>
<declare type="function"><ci>D</ci></declare>
<declare definitionURL="extendedPowerDefinition"><power/></declare>

where the definition identified by "extendedPowerDefinition" would extend
standard definition with a specific signature for [operator,operator] ->
and is a definition based on composition..

That signature is not currently part of the standard definition of power,
since    D^2 ( y )  could equally  well mean   D(y) * D(y)

Alternatively, you could write

     <apply><csymbol definitionURL="composition">@</csymbol>

The capability seems to be present.

Stan Devitt