$forall i <- numbered items ^{itemAsHtml vd i}