Mathlib

1/4

The cusp τ → i∞ is the hole at the top of the fundamental domain. Set q = e^{2πiτ}.