https://www.52unicode.com/does-not-precede-or-equal-unicode