Lines Matching refs:suggested
6164 % It was suggested to set the catcode of ^ to 7, which would allow ^^e4 etc.
