<<< native [ ESub (EIdentifier "D") (EIdentifier "y") , ESymbol Rel "=" , ESub (EIdentifier "D") (EUnder False (EIdentifier "y") (EPhantom (EIdentifier "s"))) ] >>> mml $$D_y=D_{\underset{\phantom{s}}{y}}$$