https://5dok.net/document/wq27jwjy-certain-quotient-complex-upper-half-plane.html