Double-sum Rogers–Ramanujan type identities | Synapse