TeX:
G = \int_{0}^{1} \int_{0}^{1} \frac{1}{1 + {x}^{2} {y}^{2}} \, dx \, dyDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstCatalan | Catalan's constant | |
| Integral | Integral | |
| Pow | Power |
Source code for this entry:
Entry(ID("5b31ee"),
Formula(Equal(ConstCatalan, Integral(Integral(Div(1, Add(1, Mul(Pow(x, 2), Pow(y, 2)))), For(x, 0, 1)), For(y, 0, 1)))))