For/product given same special annotation as for/sum in TR

Also, the annotation is now optional in order to be consistent with the docs.