From 100798847ba528ee6f699ec68a6bdd0156f9b28f Mon Sep 17 00:00:00 2001 From: Emily Eisenberg Date: Tue, 5 Aug 2014 16:43:43 -0700 Subject: [PATCH] Add delimiter sizing Summary: Make delimiter sizing work. This involved - Adding the symbols for the remaining delimiters (like `\lfloor` and `\{`) - Adding metrics for the size1, size2, size3, and size4 fonts - Parsing delimiter sizing functions - Using the big fonts when possible, otherwise building large copies of the delimiters from scratch Test Plan: - See that `\bigl\uparrow\Bigl\downarrow\biggl\updownarrow\Biggl\Uparrow \Biggr\Downarrow\biggr\Updownarrow\bigm/\Bigm\backslash\biggm| \Biggm|\big\lceil\Big\rceil\bigg\langle\Bigg\rangle\bigl(\Bigl) \biggl[\Biggl]\Biggr\{\biggr\}\Bigr\lfloor\bigr\rfloor` parses correctly (this contains all of the delimiters, and all of the sizing modes) - See that the huxley tests didn't change, and the new one looks good - See the normal tests work Reviewers: alpert Reviewed By: alpert Differential Revision: http://phabricator.khanacademy.org/D7844 --- Parser.js | 60 ++++++ buildTree.js | 171 +++++++++++++++++- fontMetrics.js | 2 +- metric_parse.rb | 3 +- static/katex.less | 85 ++++++--- symbols.js | 111 +++++++++++- test/huxley/DelimiterSizing.hux/firefox-1.png | Bin 0 -> 16097 bytes test/huxley/DelimiterSizing.hux/record.json | 5 + test/huxley/Huxleyfile.json | 6 + test/katex-tests.js | 41 +++++ 10 files changed, 446 insertions(+), 38 deletions(-) create mode 100644 test/huxley/DelimiterSizing.hux/firefox-1.png create mode 100644 test/huxley/DelimiterSizing.hux/record.json diff --git a/Parser.js b/Parser.js index 740ed4f2f..1bc2aede2 100644 --- a/Parser.js +++ b/Parser.js @@ -259,6 +259,30 @@ Parser.prototype.parseTextGroup = function(pos, mode) { } }; +var delimiters = [ + "(", ")", "[", "\\lbrack", "]", "\\rbrack", + "\\{", "\\lbrace", "\\}", "\\rbrace", + "\\lfloor", "\\rfloor", "\\lceil", "\\rceil", + "<", ">", "\\langle", "\\rangle", + "/", "\\backslash", + "|", "\\vert", "\\|", "\\Vert", + "\\uparrow", "\\Uparrow", + "\\downarrow", "\\Downarrow", + "\\updownarrow", "\\Updownarrow" +]; + +// Parse a single delimiter +Parser.prototype.parseDelimiter = function(pos, mode) { + var delim = this.lexer.lex(pos, mode); + if (utils.contains(delimiters, delim.text)) { + return new ParseResult( + new ParseNode("delimiter", delim.text), + delim.position); + } else { + return null; + } +}; + // A list of 1-argument color functions var colorFuncs = [ "\\blue", "\\orange", "\\pink", "\\red", "\\green", "\\gray", "\\purple" @@ -278,6 +302,25 @@ var namedFns = [ "\\tan","\\tanh" ]; +var delimiterSizes = { + "\\bigl" : {type: "open", size: 1}, + "\\Bigl" : {type: "open", size: 2}, + "\\biggl": {type: "open", size: 3}, + "\\Biggl": {type: "open", size: 4}, + "\\bigr" : {type: "close", size: 1}, + "\\Bigr" : {type: "close", size: 2}, + "\\biggr": {type: "close", size: 3}, + "\\Biggr": {type: "close", size: 4}, + "\\bigm" : {type: "rel", size: 1}, + "\\Bigm" : {type: "rel", size: 2}, + "\\biggm": {type: "rel", size: 3}, + "\\Biggm": {type: "rel", size: 4}, + "\\big" : {type: "textord", size: 1}, + "\\Big" : {type: "textord", size: 2}, + "\\bigg" : {type: "textord", size: 3}, + "\\Bigg" : {type: "textord", size: 4} +}; + // Parses a "nucleus", which is either a single token from the tokenizer or a // function and its arguments Parser.prototype.parseNucleus = function(pos, mode) { @@ -348,6 +391,23 @@ Parser.prototype.parseNucleus = function(pos, mode) { return new ParseResult( new ParseNode("namedfn", nucleus.text, mode), nucleus.position); + } else if (mode === "math" && delimiterSizes[nucleus.type]) { + // If this is a delimiter size function, we parse a single delimiter + var delim = this.parseDelimiter(nucleus.position, mode); + if (delim) { + var type = delimiterSizes[nucleus.type].type; + + return new ParseResult( + new ParseNode("delimsizing", { + size: delimiterSizes[nucleus.type].size, + type: delimiterSizes[nucleus.type].type, + value: delim.result.value + }, mode), + delim.position); + } else { + throw new ParseError( + "Expected delimiter after '" + nucleus.text + "'"); + } } else if (nucleus.type === "\\llap" || nucleus.type === "\\rlap") { // If this is an llap or rlap, parse its argument and return var group = this.parseGroup(nucleus.position, mode); diff --git a/buildTree.js b/buildTree.js index f8fe16238..43e345c28 100644 --- a/buildTree.js +++ b/buildTree.js @@ -70,6 +70,8 @@ var getTypeOfGroup = function(group) { return getTypeOfGroup(group.value.value); } else if (group.type === "sizing") { return getTypeOfGroup(group.value.value); + } else if (group.type === "delimsizing") { + return group.value.type; } else { return groupToType[group.type]; } @@ -180,7 +182,7 @@ var groupTypes = { } var supsub; - var fixIE = makeSpan(["fix-ie"], []); + var fixIE = makeSpan(["fix-ie"], [new domTree.textNode("\u00a0")]); if (!group.value.sup) { v = Math.max(v, fontMetrics.metrics.sub1, @@ -303,7 +305,7 @@ var groupTypes = { denomrow.height = 0; denomrow.depth = denomrow.depth + v; - var fixIE = makeSpan(["fix-ie"], []); + var fixIE = makeSpan(["fix-ie"], [new domTree.textNode("\u00a0")]); var frac = makeSpan([], [numerrow, mid, denomrow, fixIE]); @@ -425,6 +427,165 @@ var groupTypes = { ["sizing", "reset-" + options.size, group.value.size, getTypeOfGroup(group.value.value)], [inner]); + }, + + delimsizing: function(group, options, prev) { + var normalDelimiters = [ + "(", ")", "[", "\\lbrack", "]", "\\rbrack", + "\\{", "\\lbrace", "\\}", "\\rbrace", + "\\lfloor", "\\rfloor", "\\lceil", "\\rceil", + "<", ">", "\\langle", "\\rangle", "/", "\\backslash" + ]; + + var stackDelimiters = [ + "\\uparrow", "\\downarrow", "\\updownarrow", + "\\Uparrow", "\\Downarrow", "\\Updownarrow", + "|", "\\|", "\\vert", "\\Vert" + ]; + + // Metrics of the different sizes. Found by looking at TeX's output of + // $\bigl| \Bigl| \biggl| \Biggl| \showlists$ + var sizeToMetrics = { + 1: {height: .85, depth: .35}, + 2: {height: 1.15, depth: .65}, + 3: {height: 1.45, depth: .95}, + 4: {height: 1.75, depth: 1.25} + }; + + // Make an inner span with the given offset and in the given font + var makeInner = function(symbol, offset, font) { + var sizeClass; + if (font === "size1-regular") { + sizeClass = "size1"; + } + + var inner = makeSpan( + ["delimsizinginner", sizeClass], + [makeSpan([], [makeText(symbol, font, group.mode)])]); + + inner.style.top = offset + "em"; + inner.height -= offset; + inner.depth += offset; + + return inner; + }; + + // Get the metrics for a given symbol and font, after transformation + var getMetrics = function(symbol, font) { + if (symbols["math"][symbol] && symbols["math"][symbol].replace) { + return fontMetrics.getCharacterMetrics( + symbols["math"][symbol].replace, font); + } else { + return fontMetrics.getCharacterMetrics( + symbol, font); + } + }; + + var original = group.value.value; + + if (utils.contains(normalDelimiters, original)) { + // These delimiters can be created by simply using the size1-size4 + // fonts, so they don't require special treatment + if (original === "<") { + original = "\\langle"; + } else if (original === ">") { + original = "\\rangle"; + } + + var size = "size" + group.value.size; + var inner = mathrmSize( + original, group.value.size, group.mode); + + return makeSpan( + ["delimsizing", size, groupToType[group.value.type]], + [inner], options.getColor()); + } else if (utils.contains(stackDelimiters, original)) { + // These delimiters can be created by stacking other delimiters on + // top of each other to create the correct size + + // There are three parts, the top, a repeated middle, and a bottom. + var top = middle = bottom = original; + var font = "size1-regular"; + var overlap = false; + + // We set the parts and font based on the symbol. Note that we use + // '\u23d0' instead of '|' and '\u2016' instead of '\\|' for the + // middles of the arrows + if (original === "\\uparrow") { + middle = bottom = "\u23d0"; + } else if (original === "\\Uparrow") { + middle = bottom = "\u2016"; + } else if (original === "\\downarrow") { + top = middle = "\u23d0"; + } else if (original === "\\Downarrow") { + top = middle = "\u2016"; + } else if (original === "\\updownarrow") { + top = "\\uparrow"; + middle = "\u23d0"; + bottom = "\\downarrow"; + } else if (original === "\\Updownarrow") { + top = "\\Uparrow"; + middle = "\u2016"; + bottom = "\\Downarrow"; + } else if (original === "|" || original === "\\vert") { + overlap = true; + } else if (original === "\\|" || original === "\\Vert") { + overlap = true; + } + + // Get the metrics of the final symbol + var metrics = sizeToMetrics[group.value.size]; + var heightTotal = metrics.height + metrics.depth; + + // Get the metrics of the three sections + var topMetrics = getMetrics(top, font); + var topHeightTotal = topMetrics.height + topMetrics.depth; + var middleMetrics = getMetrics(middle, font); + var middleHeightTotal = middleMetrics.height + middleMetrics.depth; + var bottomMetrics = getMetrics(bottom, font); + var bottomHeightTotal = bottomMetrics.height + bottomMetrics.depth; + + var middleHeight = heightTotal - topHeightTotal - bottomHeightTotal; + var symbolCount = Math.ceil(middleHeight / middleHeightTotal); + + if (overlap) { + // 2 * overlapAmount + middleHeight = + // (symbolCount - 1) * (middleHeightTotal - overlapAmount) + + // middleHeightTotal + var overlapAmount = (symbolCount * middleHeightTotal - + middleHeight) / (symbolCount + 1); + } else { + var overlapAmount = 0; + } + + // Keep a list of the inner spans + var inners = []; + + // Add the top symbol + inners.push( + makeInner(top, topMetrics.height - metrics.height, font)); + + // Add middle symbols until there's only space for the bottom symbol + var curr_height = metrics.height - topHeightTotal + overlapAmount; + for (var i = 0; i < symbolCount; i++) { + inners.push( + makeInner(middle, middleMetrics.height - curr_height, font)); + curr_height -= middleHeightTotal - overlapAmount; + } + + // Add the bottom symbol + inners.push( + makeInner(bottom, metrics.depth - bottomMetrics.depth, font)); + + var fixIE = makeSpan(["fix-ie"], [new domTree.textNode("\u00a0")]); + inners.push(fixIE); + + return makeSpan( + ["delimsizing", "mult", groupToType[group.value.type]], + inners, options.getColor()); + } else { + throw new ParseError("Illegal delimiter: '" + original + "'"); + } } }; @@ -478,7 +639,7 @@ var buildGroup = function(group, options, prev) { }; var makeText = function(value, style, mode) { - if (symbols[mode][value].replace) { + if (symbols[mode][value] && symbols[mode][value].replace) { value = symbols[mode][value].replace; } @@ -514,6 +675,10 @@ var mathrm = function(value, mode) { } }; +var mathrmSize = function(value, size, mode) { + return makeText(value, "size" + size + "-regular", mode); +} + var buildTree = function(tree) { // Setup the default options var options = new Options(Style.TEXT, "size5", ""); diff --git a/fontMetrics.js b/fontMetrics.js index f65c99b0a..f89c09405 100644 --- a/fontMetrics.js +++ b/fontMetrics.js @@ -64,7 +64,7 @@ var metrics = { }; // This map is generated by metric_parse.rb -var metricMap = {"main-regular":{"13":{"height":0,"depth":0,"italic":0},"32":{"height":0,"depth":0,"italic":0},"33":{"height":0.716,"depth":-0.001,"italic":0.0},"34":{"height":0.694,"depth":-0.379,"italic":0.0},"35":{"height":0.694,"depth":0.194,"italic":0.0},"36":{"height":0.75,"depth":0.056,"italic":0.0},"37":{"height":0.75,"depth":0.056,"italic":0.0},"38":{"height":0.716,"depth":0.022,"italic":0.0},"39":{"height":0.694,"depth":-0.379,"italic":0.0},"40":{"height":0.75,"depth":0.25,"italic":0.0},"41":{"height":0.75,"depth":0.25,"italic":0.0},"42":{"height":0.75,"depth":-0.32,"italic":0.0},"43":{"height":0.583,"depth":0.082,"italic":0.0},"44":{"height":0.121,"depth":0.194,"italic":0.0},"45":{"height":0.252,"depth":-0.179,"italic":0.0},"46":{"height":0.12,"depth":0.0,"italic":0.0},"47":{"height":0.75,"depth":0.25,"italic":0.0},"48":{"height":0.666,"depth":0.022,"italic":0.0},"49":{"height":0.666,"depth":0.0,"italic":0.0},"50":{"height":0.666,"depth":0.0,"italic":0.0},"51":{"height":0.665,"depth":0.022,"italic":0.0},"52":{"height":0.677,"depth":0.0,"italic":0.0},"53":{"height":0.666,"depth":0.022,"italic":0.0},"54":{"height":0.666,"depth":0.022,"italic":0.0},"55":{"height":0.676,"depth":0.022,"italic":0.0},"56":{"height":0.666,"depth":0.022,"italic":0.0},"57":{"height":0.666,"depth":0.022,"italic":0.0},"58":{"height":0.43,"depth":0.0,"italic":0.0},"59":{"height":0.43,"depth":0.194,"italic":0.0},"60":{"height":0.54,"depth":0.04,"italic":0.0},"61":{"height":0.367,"depth":-0.133,"italic":0.0},"62":{"height":0.54,"depth":0.04,"italic":0.0},"63":{"height":0.705,"depth":-0.001,"italic":0.0},"64":{"height":0.705,"depth":0.011,"italic":0.0},"65":{"height":0.716,"depth":0.0,"italic":0.0},"66":{"height":0.683,"depth":0.0,"italic":0.0},"67":{"height":0.705,"depth":0.021,"italic":0.0},"68":{"height":0.683,"depth":0.0,"italic":0.0},"69":{"height":0.68,"depth":0.0,"italic":0.0},"70":{"height":0.68,"depth":0.0,"italic":0.0},"71":{"height":0.705,"depth":0.022,"italic":0.0},"72":{"height":0.683,"depth":0.0,"italic":0.0},"73":{"height":0.683,"depth":0.0,"italic":0.0},"74":{"height":0.683,"depth":0.022,"italic":0.0},"75":{"height":0.683,"depth":0.0,"italic":0.0},"76":{"height":0.683,"depth":0.0,"italic":0.0},"77":{"height":0.683,"depth":0.0,"italic":0.0},"78":{"height":0.683,"depth":0.0,"italic":0.0},"79":{"height":0.705,"depth":0.022,"italic":0.0},"80":{"height":0.683,"depth":0.0,"italic":0.0},"81":{"height":0.705,"depth":0.193,"italic":0.0},"82":{"height":0.683,"depth":0.022,"italic":0.0},"83":{"height":0.705,"depth":0.022,"italic":0.0},"84":{"height":0.677,"depth":0.0,"italic":0.0},"85":{"height":0.683,"depth":0.022,"italic":0.0},"86":{"height":0.683,"depth":0.022,"italic":0.0},"87":{"height":0.683,"depth":0.022,"italic":0.0},"88":{"height":0.683,"depth":0.0,"italic":0.0},"89":{"height":0.683,"depth":0.0,"italic":0.0},"90":{"height":0.683,"depth":0.0,"italic":0.0},"91":{"height":0.75,"depth":0.25,"italic":0.0},"92":{"height":0.75,"depth":0.25,"italic":0.0},"93":{"height":0.75,"depth":0.25,"italic":0.0},"94":{"height":0.694,"depth":-0.531,"italic":0.0},"95":{"height":-0.025,"depth":0.062,"italic":0.0},"96":{"height":0.699,"depth":-0.505,"italic":0.0},"97":{"height":0.448,"depth":0.011,"italic":0.0},"98":{"height":0.694,"depth":0.011,"italic":0.0},"99":{"height":0.448,"depth":0.011,"italic":0.0},"100":{"height":0.694,"depth":0.011,"italic":0.0},"101":{"height":0.448,"depth":0.011,"italic":0.0},"102":{"height":0.705,"depth":0.0,"italic":0.066},"103":{"height":0.453,"depth":0.206,"italic":0.0},"104":{"height":0.694,"depth":0.0,"italic":0.0},"105":{"height":0.669,"depth":0.0,"italic":0.0},"106":{"height":0.669,"depth":0.205,"italic":0.0},"107":{"height":0.694,"depth":0.0,"italic":0.0},"108":{"height":0.694,"depth":0.0,"italic":0.0},"109":{"height":0.442,"depth":0.0,"italic":0.0},"110":{"height":0.442,"depth":0.0,"italic":0.0},"111":{"height":0.448,"depth":0.01,"italic":0.0},"112":{"height":0.442,"depth":0.194,"italic":0.0},"113":{"height":0.442,"depth":0.194,"italic":0.007},"114":{"height":0.442,"depth":0.0,"italic":0.0},"115":{"height":0.448,"depth":0.011,"italic":0.0},"116":{"height":0.615,"depth":0.01,"italic":0.0},"117":{"height":0.442,"depth":0.011,"italic":0.0},"118":{"height":0.431,"depth":0.011,"italic":0.0},"119":{"height":0.431,"depth":0.011,"italic":0.0},"120":{"height":0.431,"depth":0.0,"italic":0.0},"121":{"height":0.431,"depth":0.204,"italic":0.0},"122":{"height":0.431,"depth":0.0,"italic":0.0},"123":{"height":0.75,"depth":0.25,"italic":0.0},"124":{"height":0.75,"depth":0.249,"italic":0.0},"125":{"height":0.75,"depth":0.25,"italic":0.0},"126":{"height":0.318,"depth":-0.215,"italic":0.0},"160":{"height":0,"depth":0,"italic":0},"168":{"height":0.669,"depth":-0.554,"italic":0.0},"172":{"height":0.356,"depth":-0.089,"italic":0.0},"173":{"height":0.252,"depth":-0.179,"italic":0.0},"175":{"height":0.59,"depth":-0.544,"italic":0.0},"176":{"height":0.715,"depth":-0.542,"italic":0.0},"177":{"height":0.666,"depth":0.0,"italic":0.0},"180":{"height":0.699,"depth":-0.505,"italic":0.0},"215":{"height":0.491,"depth":-0.009,"italic":0.0},"247":{"height":0.537,"depth":0.036,"italic":0.0},"305":{"height":0.442,"depth":0.0,"italic":0.0},"567":{"height":0.442,"depth":0.205,"italic":0.0},"710":{"height":0.694,"depth":-0.531,"italic":0.0},"711":{"height":0.644,"depth":-0.513,"italic":0.0},"713":{"height":0.59,"depth":-0.544,"italic":0.0},"714":{"height":0.699,"depth":-0.505,"italic":0.0},"715":{"height":0.699,"depth":-0.505,"italic":0.0},"728":{"height":0.694,"depth":-0.515,"italic":0.0},"729":{"height":0.669,"depth":-0.549,"italic":0.0},"730":{"height":0.715,"depth":-0.542,"italic":0.0},"732":{"height":0.668,"depth":-0.565,"italic":0.0},"768":{"height":0.699,"depth":-0.505,"italic":0.0},"769":{"height":0.699,"depth":-0.505,"italic":0.0},"770":{"height":0.694,"depth":-0.531,"italic":0.0},"771":{"height":0.668,"depth":-0.565,"italic":0.0},"772":{"height":0.59,"depth":-0.544,"italic":0.0},"774":{"height":0.694,"depth":-0.515,"italic":0.0},"775":{"height":0.669,"depth":-0.549,"italic":0.0},"776":{"height":0.669,"depth":-0.554,"italic":0.0},"778":{"height":0.715,"depth":-0.542,"italic":0.0},"779":{"height":0.701,"depth":-0.51,"italic":0.0},"780":{"height":0.644,"depth":-0.513,"italic":0.0},"824":{"height":0.716,"depth":0.215,"italic":0.0},"915":{"height":0.68,"depth":0.0,"italic":0.0},"916":{"height":0.716,"depth":0.0,"italic":0.0},"920":{"height":0.705,"depth":0.022,"italic":0.0},"923":{"height":0.716,"depth":0.0,"italic":0.0},"926":{"height":0.677,"depth":0.0,"italic":0.0},"928":{"height":0.68,"depth":0.0,"italic":0.0},"931":{"height":0.683,"depth":0.0,"italic":0.0},"933":{"height":0.705,"depth":0.0,"italic":0.0},"934":{"height":0.683,"depth":0.0,"italic":0.0},"936":{"height":0.683,"depth":0.0,"italic":0.0},"937":{"height":0.704,"depth":0.0,"italic":0.0},"8192":{"height":0,"depth":0,"italic":0},"8193":{"height":0,"depth":0,"italic":0},"8194":{"height":0,"depth":0,"italic":0},"8195":{"height":0,"depth":0,"italic":0},"8196":{"height":0,"depth":0,"italic":0},"8197":{"height":0,"depth":0,"italic":0},"8198":{"height":0,"depth":0,"italic":0},"8199":{"height":0,"depth":0,"italic":0},"8200":{"height":0,"depth":0,"italic":0},"8201":{"height":0,"depth":0,"italic":0},"8202":{"height":0,"depth":0,"italic":0},"8208":{"height":0.252,"depth":-0.179,"italic":0.0},"8209":{"height":0.252,"depth":-0.179,"italic":0.0},"8210":{"height":0.252,"depth":-0.179,"italic":0.0},"8211":{"height":0.285,"depth":-0.248,"italic":0.0},"8212":{"height":0.285,"depth":-0.248,"italic":0.0},"8216":{"height":0.694,"depth":-0.379,"italic":0.0},"8217":{"height":0.694,"depth":-0.379,"italic":0.0},"8220":{"height":0.694,"depth":-0.379,"italic":0.0},"8221":{"height":0.694,"depth":-0.379,"italic":0.0},"8224":{"height":0.705,"depth":0.216,"italic":0.0},"8225":{"height":0.705,"depth":0.205,"italic":0.0},"8230":{"height":0.12,"depth":0.0,"italic":0.0},"8239":{"height":0,"depth":0,"italic":0},"8242":{"height":0.56,"depth":-0.043,"italic":0.0},"8287":{"height":0,"depth":0,"italic":0},"8407":{"height":0.714,"depth":-0.516,"italic":0.0},"8463":{"height":0.695,"depth":0.013,"italic":0.022},"8465":{"height":0.705,"depth":0.01,"italic":0.0},"8467":{"height":0.705,"depth":0.02,"italic":0.0},"8472":{"height":0.453,"depth":0.216,"italic":0.0},"8476":{"height":0.716,"depth":0.022,"italic":0.0},"8501":{"height":0.694,"depth":0.0,"italic":0.0},"8592":{"height":0.511,"depth":0.011,"italic":0.0},"8593":{"height":0.694,"depth":0.193,"italic":0.0},"8594":{"height":0.511,"depth":0.011,"italic":0.0},"8595":{"height":0.694,"depth":0.194,"italic":0.0},"8596":{"height":0.511,"depth":0.011,"italic":0.0},"8597":{"height":0.772,"depth":0.272,"italic":0.0},"8598":{"height":0.72,"depth":0.195,"italic":0.0},"8599":{"height":0.72,"depth":0.195,"italic":0.0},"8600":{"height":0.695,"depth":0.22,"italic":0.0},"8601":{"height":0.695,"depth":0.22,"italic":0.0},"8614":{"height":0.511,"depth":0.011,"italic":0.0},"8617":{"height":0.511,"depth":0.011,"italic":0.0},"8618":{"height":0.511,"depth":0.011,"italic":0.0},"8636":{"height":0.511,"depth":-0.23,"italic":0.0},"8637":{"height":0.27,"depth":0.011,"italic":0.0},"8640":{"height":0.511,"depth":-0.23,"italic":0.0},"8641":{"height":0.27,"depth":0.011,"italic":0.0},"8652":{"height":0.671,"depth":0.011,"italic":0.0},"8656":{"height":0.525,"depth":0.024,"italic":0.0},"8657":{"height":0.694,"depth":0.194,"italic":0.0},"8658":{"height":0.525,"depth":0.024,"italic":0.0},"8659":{"height":0.694,"depth":0.194,"italic":0.0},"8660":{"height":0.526,"depth":0.025,"italic":0.0},"8661":{"height":0.772,"depth":0.272,"italic":0.0},"8704":{"height":0.694,"depth":0.022,"italic":0.0},"8706":{"height":0.715,"depth":0.022,"italic":0.035},"8707":{"height":0.694,"depth":0.0,"italic":0.0},"8709":{"height":0.772,"depth":0.078,"italic":0.0},"8711":{"height":0.683,"depth":0.033,"italic":0.0},"8712":{"height":0.54,"depth":0.04,"italic":0.0},"8713":{"height":0.716,"depth":0.215,"italic":0.0},"8715":{"height":0.54,"depth":0.04,"italic":0.0},"8722":{"height":0.27,"depth":-0.23,"italic":0.0},"8723":{"height":0.5,"depth":0.166,"italic":0.0},"8725":{"height":0.75,"depth":0.25,"italic":0.0},"8726":{"height":0.75,"depth":0.25,"italic":0.0},"8727":{"height":0.465,"depth":-0.035,"italic":0.0},"8728":{"height":0.444,"depth":-0.055,"italic":0.0},"8729":{"height":0.444,"depth":-0.055,"italic":0.0},"8730":{"height":0.8,"depth":0.2,"italic":0.021},"8733":{"height":0.442,"depth":0.011,"italic":0.0},"8734":{"height":0.442,"depth":0.011,"italic":0.0},"8736":{"height":0.694,"depth":0.0,"italic":0.0},"8739":{"height":0.75,"depth":0.249,"italic":0.0},"8741":{"height":0.75,"depth":0.25,"italic":0.0},"8743":{"height":0.598,"depth":0.022,"italic":0.0},"8744":{"height":0.598,"depth":0.022,"italic":0.0},"8745":{"height":0.598,"depth":0.022,"italic":0.0},"8746":{"height":0.598,"depth":0.022,"italic":0.0},"8747":{"height":0.716,"depth":0.216,"italic":0.055},"8764":{"height":0.367,"depth":-0.133,"italic":0.0},"8768":{"height":0.583,"depth":0.083,"italic":0.0},"8771":{"height":0.464,"depth":-0.036,"italic":0.0},"8773":{"height":0.589,"depth":-0.022,"italic":0.0},"8776":{"height":0.483,"depth":-0.055,"italic":0.0},"8781":{"height":0.484,"depth":-0.016,"italic":0.0},"8784":{"height":0.67,"depth":-0.133,"italic":0.0},"8800":{"height":0.716,"depth":0.215,"italic":0.0},"8801":{"height":0.464,"depth":-0.036,"italic":0.0},"8804":{"height":0.636,"depth":0.138,"italic":0.0},"8805":{"height":0.636,"depth":0.138,"italic":0.0},"8810":{"height":0.568,"depth":0.067,"italic":0.0},"8811":{"height":0.567,"depth":0.067,"italic":0.0},"8826":{"height":0.539,"depth":0.041,"italic":0.0},"8827":{"height":0.539,"depth":0.041,"italic":0.0},"8834":{"height":0.54,"depth":0.04,"italic":0.0},"8835":{"height":0.54,"depth":0.04,"italic":0.0},"8838":{"height":0.636,"depth":0.138,"italic":0.0},"8839":{"height":0.636,"depth":0.138,"italic":0.0},"8846":{"height":0.598,"depth":0.022,"italic":0.0},"8849":{"height":0.636,"depth":0.138,"italic":0.0},"8850":{"height":0.636,"depth":0.138,"italic":0.0},"8851":{"height":0.598,"depth":0.0,"italic":0.0},"8852":{"height":0.598,"depth":0.0,"italic":0.0},"8853":{"height":0.583,"depth":0.083,"italic":0.0},"8854":{"height":0.583,"depth":0.083,"italic":0.0},"8855":{"height":0.583,"depth":0.083,"italic":0.0},"8856":{"height":0.583,"depth":0.083,"italic":0.0},"8857":{"height":0.583,"depth":0.083,"italic":0.0},"8866":{"height":0.694,"depth":0.0,"italic":0.0},"8867":{"height":0.694,"depth":0.0,"italic":0.0},"8868":{"height":0.668,"depth":0.0,"italic":0.0},"8869":{"height":0.668,"depth":0.0,"italic":0.0},"8872":{"height":0.75,"depth":0.249,"italic":0.0},"8900":{"height":0.488,"depth":-0.012,"italic":0.0},"8901":{"height":0.31,"depth":-0.19,"italic":0.0},"8902":{"height":0.486,"depth":-0.016,"italic":0.0},"8904":{"height":0.505,"depth":0.005,"italic":0.0},"8942":{"height":0.9,"depth":0.03,"italic":0.0},"8943":{"height":0.31,"depth":-0.19,"italic":0.0},"8945":{"height":0.82,"depth":-0.1,"italic":0.0},"8968":{"height":0.75,"depth":0.25,"italic":0.0},"8969":{"height":0.75,"depth":0.25,"italic":0.0},"8970":{"height":0.75,"depth":0.25,"italic":0.0},"8971":{"height":0.75,"depth":0.25,"italic":0.0},"8994":{"height":0.388,"depth":-0.122,"italic":0.0},"8995":{"height":0.378,"depth":-0.134,"italic":0.0},"9136":{"height":0.744,"depth":0.244,"italic":0.0},"9137":{"height":0.744,"depth":0.244,"italic":0.0},"9651":{"height":0.716,"depth":0.0,"italic":0.0},"9657":{"height":0.505,"depth":0.005,"italic":0.0},"9661":{"height":0.5,"depth":0.215,"italic":0.0},"9667":{"height":0.505,"depth":0.005,"italic":0.0},"9711":{"height":0.715,"depth":0.215,"italic":0.0},"9824":{"height":0.727,"depth":0.13,"italic":0.0},"9825":{"height":0.716,"depth":0.033,"italic":0.0},"9826":{"height":0.727,"depth":0.162,"italic":0.0},"9827":{"height":0.726,"depth":0.13,"italic":0.0},"9837":{"height":0.75,"depth":0.022,"italic":0.0},"9838":{"height":0.734,"depth":0.223,"italic":0.0},"9839":{"height":0.723,"depth":0.223,"italic":0.0},"10216":{"height":0.75,"depth":0.25,"italic":0.0},"10217":{"height":0.75,"depth":0.25,"italic":0.0},"10222":{"height":0.744,"depth":0.244,"italic":0.0},"10223":{"height":0.744,"depth":0.244,"italic":0.0},"10229":{"height":0.511,"depth":0.011,"italic":0.0},"10230":{"height":0.511,"depth":0.011,"italic":0.0},"10231":{"height":0.511,"depth":0.011,"italic":0.0},"10232":{"height":0.525,"depth":0.024,"italic":0.0},"10233":{"height":0.525,"depth":0.024,"italic":0.0},"10234":{"height":0.525,"depth":0.024,"italic":0.0},"10236":{"height":0.511,"depth":0.011,"italic":0.0},"10815":{"height":0.683,"depth":0.0,"italic":0.0},"10927":{"height":0.636,"depth":0.138,"italic":0.0},"10928":{"height":0.636,"depth":0.138,"italic":0.0},"57344":{"height":0.43,"depth":0.0,"italic":0.0},"61437":{"height":0.1,"depth":0.0,"italic":0.0},"61438":{"height":0.1,"depth":0.0,"italic":0.0},"61439":{"height":0.1,"depth":0.0,"italic":0.0},"65535":{"height":0.533,"depth":0.0,"italic":0.0}},"math-italic":{"13":{"height":0,"depth":0,"italic":0},"32":{"height":0,"depth":0,"italic":0},"47":{"height":0.716,"depth":0.215,"italic":0.0},"65":{"height":0.716,"depth":0.0,"italic":0.0},"66":{"height":0.683,"depth":0.0,"italic":0.0},"67":{"height":0.705,"depth":0.022,"italic":0.045},"68":{"height":0.683,"depth":0.0,"italic":0.0},"69":{"height":0.68,"depth":0.0,"italic":0.026},"70":{"height":0.68,"depth":0.0,"italic":0.106},"71":{"height":0.705,"depth":0.022,"italic":0.0},"72":{"height":0.683,"depth":0.0,"italic":0.058},"73":{"height":0.683,"depth":0.0,"italic":0.064},"74":{"height":0.683,"depth":0.022,"italic":0.078},"75":{"height":0.683,"depth":0.0,"italic":0.041},"76":{"height":0.683,"depth":0.0,"italic":0.0},"77":{"height":0.683,"depth":0.0,"italic":0.081},"78":{"height":0.683,"depth":0.0,"italic":0.085},"79":{"height":0.704,"depth":0.022,"italic":0.0},"80":{"height":0.683,"depth":0.0,"italic":0.109},"81":{"height":0.704,"depth":0.194,"italic":0.0},"82":{"height":0.683,"depth":0.021,"italic":0.0},"83":{"height":0.705,"depth":0.022,"italic":0.032},"84":{"height":0.677,"depth":0.0,"italic":0.12},"85":{"height":0.683,"depth":0.022,"italic":0.084},"86":{"height":0.683,"depth":0.022,"italic":0.187},"87":{"height":0.683,"depth":0.022,"italic":0.104},"88":{"height":0.683,"depth":0.0,"italic":0.024},"89":{"height":0.683,"depth":-0.001,"italic":0.183},"90":{"height":0.683,"depth":0.0,"italic":0.041},"97":{"height":0.441,"depth":0.01,"italic":0.0},"98":{"height":0.694,"depth":0.011,"italic":0.0},"99":{"height":0.442,"depth":0.011,"italic":0.0},"100":{"height":0.694,"depth":0.01,"italic":0.003},"101":{"height":0.442,"depth":0.011,"italic":0.0},"102":{"height":0.705,"depth":0.205,"italic":0.06},"103":{"height":0.442,"depth":0.205,"italic":0.003},"104":{"height":0.694,"depth":0.011,"italic":0.0},"105":{"height":0.661,"depth":0.011,"italic":0.0},"106":{"height":0.661,"depth":0.204,"italic":0.0},"107":{"height":0.694,"depth":0.011,"italic":0.0},"108":{"height":0.694,"depth":0.011,"italic":0.0},"109":{"height":0.442,"depth":0.011,"italic":0.0},"110":{"height":0.442,"depth":0.011,"italic":0.0},"111":{"height":0.441,"depth":0.011,"italic":0.0},"112":{"height":0.442,"depth":0.194,"italic":0.0},"113":{"height":0.442,"depth":0.194,"italic":0.014},"114":{"height":0.442,"depth":0.011,"italic":0.0},"115":{"height":0.442,"depth":0.01,"italic":0.0},"116":{"height":0.626,"depth":0.011,"italic":0.0},"117":{"height":0.442,"depth":0.011,"italic":0.0},"118":{"height":0.443,"depth":0.011,"italic":0.0},"119":{"height":0.443,"depth":0.011,"italic":0.0},"120":{"height":0.442,"depth":0.011,"italic":0.0},"121":{"height":0.442,"depth":0.205,"italic":0.006},"122":{"height":0.442,"depth":0.011,"italic":0.003},"160":{"height":0,"depth":0,"italic":0},"915":{"height":0.68,"depth":-0.001,"italic":0.106},"916":{"height":0.716,"depth":0.0,"italic":0.0},"920":{"height":0.704,"depth":0.022,"italic":0.0},"923":{"height":0.716,"depth":0.0,"italic":0.0},"926":{"height":0.677,"depth":0.0,"italic":0.035},"928":{"height":0.68,"depth":0.0,"italic":0.057},"931":{"height":0.683,"depth":0.0,"italic":0.026},"933":{"height":0.705,"depth":0.0,"italic":0.118},"934":{"height":0.683,"depth":0.0,"italic":0.0},"936":{"height":0.683,"depth":0.0,"italic":0.08},"937":{"height":0.704,"depth":0.0,"italic":0.014},"945":{"height":0.442,"depth":0.011,"italic":0.0},"946":{"height":0.705,"depth":0.194,"italic":0.007},"947":{"height":0.441,"depth":0.216,"italic":0.025},"948":{"height":0.717,"depth":0.01,"italic":0.007},"949":{"height":0.452,"depth":0.022,"italic":0.0},"950":{"height":0.704,"depth":0.204,"italic":0.033},"951":{"height":0.442,"depth":0.216,"italic":0.006},"952":{"height":0.705,"depth":0.01,"italic":0.0},"953":{"height":0.442,"depth":0.01,"italic":0.0},"954":{"height":0.442,"depth":0.011,"italic":0.0},"955":{"height":0.694,"depth":0.012,"italic":0.0},"956":{"height":0.442,"depth":0.216,"italic":0.0},"957":{"height":0.442,"depth":0.002,"italic":0.036},"958":{"height":0.704,"depth":0.205,"italic":0.005},"959":{"height":0.441,"depth":0.011,"italic":0.0},"960":{"height":0.431,"depth":0.011,"italic":0.003},"961":{"height":0.442,"depth":0.216,"italic":0.0},"962":{"height":0.442,"depth":0.107,"italic":0.042},"963":{"height":0.431,"depth":0.011,"italic":0.001},"964":{"height":0.431,"depth":0.013,"italic":0.081},"965":{"height":0.443,"depth":0.01,"italic":0.0},"966":{"height":0.442,"depth":0.218,"italic":0.0},"967":{"height":0.442,"depth":0.204,"italic":0.0},"968":{"height":0.694,"depth":0.205,"italic":0.0},"969":{"height":0.443,"depth":0.011,"italic":0.0},"977":{"height":0.705,"depth":0.011,"italic":0.0},"981":{"height":0.694,"depth":0.205,"italic":0.0},"982":{"height":0.431,"depth":0.01,"italic":0.0},"1009":{"height":0.442,"depth":0.194,"italic":0.0},"1013":{"height":0.431,"depth":0.011,"italic":0.0},"8192":{"height":0,"depth":0,"italic":0},"8193":{"height":0,"depth":0,"italic":0},"8194":{"height":0,"depth":0,"italic":0},"8195":{"height":0,"depth":0,"italic":0},"8196":{"height":0,"depth":0,"italic":0},"8197":{"height":0,"depth":0,"italic":0},"8198":{"height":0,"depth":0,"italic":0},"8199":{"height":0,"depth":0,"italic":0},"8200":{"height":0,"depth":0,"italic":0},"8201":{"height":0,"depth":0,"italic":0},"8202":{"height":0,"depth":0,"italic":0},"8239":{"height":0,"depth":0,"italic":0},"8287":{"height":0,"depth":0,"italic":0},"57344":{"height":0.44,"depth":0.0,"italic":0.0},"61437":{"height":0.1,"depth":0.0,"italic":0.0},"61438":{"height":0.1,"depth":0.0,"italic":0.0},"61439":{"height":0.1,"depth":0.0,"italic":0.0},"65535":{"height":0.533,"depth":0.0,"italic":0.0}},"ams-regular":{"13":{"height":0,"depth":0,"italic":0},"32":{"height":0,"depth":0,"italic":0},"65":{"height":0.701,"depth":0.001,"italic":0.0},"66":{"height":0.683,"depth":0.001,"italic":0.0},"67":{"height":0.702,"depth":0.019,"italic":0.0},"68":{"height":0.683,"depth":0.001,"italic":0.0},"69":{"height":0.683,"depth":0.001,"italic":0.0},"70":{"height":0.683,"depth":0.001,"italic":0.0},"71":{"height":0.702,"depth":0.019,"italic":0.0},"72":{"height":0.683,"depth":0.001,"italic":0.0},"73":{"height":0.683,"depth":0.001,"italic":0.0},"74":{"height":0.683,"depth":0.077,"italic":0.0},"75":{"height":0.683,"depth":0.001,"italic":0.0},"76":{"height":0.683,"depth":0.001,"italic":0.0},"77":{"height":0.683,"depth":0.001,"italic":0.0},"78":{"height":0.683,"depth":0.02,"italic":0.0},"79":{"height":0.701,"depth":0.019,"italic":0.0},"80":{"height":0.683,"depth":0.001,"italic":0.0},"81":{"height":0.701,"depth":0.181,"italic":0.0},"82":{"height":0.683,"depth":0.001,"italic":0.0},"83":{"height":0.702,"depth":0.012,"italic":0.0},"84":{"height":0.683,"depth":0.001,"italic":0.0},"85":{"height":0.683,"depth":0.019,"italic":0.0},"86":{"height":0.683,"depth":0.02,"italic":0.0},"87":{"height":0.683,"depth":0.019,"italic":0.0},"88":{"height":0.683,"depth":0.001,"italic":0.0},"89":{"height":0.683,"depth":0.001,"italic":0.0},"90":{"height":0.683,"depth":0.001,"italic":0.0},"107":{"height":0.683,"depth":0.001,"italic":0.0},"160":{"height":0,"depth":0,"italic":0},"165":{"height":0.683,"depth":0.0,"italic":0.0},"174":{"height":0.709,"depth":0.175,"italic":0.0},"240":{"height":0.749,"depth":0.021,"italic":0.0},"295":{"height":0.695,"depth":0.013,"italic":0.022},"710":{"height":0.845,"depth":-0.561,"italic":0.014},"732":{"height":0.899,"depth":-0.628,"italic":0.0},"770":{"height":0.845,"depth":-0.561,"italic":0.013},"771":{"height":0.899,"depth":-0.628,"italic":0.0},"989":{"height":0.605,"depth":0.085,"italic":0.0},"1008":{"height":0.434,"depth":0.006,"italic":0.067},"8192":{"height":0,"depth":0,"italic":0},"8193":{"height":0,"depth":0,"italic":0},"8194":{"height":0,"depth":0,"italic":0},"8195":{"height":0,"depth":0,"italic":0},"8196":{"height":0,"depth":0,"italic":0},"8197":{"height":0,"depth":0,"italic":0},"8198":{"height":0,"depth":0,"italic":0},"8199":{"height":0,"depth":0,"italic":0},"8200":{"height":0,"depth":0,"italic":0},"8201":{"height":0,"depth":0,"italic":0},"8202":{"height":0,"depth":0,"italic":0},"8239":{"height":0,"depth":0,"italic":0},"8245":{"height":0.56,"depth":-0.043,"italic":0.0},"8287":{"height":0,"depth":0,"italic":0},"8463":{"height":0.695,"depth":0.013,"italic":0.022},"8487":{"height":0.684,"depth":0.022,"italic":0.0},"8498":{"height":0.695,"depth":0.001,"italic":0.0},"8502":{"height":0.763,"depth":0.021,"italic":0.02},"8503":{"height":0.764,"depth":0.043,"italic":0.0},"8504":{"height":0.764,"depth":0.043,"italic":0.0},"8513":{"height":0.705,"depth":0.023,"italic":0.0},"8592":{"height":0.437,"depth":-0.064,"italic":0.0},"8594":{"height":0.437,"depth":-0.064,"italic":0.0},"8602":{"height":0.437,"depth":-0.06,"italic":0.0},"8603":{"height":0.437,"depth":-0.06,"italic":0.0},"8606":{"height":0.417,"depth":-0.083,"italic":0.0},"8608":{"height":0.417,"depth":-0.083,"italic":0.0},"8610":{"height":0.417,"depth":-0.083,"italic":0.0},"8611":{"height":0.417,"depth":-0.083,"italic":0.0},"8619":{"height":0.575,"depth":0.041,"italic":0.0},"8620":{"height":0.575,"depth":0.041,"italic":0.0},"8621":{"height":0.417,"depth":-0.083,"italic":0.0},"8622":{"height":0.437,"depth":-0.06,"italic":0.0},"8624":{"height":0.722,"depth":0.0,"italic":0.0},"8625":{"height":0.722,"depth":0.0,"italic":0.0},"8630":{"height":0.461,"depth":0.001,"italic":0.0},"8631":{"height":0.46,"depth":0.001,"italic":0.0},"8634":{"height":0.65,"depth":0.083,"italic":0.0},"8635":{"height":0.65,"depth":0.083,"italic":0.0},"8638":{"height":0.694,"depth":0.194,"italic":0.0},"8639":{"height":0.694,"depth":0.194,"italic":0.0},"8642":{"height":0.694,"depth":0.194,"italic":0.0},"8643":{"height":0.694,"depth":0.194,"italic":0.0},"8644":{"height":0.667,"depth":0.0,"italic":0.0},"8646":{"height":0.667,"depth":0.0,"italic":0.0},"8647":{"height":0.583,"depth":0.083,"italic":0.0},"8648":{"height":0.694,"depth":0.193,"italic":0.0},"8649":{"height":0.583,"depth":0.083,"italic":0.0},"8650":{"height":0.694,"depth":0.194,"italic":0.0},"8651":{"height":0.514,"depth":0.014,"italic":0.0},"8652":{"height":0.514,"depth":0.014,"italic":0.0},"8653":{"height":0.534,"depth":0.035,"italic":0.0},"8654":{"height":0.534,"depth":0.037,"italic":0.0},"8655":{"height":0.534,"depth":0.035,"italic":0.0},"8666":{"height":0.611,"depth":0.111,"italic":0.0},"8667":{"height":0.611,"depth":0.111,"italic":0.0},"8669":{"height":0.417,"depth":-0.083,"italic":0.0},"8672":{"height":0.437,"depth":-0.064,"italic":0.0},"8674":{"height":0.437,"depth":-0.064,"italic":0.0},"8705":{"height":0.846,"depth":0.021,"italic":0.0},"8708":{"height":0.86,"depth":0.166,"italic":0.0},"8709":{"height":0.587,"depth":0.003,"italic":0.0},"8717":{"height":0.44,"depth":0.001,"italic":0.027},"8722":{"height":0.27,"depth":-0.23,"italic":0.0},"8724":{"height":0.766,"depth":0.093,"italic":0.0},"8726":{"height":0.43,"depth":0.023,"italic":0.0},"8733":{"height":0.472,"depth":-0.028,"italic":0.0},"8736":{"height":0.694,"depth":0.0,"italic":0.0},"8737":{"height":0.714,"depth":0.02,"italic":0.0},"8738":{"height":0.551,"depth":0.051,"italic":0.0},"8739":{"height":0.43,"depth":0.023,"italic":0.0},"8740":{"height":0.75,"depth":0.252,"italic":0.018},"8741":{"height":0.431,"depth":0.023,"italic":0.0},"8742":{"height":0.75,"depth":0.25,"italic":0.018},"8756":{"height":0.471,"depth":0.082,"italic":0.0},"8757":{"height":0.471,"depth":0.082,"italic":0.0},"8764":{"height":0.365,"depth":-0.132,"italic":0.0},"8765":{"height":0.367,"depth":-0.133,"italic":0.0},"8769":{"height":0.467,"depth":-0.032,"italic":0.0},"8770":{"height":0.463,"depth":-0.034,"italic":0.0},"8774":{"height":0.652,"depth":0.155,"italic":0.0},"8776":{"height":0.481,"depth":-0.05,"italic":0.0},"8778":{"height":0.579,"depth":0.039,"italic":0.0},"8782":{"height":0.492,"depth":-0.008,"italic":0.0},"8783":{"height":0.492,"depth":-0.133,"italic":0.0},"8785":{"height":0.609,"depth":0.108,"italic":0.0},"8786":{"height":0.601,"depth":0.101,"italic":0.0},"8787":{"height":0.601,"depth":0.102,"italic":0.0},"8790":{"height":0.367,"depth":-0.133,"italic":0.0},"8791":{"height":0.721,"depth":-0.133,"italic":0.0},"8796":{"height":0.859,"depth":-0.133,"italic":0.0},"8806":{"height":0.753,"depth":0.175,"italic":0.0},"8807":{"height":0.753,"depth":0.175,"italic":0.0},"8808":{"height":0.752,"depth":0.286,"italic":0.0},"8809":{"height":0.752,"depth":0.286,"italic":0.0},"8812":{"height":0.75,"depth":0.25,"italic":0.0},"8814":{"height":0.708,"depth":0.209,"italic":0.0},"8815":{"height":0.708,"depth":0.209,"italic":0.0},"8816":{"height":0.801,"depth":0.303,"italic":0.0},"8817":{"height":0.801,"depth":0.303,"italic":0.0},"8818":{"height":0.732,"depth":0.228,"italic":0.0},"8819":{"height":0.732,"depth":0.228,"italic":0.0},"8822":{"height":0.681,"depth":0.253,"italic":0.0},"8823":{"height":0.681,"depth":0.253,"italic":0.0},"8828":{"height":0.58,"depth":0.153,"italic":0.0},"8829":{"height":0.58,"depth":0.154,"italic":0.0},"8830":{"height":0.732,"depth":0.228,"italic":0.0},"8831":{"height":0.732,"depth":0.228,"italic":0.0},"8832":{"height":0.705,"depth":0.208,"italic":0.0},"8833":{"height":0.705,"depth":0.208,"italic":0.0},"8840":{"height":0.801,"depth":0.303,"italic":0.0},"8841":{"height":0.801,"depth":0.303,"italic":0.0},"8842":{"height":0.635,"depth":0.241,"italic":0.0},"8843":{"height":0.635,"depth":0.241,"italic":0.0},"8847":{"height":0.539,"depth":0.041,"italic":0.0},"8848":{"height":0.539,"depth":0.041,"italic":0.0},"8858":{"height":0.582,"depth":0.082,"italic":0.0},"8859":{"height":0.582,"depth":0.082,"italic":0.0},"8861":{"height":0.582,"depth":0.082,"italic":0.0},"8862":{"height":0.689,"depth":0.0,"italic":0.0},"8863":{"height":0.689,"depth":0.0,"italic":0.0},"8864":{"height":0.689,"depth":0.0,"italic":0.0},"8865":{"height":0.689,"depth":0.0,"italic":0.0},"8872":{"height":0.694,"depth":0.0,"italic":0.0},"8873":{"height":0.694,"depth":0.0,"italic":0.0},"8874":{"height":0.694,"depth":0.0,"italic":0.0},"8876":{"height":0.695,"depth":0.001,"italic":0.0},"8877":{"height":0.695,"depth":0.001,"italic":0.0},"8878":{"height":0.695,"depth":0.001,"italic":0.0},"8879":{"height":0.695,"depth":0.001,"italic":0.0},"8882":{"height":0.539,"depth":0.041,"italic":0.0},"8883":{"height":0.539,"depth":0.041,"italic":0.0},"8884":{"height":0.636,"depth":0.138,"italic":0.0},"8885":{"height":0.636,"depth":0.138,"italic":0.0},"8888":{"height":0.408,"depth":-0.092,"italic":0.0},"8890":{"height":0.431,"depth":0.212,"italic":0.0},"8891":{"height":0.716,"depth":0.0,"italic":0.0},"8892":{"height":0.716,"depth":0.0,"italic":0.0},"8901":{"height":0.189,"depth":0.0,"italic":0.0},"8903":{"height":0.545,"depth":0.044,"italic":0.0},"8905":{"height":0.492,"depth":-0.008,"italic":0.0},"8906":{"height":0.492,"depth":-0.008,"italic":0.0},"8907":{"height":0.694,"depth":0.022,"italic":0.0},"8908":{"height":0.694,"depth":0.022,"italic":0.0},"8909":{"height":0.464,"depth":-0.036,"italic":0.0},"8910":{"height":0.578,"depth":0.021,"italic":0.0},"8911":{"height":0.578,"depth":0.022,"italic":0.0},"8912":{"height":0.54,"depth":0.04,"italic":0.0},"8913":{"height":0.54,"depth":0.04,"italic":0.0},"8914":{"height":0.598,"depth":0.022,"italic":0.0},"8915":{"height":0.598,"depth":0.022,"italic":0.0},"8916":{"height":0.736,"depth":0.022,"italic":0.0},"8918":{"height":0.541,"depth":0.041,"italic":0.0},"8919":{"height":0.541,"depth":0.041,"italic":0.0},"8920":{"height":0.568,"depth":0.067,"italic":0.0},"8921":{"height":0.568,"depth":0.067,"italic":0.0},"8922":{"height":0.886,"depth":0.386,"italic":0.0},"8923":{"height":0.886,"depth":0.386,"italic":0.0},"8926":{"height":0.734,"depth":0.0,"italic":0.0},"8927":{"height":0.734,"depth":0.0,"italic":0.0},"8928":{"height":0.801,"depth":0.303,"italic":0.0},"8929":{"height":0.801,"depth":0.303,"italic":0.0},"8934":{"height":0.73,"depth":0.359,"italic":0.0},"8935":{"height":0.73,"depth":0.359,"italic":0.0},"8936":{"height":0.73,"depth":0.359,"italic":0.0},"8937":{"height":0.73,"depth":0.359,"italic":0.0},"8938":{"height":0.706,"depth":0.208,"italic":0.0},"8939":{"height":0.706,"depth":0.208,"italic":0.0},"8940":{"height":0.802,"depth":0.303,"italic":0.0},"8941":{"height":0.801,"depth":0.303,"italic":0.0},"8994":{"height":0.378,"depth":-0.122,"italic":0.0},"8995":{"height":0.378,"depth":-0.143,"italic":0.0},"9416":{"height":0.709,"depth":0.175,"italic":0.0},"9484":{"height":0.694,"depth":-0.306,"italic":0.0},"9488":{"height":0.694,"depth":-0.306,"italic":0.0},"9492":{"height":0.366,"depth":0.022,"italic":0.0},"9496":{"height":0.366,"depth":0.022,"italic":0.0},"9585":{"height":0.694,"depth":0.195,"italic":0.0},"9586":{"height":0.694,"depth":0.195,"italic":0.0},"9632":{"height":0.689,"depth":0.0,"italic":0.0},"9633":{"height":0.689,"depth":0.0,"italic":0.0},"9650":{"height":0.575,"depth":0.02,"italic":0.0},"9651":{"height":0.575,"depth":0.02,"italic":0.0},"9654":{"height":0.539,"depth":0.041,"italic":0.0},"9660":{"height":0.576,"depth":0.019,"italic":0.0},"9661":{"height":0.576,"depth":0.019,"italic":0.0},"9664":{"height":0.539,"depth":0.041,"italic":0.0},"9674":{"height":0.716,"depth":0.132,"italic":0.0},"9733":{"height":0.694,"depth":0.111,"italic":0.0},"10003":{"height":0.706,"depth":0.034,"italic":0.0},"10016":{"height":0.716,"depth":0.022,"italic":0.0},"10731":{"height":0.716,"depth":0.132,"italic":0.0},"10846":{"height":0.813,"depth":0.097,"italic":0.0},"10877":{"height":0.636,"depth":0.138,"italic":0.0},"10878":{"height":0.636,"depth":0.138,"italic":0.0},"10885":{"height":0.762,"depth":0.29,"italic":0.0},"10886":{"height":0.762,"depth":0.29,"italic":0.0},"10887":{"height":0.635,"depth":0.241,"italic":0.0},"10888":{"height":0.635,"depth":0.241,"italic":0.0},"10889":{"height":0.761,"depth":0.387,"italic":0.0},"10890":{"height":0.761,"depth":0.387,"italic":0.0},"10891":{"height":1.003,"depth":0.463,"italic":0.0},"10892":{"height":1.003,"depth":0.463,"italic":0.0},"10901":{"height":0.636,"depth":0.138,"italic":0.0},"10902":{"height":0.636,"depth":0.138,"italic":0.0},"10933":{"height":0.752,"depth":0.286,"italic":0.0},"10934":{"height":0.752,"depth":0.286,"italic":0.0},"10935":{"height":0.761,"depth":0.294,"italic":0.0},"10936":{"height":0.761,"depth":0.294,"italic":0.0},"10937":{"height":0.761,"depth":0.337,"italic":0.0},"10938":{"height":0.761,"depth":0.337,"italic":0.0},"10949":{"height":0.753,"depth":0.215,"italic":0.0},"10950":{"height":0.753,"depth":0.215,"italic":0.0},"10955":{"height":0.783,"depth":0.385,"italic":0.0},"10956":{"height":0.783,"depth":0.385,"italic":0.0},"57344":{"height":0.0,"depth":0.0,"italic":0.0},"57350":{"height":0.43,"depth":0.023,"italic":0.019},"57351":{"height":0.431,"depth":0.024,"italic":0.019},"57352":{"height":0.605,"depth":0.085,"italic":0.0},"57353":{"height":0.434,"depth":0.006,"italic":0.067},"57356":{"height":0.752,"depth":0.284,"italic":0.0},"57357":{"height":0.752,"depth":0.284,"italic":0.0},"57358":{"height":0.919,"depth":0.421,"italic":0.0},"57359":{"height":0.801,"depth":0.303,"italic":0.0},"57360":{"height":0.801,"depth":0.303,"italic":0.0},"57361":{"height":0.919,"depth":0.421,"italic":0.0},"57366":{"height":0.828,"depth":0.33,"italic":0.0},"57367":{"height":0.752,"depth":0.332,"italic":0.0},"57368":{"height":0.828,"depth":0.33,"italic":0.0},"57369":{"height":0.752,"depth":0.333,"italic":0.0},"57370":{"height":0.634,"depth":0.255,"italic":0.0},"57371":{"height":0.634,"depth":0.254,"italic":0.0},"61437":{"height":0.1,"depth":0.0,"italic":0.0},"61438":{"height":0.1,"depth":0.0,"italic":0.0},"61439":{"height":0.1,"depth":0.0,"italic":0.0},"65535":{"height":0.533,"depth":0.0,"italic":0.0}}}; +var metricMap = {"main-regular":{"13":{"height":0,"depth":0,"italic":0},"32":{"height":0,"depth":0,"italic":0},"33":{"height":0.716,"depth":-0.001,"italic":0.0},"34":{"height":0.694,"depth":-0.379,"italic":0.0},"35":{"height":0.694,"depth":0.194,"italic":0.0},"36":{"height":0.75,"depth":0.056,"italic":0.0},"37":{"height":0.75,"depth":0.056,"italic":0.0},"38":{"height":0.716,"depth":0.022,"italic":0.0},"39":{"height":0.694,"depth":-0.379,"italic":0.0},"40":{"height":0.75,"depth":0.25,"italic":0.0},"41":{"height":0.75,"depth":0.25,"italic":0.0},"42":{"height":0.75,"depth":-0.32,"italic":0.0},"43":{"height":0.583,"depth":0.082,"italic":0.0},"44":{"height":0.121,"depth":0.194,"italic":0.0},"45":{"height":0.252,"depth":-0.179,"italic":0.0},"46":{"height":0.12,"depth":0.0,"italic":0.0},"47":{"height":0.75,"depth":0.25,"italic":0.0},"48":{"height":0.666,"depth":0.022,"italic":0.0},"49":{"height":0.666,"depth":0.0,"italic":0.0},"50":{"height":0.666,"depth":0.0,"italic":0.0},"51":{"height":0.665,"depth":0.022,"italic":0.0},"52":{"height":0.677,"depth":0.0,"italic":0.0},"53":{"height":0.666,"depth":0.022,"italic":0.0},"54":{"height":0.666,"depth":0.022,"italic":0.0},"55":{"height":0.676,"depth":0.022,"italic":0.0},"56":{"height":0.666,"depth":0.022,"italic":0.0},"57":{"height":0.666,"depth":0.022,"italic":0.0},"58":{"height":0.43,"depth":0.0,"italic":0.0},"59":{"height":0.43,"depth":0.194,"italic":0.0},"60":{"height":0.54,"depth":0.04,"italic":0.0},"61":{"height":0.367,"depth":-0.133,"italic":0.0},"62":{"height":0.54,"depth":0.04,"italic":0.0},"63":{"height":0.705,"depth":-0.001,"italic":0.0},"64":{"height":0.705,"depth":0.011,"italic":0.0},"65":{"height":0.716,"depth":0.0,"italic":0.0},"66":{"height":0.683,"depth":0.0,"italic":0.0},"67":{"height":0.705,"depth":0.021,"italic":0.0},"68":{"height":0.683,"depth":0.0,"italic":0.0},"69":{"height":0.68,"depth":0.0,"italic":0.0},"70":{"height":0.68,"depth":0.0,"italic":0.0},"71":{"height":0.705,"depth":0.022,"italic":0.0},"72":{"height":0.683,"depth":0.0,"italic":0.0},"73":{"height":0.683,"depth":0.0,"italic":0.0},"74":{"height":0.683,"depth":0.022,"italic":0.0},"75":{"height":0.683,"depth":0.0,"italic":0.0},"76":{"height":0.683,"depth":0.0,"italic":0.0},"77":{"height":0.683,"depth":0.0,"italic":0.0},"78":{"height":0.683,"depth":0.0,"italic":0.0},"79":{"height":0.705,"depth":0.022,"italic":0.0},"80":{"height":0.683,"depth":0.0,"italic":0.0},"81":{"height":0.705,"depth":0.193,"italic":0.0},"82":{"height":0.683,"depth":0.022,"italic":0.0},"83":{"height":0.705,"depth":0.022,"italic":0.0},"84":{"height":0.677,"depth":0.0,"italic":0.0},"85":{"height":0.683,"depth":0.022,"italic":0.0},"86":{"height":0.683,"depth":0.022,"italic":0.0},"87":{"height":0.683,"depth":0.022,"italic":0.0},"88":{"height":0.683,"depth":0.0,"italic":0.0},"89":{"height":0.683,"depth":0.0,"italic":0.0},"90":{"height":0.683,"depth":0.0,"italic":0.0},"91":{"height":0.75,"depth":0.25,"italic":0.0},"92":{"height":0.75,"depth":0.25,"italic":0.0},"93":{"height":0.75,"depth":0.25,"italic":0.0},"94":{"height":0.694,"depth":-0.531,"italic":0.0},"95":{"height":-0.025,"depth":0.062,"italic":0.0},"96":{"height":0.699,"depth":-0.505,"italic":0.0},"97":{"height":0.448,"depth":0.011,"italic":0.0},"98":{"height":0.694,"depth":0.011,"italic":0.0},"99":{"height":0.448,"depth":0.011,"italic":0.0},"100":{"height":0.694,"depth":0.011,"italic":0.0},"101":{"height":0.448,"depth":0.011,"italic":0.0},"102":{"height":0.705,"depth":0.0,"italic":0.066},"103":{"height":0.453,"depth":0.206,"italic":0.0},"104":{"height":0.694,"depth":0.0,"italic":0.0},"105":{"height":0.669,"depth":0.0,"italic":0.0},"106":{"height":0.669,"depth":0.205,"italic":0.0},"107":{"height":0.694,"depth":0.0,"italic":0.0},"108":{"height":0.694,"depth":0.0,"italic":0.0},"109":{"height":0.442,"depth":0.0,"italic":0.0},"110":{"height":0.442,"depth":0.0,"italic":0.0},"111":{"height":0.448,"depth":0.01,"italic":0.0},"112":{"height":0.442,"depth":0.194,"italic":0.0},"113":{"height":0.442,"depth":0.194,"italic":0.007},"114":{"height":0.442,"depth":0.0,"italic":0.0},"115":{"height":0.448,"depth":0.011,"italic":0.0},"116":{"height":0.615,"depth":0.01,"italic":0.0},"117":{"height":0.442,"depth":0.011,"italic":0.0},"118":{"height":0.431,"depth":0.011,"italic":0.0},"119":{"height":0.431,"depth":0.011,"italic":0.0},"120":{"height":0.431,"depth":0.0,"italic":0.0},"121":{"height":0.431,"depth":0.204,"italic":0.0},"122":{"height":0.431,"depth":0.0,"italic":0.0},"123":{"height":0.75,"depth":0.25,"italic":0.0},"124":{"height":0.75,"depth":0.249,"italic":0.0},"125":{"height":0.75,"depth":0.25,"italic":0.0},"126":{"height":0.318,"depth":-0.215,"italic":0.0},"160":{"height":0,"depth":0,"italic":0},"168":{"height":0.669,"depth":-0.554,"italic":0.0},"172":{"height":0.356,"depth":-0.089,"italic":0.0},"173":{"height":0.252,"depth":-0.179,"italic":0.0},"175":{"height":0.59,"depth":-0.544,"italic":0.0},"176":{"height":0.715,"depth":-0.542,"italic":0.0},"177":{"height":0.666,"depth":0.0,"italic":0.0},"180":{"height":0.699,"depth":-0.505,"italic":0.0},"215":{"height":0.491,"depth":-0.009,"italic":0.0},"247":{"height":0.537,"depth":0.036,"italic":0.0},"305":{"height":0.442,"depth":0.0,"italic":0.0},"567":{"height":0.442,"depth":0.205,"italic":0.0},"710":{"height":0.694,"depth":-0.531,"italic":0.0},"711":{"height":0.644,"depth":-0.513,"italic":0.0},"713":{"height":0.59,"depth":-0.544,"italic":0.0},"714":{"height":0.699,"depth":-0.505,"italic":0.0},"715":{"height":0.699,"depth":-0.505,"italic":0.0},"728":{"height":0.694,"depth":-0.515,"italic":0.0},"729":{"height":0.669,"depth":-0.549,"italic":0.0},"730":{"height":0.715,"depth":-0.542,"italic":0.0},"732":{"height":0.668,"depth":-0.565,"italic":0.0},"768":{"height":0.699,"depth":-0.505,"italic":0.0},"769":{"height":0.699,"depth":-0.505,"italic":0.0},"770":{"height":0.694,"depth":-0.531,"italic":0.0},"771":{"height":0.668,"depth":-0.565,"italic":0.0},"772":{"height":0.59,"depth":-0.544,"italic":0.0},"774":{"height":0.694,"depth":-0.515,"italic":0.0},"775":{"height":0.669,"depth":-0.549,"italic":0.0},"776":{"height":0.669,"depth":-0.554,"italic":0.0},"778":{"height":0.715,"depth":-0.542,"italic":0.0},"779":{"height":0.701,"depth":-0.51,"italic":0.0},"780":{"height":0.644,"depth":-0.513,"italic":0.0},"824":{"height":0.716,"depth":0.215,"italic":0.0},"915":{"height":0.68,"depth":0.0,"italic":0.0},"916":{"height":0.716,"depth":0.0,"italic":0.0},"920":{"height":0.705,"depth":0.022,"italic":0.0},"923":{"height":0.716,"depth":0.0,"italic":0.0},"926":{"height":0.677,"depth":0.0,"italic":0.0},"928":{"height":0.68,"depth":0.0,"italic":0.0},"931":{"height":0.683,"depth":0.0,"italic":0.0},"933":{"height":0.705,"depth":0.0,"italic":0.0},"934":{"height":0.683,"depth":0.0,"italic":0.0},"936":{"height":0.683,"depth":0.0,"italic":0.0},"937":{"height":0.704,"depth":0.0,"italic":0.0},"8192":{"height":0,"depth":0,"italic":0},"8193":{"height":0,"depth":0,"italic":0},"8194":{"height":0,"depth":0,"italic":0},"8195":{"height":0,"depth":0,"italic":0},"8196":{"height":0,"depth":0,"italic":0},"8197":{"height":0,"depth":0,"italic":0},"8198":{"height":0,"depth":0,"italic":0},"8199":{"height":0,"depth":0,"italic":0},"8200":{"height":0,"depth":0,"italic":0},"8201":{"height":0,"depth":0,"italic":0},"8202":{"height":0,"depth":0,"italic":0},"8208":{"height":0.252,"depth":-0.179,"italic":0.0},"8209":{"height":0.252,"depth":-0.179,"italic":0.0},"8210":{"height":0.252,"depth":-0.179,"italic":0.0},"8211":{"height":0.285,"depth":-0.248,"italic":0.0},"8212":{"height":0.285,"depth":-0.248,"italic":0.0},"8216":{"height":0.694,"depth":-0.379,"italic":0.0},"8217":{"height":0.694,"depth":-0.379,"italic":0.0},"8220":{"height":0.694,"depth":-0.379,"italic":0.0},"8221":{"height":0.694,"depth":-0.379,"italic":0.0},"8224":{"height":0.705,"depth":0.216,"italic":0.0},"8225":{"height":0.705,"depth":0.205,"italic":0.0},"8230":{"height":0.12,"depth":0.0,"italic":0.0},"8239":{"height":0,"depth":0,"italic":0},"8242":{"height":0.56,"depth":-0.043,"italic":0.0},"8287":{"height":0,"depth":0,"italic":0},"8407":{"height":0.714,"depth":-0.516,"italic":0.0},"8463":{"height":0.695,"depth":0.013,"italic":0.022},"8465":{"height":0.705,"depth":0.01,"italic":0.0},"8467":{"height":0.705,"depth":0.02,"italic":0.0},"8472":{"height":0.453,"depth":0.216,"italic":0.0},"8476":{"height":0.716,"depth":0.022,"italic":0.0},"8501":{"height":0.694,"depth":0.0,"italic":0.0},"8592":{"height":0.511,"depth":0.011,"italic":0.0},"8593":{"height":0.694,"depth":0.193,"italic":0.0},"8594":{"height":0.511,"depth":0.011,"italic":0.0},"8595":{"height":0.694,"depth":0.194,"italic":0.0},"8596":{"height":0.511,"depth":0.011,"italic":0.0},"8597":{"height":0.772,"depth":0.272,"italic":0.0},"8598":{"height":0.72,"depth":0.195,"italic":0.0},"8599":{"height":0.72,"depth":0.195,"italic":0.0},"8600":{"height":0.695,"depth":0.22,"italic":0.0},"8601":{"height":0.695,"depth":0.22,"italic":0.0},"8614":{"height":0.511,"depth":0.011,"italic":0.0},"8617":{"height":0.511,"depth":0.011,"italic":0.0},"8618":{"height":0.511,"depth":0.011,"italic":0.0},"8636":{"height":0.511,"depth":-0.23,"italic":0.0},"8637":{"height":0.27,"depth":0.011,"italic":0.0},"8640":{"height":0.511,"depth":-0.23,"italic":0.0},"8641":{"height":0.27,"depth":0.011,"italic":0.0},"8652":{"height":0.671,"depth":0.011,"italic":0.0},"8656":{"height":0.525,"depth":0.024,"italic":0.0},"8657":{"height":0.694,"depth":0.194,"italic":0.0},"8658":{"height":0.525,"depth":0.024,"italic":0.0},"8659":{"height":0.694,"depth":0.194,"italic":0.0},"8660":{"height":0.526,"depth":0.025,"italic":0.0},"8661":{"height":0.772,"depth":0.272,"italic":0.0},"8704":{"height":0.694,"depth":0.022,"italic":0.0},"8706":{"height":0.715,"depth":0.022,"italic":0.035},"8707":{"height":0.694,"depth":0.0,"italic":0.0},"8709":{"height":0.772,"depth":0.078,"italic":0.0},"8711":{"height":0.683,"depth":0.033,"italic":0.0},"8712":{"height":0.54,"depth":0.04,"italic":0.0},"8713":{"height":0.716,"depth":0.215,"italic":0.0},"8715":{"height":0.54,"depth":0.04,"italic":0.0},"8722":{"height":0.27,"depth":-0.23,"italic":0.0},"8723":{"height":0.5,"depth":0.166,"italic":0.0},"8725":{"height":0.75,"depth":0.25,"italic":0.0},"8726":{"height":0.75,"depth":0.25,"italic":0.0},"8727":{"height":0.465,"depth":-0.035,"italic":0.0},"8728":{"height":0.444,"depth":-0.055,"italic":0.0},"8729":{"height":0.444,"depth":-0.055,"italic":0.0},"8730":{"height":0.8,"depth":0.2,"italic":0.021},"8733":{"height":0.442,"depth":0.011,"italic":0.0},"8734":{"height":0.442,"depth":0.011,"italic":0.0},"8736":{"height":0.694,"depth":0.0,"italic":0.0},"8739":{"height":0.75,"depth":0.249,"italic":0.0},"8741":{"height":0.75,"depth":0.25,"italic":0.0},"8743":{"height":0.598,"depth":0.022,"italic":0.0},"8744":{"height":0.598,"depth":0.022,"italic":0.0},"8745":{"height":0.598,"depth":0.022,"italic":0.0},"8746":{"height":0.598,"depth":0.022,"italic":0.0},"8747":{"height":0.716,"depth":0.216,"italic":0.055},"8764":{"height":0.367,"depth":-0.133,"italic":0.0},"8768":{"height":0.583,"depth":0.083,"italic":0.0},"8771":{"height":0.464,"depth":-0.036,"italic":0.0},"8773":{"height":0.589,"depth":-0.022,"italic":0.0},"8776":{"height":0.483,"depth":-0.055,"italic":0.0},"8781":{"height":0.484,"depth":-0.016,"italic":0.0},"8784":{"height":0.67,"depth":-0.133,"italic":0.0},"8800":{"height":0.716,"depth":0.215,"italic":0.0},"8801":{"height":0.464,"depth":-0.036,"italic":0.0},"8804":{"height":0.636,"depth":0.138,"italic":0.0},"8805":{"height":0.636,"depth":0.138,"italic":0.0},"8810":{"height":0.568,"depth":0.067,"italic":0.0},"8811":{"height":0.567,"depth":0.067,"italic":0.0},"8826":{"height":0.539,"depth":0.041,"italic":0.0},"8827":{"height":0.539,"depth":0.041,"italic":0.0},"8834":{"height":0.54,"depth":0.04,"italic":0.0},"8835":{"height":0.54,"depth":0.04,"italic":0.0},"8838":{"height":0.636,"depth":0.138,"italic":0.0},"8839":{"height":0.636,"depth":0.138,"italic":0.0},"8846":{"height":0.598,"depth":0.022,"italic":0.0},"8849":{"height":0.636,"depth":0.138,"italic":0.0},"8850":{"height":0.636,"depth":0.138,"italic":0.0},"8851":{"height":0.598,"depth":0.0,"italic":0.0},"8852":{"height":0.598,"depth":0.0,"italic":0.0},"8853":{"height":0.583,"depth":0.083,"italic":0.0},"8854":{"height":0.583,"depth":0.083,"italic":0.0},"8855":{"height":0.583,"depth":0.083,"italic":0.0},"8856":{"height":0.583,"depth":0.083,"italic":0.0},"8857":{"height":0.583,"depth":0.083,"italic":0.0},"8866":{"height":0.694,"depth":0.0,"italic":0.0},"8867":{"height":0.694,"depth":0.0,"italic":0.0},"8868":{"height":0.668,"depth":0.0,"italic":0.0},"8869":{"height":0.668,"depth":0.0,"italic":0.0},"8872":{"height":0.75,"depth":0.249,"italic":0.0},"8900":{"height":0.488,"depth":-0.012,"italic":0.0},"8901":{"height":0.31,"depth":-0.19,"italic":0.0},"8902":{"height":0.486,"depth":-0.016,"italic":0.0},"8904":{"height":0.505,"depth":0.005,"italic":0.0},"8942":{"height":0.9,"depth":0.03,"italic":0.0},"8943":{"height":0.31,"depth":-0.19,"italic":0.0},"8945":{"height":0.82,"depth":-0.1,"italic":0.0},"8968":{"height":0.75,"depth":0.25,"italic":0.0},"8969":{"height":0.75,"depth":0.25,"italic":0.0},"8970":{"height":0.75,"depth":0.25,"italic":0.0},"8971":{"height":0.75,"depth":0.25,"italic":0.0},"8994":{"height":0.388,"depth":-0.122,"italic":0.0},"8995":{"height":0.378,"depth":-0.134,"italic":0.0},"9136":{"height":0.744,"depth":0.244,"italic":0.0},"9137":{"height":0.744,"depth":0.244,"italic":0.0},"9651":{"height":0.716,"depth":0.0,"italic":0.0},"9657":{"height":0.505,"depth":0.005,"italic":0.0},"9661":{"height":0.5,"depth":0.215,"italic":0.0},"9667":{"height":0.505,"depth":0.005,"italic":0.0},"9711":{"height":0.715,"depth":0.215,"italic":0.0},"9824":{"height":0.727,"depth":0.13,"italic":0.0},"9825":{"height":0.716,"depth":0.033,"italic":0.0},"9826":{"height":0.727,"depth":0.162,"italic":0.0},"9827":{"height":0.726,"depth":0.13,"italic":0.0},"9837":{"height":0.75,"depth":0.022,"italic":0.0},"9838":{"height":0.734,"depth":0.223,"italic":0.0},"9839":{"height":0.723,"depth":0.223,"italic":0.0},"10216":{"height":0.75,"depth":0.25,"italic":0.0},"10217":{"height":0.75,"depth":0.25,"italic":0.0},"10222":{"height":0.744,"depth":0.244,"italic":0.0},"10223":{"height":0.744,"depth":0.244,"italic":0.0},"10229":{"height":0.511,"depth":0.011,"italic":0.0},"10230":{"height":0.511,"depth":0.011,"italic":0.0},"10231":{"height":0.511,"depth":0.011,"italic":0.0},"10232":{"height":0.525,"depth":0.024,"italic":0.0},"10233":{"height":0.525,"depth":0.024,"italic":0.0},"10234":{"height":0.525,"depth":0.024,"italic":0.0},"10236":{"height":0.511,"depth":0.011,"italic":0.0},"10815":{"height":0.683,"depth":0.0,"italic":0.0},"10927":{"height":0.636,"depth":0.138,"italic":0.0},"10928":{"height":0.636,"depth":0.138,"italic":0.0},"57344":{"height":0.43,"depth":0.0,"italic":0.0},"61437":{"height":0.1,"depth":0.0,"italic":0.0},"61438":{"height":0.1,"depth":0.0,"italic":0.0},"61439":{"height":0.1,"depth":0.0,"italic":0.0},"65535":{"height":0.533,"depth":0.0,"italic":0.0}},"math-italic":{"13":{"height":0,"depth":0,"italic":0},"32":{"height":0,"depth":0,"italic":0},"47":{"height":0.716,"depth":0.215,"italic":0.0},"65":{"height":0.716,"depth":0.0,"italic":0.0},"66":{"height":0.683,"depth":0.0,"italic":0.0},"67":{"height":0.705,"depth":0.022,"italic":0.045},"68":{"height":0.683,"depth":0.0,"italic":0.0},"69":{"height":0.68,"depth":0.0,"italic":0.026},"70":{"height":0.68,"depth":0.0,"italic":0.106},"71":{"height":0.705,"depth":0.022,"italic":0.0},"72":{"height":0.683,"depth":0.0,"italic":0.058},"73":{"height":0.683,"depth":0.0,"italic":0.064},"74":{"height":0.683,"depth":0.022,"italic":0.078},"75":{"height":0.683,"depth":0.0,"italic":0.041},"76":{"height":0.683,"depth":0.0,"italic":0.0},"77":{"height":0.683,"depth":0.0,"italic":0.081},"78":{"height":0.683,"depth":0.0,"italic":0.085},"79":{"height":0.704,"depth":0.022,"italic":0.0},"80":{"height":0.683,"depth":0.0,"italic":0.109},"81":{"height":0.704,"depth":0.194,"italic":0.0},"82":{"height":0.683,"depth":0.021,"italic":0.0},"83":{"height":0.705,"depth":0.022,"italic":0.032},"84":{"height":0.677,"depth":0.0,"italic":0.12},"85":{"height":0.683,"depth":0.022,"italic":0.084},"86":{"height":0.683,"depth":0.022,"italic":0.187},"87":{"height":0.683,"depth":0.022,"italic":0.104},"88":{"height":0.683,"depth":0.0,"italic":0.024},"89":{"height":0.683,"depth":-0.001,"italic":0.183},"90":{"height":0.683,"depth":0.0,"italic":0.041},"97":{"height":0.441,"depth":0.01,"italic":0.0},"98":{"height":0.694,"depth":0.011,"italic":0.0},"99":{"height":0.442,"depth":0.011,"italic":0.0},"100":{"height":0.694,"depth":0.01,"italic":0.003},"101":{"height":0.442,"depth":0.011,"italic":0.0},"102":{"height":0.705,"depth":0.205,"italic":0.06},"103":{"height":0.442,"depth":0.205,"italic":0.003},"104":{"height":0.694,"depth":0.011,"italic":0.0},"105":{"height":0.661,"depth":0.011,"italic":0.0},"106":{"height":0.661,"depth":0.204,"italic":0.0},"107":{"height":0.694,"depth":0.011,"italic":0.0},"108":{"height":0.694,"depth":0.011,"italic":0.0},"109":{"height":0.442,"depth":0.011,"italic":0.0},"110":{"height":0.442,"depth":0.011,"italic":0.0},"111":{"height":0.441,"depth":0.011,"italic":0.0},"112":{"height":0.442,"depth":0.194,"italic":0.0},"113":{"height":0.442,"depth":0.194,"italic":0.014},"114":{"height":0.442,"depth":0.011,"italic":0.0},"115":{"height":0.442,"depth":0.01,"italic":0.0},"116":{"height":0.626,"depth":0.011,"italic":0.0},"117":{"height":0.442,"depth":0.011,"italic":0.0},"118":{"height":0.443,"depth":0.011,"italic":0.0},"119":{"height":0.443,"depth":0.011,"italic":0.0},"120":{"height":0.442,"depth":0.011,"italic":0.0},"121":{"height":0.442,"depth":0.205,"italic":0.006},"122":{"height":0.442,"depth":0.011,"italic":0.003},"160":{"height":0,"depth":0,"italic":0},"915":{"height":0.68,"depth":-0.001,"italic":0.106},"916":{"height":0.716,"depth":0.0,"italic":0.0},"920":{"height":0.704,"depth":0.022,"italic":0.0},"923":{"height":0.716,"depth":0.0,"italic":0.0},"926":{"height":0.677,"depth":0.0,"italic":0.035},"928":{"height":0.68,"depth":0.0,"italic":0.057},"931":{"height":0.683,"depth":0.0,"italic":0.026},"933":{"height":0.705,"depth":0.0,"italic":0.118},"934":{"height":0.683,"depth":0.0,"italic":0.0},"936":{"height":0.683,"depth":0.0,"italic":0.08},"937":{"height":0.704,"depth":0.0,"italic":0.014},"945":{"height":0.442,"depth":0.011,"italic":0.0},"946":{"height":0.705,"depth":0.194,"italic":0.007},"947":{"height":0.441,"depth":0.216,"italic":0.025},"948":{"height":0.717,"depth":0.01,"italic":0.007},"949":{"height":0.452,"depth":0.022,"italic":0.0},"950":{"height":0.704,"depth":0.204,"italic":0.033},"951":{"height":0.442,"depth":0.216,"italic":0.006},"952":{"height":0.705,"depth":0.01,"italic":0.0},"953":{"height":0.442,"depth":0.01,"italic":0.0},"954":{"height":0.442,"depth":0.011,"italic":0.0},"955":{"height":0.694,"depth":0.012,"italic":0.0},"956":{"height":0.442,"depth":0.216,"italic":0.0},"957":{"height":0.442,"depth":0.002,"italic":0.036},"958":{"height":0.704,"depth":0.205,"italic":0.005},"959":{"height":0.441,"depth":0.011,"italic":0.0},"960":{"height":0.431,"depth":0.011,"italic":0.003},"961":{"height":0.442,"depth":0.216,"italic":0.0},"962":{"height":0.442,"depth":0.107,"italic":0.042},"963":{"height":0.431,"depth":0.011,"italic":0.001},"964":{"height":0.431,"depth":0.013,"italic":0.081},"965":{"height":0.443,"depth":0.01,"italic":0.0},"966":{"height":0.442,"depth":0.218,"italic":0.0},"967":{"height":0.442,"depth":0.204,"italic":0.0},"968":{"height":0.694,"depth":0.205,"italic":0.0},"969":{"height":0.443,"depth":0.011,"italic":0.0},"977":{"height":0.705,"depth":0.011,"italic":0.0},"981":{"height":0.694,"depth":0.205,"italic":0.0},"982":{"height":0.431,"depth":0.01,"italic":0.0},"1009":{"height":0.442,"depth":0.194,"italic":0.0},"1013":{"height":0.431,"depth":0.011,"italic":0.0},"8192":{"height":0,"depth":0,"italic":0},"8193":{"height":0,"depth":0,"italic":0},"8194":{"height":0,"depth":0,"italic":0},"8195":{"height":0,"depth":0,"italic":0},"8196":{"height":0,"depth":0,"italic":0},"8197":{"height":0,"depth":0,"italic":0},"8198":{"height":0,"depth":0,"italic":0},"8199":{"height":0,"depth":0,"italic":0},"8200":{"height":0,"depth":0,"italic":0},"8201":{"height":0,"depth":0,"italic":0},"8202":{"height":0,"depth":0,"italic":0},"8239":{"height":0,"depth":0,"italic":0},"8287":{"height":0,"depth":0,"italic":0},"57344":{"height":0.44,"depth":0.0,"italic":0.0},"61437":{"height":0.1,"depth":0.0,"italic":0.0},"61438":{"height":0.1,"depth":0.0,"italic":0.0},"61439":{"height":0.1,"depth":0.0,"italic":0.0},"65535":{"height":0.533,"depth":0.0,"italic":0.0}},"ams-regular":{"13":{"height":0,"depth":0,"italic":0},"32":{"height":0,"depth":0,"italic":0},"65":{"height":0.701,"depth":0.001,"italic":0.0},"66":{"height":0.683,"depth":0.001,"italic":0.0},"67":{"height":0.702,"depth":0.019,"italic":0.0},"68":{"height":0.683,"depth":0.001,"italic":0.0},"69":{"height":0.683,"depth":0.001,"italic":0.0},"70":{"height":0.683,"depth":0.001,"italic":0.0},"71":{"height":0.702,"depth":0.019,"italic":0.0},"72":{"height":0.683,"depth":0.001,"italic":0.0},"73":{"height":0.683,"depth":0.001,"italic":0.0},"74":{"height":0.683,"depth":0.077,"italic":0.0},"75":{"height":0.683,"depth":0.001,"italic":0.0},"76":{"height":0.683,"depth":0.001,"italic":0.0},"77":{"height":0.683,"depth":0.001,"italic":0.0},"78":{"height":0.683,"depth":0.02,"italic":0.0},"79":{"height":0.701,"depth":0.019,"italic":0.0},"80":{"height":0.683,"depth":0.001,"italic":0.0},"81":{"height":0.701,"depth":0.181,"italic":0.0},"82":{"height":0.683,"depth":0.001,"italic":0.0},"83":{"height":0.702,"depth":0.012,"italic":0.0},"84":{"height":0.683,"depth":0.001,"italic":0.0},"85":{"height":0.683,"depth":0.019,"italic":0.0},"86":{"height":0.683,"depth":0.02,"italic":0.0},"87":{"height":0.683,"depth":0.019,"italic":0.0},"88":{"height":0.683,"depth":0.001,"italic":0.0},"89":{"height":0.683,"depth":0.001,"italic":0.0},"90":{"height":0.683,"depth":0.001,"italic":0.0},"107":{"height":0.683,"depth":0.001,"italic":0.0},"160":{"height":0,"depth":0,"italic":0},"165":{"height":0.683,"depth":0.0,"italic":0.0},"174":{"height":0.709,"depth":0.175,"italic":0.0},"240":{"height":0.749,"depth":0.021,"italic":0.0},"295":{"height":0.695,"depth":0.013,"italic":0.022},"710":{"height":0.845,"depth":-0.561,"italic":0.014},"732":{"height":0.899,"depth":-0.628,"italic":0.0},"770":{"height":0.845,"depth":-0.561,"italic":0.013},"771":{"height":0.899,"depth":-0.628,"italic":0.0},"989":{"height":0.605,"depth":0.085,"italic":0.0},"1008":{"height":0.434,"depth":0.006,"italic":0.067},"8192":{"height":0,"depth":0,"italic":0},"8193":{"height":0,"depth":0,"italic":0},"8194":{"height":0,"depth":0,"italic":0},"8195":{"height":0,"depth":0,"italic":0},"8196":{"height":0,"depth":0,"italic":0},"8197":{"height":0,"depth":0,"italic":0},"8198":{"height":0,"depth":0,"italic":0},"8199":{"height":0,"depth":0,"italic":0},"8200":{"height":0,"depth":0,"italic":0},"8201":{"height":0,"depth":0,"italic":0},"8202":{"height":0,"depth":0,"italic":0},"8239":{"height":0,"depth":0,"italic":0},"8245":{"height":0.56,"depth":-0.043,"italic":0.0},"8287":{"height":0,"depth":0,"italic":0},"8463":{"height":0.695,"depth":0.013,"italic":0.022},"8487":{"height":0.684,"depth":0.022,"italic":0.0},"8498":{"height":0.695,"depth":0.001,"italic":0.0},"8502":{"height":0.763,"depth":0.021,"italic":0.02},"8503":{"height":0.764,"depth":0.043,"italic":0.0},"8504":{"height":0.764,"depth":0.043,"italic":0.0},"8513":{"height":0.705,"depth":0.023,"italic":0.0},"8592":{"height":0.437,"depth":-0.064,"italic":0.0},"8594":{"height":0.437,"depth":-0.064,"italic":0.0},"8602":{"height":0.437,"depth":-0.06,"italic":0.0},"8603":{"height":0.437,"depth":-0.06,"italic":0.0},"8606":{"height":0.417,"depth":-0.083,"italic":0.0},"8608":{"height":0.417,"depth":-0.083,"italic":0.0},"8610":{"height":0.417,"depth":-0.083,"italic":0.0},"8611":{"height":0.417,"depth":-0.083,"italic":0.0},"8619":{"height":0.575,"depth":0.041,"italic":0.0},"8620":{"height":0.575,"depth":0.041,"italic":0.0},"8621":{"height":0.417,"depth":-0.083,"italic":0.0},"8622":{"height":0.437,"depth":-0.06,"italic":0.0},"8624":{"height":0.722,"depth":0.0,"italic":0.0},"8625":{"height":0.722,"depth":0.0,"italic":0.0},"8630":{"height":0.461,"depth":0.001,"italic":0.0},"8631":{"height":0.46,"depth":0.001,"italic":0.0},"8634":{"height":0.65,"depth":0.083,"italic":0.0},"8635":{"height":0.65,"depth":0.083,"italic":0.0},"8638":{"height":0.694,"depth":0.194,"italic":0.0},"8639":{"height":0.694,"depth":0.194,"italic":0.0},"8642":{"height":0.694,"depth":0.194,"italic":0.0},"8643":{"height":0.694,"depth":0.194,"italic":0.0},"8644":{"height":0.667,"depth":0.0,"italic":0.0},"8646":{"height":0.667,"depth":0.0,"italic":0.0},"8647":{"height":0.583,"depth":0.083,"italic":0.0},"8648":{"height":0.694,"depth":0.193,"italic":0.0},"8649":{"height":0.583,"depth":0.083,"italic":0.0},"8650":{"height":0.694,"depth":0.194,"italic":0.0},"8651":{"height":0.514,"depth":0.014,"italic":0.0},"8652":{"height":0.514,"depth":0.014,"italic":0.0},"8653":{"height":0.534,"depth":0.035,"italic":0.0},"8654":{"height":0.534,"depth":0.037,"italic":0.0},"8655":{"height":0.534,"depth":0.035,"italic":0.0},"8666":{"height":0.611,"depth":0.111,"italic":0.0},"8667":{"height":0.611,"depth":0.111,"italic":0.0},"8669":{"height":0.417,"depth":-0.083,"italic":0.0},"8672":{"height":0.437,"depth":-0.064,"italic":0.0},"8674":{"height":0.437,"depth":-0.064,"italic":0.0},"8705":{"height":0.846,"depth":0.021,"italic":0.0},"8708":{"height":0.86,"depth":0.166,"italic":0.0},"8709":{"height":0.587,"depth":0.003,"italic":0.0},"8717":{"height":0.44,"depth":0.001,"italic":0.027},"8722":{"height":0.27,"depth":-0.23,"italic":0.0},"8724":{"height":0.766,"depth":0.093,"italic":0.0},"8726":{"height":0.43,"depth":0.023,"italic":0.0},"8733":{"height":0.472,"depth":-0.028,"italic":0.0},"8736":{"height":0.694,"depth":0.0,"italic":0.0},"8737":{"height":0.714,"depth":0.02,"italic":0.0},"8738":{"height":0.551,"depth":0.051,"italic":0.0},"8739":{"height":0.43,"depth":0.023,"italic":0.0},"8740":{"height":0.75,"depth":0.252,"italic":0.018},"8741":{"height":0.431,"depth":0.023,"italic":0.0},"8742":{"height":0.75,"depth":0.25,"italic":0.018},"8756":{"height":0.471,"depth":0.082,"italic":0.0},"8757":{"height":0.471,"depth":0.082,"italic":0.0},"8764":{"height":0.365,"depth":-0.132,"italic":0.0},"8765":{"height":0.367,"depth":-0.133,"italic":0.0},"8769":{"height":0.467,"depth":-0.032,"italic":0.0},"8770":{"height":0.463,"depth":-0.034,"italic":0.0},"8774":{"height":0.652,"depth":0.155,"italic":0.0},"8776":{"height":0.481,"depth":-0.05,"italic":0.0},"8778":{"height":0.579,"depth":0.039,"italic":0.0},"8782":{"height":0.492,"depth":-0.008,"italic":0.0},"8783":{"height":0.492,"depth":-0.133,"italic":0.0},"8785":{"height":0.609,"depth":0.108,"italic":0.0},"8786":{"height":0.601,"depth":0.101,"italic":0.0},"8787":{"height":0.601,"depth":0.102,"italic":0.0},"8790":{"height":0.367,"depth":-0.133,"italic":0.0},"8791":{"height":0.721,"depth":-0.133,"italic":0.0},"8796":{"height":0.859,"depth":-0.133,"italic":0.0},"8806":{"height":0.753,"depth":0.175,"italic":0.0},"8807":{"height":0.753,"depth":0.175,"italic":0.0},"8808":{"height":0.752,"depth":0.286,"italic":0.0},"8809":{"height":0.752,"depth":0.286,"italic":0.0},"8812":{"height":0.75,"depth":0.25,"italic":0.0},"8814":{"height":0.708,"depth":0.209,"italic":0.0},"8815":{"height":0.708,"depth":0.209,"italic":0.0},"8816":{"height":0.801,"depth":0.303,"italic":0.0},"8817":{"height":0.801,"depth":0.303,"italic":0.0},"8818":{"height":0.732,"depth":0.228,"italic":0.0},"8819":{"height":0.732,"depth":0.228,"italic":0.0},"8822":{"height":0.681,"depth":0.253,"italic":0.0},"8823":{"height":0.681,"depth":0.253,"italic":0.0},"8828":{"height":0.58,"depth":0.153,"italic":0.0},"8829":{"height":0.58,"depth":0.154,"italic":0.0},"8830":{"height":0.732,"depth":0.228,"italic":0.0},"8831":{"height":0.732,"depth":0.228,"italic":0.0},"8832":{"height":0.705,"depth":0.208,"italic":0.0},"8833":{"height":0.705,"depth":0.208,"italic":0.0},"8840":{"height":0.801,"depth":0.303,"italic":0.0},"8841":{"height":0.801,"depth":0.303,"italic":0.0},"8842":{"height":0.635,"depth":0.241,"italic":0.0},"8843":{"height":0.635,"depth":0.241,"italic":0.0},"8847":{"height":0.539,"depth":0.041,"italic":0.0},"8848":{"height":0.539,"depth":0.041,"italic":0.0},"8858":{"height":0.582,"depth":0.082,"italic":0.0},"8859":{"height":0.582,"depth":0.082,"italic":0.0},"8861":{"height":0.582,"depth":0.082,"italic":0.0},"8862":{"height":0.689,"depth":0.0,"italic":0.0},"8863":{"height":0.689,"depth":0.0,"italic":0.0},"8864":{"height":0.689,"depth":0.0,"italic":0.0},"8865":{"height":0.689,"depth":0.0,"italic":0.0},"8872":{"height":0.694,"depth":0.0,"italic":0.0},"8873":{"height":0.694,"depth":0.0,"italic":0.0},"8874":{"height":0.694,"depth":0.0,"italic":0.0},"8876":{"height":0.695,"depth":0.001,"italic":0.0},"8877":{"height":0.695,"depth":0.001,"italic":0.0},"8878":{"height":0.695,"depth":0.001,"italic":0.0},"8879":{"height":0.695,"depth":0.001,"italic":0.0},"8882":{"height":0.539,"depth":0.041,"italic":0.0},"8883":{"height":0.539,"depth":0.041,"italic":0.0},"8884":{"height":0.636,"depth":0.138,"italic":0.0},"8885":{"height":0.636,"depth":0.138,"italic":0.0},"8888":{"height":0.408,"depth":-0.092,"italic":0.0},"8890":{"height":0.431,"depth":0.212,"italic":0.0},"8891":{"height":0.716,"depth":0.0,"italic":0.0},"8892":{"height":0.716,"depth":0.0,"italic":0.0},"8901":{"height":0.189,"depth":0.0,"italic":0.0},"8903":{"height":0.545,"depth":0.044,"italic":0.0},"8905":{"height":0.492,"depth":-0.008,"italic":0.0},"8906":{"height":0.492,"depth":-0.008,"italic":0.0},"8907":{"height":0.694,"depth":0.022,"italic":0.0},"8908":{"height":0.694,"depth":0.022,"italic":0.0},"8909":{"height":0.464,"depth":-0.036,"italic":0.0},"8910":{"height":0.578,"depth":0.021,"italic":0.0},"8911":{"height":0.578,"depth":0.022,"italic":0.0},"8912":{"height":0.54,"depth":0.04,"italic":0.0},"8913":{"height":0.54,"depth":0.04,"italic":0.0},"8914":{"height":0.598,"depth":0.022,"italic":0.0},"8915":{"height":0.598,"depth":0.022,"italic":0.0},"8916":{"height":0.736,"depth":0.022,"italic":0.0},"8918":{"height":0.541,"depth":0.041,"italic":0.0},"8919":{"height":0.541,"depth":0.041,"italic":0.0},"8920":{"height":0.568,"depth":0.067,"italic":0.0},"8921":{"height":0.568,"depth":0.067,"italic":0.0},"8922":{"height":0.886,"depth":0.386,"italic":0.0},"8923":{"height":0.886,"depth":0.386,"italic":0.0},"8926":{"height":0.734,"depth":0.0,"italic":0.0},"8927":{"height":0.734,"depth":0.0,"italic":0.0},"8928":{"height":0.801,"depth":0.303,"italic":0.0},"8929":{"height":0.801,"depth":0.303,"italic":0.0},"8934":{"height":0.73,"depth":0.359,"italic":0.0},"8935":{"height":0.73,"depth":0.359,"italic":0.0},"8936":{"height":0.73,"depth":0.359,"italic":0.0},"8937":{"height":0.73,"depth":0.359,"italic":0.0},"8938":{"height":0.706,"depth":0.208,"italic":0.0},"8939":{"height":0.706,"depth":0.208,"italic":0.0},"8940":{"height":0.802,"depth":0.303,"italic":0.0},"8941":{"height":0.801,"depth":0.303,"italic":0.0},"8994":{"height":0.378,"depth":-0.122,"italic":0.0},"8995":{"height":0.378,"depth":-0.143,"italic":0.0},"9416":{"height":0.709,"depth":0.175,"italic":0.0},"9484":{"height":0.694,"depth":-0.306,"italic":0.0},"9488":{"height":0.694,"depth":-0.306,"italic":0.0},"9492":{"height":0.366,"depth":0.022,"italic":0.0},"9496":{"height":0.366,"depth":0.022,"italic":0.0},"9585":{"height":0.694,"depth":0.195,"italic":0.0},"9586":{"height":0.694,"depth":0.195,"italic":0.0},"9632":{"height":0.689,"depth":0.0,"italic":0.0},"9633":{"height":0.689,"depth":0.0,"italic":0.0},"9650":{"height":0.575,"depth":0.02,"italic":0.0},"9651":{"height":0.575,"depth":0.02,"italic":0.0},"9654":{"height":0.539,"depth":0.041,"italic":0.0},"9660":{"height":0.576,"depth":0.019,"italic":0.0},"9661":{"height":0.576,"depth":0.019,"italic":0.0},"9664":{"height":0.539,"depth":0.041,"italic":0.0},"9674":{"height":0.716,"depth":0.132,"italic":0.0},"9733":{"height":0.694,"depth":0.111,"italic":0.0},"10003":{"height":0.706,"depth":0.034,"italic":0.0},"10016":{"height":0.716,"depth":0.022,"italic":0.0},"10731":{"height":0.716,"depth":0.132,"italic":0.0},"10846":{"height":0.813,"depth":0.097,"italic":0.0},"10877":{"height":0.636,"depth":0.138,"italic":0.0},"10878":{"height":0.636,"depth":0.138,"italic":0.0},"10885":{"height":0.762,"depth":0.29,"italic":0.0},"10886":{"height":0.762,"depth":0.29,"italic":0.0},"10887":{"height":0.635,"depth":0.241,"italic":0.0},"10888":{"height":0.635,"depth":0.241,"italic":0.0},"10889":{"height":0.761,"depth":0.387,"italic":0.0},"10890":{"height":0.761,"depth":0.387,"italic":0.0},"10891":{"height":1.003,"depth":0.463,"italic":0.0},"10892":{"height":1.003,"depth":0.463,"italic":0.0},"10901":{"height":0.636,"depth":0.138,"italic":0.0},"10902":{"height":0.636,"depth":0.138,"italic":0.0},"10933":{"height":0.752,"depth":0.286,"italic":0.0},"10934":{"height":0.752,"depth":0.286,"italic":0.0},"10935":{"height":0.761,"depth":0.294,"italic":0.0},"10936":{"height":0.761,"depth":0.294,"italic":0.0},"10937":{"height":0.761,"depth":0.337,"italic":0.0},"10938":{"height":0.761,"depth":0.337,"italic":0.0},"10949":{"height":0.753,"depth":0.215,"italic":0.0},"10950":{"height":0.753,"depth":0.215,"italic":0.0},"10955":{"height":0.783,"depth":0.385,"italic":0.0},"10956":{"height":0.783,"depth":0.385,"italic":0.0},"57344":{"height":0.0,"depth":0.0,"italic":0.0},"57350":{"height":0.43,"depth":0.023,"italic":0.019},"57351":{"height":0.431,"depth":0.024,"italic":0.019},"57352":{"height":0.605,"depth":0.085,"italic":0.0},"57353":{"height":0.434,"depth":0.006,"italic":0.067},"57356":{"height":0.752,"depth":0.284,"italic":0.0},"57357":{"height":0.752,"depth":0.284,"italic":0.0},"57358":{"height":0.919,"depth":0.421,"italic":0.0},"57359":{"height":0.801,"depth":0.303,"italic":0.0},"57360":{"height":0.801,"depth":0.303,"italic":0.0},"57361":{"height":0.919,"depth":0.421,"italic":0.0},"57366":{"height":0.828,"depth":0.33,"italic":0.0},"57367":{"height":0.752,"depth":0.332,"italic":0.0},"57368":{"height":0.828,"depth":0.33,"italic":0.0},"57369":{"height":0.752,"depth":0.333,"italic":0.0},"57370":{"height":0.634,"depth":0.255,"italic":0.0},"57371":{"height":0.634,"depth":0.254,"italic":0.0},"61437":{"height":0.1,"depth":0.0,"italic":0.0},"61438":{"height":0.1,"depth":0.0,"italic":0.0},"61439":{"height":0.1,"depth":0.0,"italic":0.0},"65535":{"height":0.533,"depth":0.0,"italic":0.0}},"size1-regular":{"13":{"height":0,"depth":0,"italic":0},"32":{"height":0,"depth":0,"italic":0},"40":{"height":0.85,"depth":0.349,"italic":0.0},"41":{"height":0.85,"depth":0.349,"italic":0.0},"47":{"height":0.85,"depth":0.349,"italic":0.0},"91":{"height":0.85,"depth":0.349,"italic":0.0},"92":{"height":0.85,"depth":0.349,"italic":0.0},"93":{"height":0.85,"depth":0.349,"italic":0.0},"123":{"height":0.85,"depth":0.349,"italic":0.0},"125":{"height":0.85,"depth":0.349,"italic":0.0},"160":{"height":0,"depth":0,"italic":0},"710":{"height":0.744,"depth":-0.551,"italic":0.008},"732":{"height":0.722,"depth":-0.597,"italic":0.0},"770":{"height":0.744,"depth":-0.551,"italic":0.008},"771":{"height":0.722,"depth":-0.597,"italic":0.0},"8192":{"height":0,"depth":0,"italic":0},"8193":{"height":0,"depth":0,"italic":0},"8194":{"height":0,"depth":0,"italic":0},"8195":{"height":0,"depth":0,"italic":0},"8196":{"height":0,"depth":0,"italic":0},"8197":{"height":0,"depth":0,"italic":0},"8198":{"height":0,"depth":0,"italic":0},"8199":{"height":0,"depth":0,"italic":0},"8200":{"height":0,"depth":0,"italic":0},"8201":{"height":0,"depth":0,"italic":0},"8202":{"height":0,"depth":0,"italic":0},"8214":{"height":0.602,"depth":0.0,"italic":0.0},"8239":{"height":0,"depth":0,"italic":0},"8287":{"height":0,"depth":0,"italic":0},"8593":{"height":0.6,"depth":0.0,"italic":0.0},"8595":{"height":0.6,"depth":0.0,"italic":0.0},"8657":{"height":0.599,"depth":0.0,"italic":0.0},"8659":{"height":0.6,"depth":-0.001,"italic":0.0},"8719":{"height":0.75,"depth":0.25,"italic":0.0},"8720":{"height":0.75,"depth":0.25,"italic":0.0},"8721":{"height":0.75,"depth":0.25,"italic":0.0},"8730":{"height":0.85,"depth":0.35,"italic":0.02},"8739":{"height":0.627,"depth":0.015,"italic":0.0},"8741":{"height":0.627,"depth":0.015,"italic":0.0},"8747":{"height":0.805,"depth":0.306,"italic":0.138},"8748":{"height":0.805,"depth":0.306,"italic":0.138},"8749":{"height":0.805,"depth":0.306,"italic":0.139},"8750":{"height":0.805,"depth":0.306,"italic":0.138},"8896":{"height":0.75,"depth":0.249,"italic":0.0},"8897":{"height":0.75,"depth":0.249,"italic":0.0},"8898":{"height":0.75,"depth":0.249,"italic":0.0},"8899":{"height":0.75,"depth":0.249,"italic":0.0},"8968":{"height":0.85,"depth":0.349,"italic":0.0},"8969":{"height":0.85,"depth":0.349,"italic":0.0},"8970":{"height":0.85,"depth":0.349,"italic":0.0},"8971":{"height":0.85,"depth":0.349,"italic":0.0},"9168":{"height":0.602,"depth":0.0,"italic":0.0},"10216":{"height":0.85,"depth":0.35,"italic":0.0},"10217":{"height":0.85,"depth":0.35,"italic":0.0},"10752":{"height":0.75,"depth":0.25,"italic":0.0},"10753":{"height":0.75,"depth":0.25,"italic":0.0},"10754":{"height":0.75,"depth":0.25,"italic":0.0},"10756":{"height":0.75,"depth":0.249,"italic":0.0},"10758":{"height":0.75,"depth":0.249,"italic":0.0},"57344":{"height":0.0,"depth":0.0,"italic":0.0},"61437":{"height":0.1,"depth":0.0,"italic":0.0},"61438":{"height":0.1,"depth":0.0,"italic":0.0},"61439":{"height":0.1,"depth":0.0,"italic":0.0},"65535":{"height":0.533,"depth":0.0,"italic":0.0}},"size2-regular":{"13":{"height":0,"depth":0,"italic":0},"32":{"height":0,"depth":0,"italic":0},"40":{"height":1.15,"depth":0.649,"italic":0.0},"41":{"height":1.15,"depth":0.649,"italic":0.0},"47":{"height":1.15,"depth":0.649,"italic":0.0},"91":{"height":1.15,"depth":0.649,"italic":0.0},"92":{"height":1.15,"depth":0.649,"italic":0.0},"93":{"height":1.15,"depth":0.649,"italic":0.0},"123":{"height":1.15,"depth":0.649,"italic":0.0},"125":{"height":1.15,"depth":0.649,"italic":0.0},"160":{"height":0,"depth":0,"italic":0},"710":{"height":0.772,"depth":-0.565,"italic":0.004},"732":{"height":0.75,"depth":-0.611,"italic":0.0},"770":{"height":0.772,"depth":-0.565,"italic":0.004},"771":{"height":0.75,"depth":-0.611,"italic":0.0},"8192":{"height":0,"depth":0,"italic":0},"8193":{"height":0,"depth":0,"italic":0},"8194":{"height":0,"depth":0,"italic":0},"8195":{"height":0,"depth":0,"italic":0},"8196":{"height":0,"depth":0,"italic":0},"8197":{"height":0,"depth":0,"italic":0},"8198":{"height":0,"depth":0,"italic":0},"8199":{"height":0,"depth":0,"italic":0},"8200":{"height":0,"depth":0,"italic":0},"8201":{"height":0,"depth":0,"italic":0},"8202":{"height":0,"depth":0,"italic":0},"8239":{"height":0,"depth":0,"italic":0},"8287":{"height":0,"depth":0,"italic":0},"8719":{"height":0.95,"depth":0.45,"italic":0.0},"8720":{"height":0.95,"depth":0.45,"italic":0.0},"8721":{"height":0.95,"depth":0.45,"italic":0.0},"8730":{"height":1.15,"depth":0.65,"italic":0.02},"8747":{"height":1.36,"depth":0.862,"italic":0.388},"8748":{"height":1.36,"depth":0.862,"italic":0.388},"8749":{"height":1.36,"depth":0.862,"italic":0.388},"8750":{"height":1.36,"depth":0.862,"italic":0.388},"8896":{"height":0.95,"depth":0.45,"italic":0.0},"8897":{"height":0.95,"depth":0.45,"italic":0.0},"8898":{"height":0.949,"depth":0.45,"italic":0.0},"8899":{"height":0.95,"depth":0.449,"italic":0.0},"8968":{"height":1.15,"depth":0.649,"italic":0.0},"8969":{"height":1.15,"depth":0.649,"italic":0.0},"8970":{"height":1.15,"depth":0.649,"italic":0.0},"8971":{"height":1.15,"depth":0.649,"italic":0.0},"10216":{"height":1.15,"depth":0.649,"italic":0.0},"10217":{"height":1.15,"depth":0.649,"italic":0.0},"10752":{"height":0.949,"depth":0.449,"italic":0.0},"10753":{"height":0.949,"depth":0.449,"italic":0.0},"10754":{"height":0.949,"depth":0.449,"italic":0.0},"10756":{"height":0.95,"depth":0.449,"italic":0.0},"10758":{"height":0.95,"depth":0.45,"italic":0.0},"57344":{"height":0.0,"depth":0.0,"italic":0.0},"61437":{"height":0.1,"depth":0.0,"italic":0.0},"61438":{"height":0.1,"depth":0.0,"italic":0.0},"61439":{"height":0.1,"depth":0.0,"italic":0.0},"65535":{"height":0.533,"depth":0.0,"italic":0.0}},"size3-regular":{"13":{"height":0,"depth":0,"italic":0},"32":{"height":0,"depth":0,"italic":0},"40":{"height":1.45,"depth":0.949,"italic":0.0},"41":{"height":1.45,"depth":0.949,"italic":0.0},"47":{"height":1.45,"depth":0.949,"italic":0.0},"91":{"height":1.45,"depth":0.949,"italic":0.0},"92":{"height":1.45,"depth":0.949,"italic":0.0},"93":{"height":1.45,"depth":0.949,"italic":0.0},"123":{"height":1.45,"depth":0.949,"italic":0.0},"125":{"height":1.45,"depth":0.949,"italic":0.0},"160":{"height":0,"depth":0,"italic":0},"710":{"height":0.772,"depth":-0.564,"italic":0.003},"732":{"height":0.749,"depth":-0.61,"italic":0.0},"770":{"height":0.772,"depth":-0.564,"italic":0.003},"771":{"height":0.749,"depth":-0.61,"italic":0.0},"8192":{"height":0,"depth":0,"italic":0},"8193":{"height":0,"depth":0,"italic":0},"8194":{"height":0,"depth":0,"italic":0},"8195":{"height":0,"depth":0,"italic":0},"8196":{"height":0,"depth":0,"italic":0},"8197":{"height":0,"depth":0,"italic":0},"8198":{"height":0,"depth":0,"italic":0},"8199":{"height":0,"depth":0,"italic":0},"8200":{"height":0,"depth":0,"italic":0},"8201":{"height":0,"depth":0,"italic":0},"8202":{"height":0,"depth":0,"italic":0},"8239":{"height":0,"depth":0,"italic":0},"8287":{"height":0,"depth":0,"italic":0},"8730":{"height":1.45,"depth":0.95,"italic":0.02},"8968":{"height":1.45,"depth":0.949,"italic":0.0},"8969":{"height":1.45,"depth":0.949,"italic":0.0},"8970":{"height":1.45,"depth":0.949,"italic":0.0},"8971":{"height":1.45,"depth":0.949,"italic":0.0},"10216":{"height":1.45,"depth":0.95,"italic":0.0},"10217":{"height":1.45,"depth":0.949,"italic":0.0},"57344":{"height":0.0,"depth":0.0,"italic":0.0},"61437":{"height":0.1,"depth":0.0,"italic":0.0},"61438":{"height":0.1,"depth":0.0,"italic":0.0},"61439":{"height":0.1,"depth":0.0,"italic":0.0},"65535":{"height":0.533,"depth":0.0,"italic":0.0}},"size4-regular":{"13":{"height":0,"depth":0,"italic":0},"32":{"height":0,"depth":0,"italic":0},"40":{"height":1.75,"depth":1.249,"italic":0.0},"41":{"height":1.75,"depth":1.249,"italic":0.0},"47":{"height":1.75,"depth":1.249,"italic":0.0},"91":{"height":1.75,"depth":1.249,"italic":0.0},"92":{"height":1.75,"depth":1.249,"italic":0.0},"93":{"height":1.75,"depth":1.249,"italic":0.0},"123":{"height":1.75,"depth":1.249,"italic":0.0},"125":{"height":1.75,"depth":1.249,"italic":0.0},"160":{"height":0,"depth":0,"italic":0},"710":{"height":0.845,"depth":-0.561,"italic":0.013},"732":{"height":0.823,"depth":-0.583,"italic":0.0},"770":{"height":0.845,"depth":-0.561,"italic":0.013},"771":{"height":0.823,"depth":-0.583,"italic":0.0},"8192":{"height":0,"depth":0,"italic":0},"8193":{"height":0,"depth":0,"italic":0},"8194":{"height":0,"depth":0,"italic":0},"8195":{"height":0,"depth":0,"italic":0},"8196":{"height":0,"depth":0,"italic":0},"8197":{"height":0,"depth":0,"italic":0},"8198":{"height":0,"depth":0,"italic":0},"8199":{"height":0,"depth":0,"italic":0},"8200":{"height":0,"depth":0,"italic":0},"8201":{"height":0,"depth":0,"italic":0},"8202":{"height":0,"depth":0,"italic":0},"8239":{"height":0,"depth":0,"italic":0},"8287":{"height":0,"depth":0,"italic":0},"8730":{"height":1.75,"depth":1.25,"italic":0.02},"8968":{"height":1.75,"depth":1.249,"italic":0.0},"8969":{"height":1.75,"depth":1.249,"italic":0.0},"8970":{"height":1.75,"depth":1.249,"italic":0.0},"8971":{"height":1.75,"depth":1.249,"italic":0.0},"9115":{"height":1.154,"depth":0.655,"italic":0.0},"9116":{"height":0.61,"depth":0.01,"italic":0.0},"9117":{"height":1.165,"depth":0.644,"italic":0.0},"9118":{"height":1.154,"depth":0.655,"italic":0.0},"9119":{"height":0.61,"depth":0.01,"italic":0.0},"9120":{"height":1.165,"depth":0.644,"italic":0.0},"9121":{"height":1.154,"depth":0.645,"italic":0.0},"9122":{"height":0.602,"depth":0.0,"italic":0.0},"9123":{"height":1.155,"depth":0.644,"italic":0.0},"9124":{"height":1.154,"depth":0.645,"italic":0.0},"9125":{"height":0.602,"depth":0.0,"italic":0.0},"9126":{"height":1.155,"depth":0.644,"italic":0.0},"9127":{"height":0.899,"depth":0.01,"italic":0.0},"9128":{"height":1.16,"depth":0.66,"italic":0.0},"9129":{"height":0.01,"depth":0.899,"italic":0.0},"9130":{"height":0.31,"depth":0.01,"italic":0.0},"9131":{"height":0.899,"depth":0.01,"italic":0.0},"9132":{"height":1.16,"depth":0.66,"italic":0.0},"9133":{"height":0.01,"depth":0.899,"italic":0.0},"9143":{"height":0.935,"depth":0.885,"italic":0.0},"10216":{"height":1.75,"depth":1.248,"italic":0.0},"10217":{"height":1.75,"depth":1.248,"italic":0.0},"57344":{"height":0.0,"depth":0.0,"italic":0.0},"57345":{"height":0.605,"depth":0.014,"italic":0.021},"57680":{"height":0.12,"depth":0.213,"italic":0.01},"57681":{"height":0.12,"depth":0.213,"italic":0.024},"57682":{"height":0.333,"depth":0.0,"italic":0.01},"57683":{"height":0.333,"depth":0.0,"italic":0.024},"57684":{"height":0.12,"depth":0.0,"italic":0.01},"61437":{"height":0.1,"depth":0.0,"italic":0.0},"61438":{"height":0.1,"depth":0.0,"italic":0.0},"61439":{"height":0.1,"depth":0.0,"italic":0.0},"65535":{"height":0.533,"depth":0.0,"italic":0.0}}}; var getCharacterMetrics = function(character, style) { return metricMap[style][character.charCodeAt(0)]; diff --git a/metric_parse.rb b/metric_parse.rb index 551647145..d72c22d08 100644 --- a/metric_parse.rb +++ b/metric_parse.rb @@ -39,7 +39,8 @@ end font_dir = File.join(File.dirname(__FILE__), 'static/fonts/') metrics = {} -%w[main-regular math-italic ams-regular].each do |face| +%w[main-regular math-italic ams-regular + size1-regular size2-regular size3-regular size4-regular].each do |face| metrics[face] = metrics_for_file(File.join(font_dir, 'katex_%s.ttf' % face)) end diff --git a/static/katex.less b/static/katex.less index c274eb5cc..5b1caead7 100644 --- a/static/katex.less +++ b/static/katex.less @@ -308,38 +308,63 @@ big parens } } - .sizing { display: inline-block; } + .sizing { + display: inline-block; - @size-1: 0.5; - @size-2: 0.7; - @size-3: 0.8; - @size-4: 0.9; - @size-5: 1.0; - @size-6: 1.2; - @size-7: 1.44; - @size-8: 1.73; - @size-9: 2.07; - @size-10: 2.49; + @size-1: 0.5; + @size-2: 0.7; + @size-3: 0.8; + @size-4: 0.9; + @size-5: 1.0; + @size-6: 1.2; + @size-7: 1.44; + @size-8: 1.73; + @size-9: 2.07; + @size-10: 2.49; - .generate-size-change(@from, @to) { - .reset-size@{from}.size@{to} { - @sizeFromVariable: ~"size-@{from}"; - @sizeToVariable: ~"size-@{to}"; - font-size: (@@sizeToVariable / @@sizeFromVariable) * 1em; + .generate-size-change(@from, @to) { + &.reset-size@{from}.size@{to} { + @sizeFromVariable: ~"size-@{from}"; + @sizeToVariable: ~"size-@{to}"; + font-size: (@@sizeToVariable / @@sizeFromVariable) * 1em; + } + } + + .generate-to-size-change(@from, @currTo) when (@currTo =< 10) { + .generate-size-change(@from, @currTo); + + .generate-to-size-change(@from, (@currTo + 1)); + } + + .generate-from-size-change(@currFrom) when (@currFrom =< 10) { + .generate-to-size-change(@currFrom, 1); + + .generate-from-size-change((@currFrom + 1)); + } + + .generate-from-size-change(1); + } + + .delimsizing { + &.size1 { font-family: katex_size1; } + &.size2 { font-family: katex_size2; } + &.size3 { font-family: katex_size3; } + &.size4 { font-family: katex_size4; } + + &.mult { + .baseline-align-hack-outer; + + > .fix-ie, + > .delimsizinginner { + .baseline-align-hack-middle; + position: relative; + + &.size1 { + > span { + font-family: katex_size1; + } + } + } } } - - .generate-to-size-change(@from, @currTo) when (@currTo =< 10) { - .generate-size-change(@from, @currTo); - - .generate-to-size-change(@from, (@currTo + 1)); - } - - .generate-from-size-change(@currFrom) when (@currFrom =< 10) { - .generate-to-size-change(@currFrom, 1); - - .generate-from-size-change((@currFrom + 1)); - } - - .generate-from-size-change(1); } diff --git a/symbols.js b/symbols.js index 64a93ce26..41631e73f 100644 --- a/symbols.js +++ b/symbols.js @@ -314,7 +314,7 @@ var symbols = { "\\lvert": { font: "main", group: "open", - replace: "|" + replace: "\u2223" }, ")": { font: "main", @@ -340,7 +340,7 @@ var symbols = { "\\rvert": { font: "main", group: "close", - replace: "|" + replace: "\u2223" }, "=": { font: "main", @@ -563,6 +563,111 @@ var symbols = { font: "main", group: "textord", replace: "\u25b9" + }, + "\\{": { + font: "main", + group: "open", + replace: "{" + }, + "\\}": { + font: "main", + group: "close", + replace: "}" + }, + "\\lbrace": { + font: "main", + group: "open", + replace: "{" + }, + "\\rbrace": { + font: "main", + group: "close", + replace: "}" + }, + "\\lbrack": { + font: "main", + group: "open", + replace: "[" + }, + "\\rbrack": { + font: "main", + group: "close", + replace: "]" + }, + "\\lfloor": { + font: "main", + group: "open", + replace: "\u230a" + }, + "\\rfloor": { + font: "main", + group: "close", + replace: "\u230b" + }, + "\\lceil": { + font: "main", + group: "open", + replace: "\u2308" + }, + "\\rceil": { + font: "main", + group: "close", + replace: "\u2309" + }, + "\\backslash": { + font: "main", + group: "textord", + replace: "\\" + }, + "|": { + font: "main", + group: "textord", + replace: "\u2223" + }, + "\\vert": { + font: "main", + group: "textord", + replace: "\u2223" + }, + "\\|": { + font: "main", + group: "textord", + replace: "\u2225" + }, + "\\Vert": { + font: "main", + group: "textord", + replace: "\u2225" + }, + "\\uparrow": { + font: "main", + group: "textord", + replace: "\u2191" + }, + "\\Uparrow": { + font: "main", + group: "textord", + replace: "\u21d1" + }, + "\\downarrow": { + font: "main", + group: "textord", + replace: "\u2193" + }, + "\\Downarrow": { + font: "main", + group: "textord", + replace: "\u21d3" + }, + "\\updownarrow": { + font: "main", + group: "textord", + replace: "\u2195" + }, + "\\Updownarrow": { + font: "main", + group: "textord", + replace: "\u21d5" } }, "text": { @@ -584,7 +689,7 @@ var symbols = { } }; -var mathTextSymbols = "0123456789/|@.\""; +var mathTextSymbols = "0123456789/@.\""; for (var i = 0; i < mathTextSymbols.length; i++) { var ch = mathTextSymbols.charAt(i); symbols["math"][ch] = { diff --git a/test/huxley/DelimiterSizing.hux/firefox-1.png b/test/huxley/DelimiterSizing.hux/firefox-1.png new file mode 100644 index 0000000000000000000000000000000000000000..4ad62c262dd20baf49c14a6482107e778abb6a4a GIT binary patch literal 16097 zcmeHuc|6tm`}Wb)j80Q2v=^?(Zpq&m7*2eeCO7mlycJ=ltT&8>@{k z{v1~wuk5~ewXe<0bz$~<`3{O7YSKzS<7-tIVZ_;7cIM~1i+z5sORYW=ynUznv6`PB z9awj5?z|S~v7GMyk)lRdmzIN(0Y-0~i#rCA-iWg<>CG# zZ`}m$_e%$9nGD8)VqWg|O*dySMuzIgX3)2a&qFyZ8IP>_t4Tr8N z{yAMJeq^X`3JnT;$a`+h)fKx-+bd!PeXd=Lo-}1vtGCLck_dkjPRI{GO^a3!mQA!V zq_M9Bl;wXu*;jW$YH#jD_pL+k?pnRNm;R=)QOb4Hxgu6iT|q)GzP!;(PLf93GM5S~ zJ7d!sohda+4@%yLN5T zi7t~#$(Cix>kd5C2+uw>#K9Vv(k{bk87I2p@ibW=BQ$8nYg?BbQyHhv<@IBuCniZ* zmMSG=4{~PCoN2$Lcx$(3eA*l4B)aKJq0tXNb=K#Y(sO*zJQ+WA4~?|fq$Zf0>Sa%= zh%?knxcAA!<>Lj@Xz@i}DusTlwC^5xCP4RUe4@@l+V-^@Jt=H3muDKT5?fvU?8ZiQ zg~xNA1#Qu@sY$8mQ)RI#IqcZ-5QQHm*;FT~<_tVL(v#piqDBw$UBoM;9ebh=r#H_M z6ciNOU!7#xUJ`cJCE9ePUC*)c;>P{@ey2Aad3Bo=ByHLEzK)K>&BAQrrl;6`dHS(~ zSv{p{%&HU{!;wAyrY`B8YnTH)W$G35ix$_>D0+)#|yyL2NuUU6}8`x=|nwz$++ zrP}H;5ogX!B-@j>IWSQvJt1e*VD8+x8MrWqcQ4jVO13CbT%9wV$VySYx+3Oa@lB?f zsOa-%f7AHhjw-HgS*`PT6BXp0=;QAn^^=gZ2G+&QfBLli-OIZUt`HRz(53aizW=*pf5TaJj?1a>B{a_DbFaLuALi7RrPomzr+qH3 zvBbRg68t5a-lO!(dHz|(8D9$lE-abD!+bDPw< z6@`i1Xpro#CND5B++8eXRW7>9I76o){@$mZbe&|KF}MyzOc1;K#sP+U|RQ3Jk!c6B6fBzI9dn&`kv2FRlh>LsRsn0JR zTW_6RzyAqex{+j%m7lqok)q=1n=XTvy{#qN`f87P$&L*ln`Bd)rio|~6rcWfULE$+ z{wgceNYbCK?DejrllvEq4Y$bkUN9Y2Jg9i|=pALRMR8b{SfIIn2Hd^(A-{U7+-Rem zea0L!`z1kJPE@{qc0C$Zo30hV0#ts>Rvu9gl2-Dx&`__4Wk@hQUk|k{i z^!+$mQLKeBAMXE<(Ot9!uD47E@j&|cyKAR+?%b)Pp%F4;sWNZLLHJU8b#mW*Qn@;gXXVTI(Idr`;?yGmr zAs-GBdpze<@Z*c~JMu+>%m3Q@V7)`Tj-Y@*>xYI1iaqW1IXN_a2>j5pHtlG@#v?bm zyLmHH!#(wtqndUUi~W3bWT+y+RBn}NwvnHCoBhDcVwXtGFlDig8};PI28tab_5C7* z+V6E2l_go0^+d^ysCK`7R)&Btp%i>^{zfYt9kb8Nb$A=5mQOl5dDHI;w;XTvGd%2V zQ^VB1v(NqUrG>F)goE(00c2oD_Qf)Nyd^C!4+gWtKX=xUZ=Bnp zEPtl7RLh~Wn*GzX1sdVxLx26Hai<`0<>KQDWS#d+nYB`5SwfWromBN4p1qeAYz~z) z&al9Na(32dpGw}JKl9O&!o)K#)*$*W+-#@RP+C^z8xSD=<%zMz=eM?HH2gWgr{Sy+ zM>@|-NU!*&O!99Z_dS|t=E=9^)2B}Y`5nC!OV24Q-**)g6Vrqr^}KTG65Ee+#5HO? zIn`Ge<>MnTiLI;K{`SU^%BK9Qf@&)ZXYPBD;n0DTTH&sSVY<5G_Ot)YwZ74zF3NH@ zHXhNvT-aRNT`ZUIu`y4gcG7I45CqOx+!7P{WT~>JMuJI}ebbW}Jgh4S5IZ(+-fWl2 z4Sb>AGxk;DAxbk2?`!p)`rflOMh1J?Mn<<04%?NAWcrMtjrFT&i@!B|UxpnC3!%2{}2_Slu|Sv|~k^RVa%&ets7dkcN9q zI@x^yp;i6Sqesla&oxJSpKqIP*Y5Q zNaU{Tp<>#Rt&is)DVIpNwcvCKty0`)9-4w zNr&q)VhmFcOKYzz)KXUd6X;`N`2iu9{#&x6{buggFaElfc=zu3=ot+8lP6Dl_*}iZ zG___GCb&P@lOg=r*U!(YBy{_?S>0za9;Th_ej9V|o>7CeeQStroWW#_1|DLZJ1QHj z?rnGM7brVfq@HEZyC6%(y5nbo-Re#wI2=m-N1`Gd!GX7^O8fI?@Xh5sk)S79hU^ zF2?}J>%+7Rzemtz`1guCG)1U0xn9x}X2+M8=we zmTs{tRUH*=zc}~XcGjkAQ=~!GU2yyRmotdm(L$PGK-@j5t z*7x0bq`h57yMqx3u4ebYnZkYOPkLy0*m--wvuA9Zy`J91EoCx&wPE}N?Xd|xXXS)eW4#v@qcN6~pn zhhA#o(#y~L`1x@X6TxU1@(!Mi`wib+5PN-$Ucya|UH^x@G)cvp35>H}(?ar*dXw2E zzugK|H8Kk1XlZIL#)uGUWyWjUfq?-E34%6n-n`NA1*)PL5PfL|W7CW3Wb57%6(KRB zKYpBA9;PyV`+PG`&L>c`Z$qxpBF7I|wE7{UwYaaZFYS|qQc2?wq)H#cXV0L*U9ow8bIed0oRvSqD6F-*DyH;XI5!3mV8N($zLar#GGDh?n`YNsBq6Ck#e zH8whgiSD;Gm(Jbb*kf_(Q@+T&Uw(DNCZmoO%jhvaXv1|`H#XR4rNIWG!FD}#{mf&; z;k3ywOTtu=%?oEuLbjsKM+KM6?Wr_8LTQajxpT0$L!>5U5<|}S%eBQK#(3yHp2L3B z#U-%OmrCX)f~VEl6|MrTSS+D?`}vDIW_aQea!HSW&hU1!ztHPzl-YN@~)G4S?=)X7i#dG1ed?j8^jL;3)7Eh$P|$$pe#^JSK) zuUyAY5t|~X0LOD29cYnq8UD>Z^Y!T|Nshf%$u>2*3Mn?$pg7?F{=k?^7|})FA6(%5 z@hC23ZqKB+$G>8iMoUppGEsC&F@O>jR9Q{6$BHYqblnS!H_j9%i}N>ejH!$_mS9Bh z{OaIv0;>v+Z{YnoOL0UYk)AAXY)_p=KK2q?O$rN`OUFoGeN~t1m=ik+9$)}z=Fgw! zhF(TcY(wzUJ$yJGDNLAgu8Fn{_|Do3GP18G1yj1Ur`ca2HZ@&t_%8x8wkK+jo;~m^ zAOd#OarT$T7U123bzLq|fNGXVAk2vq5WfwQEWAnZfxCF^+_g)9aoadkSLjraHy1=n zNT{*)dd{Fr)s_sJh_g4yc257)-JJ|b<<1SnPuCSkg8*~R&p(`|K*%@8Wkd&HHRMRn zi0*Wmp39M}APx>k8(y@^Fh#)ah3`Lz*N$13s3S;5&S2=|MFd+^aM*Mi*#mFqyI;6) zffAk6(Kkv`himu9Z3mW0+V_Y_mIrGrhouVIe|W7xuuD5~SINbVucGx#PHt!HQ~wTT z+07hhz2!b?as=0U0JTJG!Np>M?xMjZrLV7Dx6T&~4{_fbVSvD&A`*=V;|{Ts=H_N* zRgAVsL}X-vD$xIzvsm`uMs0kVK)_3y-@Yxd{Py^W(tiiBG434vifF;qcU-@I-EQ7L zo6$rRDvvYV7$gR64b}>MVgjENF`F1jMjl>X{$+CzF&T_yx6Quh`V?!e3YG`zfRV;d6Oz3hQeLjp@Kklj4hy1?XGuneeSOWd*ZAAbB(b&-7&8OdBIA$w|2R94pH4hK|+G$V&47iO=n zR9l_348w%4%wUvjk?KtxbqDR>wi5)eipbsbgLc3=H`r8j#|6^3Z} zTEJ0)hoM_!j1G46LS7*)=FWqNb?*RyD!_gPeIVzQOMV|Rc%rI*|KX>ewy0onBPbUH z9~<)4JQfAj$I0lCFhpr-2>JjLirb5Z(z&`iI^huVMM?i}uT8(J;Upj^*mnQ-ADFnN zAn6nDSH9MPVZ`IaNE9YwhN;vM6lc4nUAZz-X0*Stpt!gSSWPfq;g27!>N1k)P_`IN za5Es3T2NF}IXuuUh$PHpGJ6mfr_^@={LGVaOhVkx9(upUU2VsX=a(06TW{C2gJ1)m zKetelM}AdfuOn3t+;7M@rL5R>Ed;^rmKCY-1n-ILdV_xx`t-SV0NhXzQx@+%X3vL*yB&hFo_KDrZCmyBMU_9lt>f&Lr1C$n@|D4qiQM zN*a#2zj37dl-c51P!ga8NY@>&v4P>rA6kdKQTzqLZP1N3iorQFj2R|d`4XcCQ5V+& z8PrWMiNoE~wf%ze(R&~K2?x;H1SE6%^n`{SXs5AQ6=BM7*sRu(dmsOtx86b+TQqah}U)xNLGOtx#@ z`6v+(fNma`njMalLwt^bltZ4E3tqSCE%--1D3hN|&+}~nKCTt*pN&v-d4f&6~o zxbHCa09UZbN1-UESU_i&_Ex?)&+_RtupLyT9>UY^{5f?#cB0mR*o$ixxDcrx9N(2a z#1gSXNhlVG>f6xtFZ} zy|pPxX1-es3E?D7$AR}~{tA-oL2ysa#Hmw?9kK1~H121}?3%(~@96fPTUffN?xFf@ zV|IFL=mkpPIv|*#@>*I~5)%^zin{t@5oYha0YBjE1mPY>To`ets)HSl8=EwN=h128 z4fdmEyRTeK>3mO*J=t1A_V6dQIHPo}J0W0->^0-L9)wQGo9BlgMX$icSAG~8;drc} zdL%b-cu?N%JT6h|At;e_uz1mCV;l(k3j$gQl(0lqRrNcI*&GBz_~-LLDh;xCsH&c~ zeG7srUVBrFmVEaV-~q-3kw1 z1|BLFh)pUe{2nOI#~Ur~Xa4P=#gN>0Oqw+5)6j_BlJB02!BT)c#lM>UW=QUI|5gRK zx@*|+vfyG7k?|TOSCbJa1dyuf)J=QyW}mN*&lAh<7WfE6%E#9?f+~lQ2-(Q z4b$x+$YeIV|Fhf$!sB_3IUB+d7*oF3p&H$PE}UU|jy#8G8p@2#6H{zRWFU+JWa7- zKN^SQ(#rBuTy+q!h^HhJARdAsvkzjVHCU&IE-nA)(W6}VhjQ^5M20unAC`^E@#z35 z>lMNV%OHHOTL;~6I}_9$GK^!Bw~D|;I%r5S_Tt7a1I?W1=;!&ra`$RGIG4w58$`bC z0Z2g*QsOQ4*Q9V}&Ym5m4Fwaj-v7n_xPKVQ>mGC|yeP;rSSee%~AJ8}Y`NP-Tz{f4}72q%p@GgPSDvBV?wvTPll z)?GD-?2KXii}R$k4jhQgeVGzR(%*b!q5m=*2$hm3qGv@>&=v=2qVrQ`OO_)YM8w8t z>}0T}(PHi%EY>wQj|k021%~bG*xNqtplbbc(-umHiv&Asl|`vn5saalF34sC%a^p= z04X*40J%x99C{$nrp?k0?crcKHgy^7#oW!GY!;*dFi%HUmxDr$2*OE`?9d_dr;4MK z*W>khTdl;LzHnp zmTp8?lQjC*P5JrxB@n`>-tB%5ic9q!v$I8VW6l-F)%;d!vPVChl_SR2FDu#LYFQe7 zeg!Kq8YHI;Rq)ECURy(wQ5u_&%|T_$G}vV@=JbX`FG30>Gk2kSdlfqKbT* z`SKMjnD=9V!)SF}95#yjCkgnRxJ54gd#SW2QcCPUB7#hTHtPhrur;G2zKpsACiAao zed4`TeD!KQh%=Q5rU?gco>YdHa*80kkg5P>SF8y>T!pR=5Sk^7D3kBP#XH;(H4*^m zvFDRks4mm%!&(L!h{~-X-uPkLoQ9ubw4*N3o#RMbJtX2acDT4?XB_W@YP*(gKJck| zr@DF-ih}~kK2oO!?I}^CqB+5K@aH+d$a@2ZT7_jf^$~zULxBrd#5 zhec-_+5S#&4&YiGP-+jVOXc9caXZkVlSF~+(6i@&!5d0k~V` zU0TT5O{Eo5fROm4y>A@OPzA^tU;o?&l~}C*Kv7_fWm#nYoUjnu1}8RN3*`+(`ZeCm zExT0Zj3z@ii&c|MS7H=-0)$a8Ye4kEeyuJ5;zVOs$XHidO&fCtF3wuHN7#%SpWK8B zc%?R=)gTKR`r5~$7NB5sB~Rc^0(OY~9T1q=c6N!3K>hUebdU8;pAS)0cb5~;o5LeP zz1A{yxr+1lsJj#EfdVChSzqVbPL|7u)y2b3srZ;;)1f4p(YhoHl!df1w{@$>lVf#; zL#!g?s3^3j=)ZjVQktLQICTsZyN=#PMqM)3Y&{x&s0cfr^!x7^<*HXksS6RzH+$@< z86LU&hE;QcuNA6pjPgZDt^jG;Y4`4Jg+kh4j|@+&^^fVY(QxVxC2~ZWvEgpqJh!r< zE!hx02b2ShGL-TbLL~_5F8J^SjZ7dh3phMAC@8*i>{w+3m8RfF$_^tHxq$vVmKM)0bQSNEe znGa8<_AdVOUS4`&(CA%=YHHd~fllO)8LR-*_^9>;$ECiHAEzx4WhDC(cH4aHZ8Xqj zR5b~EG2j!_s&o8(Es0QHC%AyJAvLS)zV?d(L=$gw{oL!?|0@=(KqXh;{f#5pn!8`5 z#9fBvJjoyL5a7Vc#P@?LA}w8a>}kEF-G*XRB?y88XnzOLMJ3%hV(phQ?w`}ufeO3#29ZGuc&@!mei4}nw zlO=csIUH*?pzq$V?n81v3eNNan$Z~h_I!ow+_*;o$aW^iAN|f~iExdVQ>h4y>Y?Ca zh@`X|e87nM<#ZTDedG-3GE_R3hisVt1*=m0!h@TtL$_ZjPqNgWx=>nY%Zc~pZT7?c zN2yk&XYAk`pV2PPldO+xBMl*IvSN1tZ}hV-g;~1p#VIya-S?9Dd<~PiS+vaDr!36(yfi{B`OwR? z)U)J>l0e06{dGYr0d&x{HGS&`Hxhn?tDC@SQR`xEgxl^8+@$#hDeyfrIvqx(E}UQ) z^;%GjdxCs9YgRit_(~C%sln+{US3Dki?pL*@3V&v$3fk0Kz~t&eOoBtCMxo1`zX(F zutvMeLFP+TT_^)Dl5wQec8)6i0qZS8;mKC$3UNdv>3y=)%L1;+Bp7vOGJlfufZeJ+ zf5`(P58gqy!wU7Ax7V0GCPQ9){``4LYpDE?cQen;!ZprYyZ>A+m_rQc4PATab#wsy zzbCPC8?gDxAEs{&K?9|D6HK@gUc}8eAiD9Hh(9G9${ zC*RJc&Isv_ssugs0#Go!+>wxDvhHA!4r=3W78R&>Ar!?z631N@wsf~qY~$Xg`I&1v zXo#XV(D@qSjQV>3c{l~g{=PSFQjJp#jL;g&umSi1q}GW_nS}YNX%oqb zD5;Xf(uYY?B-7+$^%5!}(+FyTn?spt$69p5NzkavJfR1j?=(1E@_}dbrY_pL$4xuw zOD!^&8XZxkqRhh==gHR%02&4b(F#d}@&Ya{qn#5=BIITIH9GBp=$V7P39fNy!J-DQ z8G&Np1G>;r#6fHM$0u?dTl3$@F0YMXbC^D+DGXB)YFH7k_m1<}X49?}?E2dN2l-X_}+TPxV7*fKs|i;r&}WkBPg#slbw zYEd_AYB)tu45ff;f?P)js0WFP>YyH3DTBmt+XyN2 z1Eck(=8WuCz>z}iEqn9mLht<_rdu>U@&5GNR_TRsaE=xvMZC?r>s1!B3JoDs7i`ji z^ZD@u$+km&=JtspuFa;5SMqrIYbVcnQad-vK&5slT$M_Fb0r7|>(Ms2%H-Z21%zr; zKmsXcl6pZsj4`M(FQL6b35t5iY`cd6KewtoM&7;u!+jUTDVD@1i>nE2N z6R}m~0*m1f587YejapfFg&(C^>ij-Ye~Mc+uxOs?W)O#Zq+?6ai6r#XQO{;|=81$u zHI*>cULvb_vsGE-Mb@O66hV7*4iIz#c+sVRxkvd;Opf0c!kL^7nFv zW*B5R$M%>gDvD9N7s*5Lk-^WMv9QLVLsT9I?gs&j6!yvsBTL6wP{rDBqcc6+qj zQRS16^<^}-weB}WUl^!`fIZZ2>apX3UyN50TFTG_f>K38Vi^=Q2M)CmU_b_n9~8!f zrPC)0TjA{FM%vV=?h7&y1?(yYLKE~eu~0MlDkj8`mJ#)LR|Y0vF{BY+q_(JW`*{oQs;l`>Z|_T8}N-l`dUH#~bRYqWk+lG&tgd1uX%ws2>V{ zMoaCD z-A~uiNuI`H!l$zL50o$sv<*`uG8whLIr*rx#`9XMqVcRJ$hqJ zM|LV8d!zrnMu6T;S&4=O7W29_R>WwlQ2CQmtm)_{f9{H$l^OeTskaiA?mqmn8R~!F6!D>3Y)c_KRnMbC?rJv!Hhe9^U6Q9Knu$Id)+Jw!Ssg&M0$mfr%e=& z^u$t;sr|WhpRw<(`4~6aFc>OOUFg66^miZhd)uwlet<*zjf7eVSpO$~I6@EnJHdZC zgQsJ!gi7HI%n14uAnWPV=x+}A7~98G`j(c{vGvWvm)9mg;A^clzPLF}#aG(|a-jE8 z_;Nq%M|@4I!k2#s|9cw$+6MgKUr+fr6#N?s{tX5HhJt@l!M_;k{~u!f@v)BnhKgj< QPBJUi?JT8u#a~bV4}pFX0ssI2 literal 0 HcmV?d00001 diff --git a/test/huxley/DelimiterSizing.hux/record.json b/test/huxley/DelimiterSizing.hux/record.json new file mode 100644 index 000000000..3cae6ac65 --- /dev/null +++ b/test/huxley/DelimiterSizing.hux/record.json @@ -0,0 +1,5 @@ +[ + { + "action": "screenshot" + } +] diff --git a/test/huxley/Huxleyfile.json b/test/huxley/Huxleyfile.json index 0b32adc58..42a80e516 100644 --- a/test/huxley/Huxleyfile.json +++ b/test/huxley/Huxleyfile.json @@ -93,5 +93,11 @@ "name": "Lap", "screenSize": [1024, 768], "url": "http://localhost:7936/test/huxley/test.html?m=ab\\llap{f}cd\\rlap{g}h" + }, + + { + "name": "DelimiterSizing", + "screenSize": [1024, 768], + "url": "http://localhost:7936/test/huxley/test.html?m=\\bigl\\uparrow\\Bigl\\downarrow\\biggl\\updownarrow\\Biggl\\Uparrow\\Biggr\\Downarrow\\biggr\\langle\\Bigr\\}\\bigr\\rfloor" } ] diff --git a/test/katex-tests.js b/test/katex-tests.js index c9e2540f4..d645e0e1f 100644 --- a/test/katex-tests.js +++ b/test/katex-tests.js @@ -626,3 +626,44 @@ describe("A tie parser", function() { expect(parse[2].type).toMatch("spacing"); }); }); + +describe("A delimiter sizing parser", function() { + var normalDelim = "\\bigl |"; + var notDelim = "\\bigl x"; + var bigDelim = "\\Biggr \\langle"; + + it("should parse normal delimiters", function() { + expect(function() { + parseTree(normalDelim); + parseTree(bigDelim); + }).not.toThrow(); + }); + + it("should not parse not-delimiters", function() { + expect(function() { + parseTree(notDelim); + }).toThrow(); + }); + + it("should produce a delimsizing", function() { + var parse = parseTree(normalDelim)[0]; + + expect(parse.type).toMatch("delimsizing"); + }); + + it("should produce the correct direction delimiter", function() { + var leftParse = parseTree(normalDelim)[0]; + var rightParse = parseTree(bigDelim)[0]; + + expect(leftParse.value.type).toMatch("open"); + expect(rightParse.value.type).toMatch("close"); + }); + + it("should parse the correct size delimiter", function() { + var smallParse = parseTree(normalDelim)[0]; + var bigParse = parseTree(bigDelim)[0]; + + expect(smallParse.value.size).toEqual(1); + expect(bigParse.value.size).toEqual(4); + }); +});