Function parseSymbolBody

src/compute-engine/latex-syntax/serializer.ts:557–659

(
  s: string,
  topLevel = true,
  style: 'operator' | 'italic' | 'upright' | 'auto' | 'none' = 'auto'
)

  // If the source end in a LaTeX command,
  // and the appended string begins with a letter
  if (/\\[a-zA-Z]+\*?$/.test(src) && /[a-zA-Z]/.test(s[0])) {
    // Add a space between them
    return src + ' ' + s;
  }
  // No space needed
  return src + s;
}

/** Lazy map from symbol name (e.g. 'alpha') to LaTeX command (e.g.
 * '\\alpha'). Built once from the SYMBOLS table on first access; first entry
 * wins (like the `findIndex()` scan it replaces). */
let _latexBySymbolName: Map<string, string> | null = null;
function getLatexBySymbolName(): Map<string, string> {
  if (!_latexBySymbolName) {
    _latexBySymbolName = new Map();
    for (const [name, latex] of SYMBOLS)
      if (!_latexBySymbolName.has(name)) _latexBySymbolName.set(name, latex);
  }
  return _latexBySymbolName;
}

/** Lazy map from Unicode codepoint to LaTeX command. Built once from the
 * SYMBOLS table on first access; first entry wins. */
let _latexByCodepoint: Map<number, string> | null = null;
function getLatexByCodepoint(): Map<number, string> {
  if (!_latexByCodepoint) {
    _latexByCodepoint = new Map();
    for (const [, latex, codepoint] of SYMBOLS)
      if (!_latexByCodepoint.has(codepoint))
        _latexByCodepoint.set(codepoint, latex);
  }
  return _latexByCodepoint;
}

/** Digits spelled out, e.g. for `\mathbb{1}`. See `specialName()` */
const SPELLED_OUT_DIGITS = new Map<string, string>([
  ['zero', '0'],
  ['one', '1'],
  ['two', '2'],
  ['three', '3'],
  ['four', '4'],
  ['five', '5'],
  ['six', '6'],
  ['seven', '7'],
  ['eight', '8'],
  ['nine', '9'],
  ['ten', '10'],
]);

/** Special symbol-body names mapped to LaTeX. See `specialName()` */
const EXTRA_SYMBOLS = new Map<string, string>([
  ['plus', '+'],
  ['minus', '-'],
  ['pm', '\\pm'],
  ['ast', '\\ast'],
  ['dag', '\\dag'],
  ['ddag', '\\ddag'],
  ['hash', '\\#'],