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