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?

Andre'

-- 
Those who desire to give up Freedom in order to gain Security,
will not have, nor do they deserve, either one. (T. Jefferson)

Reply via email to