From: Hugh J. Devlin <devlinh@nwu.edu>

Date: Fri, 15 Oct 1999 17:29:42 -0500

To: "Robert Miner" <rminer@geomtech.com>

Cc: <www-math@w3.org>

Message-ID: <000201bf175c$c6698f20$cbba6981@devlin>

Date: Fri, 15 Oct 1999 17:29:42 -0500

To: "Robert Miner" <rminer@geomtech.com>

Cc: <www-math@w3.org>

Message-ID: <000201bf175c$c6698f20$cbba6981@devlin>

Hello, Can I follow up this question? Sorry if this is a FAQ, sorry I suspect this is an XML question and not a MathML question. I might as well 'fess up I added an equivalence operator by editting the MathML.dtd, adding a few lines in the vacinity of the definition of the implies operator, and it worked for me, but I'm not proud of myself. I'm guessing this approach will cause some to cringe. Is there a better way? The MathML spec says you guys expect folks working in a particular domain to extend MathML by using the XML entity "include" mechanism, and I'm doing that, too, but can I add an content mark-up operator to MathML using the XML entity "include" mechanism? Content expression is defined as a closed formula inside the MathML dtd. How do I sneak an operator in there without an edit? Thanks, Hugh > -----Original Message----- > From: Robert Miner [mailto:rminer@geomtech.com] > Sent: Saturday, October 09, 1999 7:43 PM > To: devlinh@nwu.edu > Cc: www-math@w3.org > Subject: Re: LeftRightArrow equivalence operator? > > Hi Hugh, > > > Thanks for your reply and for your work on MathML. > > Sorry if my question was not clear. > > I found the Unicode character and the MathML alias I was looking for, > > but I guess I was asking more about MathML, > > where's the content mark-up element for "equivalence", "biconditional"? > snip > > Your suggestion is a very good one. I agree. I should double check > before making a promise, but I am pretty confident that "equivalence" > is slated for addition as a content logic operator in the next > revision of the spec. >Received on Friday, 15 October 1999 18:30:45 UTC

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