In particular, {x一1,2*(x一3,4)-*p)}[x:=3;[X+1]:=4{P} and more generally, {x一-，-*(x一3,4)-*p)}x]:=3;[x+1]:=4{P}