<<< native
[ ESub (EIdentifier "S") (EText TextNormal "new")
, ESymbol Rel "="
, ESub (EIdentifier "S") (EText TextNormal "old")
, ESymbol Bin "\8722"
, EFraction
    NormalFrac
    (ESuper
       (EDelimited
          "("
          ")"
          [ Right (ENumber "5")
          , Right (ESymbol Bin "\8722")
          , Right (EIdentifier "T")
          ])
       (ENumber "2"))
    (ENumber "2")
]
>>> typst
S_(upright("new")) eq S_(upright("old")) minus lr((5 minus T))^2 / 2