π=(Γ(21))2
TeX:
\pi = {\left(\Gamma\!\left(\frac{1}{2}\right)\right)}^{2}Definitions:
| Fungrim symbol | Notation | Short description |
|---|
| Pi | π
| The constant pi (3.14...) |
| Pow | ab
| Power |
| Gamma | Γ(z)
| Gamma function |
Source code for this entry:
Entry(ID("8fab22"),
Formula(Equal(Pi, Pow(Gamma(Div(1, 2)), 2))))