} else if (isTeXBraces(tex)) {
    soFar.push("{");
    tex.latex.forEach(t => stringifyLaTeXInner(t, soFar));
    soFar.push("}");
  } else if (isTeXComment(tex)) {