<<< native [ ESub (EIdentifier "U") (EIdentifier "t") , ESymbol Rel "=" , ESub (EIdentifier "U") (EIdentifier "t") , EPhantom (EFraction NormalFrac (EIdentifier "test") (EIdentifier "failed")) ] >>> eqn U sub t = U sub t hphantom {test over failed}