I'm using Chrome on Ubuntu 22.04.
The line generated by` \overline` is much too short. See the picture:
The line above the number is almost unrecognisable.
Maybe this bug is connected to T352609: native: \operatorname effect does not propagate into \widetilde arguments






