<<< native [ EIdentifier "- middle -" , ESymbol Rel "=" , EUnder False (EUnder False (EIdentifier "- middle -") (EPhantom (EIdentifier "fail"))) (EPhantom (EIdentifier "fail")) ] >>> tex {-\ middle\ -} = \underset{\phantom{fail}}{\underset{\phantom{fail}}{-\ middle\ -}}