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