Cursor intersects with \cap

[Enrico Forestieri]

On Tue, Sep 08, 2020 at 10:41:43AM +0200, Jean-Marc Lasgouttes wrote:
> Le 08/09/2020 à 00:11, Enrico Forestieri a écrit :
> > Likely. Possibly the culprit is 79998fdc. However, after that commit,
> > the "2" in \int_0^2 does not clash with the integral anymore.
> > It seems that you can't have your cake and eat it, too.
> 
> Something is a bit fishy in terms of metrics though. Look at this example
> here where the \times and the \bigr| are spearated in low zoom level, but
> begin to verlap whan zooming. Weird.

The width of the other characters increases with zoom, but not the
width of \bigr|, which seems to be home made. Possibly, also the
metrics are not updated when the zoom changes.

-- 
Enrico