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