diff -r ef432015fdee -r c0f9521900bf java/sql-dk/src/info/globalcode/sql/dk/formatting/XhtmlFormatter.java
--- a/java/sql-dk/src/info/globalcode/sql/dk/formatting/XhtmlFormatter.java	Sat Jan 04 23:27:17 2014 +0100
+++ b/java/sql-dk/src/info/globalcode/sql/dk/formatting/XhtmlFormatter.java	Sat Jan 04 23:39:38 2014 +0100
@@ -39,6 +39,7 @@
 public class XhtmlFormatter extends AbstractXmlFormatter {
 
 	public static final String NAME = "xhtml"; // bash-completion:formatter
+	private static final String DOCTYPE = "html PUBLIC \"-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN\" \"http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd\"";
 	private static final String CSS_FILE = "info/globalcode/sql/dk/formatter/XhtmlFormatter.css";
 	private int resultSetCounter = 0;
 	private int updatesResultCounter = 0;
@@ -61,6 +62,7 @@
 	public void writeStartBatch() {
 		super.writeStartBatch();
 		printStartDocument();
+		printDoctype(DOCTYPE);
 		Map<QName, String> attributes = new HashMap<>(1);
 		attributes.put(qname("xmlns"), Xmlns.XHTML);
 		printStartElement(qname("html"), attributes);