Source

psgml-dtds / etc / xhtml1-transitional-mathml.dtd

<!-- $Id -->
<!-- DTD for XHTML 1.0 extended by MathML -->
<!-- David Carlisle -->

<!-- XHTML -->
<!ENTITY % xhtml 
   PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
   SYSTEM "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" >



<!ENTITY % mathml SYSTEM "mathml.dtd">


<!-- add MathML to HTML Content model -->
<!ENTITY % misc "ins | del | script | noscript | math">


<!-- load XHTML and MathML -->
%xhtml;
%mathml;

<!-- minimalist OpenMath DTD -->

<!ELEMENT OMA (OMA |OMS | OMV |OMI)* >
<!ELEMENT OMS EMPTY >
<!ELEMENT OMV EMPTY >
<!ELEMENT OMI (#PCDATA) >
<!ATTLIST OMS name CDATA #IMPLIED>
<!ATTLIST OMS cd CDATA #IMPLIED>
<!ATTLIST OMS xref CDATA #IMPLIED>
<!ATTLIST OMV xref CDATA #IMPLIED>
<!ATTLIST OMA xref CDATA #IMPLIED>
<!ATTLIST OMA xmlns CDATA #IMPLIED>
<!ATTLIST OMV name CDATA #IMPLIED>
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.