www

commit 8bff74ca09bb68fa48a0be217e1f97ec3e25a6da
parent f05ff9c5fafd86c4a7a86d05343ae77287d56f1a
Author: Martin von Gagern <gagern@ma.tum.de>
Date:   Tue,  7 Jul 2015 00:24:40 +0200

Change group type of array from inner to ord

This is a consequence of Rule 8 of Appendix G of The Tex Book.

Diffstat:
M
src/buildHTML.js
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/buildHTML.js b/src/buildHTML.js
@@ -44,7 +44,7 @@ var groupToType = {
     close: "mclose",
     inner: "minner",
     genfrac: "mord",
-    array: "minner",
+    array: "mord",
     spacing: "mord",
     punct: "mpunct",
     ordgroup: "mord",
@@ -616,7 +616,7 @@ var groupTypes = {
             }
         }
         body = makeSpan(["mtable"], cols);
-        return makeSpan(["minner"], [body], options.getColor());
+        return makeSpan(["mord"], [body], options.getColor());
     },
 
     spacing: function(group, options, prev) {