a notation for the p-copy that is satisfactory?