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