- The ``product'' in its name refers to the collection of values belonging
- to this type. The collection for a product type is the Cartesian
- product of the collections for the types of its fields.
+ The \quote{product} in its name refers to the collection of values
+ belonging to this type. The collection for a product type is the
+ Cartesian product of the collections for the types of its fields.