<<< native [ ESuper (EIdentifier "a") (ENumber "2") , ESymbol Rel "=" , ESuper (EIdentifier "a") (EOver False (ENumber "2") (EPhantom (EIdentifier "x"))) ] >>> eqn a sup 2 = a sup {2 to {hphantom x}}