Filter to copy texClass to the surrounding TeXAtom so that the negated item has the same class of the base.
The active tex parser.
Filter to copy texClass to the surrounding TeXAtom so that the negated item has the same class of the base.