On 12 Sep 2013, at 11:26, Johan Winge <[email protected]> wrote: > According to the autobiography of André Weil, quoted at > http://jeff560.tripod.com/set.html, the empty set symbol ∅ was inspired by > the Scandinavian Ø, and would then have nothing to do with the Greek phi, > except for a superficial resemblance.
I confess I usually type a Danish Ø for convenience when I'm using this, though for publication I would tend to substitute the proper ∅. Michael Everson * http://www.evertype.com/
