How to add arrows between equation lines, like latex `witharrows`, in Typst?

A post was split to a new topic: How to properly define coordinates of auxiliary points when drawing CeTZ arrow?