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