https://www.52unicode.com/combining-double-tilde-right-half-unicode