<<< mml $$L_x=L_{x\phantom{\mathrm{fail}}}$$ >>> native [ ESub (EIdentifier "L") (EIdentifier "x") , ESymbol Rel "=" , ESub (EIdentifier "L") (EGrouped [ EIdentifier "x" , EPhantom (EIdentifier "fail") ]) ]