Content markups, EBNF & DTD

To: <www-math@w3.org>
Subject: Content markups, EBNF & DTD
From: =?iso-8859-1?Q?G=E9rald_QUINTANA?= <quintana@lyon.objectif.fr>
Date: Tue, 11 Jul 2000 17:46:26 +0200
From www-math-request@tux.w3.org Tue Jul 11 11: 45:15 2000
Organization: Q-Labs Lyon
Reply-To: =?iso-8859-1?Q?G=E9rald_QUINTANA?= <quintana@lyon.objectif.fr>

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content=3D"text/html; charset=3Diso-8859-1" =
http-equiv=3DContent-Type>
<META content=3D"MSHTML 5.00.2919.6307" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>Hi,<BR><BR>The EBNF ( <A=20
href=3D"http://www.w3.org/TR/REC-MathML/appendixE.html">http://www.w3.org=
/TR/REC-MathML/appendixE.html</A>=20
) definition of<BR>MathML content markups seems to be far more detailed =
and=20
precise than the<BR>DTD ( <A=20
href=3D"http://www.w3.org/TR/REC-MathML/appendixA.html">http://www.w3.org=
/TR/REC-MathML/appendixA.html</A>=20
). What do you think of<BR>this ? Is it normal ?<BR><BR>For example for =
the=20
definition of "apply"<BR>*&nbsp; In the DTD:<BR>&lt;!ATTLIST =
apply&nbsp;&nbsp;=20
%att-globalatts;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<BR>... and =
...<BR>&lt;!ENTITY %=20
Content "%ctoken; | %cspecial;&nbsp; | %cother;&nbsp; |=20
%csemantics;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
|%cconstructor; |=20
%cquantifier;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
|%cop1ary; |%cop2ary; |%copnary;=20
|%copmisc;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp=
;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
|%crel2ary; |%crelnary;" &gt;<BR><BR>&lt;!ENTITY % =
ContentExpression&nbsp;&nbsp;=20
"(%Content; | %PresInCont;)* "&nbsp;&nbsp;&nbsp;&nbsp; =
&gt;<BR><BR>&lt;!ELEMENT=20
apply&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (%ContentExpression;)&nbsp;&nbsp;=20
&gt;<BR><BR>* In the EBNF=20
grammar:<BR>apply&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;=20
::=3D _sg(apply) _applybody =
_eg(apply)<BR>_applybody&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
::=3D ( _unaryop _mmlarg&nbsp;=20
)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
| (_binaryop _mmlarg=20
_mmlarg)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
| (_naryop=20
_mmlarg*)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
| (_naryop bvar* condition=20
_mmlarg)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
| (_ispop&nbsp; bvar? _ispdomain?=20
_mmlarg)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
| (_diffop bvar*=20
_mmlarg)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
| (log logbase?=20
_mmlarg)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
| (moment degree?=20
_mmlarg*)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
| (root degree?=20
_mmlarg)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
| (limit bvar* lowlimit? condition?=20
_mmlarg)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=20
| (_logicopquant bvar+ condition? (reln |<BR>apply))<BR><BR>What's the =
best=20
newsgroup to post MathML related questions (with or without<BR>Mozilla)=20
?<BR><BR>Thanks for your help,<BR>Gerald.<BR></FONT></DIV>
<DIV><FONT face=3DArial =
size=3D2>________________________________<BR>G=E9rald=20
QUINTANA<BR>&nbsp; <A=20
href=3D"mailto:gerald.quintana@ecl2000.ec-lyon.fr">gerald.quintana@ecl200=
0.ec-lyon.fr</A><BR>&nbsp;=20
<A=20
href=3D"http://www.multimania.com/gquintana">http://www.multimania.com/gq=
uintana</A></FONT></DIV></BODY></HTML>

Prev: Re: Content markups, piecewise functions, conditions
Next: Content markups, piecewise functions, conditions
Index: Message index of www-math@w3.org mailing list
Thread: Thread index of www-math@w3.org mailing list