Standard fundamental domain of the modular group (source code)

= Standard fundamental domain of the modular group
{title2=$\mathcal F$}

The standard fundamental domain is
$$
\mathcal F=\{\tau\in\mathfrak h:|\tau|\geq1,\ -1/2\leq\operatorname{Re}\tau\leq1/2\}.
$$
Every orbit of the modular group meets $\mathcal F$.