“:=”表示“定义为”，是编程语言里的赋值语句的符号，用来定义一个新出现的符号。这个公式的意思是“定义右边新定义的符号表达左边的值”，右边新定义的符号在该程序中第一次出现。该程序段也可以写成“右边:=左边”，意思相同。