https://www.52unicode.com/double-colon-equal-unicode