A short, worthwhile read. A mostly irrelvant comment: I think that when writing, it is fine to use ≠ and =. We can be reasonably sure that = means equals and not assignment.