W3C home > Mailing lists > Public > www-math@w3.org > July 2000

Content markups, EBNF & DTD

From: Gérald QUINTANA <quintana@lyon.objectif.fr>
Date: Tue, 11 Jul 2000 17:46:26 +0200
Message-ID: <006e01bfeb4f$2c525440$16e46ac1@lyon.objectif.fr>
To: <www-math@w3.org>
Hi,

The EBNF ( http://www.w3.org/TR/REC-MathML/appendixE.html ) definition of
MathML content markups seems to be far more detailed and precise than the
DTD ( http://www.w3.org/TR/REC-MathML/appendixA.html ). What do you think of
this ? Is it normal ?

For example for the definition of "apply"
*  In the DTD:
<!ATTLIST apply   %att-globalatts;     >
... and ...
<!ENTITY % Content "%ctoken; | %cspecial;  | %cother;  | %csemantics;
                    |%cconstructor; | %cquantifier;
                    |%cop1ary; |%cop2ary; |%copnary; |%copmisc;
                    |%crel2ary; |%crelnary;" >

<!ENTITY % ContentExpression   "(%Content; | %PresInCont;)* "     >

<!ELEMENT apply      (%ContentExpression;)   >

* In the EBNF grammar:
apply           ::= _sg(apply) _applybody _eg(apply)
_applybody      ::= ( _unaryop _mmlarg  )
                                | (_binaryop _mmlarg _mmlarg)
                                | (_naryop _mmlarg*)
                                | (_naryop bvar* condition _mmlarg)
                                | (_ispop  bvar? _ispdomain? _mmlarg)
                                | (_diffop bvar* _mmlarg)
                                | (log logbase? _mmlarg)
                                | (moment degree? _mmlarg*)
                                | (root degree? _mmlarg)
                                | (limit bvar* lowlimit? condition? _mmlarg)
                                | (_logicopquant bvar+ condition? (reln |
apply))

What's the best newsgroup to post MathML related questions (with or without
Mozilla) ?

Thanks for your help,
Gerald.

________________________________
Gérald QUINTANA
  gerald.quintana@ecl2000.ec-lyon.fr
  http://www.multimania.com/gquintana
Received on Tuesday, 11 July 2000 11:45:15 GMT

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