やっぱり＝は別に等価記号の意味を損なわない、という説が一番説得力あるかな。
問題は記号＝じゃなくて、変数の概念が数学と違うだけ。
a=a+1 は数学では変数aと変数a+1が等しい、という意味でも
プログラミングでは、これから定義する変数aの値は
既存の変数aの値に1を加えたものに等しい、という意味になるだけのこと。

みんなあたまわるいなあ。