Davide P. Cervone

> Would it be adviseable to split off the Unicode kerning problem, into a separate ticket from the bounding box problem? Not at this point. That is already resolved in...

OK, here's what's happening. The buss proofs macros need to figure out the size of the various pieces so that they can be properly placed, and that means they have...

The original issue of the bounding box for the proof being incorrect is resolved in the pull request linked above.

The fix has been merged into the `develop` branch.

The `retry` error is part of MathJax's internal mechanism for handling dynamically loaded code. When you see this error, it means you need to be using the promise-based calls in...

As with your examples in #3240, the bounding box for the proof table is not being computed properly. The right-hand edge is not far enough right, so that is why...

This seems to be a bug in the handling of line breaking for inline expressions. I'll have to look into it further, but you can prevent the linebreaks by enclosing...

OK, I've tracked it down and made a PR to fix it. In the meantime, you can add ``` js startup: { ready() { const {SvgWrappers} = MathJax._.output.svg.Wrappers_ts; SvgWrappers.inferredMrow =...

It looks like nested over-under constructions prevent the arrow from stretching. I will have to look into that further. I'm curious, however, why you don't use something like `A\xrightarrow{\ \...

The next release will be for v4.0.0, which is currently in alpha release. There is still some work to be done on it, but I expect we may get an...