MathML: use Core for XHTML, 3 for DocBook.

In a near future, this should rather be controlled by a user-visible parameter.

lib/scripts/lyxpreview2bitmap.py

@@ -425,6 +425,10 @@ def main(argv):
         if pdf_output:
             lilypond_book += " --pdf"
         lilypond_book += " --latex-program=%s" % latex.split()[0]
+        if pdf_output:
+            lilypond_book += " --lily-output-dir=ly-pdf"
+        else:
+            lilypond_book += " --lily-output-dir=ly-eps"
 
         # Make a copy of the latex file
         lytex_file = latex_file_re.sub(".lytex", latex_file)

src/mathed/InsetMathChar.cpp

@@ -236,14 +236,20 @@ void InsetMathChar::mathmlize(MathMLStream & ms) const
 {
 	std::string entity;
 	switch (char_) {
-		case '<': entity = "&lt;"; break;
-		case '>': entity = "&gt;"; break;
-		case '&': entity = "&amp;"; break;
-		case ' ': {
-			ms << from_ascii("&#0160;");
-			return;
+	case '<': entity = "&lt;"; break;
+	case '>': entity = "&gt;"; break;
+	case '&': entity = "&amp;"; break;
+	case '-':
+		if (ms.version() == MathMLStream::mathmlCore) {
+			// − U+2212 MINUS SIGN
+			entity = "&#x2212;";
 		}
-		default: break;
+		break;
+	case ' ': {
+		ms << from_ascii("&#0160;");
+		return;
+	}
+	default: break;
 	}
 
 	if (ms.inText()) {

src/mathed/InsetMathHull.cpp

@@ -2417,7 +2417,7 @@ void InsetMathHull::docbook(XMLStream & xs, OutputParams const & runparams) cons
 	}
 
 	odocstringstream osmath;
-	MathMLStream ms(osmath, mathmlNamespacePrefix);
+	MathMLStream ms(osmath, mathmlNamespacePrefix, MathMLStream::mathml3);
 
 	// Output the MathML subtree.
 	// TeX transcription. Avoid MTag/ETag so that there are no extraneous spaces.
@@ -2440,7 +2440,7 @@ void InsetMathHull::docbook(XMLStream & xs, OutputParams const & runparams) cons
 		// First, generate the MathML expression. If there is an error in the generation, this block is not fully
 		// executed, and the formula is not output to the DocBook stream.
 		odocstringstream ostmp;
-		MathMLStream mstmp(ostmp, ms.xmlns());
+		MathMLStream mstmp(ostmp, ms.xmlns(), ms.version());
 		mathmlize(mstmp);
 
 		// Choose the display style for the formula, to be output as an attribute near the formula root.
@@ -2651,7 +2651,7 @@ docstring InsetMathHull::xhtml(XMLStream & xs, OutputParams const & op) const
 	// FIXME Eventually we would like to do this inset by inset.
 	if (mathtype == BufferParams::MathML) {
 		odocstringstream os;
-		MathMLStream ms(os);
+		MathMLStream ms(os, "", MathMLStream::mathmlCore);
 		try {
 			mathmlize(ms);
 			success = true;

src/mathed/MathStream.cpp

@@ -288,8 +288,8 @@ TeXMathStream & operator<<(TeXMathStream & ws, unsigned int i)
 //////////////////////////////////////////////////////////////////////
 
 
-MathMLStream::MathMLStream(odocstream & os, std::string const & xmlns)
-	: os_(os), xmlns_(xmlns)
+MathMLStream::MathMLStream(odocstream & os, std::string const & xmlns, MathMLVersion version)
+	: os_(os), xmlns_(xmlns), version_(version)
 {
 	if (inText())
 		font_math_style_ = TEXT_STYLE;

src/mathed/MathStream.h

@@ -376,8 +376,15 @@ class MathExportException : public std::exception {};
 
 class MathMLStream {
 public:
-	/// Builds a stream proxy for os; the MathML namespace is given by xmlns (supposed to be already defined elsewhere in the document).
-	explicit MathMLStream(odocstream & os, std::string const & xmlns = "");
+	///
+	enum MathMLVersion {
+		mathml3,
+		mathmlCore
+	};
+
+	/// Builds a stream proxy for os; the MathML namespace is given by xmlns
+	/// (supposed to be already defined elsewhere in the document).
+	explicit MathMLStream(odocstream & os, std::string const & xmlns = "", MathMLVersion version = mathml3);
 	///
 	void cr();
 	/// Indentation when nesting tags
@@ -392,6 +399,8 @@ public:
 	bool inText() const { return text_level_ != nlevel; }
 	///
 	std::string xmlns() const { return xmlns_; }
+	///
+	MathMLVersion version() const { return version_; }
 	/// Returns the tag name prefixed by the name space if needed.
 	std::string namespacedTag(std::string const & tag) const {
 		return (xmlns().empty() ? "" : xmlns() + ":") + tag;
@@ -403,7 +412,7 @@ public:
 private:
 	/// Check whether it makes sense to start a <mtext>
 	void beforeText();
-	///Check whether there is a <mtext> to close here
+	/// Check whether there is a <mtext> to close here
 	void beforeTag();
 	///
 	odocstream & os_;
@@ -420,6 +429,8 @@ private:
 	odocstringstream deferred_;
 	///
 	std::string xmlns_;
+	///
+	MathMLVersion version_;
 	/// The only important part of a FontInfo object.
 	MathStyle font_math_style_;
 	///