TeX:
\left\{ \gamma \circ \tau : \tau \in \mathcal{F} \;\mathbin{\operatorname{and}}\; \gamma \in \operatorname{PSL}_2(\mathbb{Z}) \right\} = \mathbb{H}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ModularGroupAction | Action of modular group | |
| ModularGroupFundamentalDomain | Fundamental domain for action of the modular group | |
| PSL2Z | Modular group (canonical representatives) | |
| HH | Upper complex half-plane |
Source code for this entry:
Entry(ID("fd53ab"),
Formula(Equal(Set(ModularGroupAction(gamma, tau), For(Tuple(gamma, tau)), And(Element(tau, ModularGroupFundamentalDomain), Element(gamma, PSL2Z))), HH)))