<<< 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") ] >>> omml S new = S old 5 T 2 2