\prettywordpair{IDENTIFIER}{{$\langle$\rm identifier$\rangle$}} \prettywordpair{INTEGER}{{\bf int}} \prettywordpair{BOGUS}{{\tt Oh, @\%\$\&*!}}