https://www.52unicode.com/precedes-above-single-line-equals-sign-unicode