replace x,y by \tup x y