TeX:
\eta\!\left(i\right) = \frac{\Gamma\!\left(\frac{1}{4}\right)}{2 {\pi}^{3 / 4}}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| DedekindEta | Dedekind eta function | |
| ConstI | Imaginary unit | |
| GammaFunction | Gamma function | |
| Pow | Power | |
| ConstPi | The constant pi (3.14...) |
Source code for this entry:
Entry(ID("9b8c9f"),
Formula(Equal(DedekindEta(ConstI), Div(GammaFunction(Div(1, 4)), Mul(2, Pow(ConstPi, Div(3, 4)))))))