https://wikimass.com/html/entities/tilde-operator-above-right-arrow