mac3n@babbage.acc.virginia.edu (Alex Colvin) (01/28/88)
(I wasn't going to say anything, but the phone line typed "f" for me.) Mathematically, there's usually no need to distinguish "=" from ":=". Any assertion of equality may define something. The thing about equality is that equal things are equal in ALL contexts. That's why logics with equality are more powerful than those without. That's why we use symbols like <=> when we don't want full equality.