Hi,
Annotating equations with situated comments makes text less burdensome, equations more self-contained and, at least in an education context, the content more engaging, in my opinion. Somebody published a proof of concept with tikz + latex (code forthcoming...),
TeXmacs already makes it much more efficient to add under/overbraces (that are actually readable as you type, unlike in LaTeX); I wonder if everything needed to support this kind of annotations (with colored boxes) is available at the Scheme level or would there be a need for C++ changes?
Best,