badger comments on Mechanism Design: Constructing Algorithms for Strategic Agents

[badger]

That’s an indexed Cartesian product, analogous to sigma notation for indexed summation, so

is the set of all vectors of agent types.

[Vulture]

Oh, okay. Hah, here I was trying to fight my instinct to automatically interpret capital-pi as a product. Thanks!