https://www.52unicode.com/tilde-operator-with-rising-dots-unicode