nLab
automorphic form