&varnothing