From: J.Fine <J.Fine@open.ac.uk>

Date: Mon, 2 Nov 2009 10:21:07 +0000

To: 'mozer' <xmlizer@gmail.com>

CC: "'www-math@w3.org'" <www-math@w3.org>

Message-ID: <A969C9F865F27B428A8E60E39D3CED152013F8F76F@KIELDERCMS1.open.ac.uk>

Date: Mon, 2 Nov 2009 10:21:07 +0000

To: 'mozer' <xmlizer@gmail.com>

CC: "'www-math@w3.org'" <www-math@w3.org>

Message-ID: <A969C9F865F27B428A8E60E39D3CED152013F8F76F@KIELDERCMS1.open.ac.uk>

Well, with Python I don't have to do that --- $ python Python 2.5.2 (r252:60911, Dec 2 2008, 09:26:14) [GCC 3.4.4 (cygming special, gdc 0.12, using dmd 0.125)] on cygwin Type "help", "copyright", "credits" or "license" for more information. >>> 1 < 2 <= 3 True >>> --- It is common for mathematicians to write A < B = C < D for complicated expressions A, B, C, D. So this seems to be something lacking in MathML (and present in Python). Jonathan > -----Original Message----- > From: mozer [mailto:xmlizer@gmail.com] > Sent: 02 November 2009 09:42 > To: J.Fine > Cc: www-math@w3.org > Subject: Re: How do you encode "a < b = c" in content MathML? > > Probably with TWO assertions > Something like > > A = b = c > A = b > b = c > > a < b < c > a < b > b < c > > a < b = c > a < b > b = c > > > On Mon, Nov 2, 2009 at 10:30 AM, J.Fine <J.Fine@open.ac.uk> wrote: > > Perhaps you'll tell me to read the manual, but I wondered: How do you > encode > > A = b = c > > a < b < c > > a < b = c > > etc in content MathML? > > > > In fact, I had a look at the manual and the closest I could find is > > http://www.w3.org/TR/2009/WD-MathML3- > 20090924/chapter4.html#contm.nary.reln > > > > > > > > Jonathan > > > > > > The Open University is incorporated by Royal Charter (RC 000391), an > exempt charity in England & Wales and a charity registered in Scotland (SC > 038302). > > > > The Open University is incorporated by Royal Charter (RC 000391), an exempt charity in England & Wales and a charity registered in Scotland (SC 038302).Received on Monday, 2 November 2009 10:22:21 UTC

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