>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:

Andre> So what should we do?

Andre> A special \not inset? Looks cleanest...

Or keep the current semantics for accents, but with only \not declared
as an accent. In case there are other things which behave like that (I
do not know, really).

JMarc

Reply via email to