Damit unser WWW-Server die Seite korrekt interpretiert, muss der header
der xml-Datei angepasst werden. Dazu werden die ersten vier Zeilen (bis zum
head-tag) durch
<?php header("Content-type: application/xhtml+xml");?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN"
"http://www.w3.org/TR/MathML2/dtd/xhtml-math11-f.dtd" [<!ENTITY mathml "http://www.w3.org/1998/Math/MathML">]>
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="de">
ersetzt. Das so entstandene Dokument erhält die Endung xhtml und
kann im Internet angeboten werden.