https://www.52unicode.com/not-asymptotically-equal-to-unicode