I agree with you. Specially because ∅ looks a lot like crossed 0, depending on your font. My point is that symbols only have meaning for those who see them. Wi

I agree with you. Specially because ∅ looks a lot like crossed 0, depending on your font. My point is that symbols only have meaning for those who see them. With Emacs pretty-mode, symbols are substituted visually and not ever saved to file.