W3C home > Mailing lists > Public > www-math@w3.org > March 2006

Re: Mathematical selection

From: Paul Libbrecht <paul@activemath.org>
Date: Thu, 30 Mar 2006 21:23:17 +0200
Message-ID: <442C3025.4060509@activemath.org>
To: Neil Soiffer <neils@dessci.com>
Cc: Public MathML mailing list <www-math@w3.org>


let's try to be realistic and consider the classical dual operator 
generally written as "*".
This one is out of the operator dictionary hence needs a special 
notation-configuration right ?
Or has there been an entity defined for this ?

paul
PS: that was K-12 for me and I suppose some others.


Neil Soiffer wrote:
> It is true that "*" (or &InvisibleTimes;) and "+" can have any 
> meaning, airity, grouping, or precedence the author desires.  However, 
> in the "real world", people don't do that because everyone knows their 
> relative precedences, knows that they are binary operators, etc.,  and 
> using them in a different way would just confuse people.  I like to 
> think of it as mathematical Darwinism :-)
>  
> The point of the operator dictionary was to save implementers time in 
> figuring out the default relative precedences, airity, and display 
> properties of operators.  The dictionary needs updating (it didn't get 
> updated for Unicode 3.2's massive additions), but is still useful.
>  
> Even if the MathML that was generated didn't include mrows, there is 
> nothing in the spec that says that an application that allows 
> selection can't implicitly add mrows so that the selection is 
> restricted to mathematically sensible subtrees... assuming that is 
> desirable.
>  
>  
>  
> Neil Soiffer
> Senior Scientist
> Design Science, Inc.
> neils@dessci.com <mailto:neils@dessci.com>
> www.dessci.com <http://www.dessci.com>
> ~ Makers of Equation Editor, MathType, MathPlayer and MathFlow ~
Received on Thursday, 30 March 2006 19:23:30 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:58 GMT