<<< native [ ESuper (EIdentifier "S") (ENumber "2") , ESymbol Rel "=" , EUnder False (ESuper (EIdentifier "S") (ENumber "2")) (EPhantom (EIdentifier "fail")) ] >>> eqn S sup 2 = {S sup 2} from {hphantom fail}