a ^t >