On Tue, Apr 26, 2022 at 10:04 AM luigi scarso
wrote:
>
>
> On Tue, Apr 26, 2022 at 8:59 AM Henri Menke wrote:
>
>> On Mon, 2022-04-25 at 22:09 +0200, Henri Menke wrote:
>> > Dear devs,
>> >
>> > When using delimiter with \left...\right the italic correction
>> > between
>> > the preceding
On Tue, Apr 26, 2022 at 8:59 AM Henri Menke wrote:
> On Mon, 2022-04-25 at 22:09 +0200, Henri Menke wrote:
> > Dear devs,
> >
> > When using delimiter with \left...\right the italic correction
> > between
> > the preceding letter and the delimiter is dropped. I've tried this
> > with
> > a few
