TeX:
\pi = \int_{-1}^{1} \frac{1}{\sqrt{1 - {x}^{2}}} \, dxDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Pi | The constant pi (3.14...) | |
| Integral | Integral | |
| Sqrt | Principal square root | |
| Pow | Power |
Source code for this entry:
Entry(ID("fc8149"),
Formula(Equal(Pi, Integral(Div(1, Sqrt(Sub(1, Pow(x, 2)))), For(x, -1, 1)))))