[Prev][Next][Index][Thread]

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:

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

where the definition identified by "extendedPowerDefinition" would extend
the
standard definition with a specific signature for [operator,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>
     <apply><csymbol definitionURL="composition">@</csymbol>
        <ci>D</ci><ci>D</ci>
     </apply>
     <ci>y<ci>
</apply>

The capability seems to be present.

Stan Devitt




References: