Lines Matching refs:hat
2827 \let\^=\hat
2857 \def\ctrl #1{{\tt \rawbackslash \hat}#1}
4478 \definedummyword\hat
8210 % character, we would end up writing a line like this: 'xrdef {'hat
8211 % b-title}{'hat b} and \xrdef does a \csname...\endcsname on the first
8212 % argument, and \hat is not an expandable control sequence. It could
8216 % \def\auxhat{\def^{'hat }}% extra space so ok if followed by letter
9925 \chardef\hat=`\^
9927 \def^{{\tt \hat}}
