<<< mml $$\underset{\mathrm{under}}{\overset{\mathrm{over}}{\mathrm{B}}}=\stackrel{\mathrm{over}}{\underset{\mathrm{under}}{\mathrm{B}}}$$ >>> native [ EUnderover False (EIdentifier "B") (EIdentifier "under") (EIdentifier "over") , ESymbol Rel "=" , EOver False (EUnder False (EIdentifier "B") (EIdentifier "under")) (EIdentifier "over") ]