&nvDash