<<< 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}}