katex 0.16.21 → 0.16.23

package/dist/katex.mjs

@@ -5101,7 +5101,7 @@ defineSymbol(text, main, accent, "\u02da", "\\r"); // ring above
 
 defineSymbol(text, main, accent, "\u02c7", "\\v"); // caron
 
-defineSymbol(text, main, accent, "\u00a8", '\\"'); // diaresis
+defineSymbol(text, main, accent, "\u00a8", '\\"'); // diaeresis
 
 defineSymbol(text, main, accent, "\u02dd", "\\H"); // double acute
 
@@ -13852,7 +13852,8 @@ defineFunction({
   names: ["\\relax"],
   props: {
     numArgs: 0,
-    allowedInText: true
+    allowedInText: true,
+    allowedInArgument: true
   },
 
   handler(_ref) {
@@ -14478,7 +14479,7 @@ defineFunctionBuilders({
   },
 
   mathmlBuilder(group, options) {
-    // Is the inner group a relevant horizonal brace?
+    // Is the inner group a relevant horizontal brace?
     var isBrace = false;
     var isOver;
     var isSup;
@@ -16313,7 +16314,7 @@ class MacroExpander {
 
     this.pushToken(new Token("EOF", end.loc));
     this.pushTokens(tokens);
-    return start.range(end, "");
+    return new Token("", SourceLocation.range(start, end));
   }
   /**
    * Consume all following space tokens, without expansion.
@@ -17387,6 +17388,7 @@ class Parser {
       if (!atom) {
         break;
       } else if (atom.type === "internal") {
+        // Internal nodes do not appear in parse tree
         continue;
       }
 
@@ -17473,8 +17475,15 @@ class Parser {
     var symbol = symbolToken.text;
     this.consume();
     this.consumeSpaces(); // ignore spaces before sup/subscript argument
+    // Skip over allowed internal nodes such as \relax
 
-    var group = this.parseGroup(name);
+    var group;
+
+    do {
+      var _group;
+
+      group = this.parseGroup(name);
+    } while (((_group = group) == null ? void 0 : _group.type) === "internal");
 
     if (!group) {
       throw new ParseError("Expected group after '" + symbol + "'", symbolToken);
@@ -17520,7 +17529,13 @@ class Parser {
   parseAtom(breakOnTokenText) {
     // The body of an atom is an implicit group, so that things like
     // \left(x\right)^2 work correctly.
-    var base = this.parseGroup("atom", breakOnTokenText); // In text mode, we don't have superscripts or subscripts
+    var base = this.parseGroup("atom", breakOnTokenText); // Internal nodes (e.g. \relax) cannot support super/subscripts.
+    // Instead we will pick up super/subscripts with blank base next round.
+
+    if ((base == null ? void 0 : base.type) === "internal") {
+      return base;
+    } // In text mode, we don't have superscripts or subscripts
+
 
     if (this.mode === "text") {
       return base;
@@ -17807,13 +17822,13 @@ class Parser {
             throw new ParseError("A primitive argument cannot be optional");
           }
 
-          var _group = this.parseGroup(name);
+          var _group2 = this.parseGroup(name);
 
-          if (_group == null) {
+          if (_group2 == null) {
             throw new ParseError("Expected group as " + name, this.fetch());
           }
 
-          return _group;
+          return _group2;
         }
 
       case "original":
@@ -18430,7 +18445,7 @@ var renderToHTMLTree = function renderToHTMLTree(expression, options) {
   }
 };
 
-var version = "0.16.21";
+var version = "0.16.23";
 var __domTree = {
   Span,
   Anchor,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "katex",
-  "version": "0.16.21",
+  "version": "0.16.23",
   "description": "Fast math typesetting for the web.",
   "main": "dist/katex.js",
   "exports": {

package/src/MacroExpander.js

@@ -10,6 +10,7 @@ import Lexer from "./Lexer";
 import {Token} from "./Token";
 import type {Mode} from "./types";
 import ParseError from "./ParseError";
+import SourceLocation from "./SourceLocation";
 import Namespace from "./Namespace";
 import macros from "./macros";
 
@@ -138,7 +139,7 @@ export default class MacroExpander implements MacroContextInterface {
         this.pushToken(new Token("EOF", end.loc));
 
         this.pushTokens(tokens);
-        return start.range(end, "");
+        return new Token("", SourceLocation.range(start, end));
     }
 
     /**

package/src/Parser.js

@@ -211,6 +211,7 @@ export default class Parser {
             if (!atom) {
                 break;
             } else if (atom.type === "internal") {
+                // Internal nodes do not appear in parse tree
                 continue;
             }
             body.push(atom);
@@ -286,7 +287,12 @@ export default class Parser {
         const symbol = symbolToken.text;
         this.consume();
         this.consumeSpaces(); // ignore spaces before sup/subscript argument
-        const group = this.parseGroup(name);
+
+        // Skip over allowed internal nodes such as \relax
+        let group: ?AnyParseNode;
+        do {
+            group = this.parseGroup(name);
+        } while (group?.type === "internal");
 
         if (!group) {
             throw new ParseError(
@@ -333,6 +339,12 @@ export default class Parser {
         // \left(x\right)^2 work correctly.
         const base = this.parseGroup("atom", breakOnTokenText);
 
+        // Internal nodes (e.g. \relax) cannot support super/subscripts.
+        // Instead we will pick up super/subscripts with blank base next round.
+        if (base?.type === "internal") {
+            return base;
+        }
+
         // In text mode, we don't have superscripts or subscripts
         if (this.mode === "text") {
             return base;

package/src/functions/relax.js

@@ -7,6 +7,7 @@ defineFunction({
     props: {
         numArgs: 0,
         allowedInText: true,
+        allowedInArgument: true,
     },
     handler({parser}) {
         return {

package/src/functions/supsub.js

@@ -192,7 +192,7 @@ defineFunctionBuilders({
             options);
     },
     mathmlBuilder(group, options) {
-        // 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/symbols.js

@@ -711,7 +711,7 @@ defineSymbol(text, main, accent, "\u02d9", "\\."); // dot above
 defineSymbol(text, main, accent, "\u00b8", "\\c"); // cedilla
 defineSymbol(text, main, accent, "\u02da", "\\r"); // ring above
 defineSymbol(text, main, accent, "\u02c7", "\\v"); // caron
-defineSymbol(text, main, accent, "\u00a8", '\\"'); // diaresis
+defineSymbol(text, main, accent, "\u00a8", '\\"'); // diaeresis
 defineSymbol(text, main, accent, "\u02dd", "\\H"); // double acute
 defineSymbol(text, main, accent, "\u25ef", "\\textcircled"); // \bigcirc glyph