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