On Thu, Jul 11, 2002 at 08:27:22AM +0200, Andre Poenitz wrote: > On Thu, Jul 11, 2002 at 12:00:15AM -0000, [EMAIL PROTECTED] wrote: > > ------- Additional Comments From [EMAIL PROTECTED] 2002-07-11 12:00 ------- > > This appears fixed for 1.2.1cvs but is still broken in 1.3. Andre ? > > > As the plain \not is difficult to edit (negative width) and as we support > things like \notin I am thinking of removing support for \not entirely. > [No support means, \not shows up as red 'not' in mathed] > > What do people think?
I think that we should keep this feature.
