W3C home > Mailing lists > Public > www-math@w3.org > October 1999

How to extend MathML?; was RE: LeftRightArrow equivalence operator?

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>
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 GMT

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