'a')\;p 'a'(\;p 'a'0=p 'a'{}/p