https://www.52unicode.com/rightwards-compressed-arrow-unicode