TeX:
\pi = \int_{-\infty}^{\infty} \frac{1}{{x}^{2} + 1} \, dxDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstPi | The constant pi (3.14...) | |
| Pow | Power | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("04cd99"),
Formula(Equal(ConstPi, Integral(Div(1, Add(Pow(x, 2), 1)), Tuple(x, Neg(Infinity), Infinity)))))