术语

数学符号

$a := b$ : Assignment ( set a equals to b )

$a = b$ ：Truth Assertion （ claim that a equals b）