For/product treated like for/sum for special annotation. Also allowed no annotation to be consistent with the docs.