TeX:
\pi = 8 {\left(\int_{0}^{\infty} \sin\!\left({x}^{2}\right) \, dx\right)}^{2}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Pi | The constant pi (3.14...) | |
| Pow | Power | |
| Integral | Integral | |
| Sin | Sine | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("6ed553"),
Formula(Equal(Pi, Mul(8, Pow(Integral(Sin(Pow(x, 2)), For(x, 0, Infinity)), 2)))))