Everyone (that is, everyone who cares) knows that double Schubert polynomials represent Schubert classes in equivariant cohomology in type $A$. We also know that we can restrict Schubert classes to fixed points of the torus action to obtain a realization of the equivariant cohomology ring as a subring of a direct product of polynomial rings. Positive formulas for the restrictions in terms of the negative roots are well known.

There's another formula for the restrictions, however, that is not positive, that I figured out but don't remember seeing anywhere. Namely, the restriction of the Schubert class $[X_u]^T$ to the fixed point $t_w$ is given by $$S_u(x_{w(1)},x_{w(2)},\ldots,x_{w(n)};x_1,x_2,\ldots,x_n)$$ where $S_u$ is the corresponding double Schubert polynomial. This can be proved with Macdonald's skew divided difference operators. This formula is pretty logical considering the equivariant cohomology ring as the dual of the nil-Hecke ring, but it's not immediately obvious that the relationship between the rings is so literal that you can just plug things into the polynomials to get the answer.

Any references/insights/comments are welcome.