NonAssociativeProduct
NonAssociativeProduct
-- a type of
Expression
representing a nonassociative product.