\overset{⏞}{H \times G} \underset{⏟}{H \times G}