https://www.52unicode.com/double-wavy-overline-unicode