Lines Matching full:redefinition
3098 % the redefinition.4387 % is an expandable command. The redefinition below makes \endinput
