On Thu, Jul 11, 2002 at 06:01:13PM +0300, Dekel Tsur wrote: > 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.
Good idea. Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson)