From 8bff74ca09bb68fa48a0be217e1f97ec3e25a6da Mon Sep 17 00:00:00 2001 From: Martin von Gagern Date: Tue, 7 Jul 2015 00:24:40 +0200 Subject: [PATCH] Change group type of array from inner to ord This is a consequence of Rule 8 of Appendix G of The Tex Book. --- src/buildHTML.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/buildHTML.js b/src/buildHTML.js index 6040c4a..9890325 100644 --- 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) {