katex 0.13.14 → 0.13.19

package/dist/katex.mjs

@@ -3616,11 +3616,9 @@ var sigmasAndXis = {
 var extraCharacterMap = {
   // Latin-1
   'Å': 'A',
-  'Ç': 'C',
   'Ð': 'D',
   'Þ': 'o',
   'å': 'a',
-  'ç': 'c',
   'ð': 'd',
   'þ': 'o',
   // Cyrillic
@@ -4275,9 +4273,9 @@ defineSymbol(math, main, mathord, "\u03d6", "\\varpi", true);
 defineSymbol(math, main, mathord, "\u03f1", "\\varrho", true);
 defineSymbol(math, main, mathord, "\u03c2", "\\varsigma", true);
 defineSymbol(math, main, mathord, "\u03c6", "\\varphi", true);
-defineSymbol(math, main, bin, "\u2217", "*");
+defineSymbol(math, main, bin, "\u2217", "*", true);
 defineSymbol(math, main, bin, "+", "+");
-defineSymbol(math, main, bin, "\u2212", "-");
+defineSymbol(math, main, bin, "\u2212", "-", true);
 defineSymbol(math, main, bin, "\u22c5", "\\cdot", true);
 defineSymbol(math, main, bin, "\u2218", "\\circ");
 defineSymbol(math, main, bin, "\u00f7", "\\div", true);
@@ -4458,6 +4456,8 @@ defineSymbol(text, main, accent, "\u02d8", "\\u"); // breve
 
 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
@@ -4639,7 +4639,7 @@ for (var _i4 = 0; _i4 < 10; _i4++) {
 // TODO(edemaine): Fix this.
 
 
-var extraLatin = "\u00c7\u00d0\u00de\u00e7\u00fe";
+var extraLatin = "\u00d0\u00de\u00fe";
 
 for (var _i5 = 0; _i5 < extraLatin.length; _i5++) {
   var _ch5 = extraLatin.charAt(_i5);
@@ -7347,10 +7347,11 @@ var htmlBuilder$a = (grp, options) => {
     // removed with getBaseElem might contain things like \color which
     // we can't get rid of.
     // TODO(emily): Find a better way to get the skew
-  } // calculate the amount of space between the body and the accent
+  }
 
+  var accentBelow = group.label === "\\c"; // calculate the amount of space between the body and the accent
 
-  var clearance = Math.min(body.height, options.fontMetrics().xHeight); // Build the accent
+  var clearance = accentBelow ? body.height + body.depth : Math.min(body.height, options.fontMetrics().xHeight); // Build the accent
 
   var accentBody;
 
@@ -7376,6 +7377,10 @@ var htmlBuilder$a = (grp, options) => {
 
       accent.italic = 0;
       width = accent.width;
+
+      if (accentBelow) {
+        clearance += accent.depth;
+      }
     }
 
     accentBody = buildCommon.makeSpan(["accent-body"], [accent]); // "Full" accents expand the width of the resulting symbol to be
@@ -7489,7 +7494,7 @@ defineFunction({
 
 defineFunction({
   type: "accent",
-  names: ["\\'", "\\`", "\\^", "\\~", "\\=", "\\u", "\\.", '\\"', "\\r", "\\H", "\\v", "\\textcircled"],
+  names: ["\\'", "\\`", "\\^", "\\~", "\\=", "\\u", "\\.", '\\"', "\\c", "\\r", "\\H", "\\v", "\\textcircled"],
   props: {
     numArgs: 1,
     allowedInText: true,
@@ -8056,15 +8061,25 @@ defineFunction({
     }
 
     var code = parseInt(number);
+    var text;
 
     if (isNaN(code)) {
-      throw new ParseError("\\@char has non-numeric argument " + number);
+      throw new ParseError("\\@char has non-numeric argument " + number); // If we drop IE support, the following code could be replaced with
+      // text = String.fromCodePoint(code)
+    } else if (code < 0 || code >= 0x10ffff) {
+      throw new ParseError("\\@char with invalid code point " + number);
+    } else if (code <= 0xffff) {
+      text = String.fromCharCode(code);
+    } else {
+      // Astral code point; split into surrogate halves
+      code -= 0x10000;
+      text = String.fromCharCode((code >> 10) + 0xd800, (code & 0x3ff) + 0xdc00);
     }
 
     return {
       type: "textord",
       mode: parser.mode,
-      text: String.fromCharCode(code)
+      text: text
     };
   }
 
@@ -10023,7 +10038,8 @@ var htmlBuilder$7 = function htmlBuilder(group, options) {
   var nc = 0;
   var body = new Array(nr);
   var hlines = [];
-  var ruleThickness = Math.max(options.fontMetrics().arrayRuleWidth, options.minRuleThickness // User override.
+  var ruleThickness = Math.max( // From LaTeX \showthe\arrayrulewidth. Equals 0.04 em.
+  options.fontMetrics().arrayRuleWidth, options.minRuleThickness // User override.
   ); // Horizontal spacing
 
   var pt = 1 / options.fontMetrics().ptPerEm;
@@ -14643,6 +14659,17 @@ class Namespace {
       }
     }
   }
+  /**
+   * Ends all currently nested groups (if any), restoring values before the
+   * groups began.  Useful in case of an error in the middle of parsing.
+   */
+
+
+  endGroups() {
+    while (this.undefStack.length > 0) {
+      this.endGroup();
+    }
+  }
   /**
    * Detect whether `name` has a definition.  Equivalent to
    * `get(name) != null`.
@@ -15668,6 +15695,15 @@ class MacroExpander {
   endGroup() {
     this.macros.endGroup();
   }
+  /**
+   * Ends all currently nested groups (if any), restoring values before the
+   * groups began.  Useful in case of an error in the middle of parsing.
+   */
+
+
+  endGroups() {
+    this.macros.endGroups();
+  }
   /**
    * Returns the topmost token on the stack, without expanding it.
    * Similar in behavior to TeX's `\futurelet`.
@@ -16156,6 +16192,9 @@ var unicodeAccents = {
   },
   "̋": {
     "text": "\\H"
+  },
+  "̧": {
+    "text": "\\c"
   }
 };
 var unicodeSymbols = {
@@ -16180,11 +16219,14 @@ var unicodeSymbols = {
   "ǻ": "ǻ",
   "ḃ": "ḃ",
   "ć": "ć",
+  "ḉ": "ḉ",
   "č": "č",
   "ĉ": "ĉ",
   "ċ": "ċ",
+  "ç": "ç",
   "ď": "ď",
   "ḋ": "ḋ",
+  "ḑ": "ḑ",
   "é": "é",
   "è": "è",
   "ë": "ë",
@@ -16193,12 +16235,14 @@ var unicodeSymbols = {
   "ḗ": "ḗ",
   "ḕ": "ḕ",
   "ĕ": "ĕ",
+  "ḝ": "ḝ",
   "ě": "ě",
   "ê": "ê",
   "ế": "ế",
   "ề": "ề",
   "ễ": "ễ",
   "ė": "ė",
+  "ȩ": "ȩ",
   "ḟ": "ḟ",
   "ǵ": "ǵ",
   "ḡ": "ḡ",
@@ -16206,10 +16250,12 @@ var unicodeSymbols = {
   "ǧ": "ǧ",
   "ĝ": "ĝ",
   "ġ": "ġ",
+  "ģ": "ģ",
   "ḧ": "ḧ",
   "ȟ": "ȟ",
   "ĥ": "ĥ",
   "ḣ": "ḣ",
+  "ḩ": "ḩ",
   "í": "í",
   "ì": "ì",
   "ï": "ï",
@@ -16223,8 +16269,10 @@ var unicodeSymbols = {
   "ĵ": "ĵ",
   "ḱ": "ḱ",
   "ǩ": "ǩ",
+  "ķ": "ķ",
   "ĺ": "ĺ",
   "ľ": "ľ",
+  "ļ": "ļ",
   "ḿ": "ḿ",
   "ṁ": "ṁ",
   "ń": "ń",
@@ -16232,6 +16280,7 @@ var unicodeSymbols = {
   "ñ": "ñ",
   "ň": "ň",
   "ṅ": "ṅ",
+  "ņ": "ņ",
   "ó": "ó",
   "ò": "ò",
   "ö": "ö",
@@ -16257,15 +16306,18 @@ var unicodeSymbols = {
   "ŕ": "ŕ",
   "ř": "ř",
   "ṙ": "ṙ",
+  "ŗ": "ŗ",
   "ś": "ś",
   "ṥ": "ṥ",
   "š": "š",
   "ṧ": "ṧ",
   "ŝ": "ŝ",
   "ṡ": "ṡ",
+  "ş": "ş",
   "ẗ": "ẗ",
   "ť": "ť",
   "ṫ": "ṫ",
+  "ţ": "ţ",
   "ú": "ú",
   "ù": "ù",
   "ü": "ü",
@@ -16324,11 +16376,14 @@ var unicodeSymbols = {
   "Ǻ": "Ǻ",
   "Ḃ": "Ḃ",
   "Ć": "Ć",
+  "Ḉ": "Ḉ",
   "Č": "Č",
   "Ĉ": "Ĉ",
   "Ċ": "Ċ",
+  "Ç": "Ç",
   "Ď": "Ď",
   "Ḋ": "Ḋ",
+  "Ḑ": "Ḑ",
   "É": "É",
   "È": "È",
   "Ë": "Ë",
@@ -16337,12 +16392,14 @@ var unicodeSymbols = {
   "Ḗ": "Ḗ",
   "Ḕ": "Ḕ",
   "Ĕ": "Ĕ",
+  "Ḝ": "Ḝ",
   "Ě": "Ě",
   "Ê": "Ê",
   "Ế": "Ế",
   "Ề": "Ề",
   "Ễ": "Ễ",
   "Ė": "Ė",
+  "Ȩ": "Ȩ",
   "Ḟ": "Ḟ",
   "Ǵ": "Ǵ",
   "Ḡ": "Ḡ",
@@ -16350,10 +16407,12 @@ var unicodeSymbols = {
   "Ǧ": "Ǧ",
   "Ĝ": "Ĝ",
   "Ġ": "Ġ",
+  "Ģ": "Ģ",
   "Ḧ": "Ḧ",
   "Ȟ": "Ȟ",
   "Ĥ": "Ĥ",
   "Ḣ": "Ḣ",
+  "Ḩ": "Ḩ",
   "Í": "Í",
   "Ì": "Ì",
   "Ï": "Ï",
@@ -16367,8 +16426,10 @@ var unicodeSymbols = {
   "Ĵ": "Ĵ",
   "Ḱ": "Ḱ",
   "Ǩ": "Ǩ",
+  "Ķ": "Ķ",
   "Ĺ": "Ĺ",
   "Ľ": "Ľ",
+  "Ļ": "Ļ",
   "Ḿ": "Ḿ",
   "Ṁ": "Ṁ",
   "Ń": "Ń",
@@ -16376,6 +16437,7 @@ var unicodeSymbols = {
   "Ñ": "Ñ",
   "Ň": "Ň",
   "Ṅ": "Ṅ",
+  "Ņ": "Ņ",
   "Ó": "Ó",
   "Ò": "Ò",
   "Ö": "Ö",
@@ -16401,14 +16463,17 @@ var unicodeSymbols = {
   "Ŕ": "Ŕ",
   "Ř": "Ř",
   "Ṙ": "Ṙ",
+  "Ŗ": "Ŗ",
   "Ś": "Ś",
   "Ṥ": "Ṥ",
   "Š": "Š",
   "Ṧ": "Ṧ",
   "Ŝ": "Ŝ",
   "Ṡ": "Ṡ",
+  "Ş": "Ş",
   "Ť": "Ť",
   "Ṫ": "Ṫ",
+  "Ţ": "Ţ",
   "Ú": "Ú",
   "Ù": "Ù",
   "Ü": "Ü",
@@ -16592,18 +16657,22 @@ class Parser {
 
     if (this.settings.colorIsTextColor) {
       this.gullet.macros.set("\\color", "\\textcolor");
-    } // Try to parse the input
+    }
 
+    try {
+      // Try to parse the input
+      var parse = this.parseExpression(false); // If we succeeded, make sure there's an EOF at the end
 
-    var parse = this.parseExpression(false); // If we succeeded, make sure there's an EOF at the end
+      this.expect("EOF"); // End the group namespace for the expression
 
-    this.expect("EOF"); // End the group namespace for the expression
+      if (!this.settings.globalGroup) {
+        this.gullet.endGroup();
+      }
 
-    if (!this.settings.globalGroup) {
-      this.gullet.endGroup();
+      return parse; // Close any leftover groups in case of a parse error.
+    } finally {
+      this.gullet.endGroups();
     }
-
-    return parse;
   }
 
   /**
@@ -16953,7 +17022,8 @@ class Parser {
       var argType = funcData.argTypes && funcData.argTypes[i];
       var isOptional = i < funcData.numOptionalArgs;
 
-      if (funcData.primitive && argType == null || funcData.type === "sqrt" && i === 1 && optArgs[0] == null) {
+      if (funcData.primitive && argType == null || // \sqrt expands into primitive if optional argument doesn't exist
+      funcData.type === "sqrt" && i === 1 && optArgs[0] == null) {
         argType = "primitive";
       }
 
@@ -17492,7 +17562,7 @@ class Parser {
           throw new ParseError("Unknown accent ' " + accent + "'", nucleus);
         }
 
-        var command = unicodeAccents[accent][this.mode];
+        var command = unicodeAccents[accent][this.mode] || unicodeAccents[accent].text;
 
         if (!command) {
           throw new ParseError("Accent " + accent + " unsupported in " + this.mode + " mode", nucleus);
@@ -17652,7 +17722,7 @@ var katex = {
   /**
    * Current KaTeX version
    */
-  version: "0.13.14",
+  version: "0.13.19",
 
   /**
    * Renders the given LaTeX into an HTML+MathML combination, and adds

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "katex",
-  "version": "0.13.14",
+  "version": "0.13.19",
   "description": "Fast math typesetting for the web.",
   "main": "dist/katex.js",
   "homepage": "https://katex.org",
@@ -29,8 +29,8 @@
     "@babel/runtime": "^7.10.4",
     "@rollup/plugin-alias": "^3.1.1",
     "@rollup/plugin-babel": "^5.0.4",
-    "@semantic-release/changelog": "^5.0.1",
-    "@semantic-release/git": "^9.0.0",
+    "@semantic-release/changelog": "^6.0.0",
+    "@semantic-release/git": "^10.0.0",
     "babel-jest": "^27.0.0",
     "babel-loader": "^8.0.5",
     "babel-plugin-istanbul": "^6.0.0",
@@ -44,7 +44,7 @@
     "cssnano": "^5.0.0-rc.1",
     "eslint": "^7.4.0",
     "eslint-plugin-actions": "^1.0.1",
-    "eslint-plugin-flowtype": "^5.2.0",
+    "eslint-plugin-flowtype": "^6.0.0",
     "eslint-plugin-react": "^7.20.3",
     "flow-bin": "^0.135.0",
     "fs-extra": "^10.0.0",
@@ -75,7 +75,7 @@
     "rimraf": "^3.0.2",
     "rollup": "^2.21.0",
     "selenium-webdriver": "^4.0.0-beta.4",
-    "semantic-release": "^17.4.1",
+    "semantic-release": "^18.0.0",
     "sri-toolbox": "^0.2.0",
     "style-loader": "^3.0.0",
     "stylelint": "^13.6.1",

package/src/MacroExpander.js

@@ -74,6 +74,14 @@ export default class MacroExpander implements MacroContextInterface {
         this.macros.endGroup();
     }
 
+    /**
+     * Ends all currently nested groups (if any), restoring values before the
+     * groups began.  Useful in case of an error in the middle of parsing.
+     */
+    endGroups() {
+        this.macros.endGroups();
+    }
+
     /**
      * Returns the topmost token on the stack, without expanding it.
      * Similar in behavior to TeX's `\futurelet`.

package/src/Namespace.js

@@ -57,6 +57,16 @@ export default class Namespace<Value> {
         }
     }
 
+    /**
+     * Ends all currently nested groups (if any), restoring values before the
+     * groups began.  Useful in case of an error in the middle of parsing.
+     */
+    endGroups() {
+        while (this.undefStack.length > 0) {
+            this.endGroup();
+        }
+    }
+
     /**
      * Detect whether `name` has a definition.  Equivalent to
      * `get(name) != null`.

package/src/Parser.js

@@ -130,17 +130,24 @@ export default class Parser {
             this.gullet.macros.set("\\color", "\\textcolor");
         }
 
-        // Try to parse the input
-        const parse = this.parseExpression(false);
+        try {
+            // Try to parse the input
+            const parse = this.parseExpression(false);
 
-        // If we succeeded, make sure there's an EOF at the end
-        this.expect("EOF");
+            // If we succeeded, make sure there's an EOF at the end
+            this.expect("EOF");
 
-        // End the group namespace for the expression
-        if (!this.settings.globalGroup) {
-            this.gullet.endGroup();
+            // End the group namespace for the expression
+            if (!this.settings.globalGroup) {
+                this.gullet.endGroup();
+            }
+
+            return parse;
+
+        // Close any leftover groups in case of a parse error.
+        } finally {
+            this.gullet.endGroups();
         }
-        return parse;
     }
 
     static endOfExpression: string[] = ["}", "\\endgroup", "\\end", "\\right", "&"];
@@ -951,7 +958,8 @@ export default class Parser {
                 if (!unicodeAccents[accent]) {
                     throw new ParseError(`Unknown accent ' ${accent}'`, nucleus);
                 }
-                const command = unicodeAccents[accent][this.mode];
+                const command = unicodeAccents[accent][this.mode] ||
+                    unicodeAccents[accent].text;
                 if (!command) {
                     throw new ParseError(
                         `Accent ${accent} unsupported in ${this.mode} mode`,

package/src/fontMetrics.js

@@ -108,11 +108,9 @@ import metricMap from "./fontMetricsData";
 const extraCharacterMap = {
     // Latin-1
     'Å': 'A',
-    'Ç': 'C',
     'Ð': 'D',
     'Þ': 'o',
     'å': 'a',
-    'ç': 'c',
     'ð': 'd',
     'þ': 'o',
 

package/src/fonts/Makefile

@@ -123,9 +123,9 @@ fonts: ff
 		\
 		echo "Hinting $$file"; \
 		if echo "$$file" | $(GREP) -q -e "Size[1-4]" -e "Typewriter"; then \
-			$(TTFAUTOHINT) --windows-compatibility --symbol ttf/$$file.ttf ttf/$$file.ttf.hinted; \
+			$(TTFAUTOHINT) -f none -S --windows-compatibility --symbol ttf/$$file.ttf ttf/$$file.ttf.hinted; \
 		else \
-			$(TTFAUTOHINT) --windows-compatibility ttf/$$file.ttf ttf/$$file.ttf.hinted; \
+			$(TTFAUTOHINT) -f none -S --windows-compatibility ttf/$$file.ttf ttf/$$file.ttf.hinted; \
 		fi; \
 		mv ttf/$$file.ttf.hinted ttf/$$file.ttf; \
 		\

package/src/functions/accent.js

@@ -74,10 +74,14 @@ export const htmlBuilder: HtmlBuilderSupSub<"accent"> = (grp, options) => {
         // TODO(emily): Find a better way to get the skew
     }
 
+    const accentBelow = group.label === "\\c";
+
     // calculate the amount of space between the body and the accent
-    let clearance = Math.min(
-        body.height,
-        options.fontMetrics().xHeight);
+    let clearance = accentBelow
+        ? body.height + body.depth
+        : Math.min(
+            body.height,
+            options.fontMetrics().xHeight);
 
     // Build the accent
     let accentBody;
@@ -100,6 +104,9 @@ export const htmlBuilder: HtmlBuilderSupSub<"accent"> = (grp, options) => {
             // shift the accent over to a place we don't want.
             accent.italic = 0;
             width = accent.width;
+            if (accentBelow) {
+                clearance += accent.depth;
+            }
         }
 
         accentBody = buildCommon.makeSpan(["accent-body"], [accent]);
@@ -244,7 +251,7 @@ defineFunction({
     type: "accent",
     names: [
         "\\'", "\\`", "\\^", "\\~", "\\=", "\\u", "\\.", '\\"',
-        "\\r", "\\H", "\\v", "\\textcircled",
+        "\\c", "\\r", "\\H", "\\v", "\\textcircled",
     ],
     props: {
         numArgs: 1,

package/src/functions/char.js

@@ -21,14 +21,25 @@ defineFunction({
             const node = assertNodeType(group[i], "textord");
             number += node.text;
         }
-        const code = parseInt(number);
+        let code = parseInt(number);
+        let text;
         if (isNaN(code)) {
             throw new ParseError(`\\@char has non-numeric argument ${number}`);
+        // If we drop IE support, the following code could be replaced with
+        // text = String.fromCodePoint(code)
+        } else if (code < 0 || code >= 0x10ffff) {
+            throw new ParseError(`\\@char with invalid code point ${number}`);
+        } else if (code <= 0xffff) {
+            text = String.fromCharCode(code);
+        } else { // Astral code point; split into surrogate halves
+            code -= 0x10000;
+            text = String.fromCharCode((code >> 10) + 0xd800,
+                                       (code & 0x3ff) + 0xdc00);
         }
         return {
             type: "textord",
             mode: parser.mode,
-            text: String.fromCharCode(code),
+            text: text,
         };
     },
 });

package/src/symbols.js

@@ -534,9 +534,9 @@ defineSymbol(math, main, mathord, "\u03d6", "\\varpi", true);
 defineSymbol(math, main, mathord, "\u03f1", "\\varrho", true);
 defineSymbol(math, main, mathord, "\u03c2", "\\varsigma", true);
 defineSymbol(math, main, mathord, "\u03c6", "\\varphi", true);
-defineSymbol(math, main, bin, "\u2217", "*");
+defineSymbol(math, main, bin, "\u2217", "*", true);
 defineSymbol(math, main, bin, "+", "+");
-defineSymbol(math, main, bin, "\u2212", "-");
+defineSymbol(math, main, bin, "\u2212", "-", true);
 defineSymbol(math, main, bin, "\u22c5", "\\cdot", true);
 defineSymbol(math, main, bin, "\u2218", "\\circ");
 defineSymbol(math, main, bin, "\u00f7", "\\div", true);
@@ -706,6 +706,7 @@ defineSymbol(text, main, accent, "\u02dc", "\\~"); // tilde
 defineSymbol(text, main, accent, "\u02c9", "\\="); // macron
 defineSymbol(text, main, accent, "\u02d8", "\\u"); // breve
 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
@@ -875,7 +876,7 @@ for (let i = 0; i < 10; i++) {
 // but they are not actually in the font, nor are they supported by the
 // Unicode accent mechanism, so they fall back to Times font and look ugly.
 // TODO(edemaine): Fix this.
-export const extraLatin = "\u00c7\u00d0\u00de\u00e7\u00fe";
+export const extraLatin = "\u00d0\u00de\u00fe";
 for (let i = 0; i < extraLatin.length; i++) {
     const ch = extraLatin.charAt(i);
     defineSymbol(math, main, mathord, ch, ch);

package/src/unicodeAccents.js

@@ -14,4 +14,5 @@ module.exports = {
     '\u0307': {text: '\\.', math: '\\dot'},
     '\u030a': {text: '\\r', math: '\\mathring'},
     '\u030b': {text: '\\H'},
+    '\u0327': {text: '\\c'},
 };