From: David Carlisle <davidc@nag.co.uk>

Date: Fri, 31 Mar 2000 19:14:42 GMT

Message-Id: <200003311914.TAA24592@nag.co.uk>

To: strotman@nu.cs.fsu.edu

CC: www-math@w3.org

Date: Fri, 31 Mar 2000 19:14:42 GMT

Message-Id: <200003311914.TAA24592@nag.co.uk>

To: strotman@nu.cs.fsu.edu

CC: www-math@w3.org

Andreas, I'll just answer the easier questions, I am sure one of my colleagues will step in later for the harder ones:-) > -- 4.4.2.7 Shouldn't we have the basic sets in MathML (N,Z,Q,R,C)??? > As it stands, the default rendering for examples as given in the > recommendation is incorrect since nothing allows the renderer to infer > that R stands for the reals. > They are added this time, in 4.4.12 http://www.w3.org/TR/2000/WD-MathML2-20000328/chapter4.html#contm:reals but the example in 4.4.2.7 does need updating ti use <reals/> it is true, thanks. > -- 4.4.6.1 It's useful to mix condition elements and arguments in sets, > as in {x\in N | x < 5} where x\in N is best seen as a <condition> and > x<5 best seen as an <apply> argument. (The same is true for lists, 4.4.6.2.) > actually it's useful to _force_ that your variable ranges over an existing set (N here) as that way you avoid Russell's Paradox, but MathML doesn't force this (in general it doesn't prevent the construction of meaningless or false expressions) so in MML it does appear that one would write this as {x |x\in N and x < 5} which probably isn't to bad, as syntaxes go. (There was an extension/change to the set syntax discussed earlier on this list to allow things like {x^2 |x\in N and x < 5} that change didn't get described this draft but (I think) there was broad agreement that something along those lines could be added. DavidReceived on Friday, 31 March 2000 13:15:33 UTC

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