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>

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: <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 DevittReceived 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
*