Lines Matching refs:hat
1132 \let\^=\hat
2595 \def\ctrl #1{{\tt \rawbackslash \hat}#1}
4235 \definedummyword\hat
7450 % character, we would end up writing a line like this: 'xrdef {'hat
7451 % b-title}{'hat b} and \xrdef does a \csname...\endcsname on the first
7452 % argument, and \hat is not an expandable control sequence. It could
7456 % \def\auxhat{\def^{'hat }}% extra space so ok if followed by letter
9156 \chardef\hat=`\^
9158 \def^{{\tt \hat}}
