3 ms·:= is basically the "yes, I really mean it" version, whereas bare = might just be a simple typo.by chungy 7y ago:= is basically the "yes, I really mean it" version, whereas bare = might just be a simple typo.