Script for transforming things like -> to →