On Thu, Jul 11, 2002 at 04:26:23PM +0200, Andre Poenitz wrote: > On Thu, Jul 11, 2002 at 05:19:13PM +0300, Dekel Tsur wrote: > > > What do people think? > > > > I think that we should keep this feature. > > Why?
Why not ? I think that it is not complicated to edit a formula with \not.
