On 01/20/2017 06:37 PM, Enrico Forestieri wrote: > On Fri, Jan 20, 2017 at 07:53:40PM +0100, Enrico Forestieri wrote: >> On Thu, Jan 19, 2017 at 03:28:25PM -0500, Richard Heck wrote: >>> On 01/19/2017 02:35 PM, Enrico Forestieri wrote: >>>> In conclusion, your patch textwidth2.diff is the right thing to do >>>> in master. For stable we have to make a decision. The alternatives are: >>>> >>>> 1) The patch I posted earlier (textwidth.diff), amended to account >>>> for single chars. This restores the previous behavior, where \not >>>> only works properly with mathrel operators. >>>> >>>> 2) The not1.diff patch. This is essentially equivalent to 1) but avoids >>>> the \kern in the definition of \not. >>>> >>>> 3) The not2.diff patch. This makes \ne, \neq, and \notin work again >>>> and fixes the usage of \not with other non-mathrel characters, >>>> while breaking it for \not=, \not\in and other mathrel operators. >>>> >>>> I would suggest to choose either 1) or 2), which simply restore the >>>> previous behavior. >>> Either of those would be fine with me. >> As I don't see what we gain from 2), I think 1) is the way to go. I attach >> here the amended patch. > Committed at 81465da5.
I'll cherry pick it for stable. Richard >