Symbol: diacrit
usr/src/cmd/eqn/e.y
110
| box diacrit { diacrit($1, $2); }
usr/src/cmd/eqn/e.y
126
diacrit : HAT { $$ = HAT; }