X, Y are sets equipped with maps
X \to Z,
Y \to Z, then the usual notation for the fiber product of
X \times_Z Y. I have a whole bunch of sets
X_\alpha equipped with maps
X_\alpha \to Z. Does anyone have a suggestion for how to denote (in TeX) the fiber product of all these sets over
Z? I would like to use
\prod, but the subscript that indicates the indices over which we're taking the product and the subscript that indicates that we're taking a fiber product over
Z are getting in each other's way.
Currently my solution is what Sigur suggests in the comments.