TeX:
\pi = {\left(\int_{-\infty}^{\infty} {e}^{-{x}^{2}} \, dx\right)}^{2}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Pi | The constant pi (3.14...) | |
| Pow | Power | |
| Integral | Integral | |
| Exp | Exponential function | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("dae4a7"),
Formula(Equal(Pi, Pow(Integral(Exp(Neg(Pow(x, 2))), For(x, Neg(Infinity), Infinity)), 2))))