Lines Matching refs:hat
1773 \def\ctrl #1{{\tt \rawbackslash \hat}#1}
3211 \definedummyword{hat}%
6168 % character, we would end up writing a line like this: 'xrdef {'hat
6169 % b-title}{'hat b} and \xrdef does a \csname...\endcsname on the first
6170 % argument, and \hat is not an expandable control sequence. It could
6174 % \def\auxhat{\def^{'hat }}% extra space so ok if followed by letter
6969 \chardef\hat=`\^
6971 \def^{{\tt \hat}}
