TeX:
\left\{ j(\tau) : \tau \in \mathcal{F} \right\} = \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ModularJ | Modular j-invariant | |
| ModularGroupFundamentalDomain | Fundamental domain for action of the modular group | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("dcc8b1"),
Formula(Equal(Set(ModularJ(tau), ForElement(tau, ModularGroupFundamentalDomain)), CC)))