跳转至

术语

数学符号

a := b : Assignment set a equals to b

a = b :Truth Assertion ( claim that a equals b)

评论

作者: Rowl1ng