else if (isOptArg(tex)) {
    soFar.push("[");
    tex.latex.forEach(t => stringifyLaTeXInner(t, soFar));
    soFar.push("]");
  } else throw new Error("Did not recognize " + JSON.stringify(tex));