W3C home > Mailing lists > Public > www-math@w3.org > April 2000

Re: comments re draft version 2.0

From: Stan Devitt <jsdevitt@radicalflow.com>
Date: Tue, 11 Apr 2000 23:21:00 -0400
Message-ID: <010901bfa42e$20a37f60$6561a8c0@devitt.local>
To: "William F. Hammond" <hammond@csc.albany.edu>, <hutch@psfc.mit.edu>
Cc: <www-math@w3.org>

----- 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
Received on Tuesday, 11 April 2000 23:18:46 UTC

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