[devidw]

Thanks noting StretchTex. Never heard about it before. Indeed, it shares the same motivation: Allowing users to decide what and in which detail they want to read at.

I would love to see your conclusion about the usage of parentheses respected by authors more often, it makes content so much more accessible and would make a solution like this obsolete.