temml 0.11.0 → 0.11.2

package/dist/temmlPostProcess.js

@@ -11,7 +11,7 @@
    * https://mit-license.org/
    */
 
-  const version = "0.11.00";
+  const version = "0.11.02";
 
   function postProcess(block) {
     const labelMap = {};
@@ -72,6 +72,7 @@
       mtext.appendChild(document.createTextNode(str));
       const math =  document.createElementNS("http://www.w3.org/1998/Math/MathML", "math");
       math.appendChild(mtext);
+      ref.textContent = '';
       ref.appendChild(math);
     });
   }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "temml",
-  "version": "0.11.00",
+  "version": "0.11.02",
   "description": "TeX to MathML conversion in JavaScript.",
   "main": "dist/temml.js",
   "engines": {

package/src/ParseError.js

@@ -27,7 +27,7 @@ class ParseError {
       if (start === input.length) {
         error += " at end of input: ";
       } else {
-        error += " at position " + (start + 1) + ": ";
+        error += " at position " + (start + 1) + ": \n";
       }
 
       // Underline token in question using combining underscores

package/src/Parser.js

@@ -17,6 +17,7 @@ import unicodeSymbols from /*preval*/ "./unicodeSymbols";
 
 const binLeftCancellers = ["bin", "op", "open", "punct", "rel"];
 const sizeRegEx = /([-+]?) *(\d+(?:\.\d*)?|\.\d+) *([a-z]{2})/
+const textRegEx = /^ *\\text/
 
 /**
  * This file contains the parser used to parse out a TeX expression from the
@@ -926,7 +927,12 @@ export default class Parser {
           family,
           loc,
           text
-        };
+        }
+        if ((family === "rel" || family === "bin") && this.prevAtomType === "text") {
+          if (textRegEx.test(loc.lexer.input.slice(loc.end))) {
+            s.needsSpacing = true  // Fix a MathML bug.
+          }
+        }
       } else {
         if (asciiFromScript[text]) {
           // Unicode 14 disambiguates chancery from roundhand.

package/src/environments/array.js

@@ -1,5 +1,6 @@
 import defineEnvironment from "../defineEnvironment";
 import { parseCD } from "./cd";
+import { bordermatrixParseTree } from "./borderTree.js"
 import defineFunction from "../defineFunction";
 import mathMLTree from "../mathMLTree";
 import { Span } from "../domTree"
@@ -103,6 +104,7 @@ function parseArray(
 },
   scriptLevel
 ) {
+  const endToken = envClasses && envClasses.includes("bordermatrix") ? "}" : "\\end"
   parser.gullet.beginGroup();
   if (!singleRow) {
     // \cr is equivalent to \\ without the optional size argument (see below)
@@ -176,7 +178,7 @@ function parseArray(
         }
       }
       parser.consume();
-    } else if (next === "\\end") {
+    } else if (next === endToken) {
       endRow()
       // Arrays terminate newlines with `\crcr` which consumes a `\cr` if
       // the last line is empty.  However, AMS environments keep the
@@ -213,7 +215,7 @@ function parseArray(
       body.push(row);
       beginRow();
     } else {
-      throw new ParseError("Expected & or \\\\ or \\cr or \\end", parser.nextToken);
+      throw new ParseError("Expected & or \\\\ or \\cr or " + endToken, parser.nextToken);
     }
   }
 
@@ -346,23 +348,44 @@ const mathmlBuilder = function(group, style) {
         })
       }
     }
-    tbl.push(mtr);
+
+    // Check for \hphantom \from \bordermatrix
+    let mustSquashRow = true
+    for (let j = 0; j < mtr.children.length; j++) {
+      const child = mtr.children[j].children[0];
+      if (!(child && child.type === "mpadded" && child.attributes.height === "0px")) {
+        mustSquashRow = false
+        break
+      }
+    }
+    if (mustSquashRow) {
+      // All the cell contents are \hphantom. Squash the padding.
+      for (let j = 0; j < mtr.children.length; j++) {
+        mtr.children[j].style.paddingTop = "0"
+        mtr.children[j].style.paddingBottom = "0"
+      }
+    }
+
+    tbl.push(mtr)
   }
 
-  if (group.envClasses.length > 0) {
-    if (group.arraystretch && group.arraystretch !== 1) {
-      // In LaTeX, \arraystretch is a factor applied to a 12pt strut height.
-      // It defines a baseline to baseline distance.
-      // Here, we do an approximation of that approach.
-      const pad = String(1.4 * group.arraystretch - 0.8) + "ex"
-      for (let i = 0; i < tbl.length; i++) {
-        for (let j = 0; j < tbl[i].children.length; j++) {
-          tbl[i].children[j].style.paddingTop = pad
-          tbl[i].children[j].style.paddingBottom = pad
-        }
+  if (group.arraystretch && group.arraystretch !== 1) {
+    // In LaTeX, \arraystretch is a factor applied to a 12pt strut height.
+    // It defines a baseline to baseline distance.
+    // Here, we do an approximation of that approach.
+    const pad = String(1.4 * group.arraystretch - 0.8) + "ex"
+    for (let i = 0; i < tbl.length; i++) {
+      for (let j = 0; j < tbl[i].children.length; j++) {
+        tbl[i].children[j].style.paddingTop = pad
+        tbl[i].children[j].style.paddingBottom = pad
       }
     }
-    let sidePadding = group.envClasses.includes("abut")
+  }
+
+  let sidePadding
+  let sidePadUnit
+  if (group.envClasses.length > 0) {
+    sidePadding = group.envClasses.includes("abut")
       ? "0"
       : group.envClasses.includes("cases")
       ? "0"
@@ -371,13 +394,14 @@ const mathmlBuilder = function(group, style) {
       : group.envClasses.includes("cd")
       ? "0.25"
       : "0.4" // default side padding
-    let sidePadUnit = "em"
-    if (group.arraycolsep) {
-      const arraySidePad = calculateSize(group.arraycolsep, style)
-      sidePadding = arraySidePad.number.toFixed(4)
-      sidePadUnit = arraySidePad.unit
-    }
-
+    sidePadUnit = "em"
+  }
+  if (group.arraycolsep) {
+    const arraySidePad = calculateSize(group.arraycolsep, style)
+    sidePadding = arraySidePad.number.toFixed(4)
+    sidePadUnit = arraySidePad.unit
+  }
+  if (sidePadding) {
     const numCols = tbl.length === 0 ? 0 : tbl[0].children.length
 
     const sidePad = (j, hand) => {
@@ -399,7 +423,18 @@ const mathmlBuilder = function(group, style) {
         tbl[i].children[j].style.paddingRight = `${sidePad(j, 1)}${sidePadUnit}`
       }
     }
+  }
+  if (group.envClasses.length === 0) {
+    // Set zero padding on side of the matrix
+    for (let i = 0; i < tbl.length; i++) {
+      tbl[i].children[0].style.paddingLeft = "0em"
+      if (tbl[i].children.length === tbl[0].children.length) {
+        tbl[i].children[tbl[i].children.length - 1].style.paddingRight = "0em"
+      }
+    }
+  }
 
+  if (group.envClasses.length > 0) {
     // Justification
     const align = group.envClasses.includes("align") || group.envClasses.includes("alignat")
     for (let i = 0; i < tbl.length; i++) {
@@ -425,14 +460,6 @@ const mathmlBuilder = function(group, style) {
         }
       }
     }
-  } else {
-    // Set zero padding on side of the matrix
-    for (let i = 0; i < tbl.length; i++) {
-      tbl[i].children[0].style.paddingLeft = "0em"
-      if (tbl[i].children.length === tbl[0].children.length) {
-        tbl[i].children[tbl[i].children.length - 1].style.paddingRight = "0em"
-      }
-    }
   }
 
   let table = new mathMLTree.MathNode("mtable", tbl)
@@ -672,7 +699,7 @@ defineEnvironment({
   mathmlBuilder
 });
 
-// The matrix environments of amsmath builds on the array environment
+// The matrix environments of amsmath build on the array environment
 // of LaTeX, which is discussed above.
 // The mathtools package adds starred versions of the same environments.
 // These have an optional argument to choose left|center|right justification.
@@ -732,6 +759,10 @@ defineEnvironment({
     const res = parseArray(context.parser, payload, "text")
     res.cols = new Array(res.body[0].length).fill({ type: "align", align: colAlign })
     const [arraystretch, arraycolsep] = arrayGaps(context.parser.gullet.macros)
+    res.arraystretch = arraystretch
+    if (arraycolsep && !(arraycolsep === 6 && arraycolsep === "pt")) {
+      res.arraycolsep = arraycolsep
+    }
     return delimiters
       ? {
         type: "leftright",
@@ -739,15 +770,31 @@ defineEnvironment({
         body: [res],
         left: delimiters[0],
         right: delimiters[1],
-        rightColor: undefined, // \right uninfluenced by \color in array
-        arraystretch,
-        arraycolsep
+        rightColor: undefined // \right uninfluenced by \color in array
       }
       : res;
   },
   mathmlBuilder
 });
 
+defineEnvironment({
+  type: "array",
+  names: ["bordermatrix"],
+  props: {
+    numArgs: 0
+  },
+  handler(context) {
+    const payload = { cols: [], envClasses: ["bordermatrix"] }
+    const res = parseArray(context.parser, payload, "text")
+    res.cols = new Array(res.body[0].length).fill({ type: "align", align: "c" })
+    res.envClasses = [];
+    res.arraystretch = 1
+    if (context.envName === "matrix") { return res}
+    return bordermatrixParseTree(res, context.delimiters)
+  },
+  mathmlBuilder
+});
+
 defineEnvironment({
   type: "array",
   names: ["smallmatrix"],

package/src/environments/borderTree.js

@@ -0,0 +1,139 @@
+
+const ordGroup = (body) => {
+  return {
+    "type": "ordgroup",
+    "mode": "math",
+    "body": body,
+    "semisimple": true
+  }
+}
+
+const phantom = (body, type) => {
+  return {
+    "type": type,
+    "mode": "math",
+    "body": ordGroup(body)
+  }
+}
+
+/*
+ * A helper for \bordermatrix.
+ * parseArray() has parsed the tokens as if the environment
+ * was \begin{matrix}. That parse tree is this function’s input.
+ * Here, we rearrange the parse tree to get one that will
+ * result in TeX \bordermatrix.
+ * The final result includes a {pmatrix}, which is the bottom
+ * half of a <mover> element. The top of the <mover> contains
+ * the \bordermatrix headings. The top section also contains the
+ * contents of the bottom {pmatrix}. Those elements are hidden via
+ * \hphantom, but they ensure that column widths are the same top and
+ * bottom.
+ *
+ * We also create a left {matrix} with a single column that contains
+ * elements shifted out of the matrix. The left {matrix} also
+ * contains \vphantom copies of the other {pmatrix} elements.
+ * As before, this ensures consistent row heights of left and main.
+ */
+
+export const bordermatrixParseTree = (matrix, delimiters) => {
+  const body = matrix.body
+  body[0].shift() // dispose of top left cell
+
+  // Create an array for the left column
+  const leftColumnBody = new Array(body.length - 1).fill().map(() => [])
+  for (let i = 1; i < body.length; i++) {
+    // The visible part of the cell
+    leftColumnBody[i - 1].push(body[i].shift())
+    // A vphantom with contents from the pmatrix, to set minimum cell height
+    const phantomBody = [];
+    for (let j = 0; j < body[i].length; j++) {
+      phantomBody.push(structuredClone(body[i][j]))
+    }
+    leftColumnBody[i - 1].push(phantom(phantomBody, "vphantom"))
+  }
+
+  // Create an array for the top row
+  const topRowBody = new Array(body.length).fill().map(() => [])
+  for (let j = 0; j < body[0].length; j++) {
+    topRowBody[0].push(structuredClone(body[0][j]))
+  }
+  // Copy the rest of the pmatrix, but squashed via \hphantom
+  for (let i = 1; i < body.length; i++) {
+    for (let j = 0; j < body[0].length; j++) {
+      topRowBody[i].push(phantom(structuredClone(body[i][j]).body, "hphantom"))
+    }
+  }
+
+  // Squash the top row of the main {pmatrix}
+  for (let j = 0; j < body[0].length; j++) {
+    body[0][j] = phantom(structuredClone(body[0][j]).body, "hphantom")
+  }
+
+  // Now wrap the arrays in the proper parse nodes.
+
+  const leftColumn = {
+    type: "array",
+    mode: "math",
+    body: leftColumnBody,
+    cols: [{ type: "align", align: "c" }],
+    rowGaps: new Array(leftColumnBody.length - 1).fill(null),
+    hLinesBeforeRow: new Array(leftColumnBody.length + 1).fill().map(() => []),
+    envClasses: [],
+    scriptLevel: "text",
+    arraystretch: 1,
+    labels: new Array(leftColumnBody.length).fill(""),
+    arraycolsep: { "number": 0.04, unit: "em" }
+  }
+
+  const topRow = {
+    type: "array",
+    mode: "math",
+    body: topRowBody,
+    cols: new Array(topRowBody.length).fill({ type: "align", align: "c" }),
+    rowGaps: new Array(topRowBody.length - 1).fill(null),
+    hLinesBeforeRow: new Array(topRowBody.length + 1).fill().map(() => []),
+    envClasses: [],
+    scriptLevel: "text",
+    arraystretch: 1,
+    labels: new Array(topRowBody.length).fill(""),
+    arraycolsep: null
+  }
+
+  const topWrapper = {
+    type: "styling",
+    mode: "math",
+    scriptLevel: "text", // Must set this explicitly.
+    body: [topRow]       // Default level is "script".
+  }
+
+  const container = {
+    type: "leftright",
+    mode: "math",
+    body: [matrix],
+    left: delimiters ? delimiters[0] : "(",
+    right: delimiters ? delimiters[1] : ")",
+    rightColor: undefined
+  }
+
+  const base = {
+    type: "op",   // The base of a TeX \overset
+    mode: "math",
+    limits: true,
+    alwaysHandleSupSub: true,
+    parentIsSupSub: true,
+    symbol: false,
+    stack: true,
+    suppressBaseShift: true,
+    body: [container]
+  }
+
+  const mover = {
+    type: "supsub",  // We're using the MathML equivalent
+    mode: "math",    // of TeX \overset.
+    base: base,      // That keeps the {pmatrix} aligned with
+    sup: topWrapper, // the math centerline.
+    sub: null
+  }
+
+  return ordGroup([leftColumn, mover])
+}

package/src/functions/arrow.js

@@ -6,7 +6,7 @@ import * as mml from "../buildMathML";
 
 // Helper functions
 
-const padding = width => {
+export const padding = width => {
   const node = new mathMLTree.MathNode("mspace")
   node.setAttribute("width", width + "em")
   return node

package/src/functions/bordermatrix.js

@@ -0,0 +1,42 @@
+import defineFunction from "../defineFunction"
+import environments from "../environments"
+
+// \bordermatrix  from TeXbook pp 177 & 361
+// Optional argument from Herbert Voß, Math mode, p 20
+// Ref: https://tug.ctan.org/obsolete/info/math/voss/mathmode/Mathmode.pdf
+
+defineFunction({
+  type: "bordermatrix",
+  names: ["\\bordermatrix", "\\matrix"],
+  props: {
+    numArgs: 0,
+    numOptionalArgs: 1
+  },
+  handler: ({ parser, funcName }, args, optArgs) => {
+    // Find out if the author has defined custom delimiters
+    let delimiters = ["(", ")"]
+    if (funcName === "\\bordermatrix" && optArgs[0] && optArgs[0].body) {
+      const body = optArgs[0].body
+      if (body.length === 2 && body[0].type === "atom" && body[1].type === "atom") {
+        if (body[0].family === "open" && body[1].family === "close") {
+          delimiters = [body[0].text, body[1].text]
+        }
+      }
+    }
+    // consume the opening brace
+    parser.consumeSpaces()
+    parser.consume()
+
+    // Pass control to the environment handler in array.js.
+    const env = environments["bordermatrix"];
+    const context = {
+      mode: parser.mode,
+      envName: funcName.slice(1),
+      delimiters,
+      parser
+    }
+    const result = env.handler(context)
+    parser.expect("}", true)
+    return result
+  }
+});

package/src/functions/mclass.js

@@ -1,18 +1,13 @@
 import defineFunction, { ordargument } from "../defineFunction";
 import symbols from "../symbols";
 import mathMLTree from "../mathMLTree";
-import utils from "../utils";
+import utils from "../utils.js"
+import { padding } from "./arrow";
 
 import * as mml from "../buildMathML";
 
 const textAtomTypes = ["text", "textord", "mathord", "atom"]
 
-const padding = width => {
-  const node = new mathMLTree.MathNode("mspace")
-  node.setAttribute("width", width + "em")
-  return node
-}
-
 function mathmlBuilder(group, style) {
   let node;
   const inner = mml.buildExpression(group.body, style);
@@ -128,14 +123,19 @@ defineFunction({
         break
       }
     }
-    return {
-      type: "mclass",
-      mode: parser.mode,
-      mclass: "m" + funcName.slice(5),
-      body: ordargument(mustPromote ? mord : body),
-      isCharacterBox,
-      mustPromote
-    };
+    if (mustPromote && funcName === "\\mathord" && mord.type === "mathord"
+                    && mord.text.length > 1) {
+      return mord
+    } else {
+      return {
+        type: "mclass",
+        mode: parser.mode,
+        mclass: "m" + funcName.slice(5),
+        body: ordargument(mustPromote ? mord : body),
+        isCharacterBox,
+        mustPromote
+      };
+    }
   },
   mathmlBuilder
 });

package/src/functions/operatorname.js

@@ -19,7 +19,7 @@ const mathmlBuilder = (group, style) => {
   for (let i = 0; i < expression.length; i++) {
     let node = expression[i]
     if (node instanceof mathMLTree.MathNode) {
-      if (node.type === "mrow" && node.children.length === 1 &&
+      if ((node.type === "mrow" || node.type === "mpadded") && node.children.length === 1 &&
           node.children[0] instanceof mathMLTree.MathNode) {
         node = node.children[0]
       }

package/src/functions/supsub.js

@@ -19,7 +19,7 @@ const symbolRegEx = /^m(over|under|underover)$/
 defineFunctionBuilders({
   type: "supsub",
   mathmlBuilder(group, style) {
-    // Is the inner group a relevant horizonal brace?
+    // Is the inner group a relevant horizontal brace?
     let isBrace = false
     let isOver
     let isSup

package/src/functions/symbolsOp.js

@@ -1,6 +1,7 @@
 import { defineFunctionBuilders } from "../defineFunction";
 import mathMLTree from "../mathMLTree";
 import * as mml from "../buildMathML";
+import { padding } from "./arrow";
 
 // Operator ParseNodes created in Parser.js from symbol Groups in src/symbols.js.
 
@@ -47,6 +48,14 @@ defineFunctionBuilders({
       // ":" is not in the MathML operator dictionary. Give it BIN spacing.
       node.attributes.lspace = "0.2222em"
       node.attributes.rspace = "0.2222em"
+    } else if (group.needsSpacing) {
+      // Fix a MathML bug that occurs when a <mo> is between two <mtext> elements.
+      if (group.family === "bin") {
+        return new mathMLTree.MathNode("mrow", [padding(0.222), node, padding(0.222)])
+      } else {
+        // REL spacing
+        return new mathMLTree.MathNode("mrow", [padding(0.2778), node, padding(0.2778)])
+      }
     }
     return node;
   }

package/src/functions/symbolsOrd.js

@@ -41,7 +41,9 @@ defineFunctionBuilders({
       node.setAttribute("mathvariant", "normal")
       if (text.text.length === 1) {
         // A Firefox bug will apply spacing here, but there should be none. Fix it.
-        node = new mathMLTree.MathNode("mrow", [node])
+        node = new mathMLTree.MathNode("mpadded", [node])
+        node.setAttribute("lspace", "0")
+        node.setAttribute("rspace", "0")
       }
     }
     return node

package/src/functions.js

@@ -9,6 +9,7 @@ export default functions;
 import "./functions/accent";
 import "./functions/accentunder";
 import "./functions/arrow";
+import "./functions/bordermatrix"
 //import "./functions/cancelto";
 import "./environments/cd";
 import "./functions/char";

package/src/postProcess.js

@@ -5,7 +5,7 @@
  * https://mit-license.org/
  */
 
-export const version = "0.11.00";
+export const version = "0.11.02";
 
 export function postProcess(block) {
   const labelMap = {}
@@ -66,6 +66,7 @@ export function postProcess(block) {
     mtext.appendChild(document.createTextNode(str))
     const math =  document.createElementNS("http://www.w3.org/1998/Math/MathML", "math")
     math.appendChild(mtext)
+    ref.textContent = ''
     ref.appendChild(math)
   })
 }

package/src/symbols.js

@@ -895,7 +895,7 @@ defineSymbol(text, accent, "\u02d9", "\\."); // dot above
 defineSymbol(text, accent, "\u00b8", "\\c"); // cedilla
 defineSymbol(text, accent, "\u02da", "\\r"); // ring above
 defineSymbol(text, accent, "\u02c7", "\\v"); // caron
-defineSymbol(text, accent, "\u00a8", '\\"'); // diaresis
+defineSymbol(text, accent, "\u00a8", '\\"'); // diaeresis
 defineSymbol(text, accent, "\u02dd", "\\H"); // double acute
 defineSymbol(math, accent, "\u02ca", "\\'"); // acute
 defineSymbol(math, accent, "\u02cb", "\\`"); // grave
@@ -907,7 +907,7 @@ defineSymbol(math, accent, "\u02d9", "\\."); // dot above
 defineSymbol(math, accent, "\u00b8", "\\c"); // cedilla
 defineSymbol(math, accent, "\u02da", "\\r"); // ring above
 defineSymbol(math, accent, "\u02c7", "\\v"); // caron
-defineSymbol(math, accent, "\u00a8", '\\"'); // diaresis
+defineSymbol(math, accent, "\u00a8", '\\"'); // diaeresis
 defineSymbol(math, accent, "\u02dd", "\\H"); // double acute
 
 // These ligatures are detected and created in Parser.js's `formLigatures`.

package/temml.js

@@ -104,7 +104,7 @@ const renderError = function(error, expression, options) {
   if (options.throwOnError || !(error instanceof ParseError)) {
     throw error;
   }
-  const node = new Span(["temml-error"], [new TextNode(expression + "\n" + error.toString())]);
+  const node = new Span(["temml-error"], [new TextNode(expression + "\n\n" + error.toString())]);
   node.style.color = options.errorColor
   node.style.whiteSpace = "pre-line"
   return node;