https://www.52unicode.com/leftwards-arrow-above-reverse-tilde-operator-unicode