What is the origin of the use of $\Pi$ and $\Sigma$ for dependent function and dependent product types in type theory?
56364
Confusion about Homotopy Type Theory terminology
22842
The Interpretation of $|\psi|^2$ and the No-Clone Theorem
63672
Understanding a particular evaluation of $\prod\limits_{n=2}^{\infty}\left(1-\frac{1}{n^3}\right)$
80447
Why covariance and contravariance do not support value type
70375
Wallis Product with integrals
130210
Dynamic type languages versus static type languages
7530
Why this $\sigma \pi \sigma^{-1}$ keeps appearing in my group theory book? (cycle decomposition)
76020
What's the intuition for dot product?
97890
$\{1,1\}=\{1\}$, origin of this convention
136939
Why is torque a cross product?
147486
Cartesian product of two $\sigma$-algebras is generally not a $\sigma$-algebra?
75731
Significance of $\pi$ in physics
63860
Measure of Dependence Between Two $\sigma$-algebras
115295
Why are the two dot product definitions equal?
96047
Why are two universal objects isomorphic?
61209
Interpretation of the Dirac-measure property
20789
If $\Sigma \vdash \varphi$ then $\Sigma \vdash \forall x \varphi$. Why when $(\varphi \implies \forall x \varphi)$ is not true?