$forall i <- number items ^{itemAsHtml' i}