mover-04.test

<<< native
[ EOver False (EIdentifier "middle") (EIdentifier "top")
, ESymbol Rel "="
, EUnderover
    False
    (EIdentifier "middle")
    (EPhantom (EIdentifier "fail"))
    (EIdentifier "top")
]
>>> tex
\overset{top}{middle} = \underset{\phantom{fail}}{\overset{top}{middle}}