":=" ist eine Zuweisung, die man v.a. in der Informatik oft sieht.
z.B. a:= 5*a
mit einem "=" wäre die Gleichung natürlich falsch. Mit dem Doppelpunkt davor heißt es, dass a jetzt 5 mal so groß ist wie zuvor.
In der Mathmatik versteht man eher eine Definition dahinter.