Hausdorff dimension of limsup sets of isotropic rectangles in Heisenberg groups | Synapse