On Thu, Jul 11, 2002 at 04:38:57PM +0200, Andre Poenitz wrote: > On Thu, Jul 11, 2002 at 05:36:23PM +0300, Dekel Tsur wrote: > > I think that it is not complicated to edit a formula with \not. > > I find it confusing when the cursor goes left (or does not move as in > recent versions) when I move to the right.
How about implementing \not as a normal symbol, by adding the line not cmsy 54 0 mathord x to lib/symbols ? This way, the user can uncomment the line if he gets confused by the WYSIWYG \not.