3913 function getCharacterMetrics(character, font, mode) {
3914   if (!fontMetricsData[font]) {
3915     throw new Error("Font metrics not found for font: " + font + ".");
3919   var metrics = fontMetricsData[font][ch];
3923     metrics = fontMetricsData[font][ch];
3936       metrics = fontMetricsData[font][77]; // 77 is the charcode for 'M'
4024 function defineSymbol(mode, font, group, replace, name, acceptUnicodeChar) {
4026     font: font,
5001     this.font = void 0;
5014     this.font = data.font || "";
5038       font: this.font,
5174   _proto.withFont = function withFont(font) {
5176       font: font  property
5187       font: ""  property
5198       font: ""  property
5209       font: ""  property
5433     if (mode === "text" || options && options.font === "mathit") {
5478   if (options.font === "boldsymbol" && buildCommon_lookupSymbol(value, "Main-Bold", mode).metrics) {
5480   } else if (value === "\\" || src_symbols[mode][value].font === "main") {
5567   var isFont = mode === "math" || mode === "text" && options.font;
5568   var fontOrFamily = isFont ? options.font : options.fontFamily;
5615     var font = src_symbols[mode][text] && src_symbols[mode][text].font;
5617     if (font === "ams") {
5621     } else if (font === "main" || !font) {
5627 …var _fontName3 = retrieveTextFontName(font, options.fontWeight, options.fontShape); // We add font…
6996 …fontFamily && options.fontFamily.substr(4, 2) === "tt" || options.font && options.font.substr(4, 2…
7042   var font = options.font;
7044   if (!font || font === "mathnormal") {
7050   if (font === "mathit") {
7052   } else if (font === "boldsymbol") {
7054   } else if (font === "mathbf") {
7056   } else if (font === "mathbb") {
7058   } else if (font === "mathfrak") {
7060   } else if (font === "mathscr" || font === "mathcal") {
7063   } else if (font === "mathsf") {
7065   } else if (font === "mathtt") {
7079   var fontName = buildCommon.fontMap[font].fontName;
7082     return buildCommon.fontMap[font].variant;
8268 var delimiter_getMetrics = function getMetrics(symbol, font, mode) {
8270   var metrics = getCharacterMetrics(replace || symbol, font, mode);
8273     throw new Error("Unsupported symbol " + symbol + " and font size " + font + ".");
8349 var delimiter_makeInner = function makeInner(symbol, font, mode) {
8352   if (font === "Size1-Regular") {
8360 …r", sizeClass], [buildCommon.makeSpan([], [buildCommon.makeSymbol(symbol, font, mode)])]); // Sinc…
8389   var font = "Size1-Regular"; // We set the parts and font based on the symbol. Note that we use
8413     font = "Size4-Regular";
8418     font = "Size4-Regular";
8422     font = "Size4-Regular";
8426     font = "Size4-Regular";
8430     font = "Size4-Regular";
8434     font = "Size4-Regular";
8439     font = "Size4-Regular";
8444     font = "Size4-Regular";
8450     font = "Size4-Regular";
8456     font = "Size4-Regular";
8461     font = "Size4-Regular";
8466     font = "Size4-Regular";
8471     font = "Size4-Regular";
8476     font = "Size4-Regular";
8480   var topMetrics = delimiter_getMetrics(top, font, mode);
8482   var repeatMetrics = delimiter_getMetrics(repeat, font, mode);
8484   var bottomMetrics = delimiter_getMetrics(bottom, font, mode);
8490     var middleMetrics = delimiter_getMetrics(middle, font, mode);
8526   inners.push(delimiter_makeInner(bottom, font, mode));
8533       inners.push(delimiter_makeInner(repeat, font, mode));
8540       inners.push(delimiter_makeInner(repeat, font, mode));
8548     inners.push(delimiter_makeInner(repeat, font, mode));
8551     inners.push(delimiter_makeInner(middle, font, mode));
8555       inners.push(delimiter_makeInner(repeat, font, mode));
8565   inners.push(delimiter_makeInner(repeat, font, mode));
8568   inners.push(delimiter_makeInner(top, font, mode)); // Finally, build the vlist
10657   var font = group.font;
10658   var newOptions = options.withFont(font);
10663   var font = group.font;
10664   var newOptions = options.withFont(font);
10697       font: func.slice(1),
10724         font: "boldsymbol",  property
10749       font: style,
11485       font: "\\texttt",  property
13641   var font = group.font; // Checks if the argument is a font family or a font style.
13643   if (!font) {
13645   } else if (textFontFamilies[font]) {
13646     return options.withTextFontFamily(textFontFamilies[font]);
13647   } else if (textFontWeights[font]) {
13648     return options.withTextFontWeight(textFontWeights[font]);
13650     return options.withTextFontShape(textFontShapes[font]);
13674       font: funcName