Since I learned programming, my personal notes draw a distinction between "=" (defines set of coordinates) and ":=" (assignment). cf. f(x) = x^2 + 1 x :=

Since I learned programming, my personal notes draw a distinction between "=" (defines set of coordinates) and ":=" (assignment). cf. f(x) = x^2 + 1 x := 2 f(2) = 5