如题。例如现在有一变量 $x$，我使得它自增 $y$，可写作 $x'\leftarrow x+y$ 么？还是说有更好的写法？