RT，在做 CF 的题的时候，看到了这个符号：

set $a_i := a_i + 1$.

其中 := 是什么意思？是赋值的意思吗？

希望有大佬能够解答一下，谢谢！