Simplification symbols

[Julio Rojas]

Dear all, I would like to use a simplification symbol (close to
nearrow) for some algebraic operation I'm doing. I remember there was
a package, but I don't remember which one it was. Thanks in advance.
-------------------------------------------------
Julio Rojas
jcredbe...@gmail.com