I don't think "→" necessarily misrepresents the meaning of "->" (though see the objections throughout the thread re: differing ways that languages notate "not equal to.")

The point is that programming isn't just an exercise in semantics. But it is deterministic symbolically.