TeX:
\mathop{\operatorname{zeros}\,}\limits_{\tau \in \mathcal{F}} j\!\left(\tau\right) = \left\{{e}^{2 \pi i / 3}\right\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ModularJ | Modular j-invariant | |
| ModularGroupFundamentalDomain | Fundamental domain for action of the modular group | |
| Exp | Exponential function | |
| ConstPi | The constant pi (3.14...) | |
| ConstI | Imaginary unit |
Source code for this entry:
Entry(ID("ea3e3c"),
Formula(Equal(Zeros(ModularJ(tau), tau, Element(tau, ModularGroupFundamentalDomain)), Set(Exp(Div(Mul(Mul(2, ConstPi), ConstI), 3))))))