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