Use DeclareMathOperator
varnothing is so much prettier than emptyset