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