https://www.52unicode.com/rightwards-arrow-with-double-vertical-stroke-unicode