Update to MathML DTD
David Carlisle <davidc <at> nag.co.uk>
2003-11-04 13:25:09 GMT
I have updated the MathML 2 DTD available from
http://www.w3.org/Math/DTD
This update is generated from the XML sources used to generate the
recent MathML 2 second edition recommendation, and so brings the dtd
into line with chapter 6 and appendix A of that Recommendation.
To update off line copies, the gzipped tar file,
http://www.w3.org/Math/DTD/mathml2.tgz
should have all the necessary files
At the end of this message is a diff of the xhtml+mathml dtd,
differences to the mathml dtd, and the individual entity files
will clearly be appropriate subsets of this.
The documentation at
http://www.w3.org/Math/characters
has been similarly regenerated.
David
Index: xhtml-math11-f.dtd
===================================================================
RCS file: /w3ccvs/WWW/Math/DTD/mathml2/xhtml-math11-f.dtd,v
retrieving revision 1.15
diff -r1.15 xhtml-math11-f.dtd
5468,5472d5467
< <![%MathMLstrict;[
< <!ATTLIST %menclose.qname;
< %MATHML.Common.attrib;
< notation ( longdiv | actuarial | radical ) 'longdiv' >
< ]]>
5510a5506,5507
> %att-height;
> %att-depth;
7562c7559
< <!ENTITY nsubE "⫅̸" ><!--/nsubseteqq N: not subset, dbl eq -->
---
> <!ENTITY nsubE "⫅̸" ><!--/nsubseteqq N: not subset, dbl eq -->
7565c7562
< <!ENTITY nsupE "⫆̸" ><!--/nsupseteqq N: not superset, dbl eq -->
---
> <!ENTITY nsupE "⫆̸" ><!--/nsupseteqq N: not superset, dbl eq -->
7640a7638
> <!ENTITY bbrktbrk "⎶" ><!--bottom above top square bracket -->
7672a7671
> <!ENTITY trpezium "�" ><!--trapezium -->
7831a7831
> <!ENTITY sfrown "⌢" ><!--/smallfrown R: small down curve -->
7845a7846
> <!ENTITY ssmile "⌣" ><!--/smallsmile R: small up curve -->
7859c7860
< <!ENTITY suphsol "⊅" ><!--superset, solidus -->
---
> <!ENTITY suphsol "⊃/" ><!--superset, solidus -->
7867a7869
> <!ENTITY thksim "∼" ><!--/thicksim R: thick similar -->
7914,7915c7916,7917
< <!ENTITY epsi "ε" ><!--/straightepsilon, small epsilon, Greek -->
< <!ENTITY epsiv "ɛ" ><!--/varepsilon -->
---
> <!ENTITY epsi "ϵ" ><!--/straightepsilon, small epsilon, Greek -->
> <!ENTITY epsiv "ε" ><!--/varepsilon -->
8192,8193d8193
< <!ENTITY % plane1D "&#38;#x1D">
<
8230c8230
< <!ENTITY DotDot "⃜" ><!--four dots above -->
---
> <!ENTITY DotDot " ⃜" ><!--four dots above -->
8233a8234
> <!ENTITY elinters "�" ><!--electrical intersection -->
8238a8240
> <!ENTITY fltns "▱" ><!--flatness -->
8246c8248
< <!ENTITY imped "%plane1D;543;" ><!--impedance -->
---
> <!ENTITY imped "Ƶ" ><!--impedance -->
8247a8250
> <!ENTITY infintie "⧝" ><!--tie, infinity -->
8279a8283
> <!ENTITY notinE "⋹̸" ><!--negated set membership, two horizontal strokes -->
8331a8336
> <!ENTITY strns "¯" ><!--straightness -->
8336c8341
< <!ENTITY tdot "⃛" ><!--three dots above -->
---
> <!ENTITY tdot " ⃛" ><!--three dots above -->
9082c9087
< <!ENTITY DownBreve "̑" ><!--breve, inverted (non-spacing) -->
---
> <!ENTITY DownBreve " ̑" ><!--breve, inverted (non-spacing) -->
9164c9169
< <!ENTITY UnderBar "̲" ><!--combining low line -->
---
> <!ENTITY UnderBar " ̲" ><!--combining low line -->
9547c9552
< <!ENTITY nsubseteqq "⫅̸" ><!--alias ISOAMSN nsubE -->
---
> <!ENTITY nsubseteqq "⫅̸" ><!--alias ISOAMSN nsubE -->
9552c9557
< <!ENTITY nsupseteqq "⫆̸" ><!--alias ISOAMSN nsupE -->
---
> <!ENTITY nsupseteqq "⫆̸" ><!--alias ISOAMSN nsupE -->
9650c9655
< <!ENTITY straightepsilon "ε" ><!--alias ISOGRK3 epsi -->
---
> <!ENTITY straightepsilon "ϵ" ><!--alias ISOGRK3 epsi -->
9700c9705
< <!ENTITY TripleDot "⃛" ><!--alias ISOTECH tdot -->
---
> <!ENTITY TripleDot " ⃛" ><!--alias ISOTECH tdot -->
9723c9728
< <!ENTITY varepsilon "ɛ" ><!--alias ISOGRK3 epsiv -->
---
> <!ENTITY varepsilon "ε" ><!--alias ISOGRK3 epsiv -->
9799c9804
< Pepping on www-math list) 2003-05-22
---
> Pepping on www-math list) 2003-05-22
9802c9807,9809
< Pepping on www-math list) 2003-05-22
---
> Pepping on www-math list) 2003-05-22
> David Carlisle
> Removed restricted menclose notation checking from MathMLstrict 2003-09-08
9821,9822d9827
<
<
________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________