3 ms·
I would have used the "up tack" [^1] (or \bot for LaTeX users) to signify "null". Empty set could lead to ambiguities imho. [^1]: https://en.wikipedia.org/wik
by lou1306 10y ago
I would have used the "up tack" [^1] (or \bot for LaTeX users) to signify "null".
Empty set could lead to ambiguities imho.
[^1]: https://en.wikipedia.org/wiki/Up_tack https://en.wikipedia.org/wiki/Up_tack
- dangom 10y agoI 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.