Regarding coding, the characters “:={” are all vertically centered differently.