<<< mml T m n = T m n x >>> native [ ESubsup (EIdentifier "T") (EIdentifier "m") (EIdentifier "n") , ESymbol Rel "=" , EOver False (ESubsup (EIdentifier "T") (EIdentifier "m") (EIdentifier "n")) (EPhantom (EText TextNormal "x")) ]