Definition:Product by Iverson's Convention