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