<<< native
[ ESubsup
    (EIdentifier "A")
    (ESubsup (EIdentifier "C") (ENumber "4") (ENumber "3"))
    (ESubsup (EIdentifier "B") (ENumber "2") (ENumber "1"))
, ESymbol Rel "="
, ESubsup
    (EIdentifier "A")
    (ESubsup
       (EIdentifier "C")
       (ESub (ENumber "4") (EPhantom (EText TextNormal "l")))
       (ENumber "3"))
    (ESubsup
       (EIdentifier "B")
       (ENumber "2")
       (ESuper (ENumber "1") (EPhantom (EText TextNormal "s"))))
]
>>> tex
A_{C_{4}^{3}}^{B_{2}^{1}} = A_{C_{4_{\phantom{\text{l}}}}^{3}}^{B_{2}^{1^{\phantom{\text{s}}}}}