Double Eisenstein series and modular forms of level 4 | Synapse