やっぱ

a+1->a

が理想だが
使用済みなので

a<-a+1

がわかりやすいとおもふ