<<< native [ EOver False (EIdentifier "BASE") (EIdentifier "over script") , ESymbol Rel "=" , EOver False (EOver False (EOver False (EIdentifier "BASE") (EIdentifier "over script")) (EPhantom (EIdentifier "over"))) (EPhantom (EIdentifier "over")) ] >>> eqn BASE to {over script} = {{BASE to {over script}} to {hphantom over}} to {hphantom over}