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