p : TT & >