<<< native [ ESub (EIdentifier "S") (ENumber "5") , ESymbol Rel "=" , EUnder False (ESub (EIdentifier "S") (ENumber "5")) (EPhantom (EIdentifier "t")) ] >>> omml S 5 = S 5 t