^ atn \ t^