Making sure the empty set is always denoted by the same symbol.

I opted for `\emptyset` rather than `\varnothing`. They look very
similar with our choice of fonts, anyhow. I presume `\varnothing`
was there because the standard LaTeX `\emptyset` isn't round enough.
But ours is.