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. -- Enrico