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