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