Added \nothing alias for \varnothing