TeX:
G = \int_{0}^{\pi / 2} \operatorname{asinh}\!\left(\sin(x)\right) \, dxDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstCatalan | Catalan's constant | |
| Integral | Integral | |
| Sin | Sine | |
| Pi | The constant pi (3.14...) |
Source code for this entry:
Entry(ID("4dec89"),
Formula(Equal(ConstCatalan, Integral(Asinh(Sin(x)), For(x, 0, Div(Pi, 2))))))