Change Details

I'm using Chrome on Ubuntu 22.04. The line generated by \overline is much too short, see the picture. {F41560266} The line above the number is almost unrecognisable. Maybe this bug is connected to T352609.

I'm using Chrome on Ubuntu 22.04. The line generated by` \overline` is much too short. See the picture: {F41560266} The line above the number is almost unrecognisable. Maybe this bug is connected to {T352609}

I'm using Chrome on Ubuntu 22.04. The line generated by` \overline` is much too short,. sSee the picture.: {F41560266} The line above the number is almost unrecognisable. Maybe this bug is connected to {T352609.}