https://www.52unicode.com/not-normal-subgroup-of-or-equal-to-unicode