@tlayoyo It's odd, because quite a few people were seeing something like ∅ as zero for computer work back in the 1980s, but in truth there was a dotted zero available on most of the systems I saw. I've now chosen fonts that dot the zero, but I still cross them when I'm writing by hand.