Yes. I too thought it was this. It is equality, and thereby lets you rewrite one side into the other side.

Then again I quite like rewriting languages like Mathematica and lean