On Fri, Jul 13, 2001 at 09:05:03AM +0200, Andre Poenitz wrote:
> > I am pretty sure that either the TeXbook or Lesile Lamport's LaTeX
> > users guide says \not is a slash with width 0 (and rather obviously ink
> > outside it's official boundary). Whether that is the cleanest way to
> > implement it in LyX is not a question I am qualified to comment on.
>
> Could somebody please verify this?
>
> If so, it would make implementation pretty easy.
Well, in plain TeX and LaTeX, \meaning\not is simply \mathchar"3236:
i.e. \not is simply a single character from one of the math fonts. It
seems reasonable to conclude that it is indeed a zero width character.
I'll check what the TeXbook says when I get to work if you like.
Jules
