&Vvdash