Merge pull request #1 from pgarrison/master

Minor things. And a major change with the introduction of \varnothing as empty set
GOT RID OF VARNOTHING