TeX:
\eta\!\left(2 i\right) = \frac{\eta(i)}{{2}^{3 / 8}}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| DedekindEta | Dedekind eta function | |
| ConstI | Imaginary unit | |
| Pow | Power |
Source code for this entry:
Entry(ID("87e9ed"),
Formula(Equal(DedekindEta(Mul(2, ConstI)), Div(DedekindEta(ConstI), Pow(2, Div(3, 8))))))