<<< 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") ] >>> tex \overbrace{H \times G}\underbrace{H \times G}