https://codetofun.com/html/entity/tilde-operator-above-right-arrow/