Comment by Animats

MathCAD once had about four equality symbols. Comparison, assignment, identity, and congruence, I think.

Mathematica uses <=> for Boolean comparisons.