https://www.52unicode.com/left-right-open-headed-arrow-unicode