<<< mml $\overbrace{H\times G}\underbrace{H\times G}$ >>> native [ EOver False (EGrouped [ EIdentifier "H" , ESymbol Bin "\215" , EIdentifier "G" ]) (ESymbol Accent "\9182") , EUnder False (EGrouped [ EIdentifier "H" , ESymbol Bin "\215" , EIdentifier "G" ]) (ESymbol Accent "\9183") ]