I get that they refer to the same thing but \varnothing should look more rounded, yet they both look exactly the same when rendered. I don't like how they currently look :( Any hope for a fix?