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